Reachability Analysis-based Safety-Critical Control using Online Fixed-Time Reinforcement Learning.
Nick-Marios T. KokolakisKyriakos G. VamvoudakisWassim M. HaddadPublished in: L4DC (2023)
Keyphrases
- reachability analysis
- safety critical
- reinforcement learning
- markov decision processes
- optimal control
- safety analysis
- fault tolerant
- control system
- state space
- formal methods
- model checking
- agent architecture
- real time
- function approximation
- optimal policy
- embedded systems
- multi agent
- markov decision process
- adaptive systems
- artificial intelligence
- support systems
- software agents
- intelligent agents
- cooperative
- knowledge base
- incremental algorithms
- e learning
- information systems