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 …
How safe am i given what i see? calibrated prediction of safety chances for image-controlled autonomy
Z Mao, C Sobolewski, I Ruchkin - 6th Annual Learning for …, 2024 - proceedings.mlr.press
End-to-end learning has emerged as a major paradigm for developing autonomous
controllers. Unfortunately, with its performance and convenience comes an even greater …
controllers. Unfortunately, with its performance and convenience comes an even greater …
[PDF][PDF] Signal temporal logic control synthesis among uncontrollable dynamic agents with conformal prediction
The control of dynamical systems under temporal logic specifications among uncontrollable
dynamic agents is challenging due to the agents'a-priori unknown behavior. Existing works …
dynamic agents is challenging due to the agents'a-priori unknown behavior. Existing works …
Safe control synthesis for hybrid systems through local control barrier functions
Control Barrier Functions (CBF) have provided a very versatile framework for the synthesis
of safe control architectures for a wide class of nonlinear dynamical systems. Typically, CBF …
of safe control architectures for a wide class of nonlinear dynamical systems. Typically, CBF …
Sensor-Based Distributionally Robust Control for Safe Robot Navigation in Dynamic Environments
We introduce a novel method for safe mobile robot navigation in dynamic, unknown
environments, utilizing onboard sensing to impose safety constraints without the need for …
environments, utilizing onboard sensing to impose safety constraints without the need for …
Conformal Off-Policy Prediction for Multi-Agent Systems
Off-Policy Prediction (OPP), ie, predicting the outcomes of a target policy using only data
collected under a nominal (behavioural) policy, is a paramount problem in data-driven …
collected under a nominal (behavioural) policy, is a paramount problem in data-driven …
Tackling performativity in discrete-time dynamical systems: An iterative refinement approach
H Zhang - 2023 - ideals.illinois.edu
In many real-world dynamical systems, obtaining precise prior knowledge about system
noise remains a challenge. This uncertainty complicates traditional control strategies, such …
noise remains a challenge. This uncertainty complicates traditional control strategies, such …