Temporal logic model predictive control.
Ebru Aydin GolMircea LazarCalin BeltaPublished in: Autom. (2015)
Keyphrases
- temporal logic
- model predictive control
- control system
- predictive control
- model checking
- satisfiability problem
- modal logic
- concurrent systems
- mazurkiewicz traces
- linear temporal logic
- belief revision
- verification method
- formal specification language
- computation tree logic
- transition systems
- control scheme
- neuro fuzzy
- reactive systems
- temporal information
- closed loop
- mathematical model
- finite state
- fuzzy logic
- bounded model checking
- control algorithm
- decision trees