Dual Balancing of SoC/SoT in Smart Batteries Using Reinforcement Learning in Uppaal Stratego.
Martin KristjansenAbhijit KulkarniPeter Gjøl JensenRemus TeodorescuKim Guldstrand LarsenPublished in: IECON (2023)
Keyphrases
- reinforcement learning
- function approximation
- machine learning
- timed automata
- model free
- low power
- learning process
- model checking
- policy search
- state space
- optimal policy
- energy efficient
- hardware and software
- transformation rules
- reinforcement learning algorithms
- neural network
- low cost
- multi agent
- learning algorithm
- theorem prover
- embedded systems
- smart grid
- markov decision process
- supervised learning
- multi agent reinforcement learning
- functional programs
- robotic control
- controller synthesis