Cyber-Physical Systems Design for Electric Vehicles. - Martin Lukasiewycz; Sebastian Steinhorst; Florian Sagstetter; Wanli Chang 001; Peter Waszecki; Matthias Kauer; Samarjit Chakraborty (DSD, 2012)

Formal verification of distributed controllers using Time-Stamped Event Count Automata. - Matthias Kauer; Sebastian Steinhorst; Dip Goswami; Reinhard Schneider 001; Martin Lukasiewycz; Samarjit Chakraborty (ASP-DAC, 2013)

Model-based development and verification of control software for electric vehicles. - Dip Goswami; Martin Lukasiewycz; Matthias Kauer; Sebastian Steinhorst; Alejandro Masrur; Samarjit Chakraborty; S. Ramesh 002 (DAC, 2013)

Modular system-level architecture for concurrent cell balancing. - Matthias Kauer; Swaminathan Naranayaswami; Sebastian Steinhorst; Martin Lukasiewycz; Samarjit Chakraborty; Lars Hedrich (DAC, 2013)

System architecture and software design for electric vehicles. - Martin Lukasiewycz; Sebastian Steinhorst; Sidharta Andalam; Florian Sagstetter; Peter Waszecki; Wanli Chang 001; Matthias Kauer; Philipp Mundhenk; Shanker Shreejith; Suhaib A. Fahmy; Samarjit Chakraborty (DAC, 2013)

Automata-theoretic modeling of fixed-priority non-preemptive scheduling for formal timing verification. - Matthias Kauer; Sebastian Steinhorst; Reinhard Schneider 001; Martin Lukasiewycz; Samarjit Chakraborty (ASP-DAC, 2014)

Implicit intermittent fault detection in distributed systems. - Peter Waszecki; Matthias Kauer; Martin Lukasiewycz; Samarjit Chakraborty (ASP-DAC, 2014)

Smart Cells for Embedded Battery Management. - Sebastian Steinhorst; Martin Lukasiewycz; Swaminathan Narayanaswamy; Matthias Kauer; Samarjit Chakraborty (CPSNA, 2014)

Fault-tolerant control synthesis and verification of distributed embedded systems. - Matthias Kauer; Damoon Soudbakhsh; Dip Goswami; Samarjit Chakraborty; Anuradha M. Annaswamy (DATE, 2014)

Optimal dimensioning of active cell balancing architectures. - Swaminathan Narayanaswamy; Sebastian Steinhorst; Martin Lukasiewycz; Matthias Kauer; Samarjit Chakraborty (DATE, 2014)

Many-to-many active cell balancing strategy design. - Matthias Kauer; Swaminathan Narayanaswamy; Sebastian Steinhorst; Martin Lukasiewycz; Samarjit Chakraborty (ASP-DAC, 2015)

Inductor optimization for active cell balancing using geometric programming. - Matthias Kauer; Swaminathan Narayanaswamy; Martin Lukasiewycz; Sebastian Steinhorst; Samarjit Chakraborty (DATE, 2015)

Distributed reconfigurable Battery System Management Architectures. - Sebastian Steinhorst; Zili Shao; Samarjit Chakraborty; Matthias Kauer; Shuai Li 002; Martin Lukasiewycz; Swaminathan Narayanaswamy; Muhammad Usman Rafique; Qixin Wang (ASP-DAC, 2016)

Synthesis of Active Cell Balancing Architectures for Battery Packs. - Martin Lukasiewycz; Matthias Kauer; Sebastian Steinhorst (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016)

Cyber-Physical Co-Simulation Framework for Smart Cells in Scalable Battery Packs. - Sebastian Steinhorst; Matthias Kauer; Arne Meeuw; Swaminathan Narayanaswamy; Martin Lukasiewycz; Samarjit Chakraborty (ACM Trans. Design Autom. Electr. Syst., 2016)

Development of an Indoor Photovoltaic Energy Harvesting Module for Autonomous Sensors in Building Air Quality Applications. - Xicai Yue; Matthias Kauer; Mathieu Bellanger; Oliver Beard; Mike Brownlow; Des Gibson; Caspar Clark; Calum MacGregor; Shigeng Song (IEEE Internet Things J., 2017)

Rapid Analysis of Active Cell Balancing Circuits. - Matthias Kauer; Swaminathan Narayanaswamy; Sebastian Steinhorst; Samarjit Chakraborty (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2017)

Modular Active Charge Balancing for Scalable Battery Packs. - Swaminathan Narayanaswamy; Matthias Kauer; Sebastian Steinhorst; Martin Lukasiewycz; Samarjit Chakraborty (IEEE Trans. Very Large Scale Integr. Syst., 2017)

AMANDA: An Autonomous Self-Powered Miniaturized Smart Sensing Embedded System. - Charalampos S. Kouzinopoulos; Oskar Vujicic; Dimitrios Tzovaras; Pawel Bembnowicz; Marcel Meli; Mathieu Bellanger; Matthias Kauer; Julien De Vos; Denis Pasero; Martin Schellenberg (ICCE-Berlin, 2019)

Optimal Dimensioning and Control of Active Cell Balancing Architectures. - Swaminathan Narayanaswamy; Sebastian Steinhorst; Martin Lukasiewycz; Matthias Kauer; Samarjit Chakraborty (IEEE Trans. Veh. Technol., 2019)