Upload
ivan-ruchkin
View
87
Download
5
Tags:
Embed Size (px)
DESCRIPTION
A very basic and intuitive explanation for our project -- the architectural approach to cyber-physical systems. Video of me explaining it: http://www.youtube.com/watch?v=f48Xlt92Vts
Citation preview
An Architectural Approach to Heterogeneous Modeling and
Verification of Cyber-Physical Systems
Ivan Ruchkin et al.
1
Cyber-Physical System (CPS): Smart Intersection
2
Heterogeneous Models
3
Source code
Software model Control model Physical model
Hybrid model
Inconsistencies
4
Source code
Software model Control model Physical model
Hybrid model
?
?
Verification
5
Source code
Software model Control model Physical model
Hybrid model
⊨safe?
Architectural Approach to CPS
6
Source code
Software modelControl model Physical model
Hybrid model
Views
Case Studies
7
STARMAC Quadrotor
CICAS Stop Sign Assist
Robot Collision Avoidance
Thank you!
■ Find out more at cps-vo.org
8