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
»
CPS Domains
»
Transportation
Automotive
Design, development and manufacture of motor vehicles, towed vehicles, motorcycles and mopeds.
file
Formalisms for Cyber-Physical Systems in Transportation
Submitted by Gul Agha on Thu, 02/20/2014 - 5:07pm. Contributor:
Gul Agha
Automotive
CPS Domains
Avionics
Concurrency and Timing
Embedded Software
Modeling
Wireless Sensing and Actuation
Transportation
CPS Technologies
Foundations
middleware
formal methods
CFP Submissions
CFP Paper Submissions
2014 National Workshop on Transportation CPS
2014
Academia
Position Paper
Publications
file
Formal Verification of Transportation Systems
Submitted by zheng@cse.usf.edu on Thu, 02/20/2014 - 12:07pm. Contributors:
Hao Zheng
Chris J. Myers
CPS Domains
Automotive
Architectures
Modeling
Transportation
Validation and Verification
CPS Technologies
Foundations
compositional reasoning
formal verification
model checking
CFP Submissions
CFP Paper Submissions
2014 National Workshop on Transportation CPS
2014
Academia
Position Paper
Publications
file
WInternet and Its Applications for Transportation Systems
Submitted by jianjiawu on Thu, 02/20/2014 - 12:07pm. Contributors:
Wei Zhao
Lizuo Zhang
Jianjia Wu
CPS Domains
Automotive
Architectures
Architectures
Transportation
CPS Technologies
Foundations
Internet of Things
Transportation
CFP Submissions
CFP Paper Submissions
2014 National Workshop on Transportation CPS
2014
Academia
Position Paper
Publications
file
Monitoring for Safety in Transportation CPS
Submitted by mzefran on Thu, 02/20/2014 - 12:07pm. Contributors:
A. Prasad Sistla
Milos Zefran
CPS Domains
Automotive
Modeling
Transportation
Validation and Verification
CPS Technologies
Foundations
driver
Monitoring
PMCP
Safety
CFP Submissions
CFP Paper Submissions
2014 National Workshop on Transportation CPS
2014
Academia
Position Paper
Publications
file
Embedded Wireless Networking for Automotive CPS: Probabilistic Guarantees and Implications
Submitted by hzhang_cse on Thu, 02/20/2014 - 12:07pm. Contributors:
Hongwei Zhang
Le Yi Wang
George Yin
CPS Domains
Automotive
Communication
Control
Modeling
Wireless Sensing and Actuation
Real-Time Coordination
Transportation
CPS Technologies
Foundations
networked systems
vehicular networks; wireless communications
CFP Submissions
CFP Paper Submissions
2014 National Workshop on Transportation CPS
2014
Academia
Position Paper
Publications
file
Towards Safe and Efficient Transportation-Based Critical Infrastructure
Submitted by Yu Wei on Thu, 02/20/2014 - 12:07pm. Contributors:
Wei Yu
Honggang Wang
CPS Domains
Transportation Systems Sector
Automotive
Architectures
Architectures
Avionics
Control
Critical Infrastructure
Wireless Sensing and Actuation
Transportation
CPS Technologies
Foundations
Cloud Computing
efficiency
ITS
Safety
CFP Submissions
CFP Paper Submissions
2014 National Workshop on Transportation CPS
2014
Academia
Position Paper
Publications
file
On Leveraging Social Informatics for Transportation Cyber-Physical Systems
Submitted by sfelixwu on Thu, 02/20/2014 - 12:07pm. Contributor:
S. Felix Wu
CPS Domains
Automotive
Communication
Platforms
Control
Transportation
CPS Technologies
Foundations
cyber physical systems
Informatics
Social psychology
social-behavioral factors
CFP Submissions
CFP Paper Submissions
2014 National Workshop on Transportation CPS
2014
Academia
Position Paper
Publications
file
Next Gen Transportation Systems: Enabling Distributed Decision-Making, Security, and Trust in Networks of Autonomous Vehicles
Submitted by alexwyg on Thu, 02/20/2014 - 12:07pm. Contributors:
Alexander M. Wyglinski
Xinming Huang
Thomas Eisenbarth
Lifeng Lai
Krishna Venakatasubramanian
CPS Domains
Automotive
Networked Control
Embedded Software
Control
Real-Time Coordination
Transportation
CPS Technologies
Foundations
autonomous vehicles
distributed
optimization
security
CFP Submissions
CFP Paper Submissions
2014 National Workshop on Transportation CPS
2014
Academia
Position Paper
Publications
file
Privacy-Preserving Techniques in the Context of Transportation CPS
Submitted by swetzel on Thu, 02/20/2014 - 12:07pm. Contributor:
Susanne Wetzel
CPS Domains
Automotive
Avionics
Transportation
CPS Technologies
Foundations
Homomorphic encryption
privacy
security
usability
CFP Submissions
CFP Paper Submissions
2014 National Workshop on Transportation CPS
2014
Academia
Position Paper
Publications
file
Including the Social Component in Smart Transportation Systems
Submitted by dbwork on Thu, 02/20/2014 - 12:07pm. Contributors:
Sudeep Gowrishankar
Raphael E. Stern
Daniel B. Work
CPS Domains
Transportation Systems Sector
Automotive
Control
Critical Infrastructure
Wireless Sensing and Actuation
Real-Time Coordination
Resilient Systems
Transportation
CPS Technologies
Foundations
smart transportation
social-behavioral factors
Transportation
CFP Submissions
CFP Paper Submissions
2014 National Workshop on Transportation CPS
Academia
Position Paper
Publications
« first
‹ previous
…
46
47
48
49
50
51
52
53
54
…
next ›
last »
