Balancing Flexible Production and Consumption of Energy using Resource Timed Automata.
Jonas HansenKim Guldstrand LarsenPieter J. L. CuijpersPublished in: MECO (2022)
Keyphrases
- total energy
- timed automata
- energy consumption
- model checking
- minimum energy
- electricity consumption
- reachability analysis
- resource consumption
- theorem prover
- energy saving
- first order logic
- energy efficient
- wireless sensor networks
- resource management
- resource allocation
- production planning
- theorem proving
- quality control
- web resources
- energy efficiency
- data sets
- real time systems
- distribution network
- energy minimization
- allocation scheme
- scheduling problem
- natural language
- bayesian networks
- neural network