Matthias Kauer

Publication Activity (10 Years)

Years Active: 2012-2019
Publications (10 Years): 10

Top Topics

Formal Verification

Control Software

Electric Vehicles

Preemptive Scheduling

Top Venues

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.

Publications

Swaminathan Narayanaswamy, Sebastian Steinhorst, Martin Lukasiewycz, Matthias Kauer, Samarjit Chakraborty
Optimal Dimensioning and Control of Active Cell Balancing Architectures. IEEE Trans. Veh. Technol. 68 (10) (2019)
Charalampos S. Kouzinopoulos, Oskar Vujicic, Dimitrios Tzovaras, Pawel Bembnowicz, Marcel Meli, Mathieu Bellanger, Matthias Kauer, Julien De Vos, Denis Pasero, Martin Schellenberg
AMANDA: An Autonomous Self-Powered Miniaturized Smart Sensing Embedded System. ICCE-Berlin (2019)
Swaminathan Narayanaswamy, Matthias Kauer, Sebastian Steinhorst, Martin Lukasiewycz, Samarjit Chakraborty
Modular Active Charge Balancing for Scalable Battery Packs. IEEE Trans. Very Large Scale Integr. Syst. 25 (3) (2017)
Matthias Kauer, Swaminathan Narayanaswamy, Sebastian Steinhorst, Samarjit Chakraborty
Rapid Analysis of Active Cell Balancing Circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 36 (4) (2017)
Xicai Yue, Matthias Kauer, Mathieu Bellanger, Oliver Beard, Mike Brownlow, Des Gibson, Caspar Clark, Calum MacGregor, Shigeng Song
Development of an Indoor Photovoltaic Energy Harvesting Module for Autonomous Sensors in Building Air Quality Applications. IEEE Internet Things J. 4 (6) (2017)
Sebastian Steinhorst, Matthias Kauer, Arne Meeuw, Swaminathan Narayanaswamy, Martin Lukasiewycz, Samarjit Chakraborty
Cyber-Physical Co-Simulation Framework for Smart Cells in Scalable Battery Packs. ACM Trans. Design Autom. Electr. Syst. 21 (4) (2016)
Sebastian Steinhorst, Zili Shao, Samarjit Chakraborty, Matthias Kauer, Shuai Li, Martin Lukasiewycz, Swaminathan Narayanaswamy, Muhammad Usman Rafique, Qixin Wang
Distributed reconfigurable Battery System Management Architectures. ASP-DAC (2016)
Martin Lukasiewycz, Matthias Kauer, Sebastian Steinhorst
Synthesis of Active Cell Balancing Architectures for Battery Packs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 35 (11) (2016)
Matthias Kauer, Swaminathan Narayanaswamy, Sebastian Steinhorst, Martin Lukasiewycz, Samarjit Chakraborty
Many-to-many active cell balancing strategy design. ASP-DAC (2015)
Matthias Kauer, Swaminathan Narayanaswamy, Martin Lukasiewycz, Sebastian Steinhorst, Samarjit Chakraborty
Inductor optimization for active cell balancing using geometric programming. DATE (2015)
Matthias Kauer, Sebastian Steinhorst, Reinhard Schneider, Martin Lukasiewycz, Samarjit Chakraborty
Automata-theoretic modeling of fixed-priority non-preemptive scheduling for formal timing verification. ASP-DAC (2014)
Matthias Kauer, Damoon Soudbakhsh, Dip Goswami, Samarjit Chakraborty, Anuradha M. Annaswamy
Fault-tolerant control synthesis and verification of distributed embedded systems. DATE (2014)
Swaminathan Narayanaswamy, Sebastian Steinhorst, Martin Lukasiewycz, Matthias Kauer, Samarjit Chakraborty
Optimal dimensioning of active cell balancing architectures. DATE (2014)
Sebastian Steinhorst, Martin Lukasiewycz, Swaminathan Narayanaswamy, Matthias Kauer, Samarjit Chakraborty
Smart Cells for Embedded Battery Management. CPSNA (2014)
Peter Waszecki, Matthias Kauer, Martin Lukasiewycz, Samarjit Chakraborty
Implicit intermittent fault detection in distributed systems. ASP-DAC (2014)
Dip Goswami, Martin Lukasiewycz, Matthias Kauer, Sebastian Steinhorst, Alejandro Masrur, Samarjit Chakraborty, S. Ramesh
Model-based development and verification of control software for electric vehicles. DAC (2013)
Matthias Kauer, Swaminathan Naranayaswami, Sebastian Steinhorst, Martin Lukasiewycz, Samarjit Chakraborty, Lars Hedrich
Modular system-level architecture for concurrent cell balancing. DAC (2013)
Martin Lukasiewycz, Sebastian Steinhorst, Sidharta Andalam, Florian Sagstetter, Peter Waszecki, Wanli Chang, Matthias Kauer, Philipp Mundhenk, Shanker Shreejith, Suhaib A. Fahmy, Samarjit Chakraborty
System architecture and software design for electric vehicles. DAC (2013)
Matthias Kauer, Sebastian Steinhorst, Dip Goswami, Reinhard Schneider, Martin Lukasiewycz, Samarjit Chakraborty
Formal verification of distributed controllers using Time-Stamped Event Count Automata. ASP-DAC (2013)
Martin Lukasiewycz, Sebastian Steinhorst, Florian Sagstetter, Wanli Chang, Peter Waszecki, Matthias Kauer, Samarjit Chakraborty
Cyber-Physical Systems Design for Electric Vehicles. DSD (2012)