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
Hybrid Models
Models having two kinds of components that produce the same or similar results.
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
Kyoung-Dae Kim
Architectures
Hybrid Models
Embedded Software
Defense
Platforms
Control
Energy
Systems Engineering
Real-Time Coordination
Health Care
Science of System Integration
Robotics
Transportation
profile
Bill Milam
Hybrid Models
Networked Control
Automotive
Probabilistic and Statistical Verification
Architectures
CPS Domains
Heterogeneous Timing
Certification
Secure Control Systems
Architectures
Consumer
Multi-models
Models of Computation
Composition
Quantitative Verification
Design Automation Tools
Concurrency and Timing
Embedded Software
Real-time Systems
Model Integration
Testing
Communication
Semantics
Control
Time Synchronization
Platforms
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
file
Compositionality and Reconfiguration for Distributed Hybrid Systems
Submitted by Andre Platzer on Fri, 11/04/2011 - 2:08pm. Contributors:
Andre Platzer
Edmund M. Clarke
Ping Hou
Sarah M. Loos
Automotive
CPS Domains
Hybrid Models
Composition
Semantics
Modeling
Robotics
Transportation
Validation and Verification
Education
Foundations
Carnegie Mellon University
0931985
National CPS PI Meeting 2011
Project Abstracts
Academia
file
Hybrid Systems for Modeling, Performing and Teaching the Language of Surgery
Submitted by rajesh on Fri, 11/04/2011 - 11:29am. Contributors:
Gregory Hager
Rajesh Kumar
Sanjeev Khudanpur
Rene Vidal
CPS Domains
Hybrid Models
Medical Devices
Modeling
Systems Engineering
Health Care
Robotics
CPS Technologies
Education
Foundations
Johns Hopkins University
National CPS PI Meeting 2011
Project Abstracts
Academia
file
Hybrid Systems for Modeling, Performing and Teaching the Language of Surgery
Submitted by admin on Sun, 07/31/2011 - 7:01pm. Contributors:
Rajesh Kumar
Gregory Hager
Rene Vidal
Sanjeev Khudanpur
Chi Chiung Grace Chen
David Yuh
CPS Domains
Hybrid Models
Medical Devices
Modeling
Systems Engineering
Health Care
Robotics
CPS Technologies
Education
Foundations
Johns Hopkins University
National CPS PI Meeting 2011
Poster Session: Day 1
Academia
Poster
file
Compositionality and Reconfiguration for Distributed Hybrid Systems
Submitted by admin on Sun, 07/31/2011 - 6:43pm. Contributors:
André Platzer
Edmund M. Clarke
Ping Hou
Sarah M. Loos
Automotive
CPS Domains
Hybrid Models
Composition
Semantics
Modeling
Robotics
Transportation
Validation and Verification
Education
Foundations
Carnegie Mellon University
0931985
National CPS PI Meeting 2011
Poster Session: Day 1
Academia
Poster
project
CPS: Medium: Hybrid Systems for Modeling and Teaching the Language of Surgery
Submitted by gdhager on Thu, 04/07/2011 - 6:24pm
Project Details
Institution(s):
Johns Hopkins University
Sponsor Award URL:
http://www.nsf.gov/awardsearch/showAward?AWD_ID=0931805&HistoricalAwards=false
CPS Domains
Medical Devices
Hybrid Models
Systems Engineering
Modeling
Health Care
Robotics
CPS Technologies
Education
Foundations
project
CPS: Small: Compositionality and Reconfiguration for Distributed Hybrid Systems
Submitted by Andre Platzer on Thu, 04/07/2011 - 6:24pm
Project Details
Institution(s):
Carnegie-Mellon University
Sponsor Award URL:
http://www.nsf.gov/awardsearch/showAward?AWD_ID=0931985&HistoricalAwards=false
CPS Domains
Automotive
Hybrid Models
Composition
Semantics
Modeling
Robotics
Transportation
Validation and Verification
Education
Foundations
« first
‹ previous
…
16
17
18
19
20
21
22
23
24
next ›
last »
