Temporal Logic Specifications for Control System Design in Automotive Systems: Difference between revisions

From Murray Wiki
Jump to navigationJump to search
No edit summary
No edit summary
Line 1: Line 1:
Project description
[[Category:Pending project]]
{{Project
{{Project
|Title=Temporal Logic Specifications for Control System Design in Automotive Systems
|Title=Temporal Logic Specifications for Control System Design in Automotive Systems
Line 11: Line 8:
|Project ID=DENSO CPM
|Project ID=DENSO CPM
}}
}}
Project description
[[Category:Pending project]]

Revision as of 12:16, 11 June 2016


  • Agency: DENSO
  • Grant number:
  • Start date: 1 Jul 2016
  • End date: 30 Mar 2017
  • Support: 1 gradaute student + travel
  • Reporting: Quarterly reports

Project description

Retrieved from "https://murray.cds.caltech.edu/index.php?title=Temporal_Logic_Specifications_for_Control_System_Design_in_Automotive_Systems&oldid=20524"