Formal synthesis of controllers for safety-critical autonomous systems: Developments and challenges
In recent years, formal methods have been extensively used in the design of autonomous
systems. By employing mathematically rigorous techniques, formal methods can provide …
systems. By employing mathematically rigorous techniques, formal methods can provide …
Chance-constrained optimization under limited distributional information: A review of reformulations based on sampling and distributional robustness
S Küçükyavuz, R Jiang - EURO Journal on Computational Optimization, 2022 - Elsevier
Chance-constrained programming (CCP) is one of the most difficult classes of optimization
problems that has attracted the attention of researchers since the 1950s. In this survey, we …
problems that has attracted the attention of researchers since the 1950s. In this survey, we …
Security-preserving multi-agent coordination for complex temporal logic tasks
This paper investigates the coordination of multiple agents for high-level tasks described by
linear temporal logics (LTL). The general purpose for multi-agent coordination is to …
linear temporal logics (LTL). The general purpose for multi-agent coordination is to …
Optimal Deceptive Strategy Synthesis for Autonomous Systems under Asymmetric Information
P Lv, S Li, X Yin - IEEE Transactions on Intelligent Vehicles, 2024 - ieeexplore.ieee.org
High-level task planning under adversarial environments is one of the central problems in
the development of autonomous systems such as unmanned ground vehicles (UGV) …
the development of autonomous systems such as unmanned ground vehicles (UGV) …
[PDF][PDF] Chance-constrained optimization: A review of mixed-integer conic formulations and applications
S Küçükyavuz, R Jiang - arXiv preprint arXiv:2101.08746, 2021 - researchgate.net
Chance-constrained programming (CCP) is one of the most difficult classes of optimization
problems that has attracted the attention of researchers since the 1950s. In this survey, we …
problems that has attracted the attention of researchers since the 1950s. In this survey, we …
Planning with simba: Motion planning under uncertainty for temporal goals using simplified belief guides
QH Ho, ZN Sunberg… - 2023 IEEE International …, 2023 - ieeexplore.ieee.org
This paper presents a new multi-layered algorithm for motion planning under motion and
sensing uncertainties for Linear Temporal Logic specifications. We propose a technique to …
sensing uncertainties for Linear Temporal Logic specifications. We propose a technique to …
Simultaneous position and orientation planning of nonholonomic multi-robot systems: A dynamic vector field approach
X He, Z Li - IEEE Transactions on Automatic Control, 2024 - ieeexplore.ieee.org
This paper considers the simultaneous position and orientation planning of nonholonomic
multi-robot systems. Different from common researches which only focus on final position …
multi-robot systems. Different from common researches which only focus on final position …
Fast trajectory planning for Dubins vehicles under cumulative probability of radar detection
This paper studies a minimum-time trajectory planning problem under radar detection,
where a Dubins vehicle aims to approach a target under a limited probability of being …
where a Dubins vehicle aims to approach a target under a limited probability of being …
Cooperative Mission Planning Using Rollout Policy Optimization
This paper proposes a novel cooperative mission planning for uncrewed aerial systems
(UAS), using roll-out policy optimization and a blend of straight and double-Archimedean …
(UAS), using roll-out policy optimization and a blend of straight and double-Archimedean …
A Novel Vector-Field-Based Motion Planning Algorithm for 3D Nonholonomic Robots
This paper focuses on the motion planning for mobile robots in 3D, which are modelled by 6-
DOF rigid body systems with nonholonomic kinematics constraints. We not only specify the …
DOF rigid body systems with nonholonomic kinematics constraints. We not only specify the …