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
Frontier: Correct-by-Design Control Software Synthesis for Highly Dynamic Systems
View
Submitted by jessygrizzle on Thu, 10/31/2013 - 2:01pm
Video:
Contributor(s):
Jessy Grizzle
Sponsor(s):
National Science Foundation
University of Michigan
PDF version
Printer-friendly version
CPS Domains
Aerospace
Automotive
Concurrency and Timing
Testing
Defense
Control
Systems Engineering
Manufacturing
Robotics
Transportation
Validation and Verification
CPS Technologies
Foundations
Academia