In recent years, quadcopter-type unmanned aerial vehicles have been preferred in many engineering applications. Because of its nonlinear dynamic model that makes it hard to create optimal control, quadcopter control is one of the main focuses of control engineering and has been studied by many researchers. A quadcopter has six degrees of freedom movement capability and multi-input multi-output structure in its dynamic model. The full nonlinear model of the quadcopter is derived using the results of the experimental studies in the literature. In this study, the control of the quadcopter is realized using the symbolic limited optimal discrete controller synthesis (S-DCS) method. The attitude, altitude, and horizontal movement control of the quadcopter are carried out. To validate the success of the SDCS controller, the control of the quadcopter is realized with fractional order proportional-integral-derivative (FOPID) controllers. The parameters of the FOPID controllers are calculated using Fire Hawk Optimizer, Flying Fox Optimization Algorithm, and Puma Optimizer, which are recently developed meta-heuristic (MH) algorithms. The performance of the S-DCS controller is compared with the performance of the optimal FOPID controllers. In the path planning part of this study, the optimal path planning performances of the SDCS method and the MH algorithms are tested and compared. The optimal solution of the traveling salesman problem (TSP) for a single quadcopter and min-max TSP with multiple depots for multi quadcopters are obtained. The methods and the cases that optimize the dynamic behavior and the path planning of the quadcopter are investigated and determined.

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.

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.

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.

In this study, we propose an architectural model for path optimization in cluster order picking within warehouse robotics, utilizing a hybrid approach that combines symbolic control and metaheuristic techniques. Among the optimization strategies, we incorporate bio-inspired metaheuristic algorithms such as the Walrus Optimization Algorithm (WOA), Puma Optimization Algorithm (POA), and Flying Foxes Algorithm (FFA), which are grounded in behavioral models observed in nature. We consider large-scale warehouse robotic systems, partitioned into clusters. To manage shared resources between clusters, the set of clusters is first formulated as a symbolic control design task within a discrete synthesis framework. Subsequently, the desired control goals are integrated into the model, encoded using parallel synchronous dataflow languages; the resulting controller, derived using our safety-focused and optimization-based synthesis approach, serves as the manager for the cluster. Safety objectives address the rigid system behaviors, while optimization objectives focus on minimizing the traveled path of the warehouse robots through the constructed cost function. The metaheuristic algorithms contribute at this stage, drawing inspiration from real-world animal behaviors, such as walruses’ cooperative movement and foraging, pumas’ territorial hunting strategies, and flying foxes’ echolocation-based navigation. These nature-inspired processes allow for effective solution space exploration and contribute to improving the quality of cluster-level path optimization. Our hybrid approach, integrating symbolic control and metaheuristic techniques, demonstrates significantly higher performance advantage over existing solutions, with experimental data verifying the practical effectiveness of our approach. Our proposed algorithm achieves up to 3.01% shorter intra-cluster paths compared to the metaheuristic algorithms, with an average improvement of 1.2%. For the entire warehouse, it provides up to 2.05% shorter paths on average, and even in the worst case, outperforms competing metaheuristic methods by 0.28%, demonstrating its consistent effectiveness in path optimization.