Visible to the public CPS Architectures

The mission of this online community of CPS architectures is to share research results on using cyber-physical system architectures to support design, analysis and verification of complex cyber-physical systems using heterogeneous modeling formalisms.

event

Visible to the public  Workshop on Control of Cyber-Physical Systems
Mar 20, 2013 8:00 am - Mar 21, 2013 7:30 pm EDT

This targeted workshop on the Control of Cyber-Physical Systems, held at The Johns Hopkins University, consists of a set of invited sessions, focusing on:
* Theory of Cyber-Physical Systems
* Cybertrust and Cybersecurity
* Applications of Cyber-Physical Systems

The workshop program is avilable at:

http://www.ece.jhu.edu/~dtarraf/CPSWorkshop/program.html

Registration is free and open to all. If you plan on attending, please register at:

http://www.ece.jhu.edu/~dtarraf/CPSWorkshop/register.php

file

Visible to the public Using Parameters in Architectural Views to Support Heterogeneous Design and Verification Akshay

Abstract--Current methods for designing cyber-physical systems lack a unifying framework due to the heterogeneous nature of the constituent models and their respective analysis and verification tools. There is a need for a formal representation of the relationships between the different models. Our approach is to

file

Visible to the public Logics of dynamical systems

file

Visible to the public Formal verification of distributed aircraft controllers

file

Visible to the public Towards Formal Verification of Freeway Traffic Control

Title
Towards Formal Verification of Freeway Traffic Control

file

Visible to the public Safe Intersections At the Crossing of Hybrid Systems and Verification

Title
Safe Intersections: At the Crossing of Hybrid Systems and Verification

file

Visible to the public Distributed Theorem Proving for Distributed Hybrid Systems.pdf

Title
Distributed Theorem Proving for Distributed Hybrid Systems