Formal Control Techniques for Power-Performance Management.

Qiang Wu Philo Juang Margaret Martonosi Li-Shiuan Peh Douglas W. Clark

Published in: IEEE Micro (2005)

Keyphrases

decision making
control system
power grid
information systems
management system
data sets
control theory
process control
formal model
data processing
information management
control strategy
power consumption
optimal control
access control
formal methods
control problems
electric vehicles
real time