Temporal logic control of discrete-time piecewise affine systems.

Boyan Yordanov Calin Belta

Published in: CDC (2009)

Keyphrases

temporal logic
model checking
dynamic constraints
piecewise affine
complex systems
satisfiability problem
reactive systems
artificial intelligence
distributed systems
modal logic
mazurkiewicz traces
control system
markov chain
np complete
verification method
computation tree logic