Skip to Main Content Area

Not a member?

Click here to register!
Forgot username or password?

Position Paper

file

Model Checking Transportation Software

Submitted by Sagar Chaki on Thu, 02/20/2014 - 12:06pm. Contributor:

Sagar Chaki

file

Cyber-Physical Approaches for Designing Trustworthy Intelligent Transportation Systems

Submitted by chellaps@mst.edu on Thu, 02/20/2014 - 12:06pm. Contributor:

Sriram Chellappan

file

Robustness Analysis of Safety-Critical Systems

Submitted by gjbalas on Thu, 02/20/2014 - 12:06pm. Contributors:

file

Challenges of Applying Formal Methods to Automotive Control Systems

Submitted by kbutts on Thu, 02/20/2014 - 12:06pm. Contributors:

file

Big Control in the Industrial Internet

Submitted by beckmann on Thu, 02/20/2014 - 12:06pm. Contributor:

Benjamin Beckmann

file

Passivity based Tools for Intelligent Transportation

Submitted by Panos Antsaklis on Thu, 02/20/2014 - 12:06pm. Contributors:

file

Low-Cost, Embedded Safety-Critical Systems

Submitted by gjbalas on Thu, 02/20/2014 - 12:06pm. Contributors:

file

Communication and Decision Making Between the Human Driver and Autonomous Driver

Submitted by bajcsy1 on Thu, 02/20/2014 - 12:06pm. Contributors:

file

Cyber-Physical System Foundation to Enable Robust Airborne Networking in the National Airspace System

Submitted by Yan Wan on Thu, 02/20/2014 - 12:06pm. Contributor:

Yan Wan

file

An Information Centric View to Scalable, Resilient Cyber-Physical Transportation Systems

Submitted by Nalini Venkatasub... on Thu, 02/20/2014 - 12:06pm. Contributors:

Terms of Use | ©2023. CPS-VO