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
»
Concurrency and Timing
Models of Computation
The set of allowable operations used in computation and their respective costs.
profile
Di Shang
CPS Domains
Aerospace
Heterogeneous Timing
Architectures
Hybrid Models
Networked Control
Ground Vehicles
Models of Computation
Design Automation Tools
Composition
Multi-models
Real-time Systems
Concurrency and Timing
Embedded Software
Model Integration
Space Systems
Control
Semantics
Defense
Time Synchronization
Platforms
Modeling
Systems Engineering
Wireless Sensing and Actuation
Real-Time Coordination
Science of System Integration
Robotics
Simulation
CPS Technologies
Foundations
Science Policy
Research Program Overview
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
Efficient Monitoring Techniques for Safety Critical Cyber-Physical Systems
Submitted by Aravinda Sistla on Sun, 10/07/2012 - 8:24pm. Contributor:
A. Prasad Sistla
Abstract
CPS Domains
Hybrid Models
Probabilistic and Statistical Verification
Automotive
Models of Computation
Quantitative Verification
Concurrency and Timing
Testing
Modeling
Systems Engineering
Critical Infrastructure
Robotics
Simulation
Transportation
Validation and Verification
CPS Technologies
Foundations
National CPS PI Meeting 2012
2012
CPS PI MTG 12 Posters & Abstracts
Academia
Poster
file
CPS Foundations in Computation and Communication
Submitted by scraven on Fri, 10/05/2012 - 9:58am. Contributors:
Mina Sartipi
Stephen Craven
Abstract
Architectures
Architectures
CPS Domains
Medical Devices
Models of Computation
Communication
Concurrency and Timing
Wireless Sensing and Actuation
Health Care
CPS Technologies
Foundations
0932113
National CPS PI Meeting 2012
2012
CPS PI MTG 12 Posters & Abstracts
Academia
Poster
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
file
Sensor Lattices
Submitted by Steven Lavalle on Mon, 10/01/2012 - 11:13am. Contributors:
Steven LaValle
Jingjin Yu
Abstract
Agriculture
CPS Domains
Models of Computation
Concurrency and Timing
Systems Engineering
Wireless Sensing and Actuation
CPS Technologies
Foundations
National CPS PI Meeting 2012
2012
CPS PI MTG 12 Posters & Abstracts
Academia
file
Geometric Distributed Algorithms for Multi-Robot Coordination and Control
Submitted by Nancy Lynch on Wed, 09/26/2012 - 11:45am. Contributor:
Nancy Lynch
Abstract
CPS Domains
Composition
Models of Computation
Concurrency and Timing
Control
Platforms
Modeling
Systems Engineering
Wireless Sensing and Actuation
Robotics
Validation and Verification
CPS Technologies
Foundations
National CPS PI Meeting 2012
2012
CPS PI MTG 12 Posters & Abstracts
Academia
Poster
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
profile
Bill Milam
Architectures
Architectures
Automotive
Certification
CPS Domains
Heterogeneous Timing
Hybrid Models
Networked Control
Probabilistic and Statistical Verification
Secure Control Systems
Composition
Consumer
Design Automation Tools
Models of Computation
Multi-models
Quantitative Verification
Communication
Concurrency and Timing
Embedded Software
Model Integration
Real-time Systems
Testing
Control
Platforms
Semantics
Time Synchronization
Modeling
Systems Engineering
Real-Time Coordination
Resilient Systems
Science of System Integration
Science of Security
Simulation
Transportation
Validation and Verification
CPS Technologies
Education
Foundations
Science Policy
Research Program Overview
Michigan
profile
Ricardo Sanfelice
Networked Control
Hybrid Models
Smart Grid
Models of Computation
Time Synchronization
Modeling
Robotics
Aerospace
biology
cyber-physical systems
embedded systems
hybrid modeling
robotics
robust control
simulation of nonlinear
stability
« first
‹ previous
1
2
3
4
5
6
7
8
next ›
last »
