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.
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
Professor Javier Esparza
Chair for Foundations of Software Reliability & Theoretical Computer Science