A barrier function approach to finite-time stochastic system verification and control.
Cesar SantoyoMaxence DutreixSamuel CooganPublished in: Autom. (2021)
Keyphrases
- control policy
- control system
- database
- model checking
- control policies
- control problems
- finite number
- neural network
- real time
- evolutionary algorithm
- multi agent
- dynamic programming
- case study
- data acquisition
- optimal control
- control method
- knowledge base
- learning algorithm
- control theory
- discrete event
- formal verification