10.06 Platform-Aware Synthesis of Embedded Control Software (PARSEC)


Embedded control software plays a significant role in many life-critical applications, e.g., fight control system and railway automation. These software controllers have the responsibility of controlling physical quantities (e.g., altitude), via feedback loops in which physical and computational components interact with each other. However, there is a large semantic gap between control algorithms - making idealistic assumptions on the implementation platform (e.g., zero communication delay) - and their actual implementation on concrete platforms. This coupled with the heterogeneous nature of the interaction between the physical world (continuous) and the computational platform (discrete), results in ad-hoc and error-prone solutions. Despite a number of developments in the area of hybrid systems, a large portion of design costs today is still consumed with validation efforts.

This project proposes a new paradigm, in which the controller code is automatically synthesized from high-level correctness requirements while taking into account the features of the computational platforms. Requirements for modern applications go beyond conventional ones in control theory (e.g., stability) and beyond conventional protocol design in computer science. To address this, we bring together an interdisciplinary team of a control theorist, a computer scientist, and a real-time embedded systems designer, and propose a unified methodology for automatic, platform-aware, controller synthesis. The proposed approaches in this project unify techniques from computer science, control theory, and the domain of real-time embedded systems, to synthesize control software in a reliable and yet cost-effective way.


Swikir, A., Girard, A. & Zamani, M.: "From dissipativity theory to compositional synthesis of symbolic models", 2018.

Jagtap, Pushpak, and Majid Zamani: "QUEST: A Tool for State-Space Quantization-Free Synthesis of Symbolic Controllers”, 2017.

Ramesh, S., Birgit Vogel-Heuser, Wanli Chang, Debayan Roy, Licong Zhang, and Samarjit Chakraborty: "Specification, Verification and Design of Evolving Automotive Software”, 2017.

Roy, Debayan, Michael Balszun, Dip Goswami, and Samarjit Chakraborty: "Hybrid Automotive In-Vehicle Networks”, 2017.

Ashok, Pranav, Krishnendu Chatterjee, Przemyslaw Daca, Jan Křetínský, and Tobias Meggendorfer: "Value Iteration for Long-run Average Reward in Markov Decision Processes”, 2017.

Esparza, Javier, Jan Křetínský, Jean-François Raskin, and Salomon Sickert: "From LTL and limit-deterministic Büchi automata to deterministic parity automata”, 2017.

Křetínský, Jan, Tobias Meggendorfer, Clara Waldmann, and Maximilian Weininger: "Index appearance record for transforming Rabin automata into parity automata”, 2017.

Jagtap, Pushpak, and Majid Zamani: "Backstepping Design for Incremental Stability of Stochastic Hamiltonian Systems with Jumps”, 2016.

Rungger, Matthias, and Majid Zamani: “Invariance Feedback Entropy of Nondeterministic Control Systems”, 2017.

Balszun, M., Roy, D. et al.: "Effectively utilizing elastic resources in networked control systems", 2017.

Chang, W., Zhang, L., Roy., D. & Chakraborty, S.: "Control/Architecture Codesign for Cyber-Physical Systems", 2017.

Roy, Debayan, Licong Zhang, Wanli Chang, Dip Goswami, and Samarjit Chakraborty: "Multi-objective cooptimization of FlexRay-based distributed control systems”, 2016.

Zhang, Licong, Debayan Roy, Philipp Mundhenk, and Samarjit Chakraborty: "Schedule Management Framework for Cloud-Based Future Automotive Software Systems”, 2016.

Roy, Debayan, Licong Zhang, Wanli Chang, and Samarjit Chakraborty: "Automated synthesis of cyberphysical systems from joint controller/architecture specifications”, 2016.

Jagtap, Pushpak, and Majid Zamani: "On incremental stability of time-delayed stochastic control systems”, 2016.

Park, S., Zhang, L., & Chakraborty, S.: "Design Space Exploration on Drone Infrastructure for Large-Scale Delivery Services", 2016.

Chang, W., Roy, D., Zhang, L., & Chakraborty, S.: "Model-Based Design of Resource-Efficient Automotive Control Software", 2016.

Majumdar, D., Zhang, L., Bhaduri, P., & Chakraborty, S.: "Reconfigurable Communication Middleware for FlexRay-Based Distributed Embedded Systems", 2015.

Zhang, L., Schneider, R., Masrur, A. et al.: "Timing Challenges in Automotive Software Architechtures", 2014.

Zhang, L., Goswami, D., Schneider, R., Chakraborty, S.: "Task- and Network-Level Schedule Co-Synthesis of Ethernet-Based Time-Triggered Systems", 2014.

Schneider, R., Zhang, L. et al.: "Compositional Analysis of Switched Ethernet Topologies", 2013.

Zhang, L., Sturm, J., Cremers, D. et al.: "Real -Time Human Motion Tracking Using Multiple Depth Cameras", 2012.


Project team leader

Pushpak Jagtap
Hybrid Control Systems Group

Doctoral researcher

Debayan Roy
Chair of Real-Time Computer Systems

Doctoral researcher

Licong Zhang
Chair of Real-Time Computer Systems

Doctoral researcher

Abdalla Swikir
Hybrid Control Systems Group

Principal investigator

Professor Samarjit Chakraborty
Chair of Real-Time Computer Systems

Principal investigator

Professor Majid Zamani
Assistant Professorship of Hybrid Control Systems

Principal investigator

Professor Jan Křetínský
Chair for Foundations of Software Reliability & Theoretical Computer Science