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
»
Foundations
»
Modeling
Semantics
The processes a system follows when executing a program in a specific language.
profile
Christopher Brooks
Heterogeneous Timing
Hybrid Models
Architectures
Design Automation Tools
Models of Computation
Multi-models
Concurrency and Timing
Embedded Software
Model Integration
Real-time Systems
Platforms
Time Synchronization
Semantics
Modeling
Systems Engineering
Real-Time Coordination
Wireless Sensing and Actuation
Simulation
CPS Technologies
Education
California
file
Toward a Science for Cyber-Physical System Integration
Submitted by Janos.Sztipanovits on Sun, 10/07/2012 - 12:35am. Contributors:
Janos Sztipanovits
Xenofon Koutsoukos
Gabor Karsai
Panos Antsaklis
Vijay Gupta
Bill Goodwine
John Baras
Shige Wang
Abstract
Automotive
CPS Domains
Networked Control
Architectures
Composition
Design Automation Tools
Multi-models
Model Integration
Control
Semantics
Platforms
Modeling
Systems Engineering
Science of System Integration
Transportation
CPS Technologies
Foundations
automotive control systems
model-based design
passivity-based design
system integration
National CPS PI Meeting 2012
2012
CPS PI MTG 12 Posters & Abstracts
Academia
Poster
file
SPLAT! How to Avoid Bugs while Driving on the Highway
Submitted by Andre Platzer on Fri, 10/05/2012 - 9:22am. Contributors:
André Platzer
Sarah Loos
Abstract
CPS Domains
SCADA Systems
Automotive
Hybrid Models
Composition
Embedded Software
Control
Semantics
Modeling
Critical Infrastructure
Robotics
Transportation
Validation and Verification
CPS Technologies
Education
Foundations
0931985
National CPS PI Meeting 2012
2012
CPS PI MTG 12 Posters & Abstracts
Academia
Poster
profile
RNeches
Aerospace
Hybrid Models
Networked Control
Medical Devices
Architectures
3-D Printing
Architectures
Composition
Multi-models
Design Automation Tools
Ground Vehicles
Model Integration
Concurrency and Timing
Space Systems
Semantics
Defense
Time Synchronization
Systems Engineering
Modeling
Real-Time Coordination
Health Care
Resilient Systems
Manufacturing
Science of System Integration
Transportation
Simulation
Education
Science Policy
District of Columbia
profile
MurrayBT
Aerospace
Architectures
Architectures
Certification
Energy Efficient Buildings
Heterogeneous Timing
Hybrid Models
Networked Control
Probabilistic and Statistical Verification
SCADA Systems
Secure Control Systems
Avionics
Composition
Design Automation Tools
Models of Computation
Multi-models
Quantitative Verification
Concurrency and Timing
Embedded Software
Model Integration
Real-time Systems
Control
Defense
Platforms
Semantics
Time Synchronization
Energy
Modeling
Systems Engineering
Critical Infrastructure
Real-Time Coordination
Wireless Sensing and Actuation
Resilient Systems
Manufacturing
Science of System Integration
Robotics
Science of Security
Simulation
Validation and Verification
CPS Technologies
Connecticut
profile
Ivan Ruchkin
Architectures
Architectures
Hybrid Models
Probabilistic and Statistical Verification
Design Automation Tools
Multi-models
Quantitative Verification
Model Integration
Semantics
Systems Engineering
Real-Time Coordination
Validation and Verification
Pennsylvania
profile
Kevin Driscoll
Aerospace
Architectures
Architectures
Automotive
Certification
CPS Domains
Heterogeneous Timing
Networked Control
Probabilistic and Statistical Verification
SCADA Systems
Secure Control Systems
Avionics
Composition
Consumer
Design Automation Tools
Ground Vehicles
Quantitative Verification
Smart Grid
Communication
Concurrency and Timing
Embedded Software
Real-time Systems
Space Systems
Testing
Control
Defense
Platforms
Semantics
Time Synchronization
Energy
Systems Engineering
Critical Infrastructure
Real-Time Coordination
Wireless Sensing and Actuation
Resilient Systems
Science of System Integration
Robotics
Science of Security
Simulation
Transportation
Validation and Verification
CPS Technologies
Education
Foundations
Science Policy
Research Program Overview
Minnesota
profile
tim finin
Semantics
Science of System Integration
profile
Sam Wilke
Agriculture
Architectures
Consumer
Semantics
Systems Engineering
Pragmatics
profile
Simon Bliudze
Aerospace
Architectures
Automotive
Heterogeneous Timing
Hybrid Models
Information Technology Sector
Avionics
Composition
Design Automation Tools
Models of Computation
Multi-models
Smart Grid
Concurrency and Timing
Embedded Software
Model Integration
Real-time Systems
Space Systems
Platforms
Semantics
Time Synchronization
Modeling
Systems Engineering
Real-Time Coordination
Health Care
Resilient Systems
Robotics
Simulation
Transportation
« first
‹ previous
…
3
4
5
6
7
8
9
10
11
next ›
last »