Temporal Logic Specifications for Control System Design in Automotive Systems
From Murray Wiki
Jump to navigationJump to search
Project description (typically about a paragraph)
Current participants: Additional participants: |
Collaborators: Past participants:
|
Objectives
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))
|
|
|