In this paper, a new symbolic modeling framework is proposed for the control of discrete event systems (discrete controller synthesis). Reactive infinite-state systems are generally dynamic systems with inputs and outputs. Modeling the outputs in existing symbolic modeling methods for reactive infinite-state systems has not been extensively discussed in the literature. It is crucial to realistically model the outputs and obtain reliable controllers. One of the main contributions and innovations in this study is the ability to symbolically model their output. In this direction, symbolic transition models are offered, where events are defined as guarded symbolic transitions. The framework considers input/output reactive infinite-state systems to satisfy safety and optimization objectives. Effective algorithms and safety control policies are offered to solve the safety control problem (i.e., satisfy the safety objective) for input/output infinite-state systems. Another contribution in this work provides optimization targets within a given cost function based on state transitions, without specifying the target states. The framework is then applied to power grids to demonstrate the effectiveness of the symbolic transition models and experimentally evaluate the new control algorithms. The results showed that the approach is very effective compared to other approaches found in the literature. The computation times required to achieve both safety and optimization objectives are obtained relatively quickly compared to other deterministic methods found in the literature.

We introduce a modeling framework aimed at incorporating symbolic discrete controller synthesis (DCS) into a virtual robot experimental platform. This framework involves symbolically representing the behaviors of robotic systems along with their control objectives using synchronous programming techniques. We employed DCS algorithms through the reactive synchronous environment ReaX to generate controllers that fulfill specified objectives. These resulting controllers were subsequently deployed on the virtual robot experimental platform Simscape. To demonstrate and validate our approach, we provide an implementation example involving collaborative UAV robots.

In engineering, cost minimization, especially in Computer Numerical Control (CNC) machining like pocket milling, is crucial. Existing tool path definition software often lacks optimization, particularly at critical starting and ending points. This study optimizes CNC machine tool paths for energy-efficient multi-pocket milling, utilizing the Symbolic Discrete Control Synthesis (SDCS) method for formal correctness. In our work, the tool path generation is formulated as a traveling salesman problem. We introduce a modeling framework to adapt SDCS to multi-pocket-milling processes, aiming to enhance precision and efficiency for potential cost savings, including energy and time, in engineering applications. This study reports experimental and comparative results, where comparative evaluations were made using metaheuristic algorithms. Our proposed approach improves CNC machining processes for multi-pocket milling. We experimentally evaluate our control algorithms and demonstrate and validate our approach through case studies.

Task scheduling for multiple humanoid robot manipulators in industrial and collaborative settings remains a significant challenge due to the complexity of coordination, resource sharing, and real-time decision-making. In this study, we propose a framework for modeling task scheduling for multiple humanoid robot manipulators by using the symbolic discrete controller synthesis technique. We encode the task scheduling problem as discrete events using parallel synchronous dataflow equations and apply our synthesis algorithms to manage the task scheduling of multiple humanoid robots via the resulting controller. The control objectives encompass the fundamental behaviors of the system, strict rules, and mutual exclusions over shared resources, categorized as the safety property, whereas the optimization objectives are directed toward maximizing the throughput of robot-processed products with optimal efficiency. The humanoid robots considered in this study consist of two pairs of six-degree-of-freedom (6-DOF) robot manipulators, and the inverse kinematics problem of the 6-DOF arms is addressed using metaheuristic approaches inspired by biomimetic principles. Our approach is experimentally validated, and the results demonstrate high accuracy and performance compared to other approaches reported in the literature. Our approach achieved an average efficiency improvement of 40% in 70-robot systems, 20% in 30-robot systems, and 10% in 10-robot systems in terms of production throughput compared to systems without a controller.

We propose a novel systematic approach for the deployment optimization of unmanned aerial vehicles (UAVs). In this context, this study focuses on enhancing the coverage of UAV-mounted 6G mobile base stations. The number and placement optimization of UAV-mounted 6G mobile base stations, deployed to support terrestrial base stations during periods of increased population density in a given area, are addressed using a symbolic limited optimal discrete controller synthesis technique. Within the scope of this study, the UAVs’ altitude and attitude behaviors are optimized to ensure the most efficient trajectory toward the designated base station coordinates. Additionally, at their new locations, these behaviors are adjusted to facilitate accurate coverage estimation from the base stations they serve. In the deployment optimization of UAVs, the placement of base stations is determined using received signal strength data obtained through the ray-tracing-based channel modeling technique. The channel model considered critical parameters such as path loss, received power, weather loss, and foliage loss. Final average path loss values of 102.3 dB, 111.7 dB, and 127.4 dB were obtained at the carrier frequencies of 7 GHz, 26 GHz, and 140 GHz, respectively. These findings were confirmed with MATLAB-based ray tracing simulations. Our proposed approach is validated through experimental evaluations, demonstrating superior performance compared to existing methods reported in the literature.