Temporal Logic Specifications for Control System Design in Automotive Systems

Project description (typically about a paragraph)

Current participants: Additional participants:

Collaborators: Past participants: Ioannis Filippidis (Alumni, CDS) Josefine Graebener (PhD student, Aero) Tung Phan (Alumni, ME)

Objectives

File:Project-name.png

Description of the main objectives of the project

References

• Contracts of Reactivity (Tung Phan-Minh and Richard M. Murray, Submitted, Int'l Conf on Formal Modeling and Analysis of Timed Systems (FORMATS) 2019)
• Towards Assume-Guarantee Profiles for Autonomous Vehicles (Tung Phan-Minh, Karena X. Cai, Richard M. Murray, Submitted, 2019 Conference on Decision and Control (CDC))
• A modal interface contract theory for guarded input/output automata with an application in traffic system design (Tung Phan-Minh, Steve Guo, Bastian Schürmann, Matthias Althoff, and Richard M. Murray, Submitted, 2019 American Control Conference (ACC))
• Hiding variables when decomposing specifications into GR(1) contracts (Ioannis Filippidis and Richard M. Murray, Submitted, 2017 Conference on Decision and Control (CDC))

Agency: DENSO Grant number:

Start date: 1 Jul 2016 End date: 30 Mar 2017

Support: 1 gradaute student + travel Reporting: Quarterly reports