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

Research

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.

Publications

Jagtap, Pushpak, and Majid Zamani. "On incremental stability of time-delayed stochastic control systems.", Conference paper, 2016, DOI 10.1109/ALLERTON.2016.7852283

Jagtap, Pushpak, and Majid Zamani. "QUEST: A Tool for State-Space Quantization-Free Synthesis of Symbolic Controllers.", Conference paper, 2017, DOI 10.1007/978-3-319-66335-7_21

Roy, Debayan, Licong Zhang, Wanli Chang, Dip Goswami, and Samarjit Chakraborty. "Multi-objective cooptimization of FlexRay-based distributed control systems." Conference paper, 2016, DOI 10.1109/RTAS.2016.7461344 

Zhang, Licong, Debayan Roy, Philipp Mundhenk, and Samarjit Chakraborty. "Schedule Management Framework for Cloud-Based Future Automotive Software Systems." Conference paper, 2016, DOI 0.1109/RTCSA.2016.11

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

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

Roy, Debayan, Michael Balszun, Dip Goswami, and Samarjit Chakraborty. "Hybrid Automotive In-Vehicle Networks." Conference paper, 2017, DOI 10.1145/3130218.3130235

Ashok, Pranav, Krishnendu Chatterjee, Przemyslaw Daca, Jan Křetínský, and Tobias Meggendorfer. "Value Iteration for Long-run Average Reward in Markov Decision Processes." Conference paper, 2017, DOI 10.1007/978-3-319-68167-2_25

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." Conference paper, 2017, DOI  10.1007/978-3-662-54577-5_25

Křetínský, Jan, Tobias Meggendorfer, Clara Waldmann, and Maximilian Weininger. "Index appearance record for transforming Rabin automata into parity automata." Conference paper, 2017, DOI 10.1007/978-3-662-54577-5_26

Jagtap, Pushpak, and Majid Zamani. "Backstepping Design for Incremental Stability of Stochastic Hamiltonian Systems with Jumps." Journal article, 2017, DOI 10.1109/TAC.2017.2720592 

Rungger, Matthias, and Majid Zamani. “Invariance Feedback Entropy of Nondeterministic Control Systems”. Conference paper, 2017, DOI 10.1145/3049797.3049801

Jagtap, Pushpak, and Majid Zamani. "Backstepping design for incremental stability of stochastic Hamiltonian systems.", Conference paper, 2016, DOI 10.1109/CDC.2016.7799092

Team

Project team leader

Dr. Matthias Rungger 
Hybrid Control Systems

Doctoral researcher

Debayan Roy
Chair of Real-Time Computer Systems

Doctoral researcher

Pushpak Jagtap
Hybrid Control Systems

Doctoral researcher

Licong Zhang
Chair of Real-Time Computer Systems

Doctoral researcher

Abdalla Swikir
Hybrid Control Systems

Principal investigator

Professor Samarjit Chakraborty
Chair of Real-Time Computer Systems

Principal investigator

Professor Majid Zamani
Assistant Professorship of Hybrid Control Systems