Fixed-time learning for safe time-critical verification using reachability analysis
From MaRDI portal
Cites work
- A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games
- Adaptive Control Tutorial
- Analytic Inequalities
- Decomposition of Reachable Sets and Tubes for a Class of Nonlinear Systems
- FaSTrack:A Modular Framework for Real-Time Motion Planning and Guaranteed Safe Tracking
- Finite-Time Stability of Continuous Autonomous Systems
- Nearly optimal control laws for nonlinear systems with saturating actuators using a neural network HJB approach
- Nonlinear Feedback Design for Fixed-Time Stabilization of Linear Control Systems
- Optimal adaptive control and differential games by reinforcement learning principles
- Optimal control
- Reinforcement learning. An introduction
- Safe autonomy with control barrier functions. Theory and applications
- Safe reinforcement learning for dynamical games
- Safe reinforcement learning: A control barrier function optimization approach
- Scalar, Vector, and Matrix Mathematics
- Stability and control of large-scale dynamical systems. A vector dissipative systems approach.
- Temporal logic guided safe model-based reinforcement learning: a hybrid systems approach
This page was built for publication: Fixed-time learning for safe time-critical verification using reachability analysis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6884647)
