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
Publications
file
MOUNT: Mountain-oriented Optimal Ubiquitous Networked Transportation
Submitted by thickicesong on Tue, 04/01/2014 - 10:18pm. Contributor:
Houbing Song
CPS Domains
Transportation Systems Sector
Automotive
Networked Control
Communication
Control
Critical Infrastructure
Wireless Sensing and Actuation
Transportation
CPS Technologies
Foundations
networked transportation systems
CFP Submissions
CFP Paper Submissions
2014 National Workshop on Transportation CPS
2014
Academia
Position Paper
Publications
forum
Workshop on Challenges and new Approaches for dependable and Cyber-Physical Systems engineering, Ada-Europe 2014
Submitted by cancila on Mon, 03/03/2014 - 12:07pm
[
Please accept our apologies if you receive multiple copies of this message.]
Dear Colleague,
Calls for Papers
CPS Domains
CPS Technologies
Research Program Overview
workshop on CPS
dependability
Reliable Software Technologies
Announcement
Publications
file
Fault-Tolerant Vehicle Architectures and Design Methods
Submitted by shladover on Thu, 02/20/2014 - 5:07pm. Contributor:
Steven Shladlover
CPS Domains
Automotive
Architectures
Control
Wireless Sensing and Actuation
Transportation
CPS Technologies
Foundations
fault management
Fault-tolerant
road vehicle automation
CFP Submissions
CFP Paper Submissions
2014 National Workshop on Transportation CPS
2014
Academia
Position Paper
Publications
file
Ensuring the Safety of Transportation Cyber-Physical Systems
Submitted by linhphan on Thu, 02/20/2014 - 5:07pm. Contributors:
Linh T.X. Phan
Insup Lee
Oleg Sokolsky
Christopher Gill
Chenyang Lu
CPS Domains
Automotive
Architectures
Control
Modeling
Transportation
CPS Technologies
Foundations
analysis
design
feature
Safety
CFP Submissions
CFP Paper Submissions
2014 National Workshop on Transportation CPS
2014
Academia
Position Paper
Publications
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
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
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
Stability of a Cyber-Physical Systems Using Cooperating Invariants
Submitted by tyucelen on Thu, 02/20/2014 - 12:07pm. Contributors:
Ashish Choudhari
Harini Ramaprasad
Tamal Paul
Jonathan W. Kimball
Maciej Zawodniok
Bruce McMillin
Sriram Chellappan
Tansel Yucelen
CPS Domains
Avionics
Transportation
CPS Technologies
Foundations
cyber physical systems
stability
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 »