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
»
Projects
CPS: Small: Compositionality and Reconfiguration for Distributed Hybrid Systems
View
Submitted by Andre Platzer on Thu, 04/07/2011 - 5:24pm
Project Details
Lead PI:
Andre Platzer
Co-PI(s):
Edmund Clarke
Performance Period:
09/01/09
-
08/31/14
Institution(s):
Carnegie-Mellon University
Sponsor(s):
National Science Foundation
Project URL:
http://symbolaris.com/
Award Number:
0931985
3704 Reads. Placed 5 out of 804 NSF CPS Projects based on total reads on all related artifacts.
Abstract:
The objective of this research is to address fundamental challenges in the verification and analysis of reconfigurable distributed hybrid control systems. These occur frequently whenever control decisions for a continuous plant depend on the actions and state of other participants. They are not supported by verification technology today. The approach advocated here is to develop strictly compositional proof-based verification techniques to close this analytic gap in cyber-physical system design and to overcome scalability issues. This project develops techniques using symbolic invariants for differential equations to address the analytic gap between nonlinear applications and present verification techniques for linear dynamics. This project aims at transformative research changing the scope of systems that can be analyzed. The proposed research develops a compositional proof-based approach to hybrid systems verification in contrast to the dominant automata-based verification approaches. It represents a major improvement addressing the challenges of composition, reconfiguration, and nonlinearity in system models The proposed research has significant applications in the verification of safety-critical properties in next generation cyber-physical systems. This includes distributed car control, robotic swarms, and unmanned aerial vehicle cooperation schemes to full collision avoidance protocols for multiple aircraft. Analysis tools for distributed hybrid systems have a broad range of applications of varying degrees of safety-criticality, validation cost, and operative risk. Analytic techniques that find bugs or ensure correct functioning can save lives and money, and therefore are likely to have substantial economic and societal impact.
Related Artifacts
Posters
POSTER: Compositionality and Reconfiguration for Distributed Hybrid Systems
|
Download
Differential Radical Invariants: Safety Verification and Design of Correct Hybrid Systems
|
Download
Distributed Hybrid Systems Compositionality and Reconfiguration for Distributed Hybrid Systems
|
Download
SPLAT! How to Avoid Bugs while Driving on the Highway
|
Download
Compositionality and Reconfiguration for Distributed Hybrid Systems
|
Download
Videos
Distributed Hybrid Systems - Compositionality and Reconfiguration for Distributed Hybrid Systems
Other
Compositionality and Reconfiguration for Distributed Hybrid Systems
|
Download
Compositionality and Reconfiguration for Distributed Hybrid Systems
|
Download
3 attachments
PDF version
Printer-friendly version
CPS Domains
Automotive
Hybrid Models
Composition
Semantics
Modeling
Robotics
Transportation
Validation and Verification
Education
Foundations