Probabilistic Guarantees for Nonlinear Safety-Critical Optimal Control.
Prithvi AkellaWyatt UbellackerAaron D. AmesPublished in: IROS (2023)
Keyphrases
- optimal control
- safety critical
- class of nonlinear systems
- linear quadratic
- lyapunov function
- formal methods
- fault tolerant
- control problems
- dynamic programming
- continuous stirred tank reactor
- embedded systems
- safety analysis
- feedback control
- infinite horizon
- agent architecture
- control strategy
- reinforcement learning
- support systems
- optimal control problems
- control law
- artificial intelligence
- decision making
- learning systems
- decision support system
- regulatory requirements