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

• Failure-Tolerant Contract-Based Design of an Automated Valet Parking System using a Directive-Response Architecture. Josefine Graebener, Tung Phan-Minh, Jiaqi Yan, Qiming Zhao, Richard M. Murray. Submitted, 2021 Conference on Decision and Control (CDC).
• 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