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
Aerospace
file
Detecting Semantic Bugs in Autopilot Software by Classifying Anomalous Variables
Submitted by jhrife on Thu, 01/09/2020 - 5:10pm. Contributors:
Jason Rife
Hu Huang
Liangchun Xu
Samuel Z. Guyer
fault detection
bug detection
Aerospace
Software
Posters
1836942
CPS PI Meeting 2019
2019
NSF
U.S. Government
Poster
profile
Peng Wei
Transportation Systems Sector
Aerospace
Probabilistic and Statistical Verification
Secure Control Systems
Avionics
Design Automation Tools
Quantitative Verification
Testing
Real-time Systems
Control
Platforms
Modeling
Systems Engineering
Real-Time Coordination
Resilient Systems
Robotics
Simulation
Validation and Verification
Education
aviation
air transportation
Aerospace
District of Columbia
forum
ASSURE 2016 Call for Papers - 4th International Workshop on Assurance Cases for Software-intensive Systems
Submitted by gpai on Mon, 04/04/2016 - 4:57pm
CALL FOR PAPERS
Calls for Papers
Architectures
Architectures
Composition
Design Automation Tools
Embedded Software
Defense
Control
Platforms
Energy
Modeling
Systems Engineering
Wireless Sensing and Actuation
Critical Infrastructure
Real-Time Coordination
Health Care
Resilient Systems
Science of System Integration
Robotics
Science of Security
Transportation
Validation and Verification
CPS Technologies
Foundations
assurance cases
Safety-Critical Systems
software-intensive systems
Aerospace
Healthcare
Transportation
defense
automotive
rail
Announcement
file
Securing the Future of Transportation
Submitted by ulf on Thu, 02/20/2014 - 11:07am. Contributor:
Ulf Lindqvist
CPS Domains
Automotive
Transportation
CPS Technologies
Foundations
Aerospace
Cybersecurity
rail
Transportation
CFP Submissions
CFP Paper Submissions
2014 National Workshop on Transportation CPS
2014
Industry
Position Paper
Publications
file
High-Assurance Provably Correct Controller Synthesis of Aerospace Cyber-Physical Systems Using Bayesian Model Checking
Submitted by sumitjha on Thu, 02/20/2014 - 11:06am. Contributors:
Sumit Kumar Jha
Steven L. Drager
Brent Miller
Aerospace
Avionics
Defense
Modeling
Transportation
CPS Technologies
Foundations
model checking
High Assurance CPS
Aerospace
CFP Submissions
CFP Paper Submissions
2014 National Workshop on Transportation CPS
2014
Academia
Position Paper
Publications
profile
Hanz Richter
Hybrid Models
Multi-models
Testing
Control
Robotics
Simulation
Education
robust control
robotics
motion control
mechatronics
biomedical robotics
Aerospace
Ohio
profile
Shoumen Datta
CPS Domains
CPS Technologies
Education
Foundations
Science Policy
Research Program Overview
Healthcare
Energy
Aerospace
Cybersecurity
automotive
manufacturing
knowledge management
retail
profile
Juris Vagners
CPS Domains
Aerospace
2013 CPS PI Meeting
Washington
profile
Gary Balas
Control
CPS Technologies
Education
Aerospace
fault detection
profile
Janusz Zalewski
CPS Domains
CPS Technologies
Education
Foundations
Research Program Overview
Aerospace
Florida
1
2
next ›
last »
