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