Multi-objective optimal control for proactive decision making with temporal logic models.
Sandeep P. ChinchaliScott C. LivingstonMo ChenMarco PavonePublished in: Int. J. Robotics Res. (2019)
Keyphrases
- optimization algorithm
- multi objective
- optimal control
- temporal logic
- decision making
- evolutionary algorithm
- model checking
- particle swarm optimization
- reactive systems
- dynamic programming
- modal logic
- linear temporal logic
- class of nonlinear systems
- optimal control problems
- verification method
- control problems
- control strategy
- reinforcement learning
- satisfiability problem
- feedback control
- search space
- transition systems
- machine learning
- real time