C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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