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
»
2014
2014 National Workshop on Transportation CPS
file
The Need for an Application-Centric Networking Paradigm for Large Scale Transportation Cyber-Physical Systems
Submitted by yfallah on Thu, 02/20/2014 - 11:06am. Contributors:
Yaser P. Fallah
Hariharan Krishnan
CPS Domains
Automotive
Avionics
Communication
Control
Systems Engineering
Modeling
Transportation
Simulation
CPS Technologies
Foundations
automated crash avoidance
DSRC
safety systems
CFP Submissions
CFP Paper Submissions
2014 National Workshop on Transportation CPS
2014
Academia
Industry
Position Paper
Publications
file
Tackling Uncertainty for Transportation Cyber-Physical Systems
Submitted by chengb on Thu, 02/20/2014 - 11:06am. Contributor:
Betty Cheng
CPS Domains
Automotive
Embedded Software
Modeling
Transportation
CPS Technologies
Foundations
adaptive systems
assurance
coping with uncertainty
Engineering
model driven
CFP Submissions
CFP Paper Submissions
2014 National Workshop on Transportation CPS
2014
Academia
Position Paper
Publications
file
Security in Transportation Systems
Submitted by suhas on Thu, 02/20/2014 - 11:06am. 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 - 11:06am. 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 - 11:06am. 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 - 11:06am. 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 - 11:06am. 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 - 11:06am. 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 - 11:06am. 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 - 11:06am. 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
« first
‹ previous
…
4
5
6
7
8
9
10
11
12
…
next ›
last »
