Login / Signup
Temporal logic control of switched affine systems with an application in fuel balancing.
Petter Nilsson
Necmiye Ozay
Ufuk Topcu
Richard M. Murray
Published in:
ACC (2012)
Keyphrases
</>
temporal logic
model checking
dynamic constraints
control system
satisfiability problem
complex systems
concurrent systems
belief revision
modal logic
reactive systems
verification method
expert systems