Time-Constrained Temporal Logic Control of Multi-Affine Systems.

Ebru Aydin Gol Calin Belta

Published in: ADHS (2012)

Keyphrases

temporal logic
model checking
dynamic constraints
reactive systems
modal logic
satisfiability problem
computation tree logic
transition systems
mazurkiewicz traces
formal methods
belief revision
verification method
concurrent systems
complex systems
knowledge based systems
control system
expert systems