Model predictive control from signal temporal logic specifications: a case study.

Vasumathi Raman Mehdi Maasoumy Alexandre Donzé

Published in: CyPhy (2014)

Keyphrases

temporal logic
model predictive control
concurrent systems
model checking
transition systems
model checker
bounded model checking
control system

formal specification language
reactive systems
predictive control
modal logic
formal specification
satisfiability problem
formal verification

verification method
computation tree logic
linear temporal logic
automata theoretic
mazurkiewicz traces
formal methods
finite state

control scheme
temporal knowledge
temporally extended goals
dynamic constraints
specification language
belief revision
fuzzy logic