Energy-aware networked control systems under temporal logic specifications.
Kazumune HashimotoShuichi AdachiDimos V. DimarogonasPublished in: CDC (2018)
Keyphrases
- temporal logic
- energy aware
- networked control systems
- concurrent systems
- transition systems
- bounded model checking
- reactive systems
- model checking
- formal specification language
- feedback control
- routing protocol
- wireless sensor networks
- high performance computing
- formal specification
- control theory
- energy consumption
- communication networks
- packet loss
- smart home
- data center
- control method
- linear temporal logic
- sensor networks
- routing algorithm
- energy efficiency
- control law
- belief revision
- pid controller
- closed loop
- artificial neural networks
- adaptive control
- dynamical systems
- software engineering
- power consumption
- optimal control