Verification of balancing architectures for modular batteries.

Martin Lukasiewycz Sebastian Steinhorst Swaminathan Narayanaswamy

Published in: CODES+ISSS (2014)

Keyphrases

model checking
formal verification
face verification
energy consumption
modular structure
learning environment
data sets
signature verification
artificial intelligence
verification method
information systems
expert systems
petri net
computer vision
energy efficient
social networks
highly flexible
databases