Publications

matthias on 2014/10/05, last updated on 2017/11/14

Main contributions from my PhD thesis

The PhD thesis I worked on from Jan 2012 to March 2016 deals with two interface-related issues.

First, I had been investigating the timing interaction between a control system and the communication network on which it is implemented. There, I improved upon the standard period-deadline interface which abstracts this interaction. This led to publications on formal verification of communication networks and control systems as well as control strategy design.

Second, I had looked at timing in the context of battery management. There, the most efficient charge balancing systems were driven by varying transistor switching times. This leads to non-differentiable transitions that are slow to analyze with standard simulation software. By reformulating the underlying model and by reimplementing our simulation approach in C++, I achieved a speedup of five orders of magnitude. Aside from a simulation back-end, I also provided my research group with convex optimization models for finding circuit components beforehand and for routing charge at runtime.

Finally, I was also involved with related research that was mainly driven by one of my collaborators. The main topic of that category are different aspects of battery management, like the circuit designs of Swaminathan Narayanaswamy, the overview papers and synthesis techniques of Martin Lukasiewycz, or the distributed balancing strategies and the smart cell approach of Sebastian Steinhorst.

Analysis of cyber-physical systems

Kauer, Matthias, Sebastian Steinhorst, Dip Goswami, Reinhard Schneider, Martin Lukasiewycz, and Samarjit Chakraborty. 2013. “Formal Verification of Distributed Controllers Using Time-Stamped Event Count Automata.” In 18th Asia and South Pacific Design Automation Conference, ASP-DAC 2013, Yokohama, Japan, January 22-25, 2013, 411–16. IEEE. doi:10.1109/ASPDAC.2013.6509631.

Kauer, Matthias, Sebastian Steinhorst, Reinhard Schneider, Martin Lukasiewycz, and Samarjit Chakraborty. 2014. “Automata-Theoretic Modeling of Fixed-Priority Non-Preemptive Scheduling for Formal Timing Verification.” In 19th Asia and South Pacific Design Automation Conference, ASP-DAC 2014, Singapore, January 20-23, 2014, 812–17. IEEE. doi:10.1109/ASPDAC.2014.6742990.

Kauer, Matthias, Damoon Soudbakhsh, Dip Goswami, Samarjit Chakraborty, and Anuradha M. Annaswamy. 2014. “Fault-Tolerant Control Synthesis and Verification of Distributed Embedded Systems.” In Design, Automation & Test in Europe Conference & Exhibition, DATE 2014, Dresden, Germany, March 24-28, 2014, edited by Gerhard Fettweis and Wolfgang Nebel, 1–6. European Design; Automation Association. doi:10.7873/DATE.2014.069.

Simulation and optimization of battery management systems

Kauer, Matthias, Swaminathan Naranayaswami, Sebastian Steinhorst, Martin Lukasiewycz, Samarjit Chakraborty, and Lars Hedrich. 2013. “Modular System-Level Architecture for Concurrent Cell Balancing.” In The 50th Annual Design Automation Conference 2013, DAC ’13, Austin, TX, USA, May 29 - June 07, 2013, 155:1–155:10. ACM. doi:10.1145/2463209.2488926.

Kauer, Matthias, Swaminathan Narayanaswamy, Sebastian Steinhorst, Martin Lukasiewycz, and Samarjit Chakraborty. 2015. “Many-to-Many Active Cell Balancing Strategy Design.” In The 20th Asia and South Pacific Design Automation Conference, ASP-DAC 2015, Chiba, Japan, January 19-22, 2015, 267–72. IEEE. doi:10.1109/ASPDAC.2015.7059016.

Kauer, Matthias, Swaminathan Narayanaswamy, Martin Lukasiewycz, Sebastian Steinhorst, and Samarjit Chakraborty. 2015. “Inductor Optimization for Active Cell Balancing Using Geometric Programming.” In Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, DATE 2015, Grenoble, France, March 9-13, 2015, edited by Wolfgang Nebel and David Atienza, 281–84. ACM. http://dl.acm.org/citation.cfm?id=2755815.

Steinhorst, Sebastian, Matthias Kauer, Arne Meeuw, Swaminathan Narayanaswamy, Martin Lukasiewycz, and Samarjit Chakraborty. 2016. “Cyber-Physical Co-Simulation Framework for Smart Cells in Scalable Battery Packs.” ACM Trans. Design Autom. Electr. Syst. 21 (4): 62:1–62:26. doi:10.1145/2891407.

