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
Academia
The document was issued by academy or academy organization.
file
Extreme-Scale CPS
Submitted by gabor on Mon, 05/16/2016 - 11:47am
CPS Domains
Energy Sector
Energy
Critical Infrastructure
Wireless Sensing and Actuation
Resilient Systems
Validation and Verification
CPS Technologies
Foundations
fault tolerance
ISIS- Vanderbilt University
Scalability
2016
Academia
Presentation
Presentations
file
Handling Unusual and Unmodeled Events
Submitted by Tamás Dabóczi on Mon, 05/16/2016 - 11:47am
Modeling
Validation and Verification
Foundations
adaptive systems
Budapest University of Technology and Economics
CPS Safety
predictable systems
2016
Academia
Presentation
Presentations
file
Determinism: Resurrecting Laplace’s Demon
Submitted by Edward Lee on Mon, 05/16/2016 - 11:47am
Concurrency and Timing
Modeling
Foundations
deterministic models
University of California at Berkeley
2016
Academia
Presentation
Presentations
file
Design-time Models vs. Run-time Models
Submitted by Dániel Varró on Mon, 05/16/2016 - 11:47am
Modeling
Foundations
Budapest University of Technology and Economics
design time modeling
Internet of Things (IoT)
runtime modeling
2016
Academia
Presentation
Presentations
file
Energy-Based Control Design of Cyber-Physical Systems
Submitted by Xenofon Koutsoukos on Mon, 05/16/2016 - 11:47am
Platforms
Control
Modeling
CPS Technologies
Foundations
CPS design
ISIS- Vanderbilt University
stability
Academia
Presentation
Presentations
file
Security and Resilience Problems in Unmanned Aircraft Systems (UAS) and UAV Traffic Management (UTM)
Submitted by alaszka on Mon, 05/16/2016 - 11:47am
CPS Domains
Transportation Systems Sector
Automotive
Critical Infrastructure
Resilient Systems
Robotics
Transportation
Foundations
CPS Security
University of California at Berkeley
2016
Academia
Presentation
Presentations
file
We Don't Need No Education
Submitted by sprinkle on Mon, 05/16/2016 - 11:47am
Education
University of Arizona
2016
Academia
Presentation
Presentations
file
Challenges in Autonomous Vehicle Testing and Validation
Submitted by pkoopman on Tue, 05/10/2016 - 7:46pm. Contributors:
Philip Koopman
Michael Wagner
Automotive
Testing
Control
Transportation
Validation and Verification
Carnegie Mellon University
2016
Academia
Presentation
Meeting #17
file
Compositional Reasoning for Architectural Models
Submitted by dcofer on Tue, 05/10/2016 - 7:46pm. Contributors:
Darren Cofer
John Backes
Andrew Gacek
Mike Whalen
Certification
Modeling
Validation and Verification
Foundations
compositional reasoning
analysis
2016
Academia
Industry
Presentation
Meeting #17
file
Assurance Through Comprehensive Formal Verification
Submitted by JohnCKnight on Tue, 05/10/2016 - 7:46pm. Contributor:
John C. Knight
Modeling
Validation and Verification
Foundations
PVS
Simulink
assurance
2016
Academia
Presentation
Meeting #17
« first
‹ previous
…
12
13
14
15
16
17
18
19
20
…
next ›
last »
