Formal approaches to design of active cell balancing architectures in battery management systems.

Sebastian Steinhorst Martin Lukasiewycz

Published in: ICCAD (2016)

Keyphrases

management system
computer aided
databases
case study
user interface
knowledge based systems
formal model
engineering design
data sets
machine learning algorithms
software architecture
user experience
design patterns
formal specification
optimal design
design methodologies