Kauer, Matthias, Swaminathan Narayanaswamy, Sebastian Steinhorst, and Samarjit Chakraborty. 2017. “Rapid Analysis of Active Cell Balancing Circuits.” IEEE Trans. on CAD of Integrated Circuits and Systems 36 (4): 694–98. doi:10.1109/TCAD.2016.2597224.

Further contributions

Design of battery management systems

Narayanaswamy, Swaminathan, Sebastian Steinhorst, Martin Lukasiewycz, Matthias Kauer, and Samarjit Chakraborty. 2014. “Optimal Dimensioning of Active Cell Balancing Architectures.” In Design, Automation & Test in Europe Conference & Exhibition, DATE 2014, Dresden, Germany, March 24-28, 2014, edited by Gerhard Fettweis and Wolfgang Nebel, 1–6. European Design; Automation Association. doi:10.7873/DATE.2014.153.

Steinhorst, Sebastian, Martin Lukasiewycz, Swaminathan Narayanaswamy, Matthias Kauer, and Samarjit Chakraborty. 2014. “Smart Cells for Embedded Battery Management.” In 2014 IEEE International Conference on Cyber-Physical Systems, Networks, and Applications, CPSNA 2014, Hong Kong, China, August 25-26, 2014, 59–64. IEEE Computer Society. doi:10.1109/CPSNA.2014.22.

Steinhorst, Sebastian, Zili Shao, Samarjit Chakraborty, Matthias Kauer, Shuai Li, Martin Lukasiewycz, Swaminathan Narayanaswamy, Muhammad Usman Rafique, and Qixin Wang. 2016. “Distributed Reconfigurable Battery System Management Architectures.” In 21st Asia and South Pacific Design Automation Conference, ASP-DAC 2016, Macao, Macao, January 25-28, 2016, 429–34. IEEE. doi:10.1109/ASPDAC.2016.7428049.

Lukasiewycz, Martin, Matthias Kauer, and Sebastian Steinhorst. 2016. “Synthesis of Active Cell Balancing Architectures for Battery Packs.” IEEE Trans. on CAD of Integrated Circuits and Systems 35 (11): 1876–89. doi:10.1109/TCAD.2016.2531049.

Narayanaswamy, Swaminathan, Matthias Kauer, Sebastian Steinhorst, Martin Lukasiewycz, and Samarjit Chakraborty. 2017. “Modular Active Charge Balancing for Scalable Battery Packs.” IEEE Trans. VLSI Syst. 25 (3): 974–87. doi:10.1109/TVLSI.2016.2611526.

Fault detection in in-car networks

Waszecki, Peter, Matthias Kauer, Martin Lukasiewycz, and Samarjit Chakraborty. 2014. “Implicit Intermittent Fault Detection in Distributed Systems.” In 19th Asia and South Pacific Design Automation Conference, ASP-DAC 2014, Singapore, January 20-23, 2014, 646–51. IEEE. doi:10.1109/ASPDAC.2014.6742964.

Overview papers

Lukasiewycz, Martin, Sebastian Steinhorst, Florian Sagstetter, Wanli Chang, Peter Waszecki, Matthias Kauer, and Samarjit Chakraborty. 2012. “Cyber-Physical Systems Design for Electric Vehicles.” In 15th Euromicro Conference on Digital System Design, DSD 2012, Cesme, Izmir, Turkey, September 5-8, 2012, 477–84. IEEE Computer Society. doi:10.1109/DSD.2012.39.

Goswami, Dip, Martin Lukasiewycz, Matthias Kauer, Sebastian Steinhorst, Alejandro Masrur, Samarjit Chakraborty, and S. Ramesh. 2013. “Model-Based Development and Verification of Control Software for Electric Vehicles.” In The 50th Annual Design Automation Conference 2013, DAC ’13, Austin, TX, USA, May 29 - June 07, 2013, 96:1–96:9. ACM. doi:10.1145/2463209.2488853.

Lukasiewycz, Martin, Sebastian Steinhorst, Sidharta Andalam, Florian Sagstetter, Peter Waszecki, Wanli Chang, Matthias Kauer, et al. 2013. “System Architecture and Software Design for Electric Vehicles.” In The 50th Annual Design Automation Conference 2013, DAC ’13, Austin, TX, USA, May 29 - June 07, 2013, 95:1–95:6. ACM. doi:10.1145/2463209.2488852.