Temporal logic model predictive control for discrete-time systems.
Ebru Aydin GolMircea LazarPublished in: HSCC (2013)
Keyphrases
- temporal logic
- model predictive control
- model checking
- reactive systems
- modal logic
- distributed systems
- markov chain
- belief revision
- satisfiability problem
- dynamic constraints
- mazurkiewicz traces
- neural network
- temporally extended
- finite state
- control algorithm
- knowledge based systems
- expert systems
- reinforcement learning