Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
1239037
file
Frontier: Collaborative Research:Correct-by-Design Control Software Synthesis for Highly Dynamic Systems
Submitted by tabuada on Wed, 11/15/2017 - 2:55am. Contributors:
Jessy Grizzle
Aaron Ames
Paulo Tabuada
Hartmut Geyer
Huei Peng
Necmiye Ozay
Ram Vasudevan
University of Michigan
University of California at Los Angeles
Carnegie Mellon University
CalTech
1239037
1239055
1239085
1239143
Session 6: CPS Frontiers Projects Panel
file
Frontier: Collaborative Research: Correct-by-Design Control Software Synthesis for Highly Dynamic Systems
Submitted by tabuada on Wed, 11/15/2017 - 2:55am. Contributors:
Jessy Grizzle
Aaron Ames
Paulo Tabuada
Hartmut Geyer
Huei Peng
Necmiye Ozay
Ram Vasudevan
University of Michigan
CalTech
Carnegie Mellon University
University of California at Los Angeles
1239037
1239055
1239085
1239143
Session 6: CPS Frontiers Projects Panel
Presentation