Multi-objective Optimal Control for Proactive Decision Making with Temporal Logic Models.
Sandeep P. ChinchaliScott C. LivingstonMarco PavonePublished in: ISRR (2017)
Keyphrases
- temporal logic
- optimal control
- multi objective
- decision making
- model checking
- control problems
- reactive systems
- modal logic
- feedback control
- dynamic programming
- data mining
- concurrent systems
- optimal control problems
- computation tree logic
- optimization algorithm
- satisfiability problem
- supply chain
- evolutionary algorithm
- control strategy
- multi agent systems