Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
NSF Frontiers Projects
Home
Members
Files
CPS-VO
»
NSF Frontiers Projects
Correct-by-Design Control Software Synthesis for Highly Dynamic Systems
View
Submitted by jessygrizzle on Tue, 12/02/2014 - 3:45pm
Video:
Contributor(s):
Jessy Grizzle
Aaron Ames
Hartmut Geyer
Paulo Tabuada
Huei Peng
PDF version
Printer-friendly version
CPS Domains
Aerospace
Automotive
Avionics
Defense
Platforms
Control
Robotics
Transportation
CPS Technologies
Foundations
Carnegie Mellon University
Correct by construction
formal method
Texas A&M University
The University of Michigan
UCLA
National CPS PI Meeting 2014
2014
Academia
Correct-by-Design Control Software Synthesis for Highly Dynamic Systems