Reactive controllers for differentially flat systems with temporal logic constraints.

Jun Liu Ufuk Topcu Necmiye Ozay Richard M. Murray

Published in: CDC (2012)

Keyphrases

temporal logic
reactive systems
dynamic constraints
model checking
modal logic
automata theoretic
complex systems
satisfiability problem
verification method
computation tree logic
search algorithm
heuristic search
mazurkiewicz traces