A Formal Approach to Power Optimization in CPSs with Delay-Workload Dependence Awareness.
Hyung-Chan AnHoeseok YangSoonhoi HaPublished in: CoRR (2016)
Keyphrases
- optimization algorithm
- optimization problems
- global optimization
- constrained optimization
- multi objective
- response time
- power consumption
- optimization model
- formal methods
- discrete optimization
- power transmission
- search algorithm
- power dissipation
- formal language
- mathematical theory
- evolution strategy
- formal specification
- formal model