Resource-aware networked control systems under temporal logic specifications.
Kazumune HashimotoDimos V. DimarogonasPublished in: Discret. Event Dyn. Syst. (2019)
Keyphrases
- temporal logic
- networked control systems
- concurrent systems
- transition systems
- model checking
- reactive systems
- model checker
- bounded model checking
- formal specification language
- long time delay
- feedback control
- communication networks
- modal logic
- guaranteed cost
- control theory
- control method
- formal specification
- packet loss
- control law
- belief revision
- linear temporal logic
- computation tree logic
- verification method
- mazurkiewicz traces
- pid controller
- formal verification
- dynamic constraints
- dynamic programming
- closed loop
- specification language
- adaptive control