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
Massachusetts
profile
Taskin Padir
Health Care
Robotics
Education
Massachusetts
profile
Nancy Lynch
Research Program Overview
Timed automata; Probabilistic automata
Massachusetts
profile
Christos Cassandras
Aerospace
CPS Domains
Energy Efficient Buildings
Hybrid Models
Networked Control
Communication
Concurrency and Timing
Real-time Systems
Control
Defense
Energy
Modeling
Systems Engineering
Real-Time Coordination
Wireless Sensing and Actuation
Resilient Systems
Manufacturing
Science of System Integration
Transportation
Education
Massachusetts
profile
Anuradha Annaswamy
Foundations
adaptive switched systems
co-design of control and platform
schedulability analysis
stability
switched-systems
Massachusetts
profile
S Tucker Taft
Certification
Embedded Software
Concurrency and Timing
Real-time Systems
Defense
Transportation
Validation and Verification
parallel programming
high-confidence systems
Massachusetts
profile
Jim Tung
CPS Domains
Probabilistic and Statistical Verification
Automotive
Consumer
Quantitative Verification
Design Automation Tools
Avionics
Testing
Embedded Software
Communication
Defense
Platforms
Control
Systems Engineering
Energy
Modeling
Critical Infrastructure
Wireless Sensing and Actuation
Real-Time Coordination
Health Care
Robotics
Simulation
Transportation
Validation and Verification
CPS Technologies
Education
Foundations
Massachusetts
profile
Israel Koren
CPS Domains
CPS Technologies
Foundations
real-time embedded systems
fault tolerance
Reliability
Massachusetts
« first
‹ previous
1
2
3
