Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
2011 CPS PI Meeting
Home
Program Agenda
Posters & Abstracts
Organizers
Files
CPS-VO
»
NSF CPS PI Meetings
»
2011 CPS PI Meeting
Compositionality and Reconfiguration for Distributed Hybrid Systems
View
Properties
Submitted by Andre Platzer on Fri, 11/04/2011 - 2:08pm. Contributors:
Andre Platzer
Edmund M. Clarke
Ping Hou
Sarah M. Loos
License:
Creative Commons 2.5
Other available formats:
Compositionality and Reconfiguration for Distributed Hybrid Systems
Switch to normal viewer
Switch to experimental viewer
PDF document
15.69 KB
273 downloads
Download
PDF version
Printer-friendly version
Automotive
CPS Domains
Hybrid Models
Composition
Semantics
Modeling
Robotics
Transportation
Validation and Verification
Education
Foundations
Carnegie Mellon University
0931985
National CPS PI Meeting 2011
Project Abstracts
Academia
File references
This file is attached to:
CPS: Small: Compositionality and Reconfiguration for Distributed Hybrid Systems