Optimal Control of Timed Petri Nets Under Temporal Logic Constraints with Generalized Mutual Exclusion.
Kohei FujitaToshimitsu UshioPublished in: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2022)
Keyphrases
- mutual exclusion
- temporal logic
- optimal control
- long distance
- optimal control problems
- model checking
- timed petri nets
- control problems
- dynamic programming
- temporal planning
- feedback control
- reinforcement learning
- infinite horizon
- dynamic constraints
- control strategy
- automata theoretic
- belief revision
- machine learning
- lyapunov function
- finite state
- functional dependencies
- domain independent
- sufficient conditions