Search Results for author:
Found 6 papers, 3 papers with code
Run Time Assurance for Simultaneous Constraint Satisfaction During Spacecraft Attitude Maneuvering
Monte Carlo simulation results as well as plots of example cases are shown and evaluated for a three degree of freedom spacecraft with reaction wheel attitude control.
Reachability Analysis of a General Class of Neural Ordinary Differential Equations
We demonstrate the capabilities and efficacy of our methods through the analysis of a set of benchmarks that include neural ODEs used for classification, and in control and dynamical systems, including an evaluation of the efficacy and capabilities of our approach with respect to existing software tools within the continuous-time systems reachability literature, when it is possible to do so.
Ablation Study of How Run Time Assurance Impacts the Training and Performance of Reinforcement Learning Agents
Reinforcement Learning (RL) has become an increasingly important research area as the success of machine learning algorithms and methods grows.
An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles
One approach for providing runtime assurance of systems with components that may not be amenable to formal analysis is the simplex architecture, where an unverified component is wrapped with a safety controller and a switching logic designed to prevent dangerous behavior.
Verification for Machine Learning, Autonomy, and Neural Networks Survey
This survey presents an overview of verification techniques for autonomous systems, with a focus on safety-critical autonomous cyber-physical systems (CPS) and subcomponents thereof.
Dissipation of stop-and-go waves via control of autonomous vehicles: Field experiments
Traffic waves are phenomena that emerge when the vehicular density exceeds a critical threshold.
Systems and Control
