Hamilton-jacobi reachability: A brief overview and recent advances
Hamilton-Jacobi (HJ) reachability analysis is an important formal verification method for
guaranteeing performance and safety properties of dynamical systems; it has been applied …
guaranteeing performance and safety properties of dynamical systems; it has been applied …
Collision avoidance: A literature review on threat-assessment techniques
For the last few decades, a lot of attention has been given to intelligent vehicle systems, and
in particular to automated safety and collision avoidance solutions. In this paper, we present …
in particular to automated safety and collision avoidance solutions. In this paper, we present …
[图书][B] Hybrid feedback control
RG Sanfelice - 2021 - books.google.com
A comprehensive introduction to hybrid control systems and design Hybrid control systems
exhibit both discrete changes, or jumps, and continuous changes, or flow. An example of a …
exhibit both discrete changes, or jumps, and continuous changes, or flow. An example of a …
Automated verification and synthesis of stochastic hybrid systems: A survey
Stochastic hybrid systems have received significant attentions as a relevant modeling
framework describing many systems, from engineering to the life sciences: they enable the …
framework describing many systems, from engineering to the life sciences: they enable the …
Control barrier functions for unknown nonlinear systems using Gaussian processes
This paper focuses on the controller synthesis for unknown, nonlinear systems while
ensuring safety constraints. Our approach consists of two steps, a learning step that uses …
ensuring safety constraints. Our approach consists of two steps, a learning step that uses …
[HTML][HTML] Nonlinear model predictive control with logic constraints for COVID-19 management
The management of COVID-19 appears to be a long-term challenge, even in countries that
have managed to suppress the epidemic after their initial outbreak. In this paper, we …
have managed to suppress the epidemic after their initial outbreak. In this paper, we …
Secure-by-construction synthesis of cyber-physical systems
Correct-by-construction synthesis is a cornerstone of the confluence of formal methods and
control theory towards designing safety-critical systems. Instead of following the time-tested …
control theory towards designing safety-critical systems. Instead of following the time-tested …
Formal methods to comply with rules of the road in autonomous driving: State of the art and grand challenges
We provide a review of recent work on formal methods for autonomous driving. Formal
methods have been traditionally used to specify and verify the behavior of computer …
methods have been traditionally used to specify and verify the behavior of computer …
Formal synthesis of stochastic systems via control barrier certificates
This article focuses on synthesizing control policies for discrete-time stochastic control
systems together with a lower bound on the probability that the systems satisfy the complex …
systems together with a lower bound on the probability that the systems satisfy the complex …
Scalable and robust algorithms for task-based coordination from high-level specifications (scratches)
Many existing approaches for coordinating heterogeneous teams of robots either consider
small numbers of agents, are application-specific, or do not adequately address common …
small numbers of agents, are application-specific, or do not adequately address common …