Optimal Control of Multi-Vehicle Systems with Temporal Logic Constraints.
Koichi KobayashiTakuro NagamiKunihiko HiraishiPublished in: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2015)
Keyphrases
- temporal logic
- optimal control
- dynamic constraints
- model checking
- real time
- satisfiability problem
- dynamic programming
- modal logic
- control problems
- machine learning
- reactive systems
- feedback control
- control strategy
- knowledge based systems
- reinforcement learning
- belief revision
- linear programming
- constrained optimization
- infinite horizon
- distributed systems
- search algorithm
- learning algorithm
- automata theoretic