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
Avionics
Electronics designed for use in aerospace vehicles.
profile
Justin Bradley
CPS Domains
Avionics
Embedded Software
Control
Systems Engineering
Robotics
Transportation
Education
Science Policy
Research Program Overview
Nebraska
profile
Mark Yampolskiy
Aerospace
Secure Control Systems
Networked Control
SCADA Systems
Automotive
Architectures
Smart Grid
Avionics
Embedded Software
Concurrency and Timing
Communication
Space Systems
Systems Engineering
Wireless Sensing and Actuation
Critical Infrastructure
Real-Time Coordination
Resilient Systems
Science of System Integration
Robotics
Science of Security
Transportation
Education
Research Program Overview
Alabama
profile
Richard Paige
Information Technology Sector
Automotive
Architectures
Aerospace
Architectures
Avionics
Design Automation Tools
Composition
Embedded Software
Concurrency and Timing
Systems Engineering
Modeling
Science of System Integration
Science of Security
Simulation
Validation and Verification
Education
profile
Gerard Holzmann
Aerospace
Probabilistic and Statistical Verification
Medical Devices
Certification
Automotive
Ground Vehicles
Smart Grid
Quantitative Verification
Avionics
Testing
Concurrency and Timing
Embedded Software
Space Systems
Defense
Semantics
Systems Engineering
Health Care
Science of Security
Simulation
Transportation
Validation and Verification
Education
Science Policy
Research Program Overview
California
profile
Darren Cofer
Certification
Avionics
Validation and Verification
profile
Houbing Song
Agriculture
Architectures
CPS Domains
Architectures
Automotive
Hybrid Models
Composition
Design Automation Tools
Avionics
Multi-models
Consumer
Model Integration
Embedded Software
Communication
Concurrency and Timing
Semantics
Defense
Platforms
Control
Modeling
Energy
Systems Engineering
Real-Time Coordination
Wireless Sensing and Actuation
Critical Infrastructure
Health Care
Resilient Systems
Manufacturing
Science of System Integration
Robotics
Science of Security
Transportation
Simulation
Validation and Verification
CPS Technologies
Education
Foundations
Science Policy
Research Program Overview
Computing for Sustainability
Signal Processing for Communications and Networking
Smart Grid Cyber Security
Transportation Cyber-Physical Systems
Florida
profile
Yuri Gawdiak
Medical Devices
Automotive
Smart Grid
Design Automation Tools
Avionics
Systems Engineering
Manufacturing
Robotics
Science Policy
Research Program Overview
UAS
NextGen
NASA
profile
John Baras
Networked Control
Energy Efficient Buildings
Automotive
Architectures
Architectures
Smart Grid
Composition
Avionics
Design Automation Tools
Consumer
Communication
Concurrency and Timing
Embedded Software
Platforms
Defense
Systems Engineering
Modeling
Wireless Sensing and Actuation
Health Care
Manufacturing
Science of Security
Validation and Verification
Education
Foundations
CPS Architectures
CPS modeling
CPS design
Model-based Systems Engineering
CPS Theory and Foundations
Maryland
event
Hybrid Systems: Computation and Control (HSCC) 2012
Apr 17, 2012 6:16 am - Apr 19, 2012 6:16 am -08
Submitted by Katie Dey on Mon, 04/16/2012 - 6:17pm
Automotive
Avionics
Control
Modeling
Energy
Manufacturing
Robotics
Transportation
HSCC 2012
Conference
event
ICESS'12
Jun 25, 2012 5:00 pm - Jun 27, 2012 5:00 pm EDT
Submitted by Katie Dey on Mon, 04/16/2012 - 6:17pm
The 9th IEEE International Conference on Embedded Software and Systems (ICESS) 2012
Automotive
Avionics
Embedded Software
ICESS 2012
Conference
« first
‹ previous
…
35
36
37
38
39
40
41
42
43
next ›
last »
