Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
2014 National Workshop on Transportation Cyber-Physical Systems Program Committee
CPS-VO
»
Transportation
»
2014 National Workshop on Transportation Cyber-Physical Systems
»
2014 National Workshop on Transportation Cyber-Physical Systems Program Committee
» CFP PAPER SUBMISSIONS
CFP Paper Submissions
file
Security in Transportation Systems
Submitted by suhas on Thu, 02/20/2014 - 12:06pm. Contributors:
Suhas Diggavi
Mani Srivastava
Paulo Tabuada
CPS Domains
Transportation Systems Sector
Automotive
Avionics
Communication
Critical Infrastructure
Wireless Sensing and Actuation
Transportation
CPS Technologies
Foundations
autonomous vehicles
networked transportation systems
security
sensor attacks
CFP Submissions
CFP Paper Submissions
2014 National Workshop on Transportation CPS
2014
Academia
Position Paper
Publications
file
Developing Decentralized and Coordinated Surface Traffic Control Based on Well-Connected Smart Transportation Systems
Submitted by Lili Du on Thu, 02/20/2014 - 12:06pm. Contributor:
Lili Du
CPS Domains
Transportation Systems Sector
Automotive
Communication
Control
Critical Infrastructure
Transportation
CPS Technologies
Foundations
connected vehicles
decentralized
smart transportation
CFP Submissions
CFP Paper Submissions
2014 National Workshop on Transportation CPS
2014
Position Paper
Publications
file
Model Checking Transportation Software
Submitted by Sagar Chaki on Thu, 02/20/2014 - 12:06pm. Contributor:
Sagar Chaki
CPS Domains
Automotive
Certification
Communication
Embedded Software
Control
Modeling
Real-Time Coordination
Transportation
Validation and Verification
CPS Technologies
Foundations
model checking
Software
Transportation Cyber-Physical Systems
CFP Submissions
CFP Paper Submissions
2014 National Workshop on Transportation CPS
2014
Academia
Position Paper
Publications
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
CPS Domains
Transportation
CPS Technologies
Foundations
dispersion
privacy
security
CFP Submissions
CFP Paper Submissions
2014 National Workshop on Transportation CPS
2014
Academia
Position Paper
Publications
file
Challenges of Applying Formal Methods to Automotive Control Systems
Submitted by kbutts on Thu, 02/20/2014 - 12:06pm. Contributors:
Xiaoqing Jin
Jyotirmoy V. Deshmukh
James Kapinski
Koichi Ueda
Ken Butts
CPS Domains
Automotive
Transportation
Validation and Verification
CPS Technologies
Foundations
automotive controls
CFP Submissions
CFP Paper Submissions
2014 National Workshop on Transportation CPS
2014
Industry
Position Paper
Publications
file
Big Control in the Industrial Internet
Submitted by beckmann on Thu, 02/20/2014 - 12:06pm. Contributor:
Benjamin Beckmann
CPS Domains
Automotive
Avionics
Control
Critical Infrastructure
Transportation
CPS Technologies
Foundations
industrial
internet
CFP Submissions
CFP Paper Submissions
2014 National Workshop on Transportation CPS
2014
Industry
Position Paper
Publications
file
Robustness Analysis of Safety-Critical Systems
Submitted by gjbalas on Thu, 02/20/2014 - 12:06pm. Contributors:
Gary Balas
Peter Selier
Andrew Packard
CPS Domains
Certification
Avionics
Control
Transportation
Validation and Verification
CPS Technologies
Foundations
Large Scale Systems
robustness analysis
tools
CFP Submissions
CFP Paper Submissions
2014 National Workshop on Transportation CPS
2014
Academia
Position Paper
Publications
file
Low-Cost, Embedded Safety-Critical Systems
Submitted by gjbalas on Thu, 02/20/2014 - 12:06pm. Contributors:
Mats Heimdahl
Sanjai Rayadurgam
Peter Selier
Gary Balas
CPS Domains
Automotive
Transportation
Validation and Verification
CPS Technologies
Foundations
integrity
Reliability
CFP Submissions
CFP Paper Submissions
2014 National Workshop on Transportation CPS
2014
Academia
Position Paper
Publications
file
Communication and Decision Making Between the Human Driver and Autonomous Driver
Submitted by bajcsy1 on Thu, 02/20/2014 - 12:06pm. Contributors:
Ruzena Bajcsy
Kathy Campbell
Dorsa Sadigh
Francesco Borrelli
S. Shankar Sastry
Sanjit A. Seshia
CPS Domains
Automotive
Communication
Transportation
CPS Technologies
Foundations
autonomous driver
human driver
Transportation Cyber-Physical Systems
CFP Submissions
CFP Paper Submissions
2014 National Workshop on Transportation CPS
2014
Academia
Position Paper
Publications
file
Passivity based Tools for Intelligent Transportation
Submitted by Panos Antsaklis on Thu, 02/20/2014 - 12:06pm. Contributors:
Panos Antsaklis
Vijay Kumar
Shige Wang
CPS Domains
Automotive
Design Automation Tools
Communication
Control
Modeling
Transportation
Validation and Verification
CPS Technologies
Foundations
Intelligent Transportation Systems
passivity-based design
tools
CFP Submissions
CFP Paper Submissions
2014 National Workshop on Transportation CPS
2014
Academia
Position Paper
Publications
« first
‹ previous
…
3
4
5
6
7
8
9
10
11
next ›
last »