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
»
Validation and Verification
Testing
A technical operation or procedure that consists of determination of one or more characteristics of a given product, process or service according to a specified procedure.
file
High-Confidence Medical Devices: Cyber-Physical Systems for 21st Century Health Care (February 2009)
Submitted by KNEW on Fri, 10/26/2012 - 7:59am
CPS Domains
Healthcare and Public Health Sector
Medical Devices
Architectures
Architectures
Testing
Control
Critical Infrastructure
Wireless Sensing and Actuation
Health Care
Validation and Verification
CPS Technologies
Foundations
HCSS
NITRD
2009
Reports
Report
file
Efficient Monitoring Techniques for Safety Critical Cyber-Physical Systems
Submitted by Aravinda Sistla on Sun, 10/07/2012 - 9: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
Dense Networks of Bacteria Propelled Micro-Robotic Swarms
Submitted by sitti@cmu.edu on Sun, 10/07/2012 - 9:20pm. Contributor:
Metin Sitti
Abstract
CPS Domains
Medical Devices
Testing
Platforms
Systems Engineering
Modeling
Wireless Sensing and Actuation
Health Care
Robotics
Validation and Verification
CPS Technologies
Education
Foundations
Micro-robotics
platforms
stochastic dense networks
swarm
National CPS PI Meeting 2012
2012
CPS PI MTG 12 Posters & Abstracts
Academia
Poster
file
Design & Development of a Cybernetic Rehabilitative Hand-Wrist Exoskeleton
Submitted by ddashish on Sun, 10/07/2012 - 8:14pm. Contributors:
Ashish Deshpande
Marcia O'Malley
Abstract
CPS Domains
Medical Devices
Testing
Control
Systems Engineering
Wireless Sensing and Actuation
Health Care
Robotics
Validation and Verification
CPS Technologies
Foundations
National CPS PI Meeting 2012
2012
CPS PI MTG 12 Posters & Abstracts
Academia
Poster
file
A CPS Approach to Robot Design
Submitted by Walid on Sun, 10/07/2012 - 12:24am. Contributors:
Walid Taha
Aaron Ames
Robert Cartwright
Marcia O'Malley
Abstract
CPS Domains
Hybrid Models
Design Automation Tools
Testing
Platforms
Modeling
Systems Engineering
Robotics
Simulation
Validation and Verification
CPS Technologies
Education
Foundations
National CPS PI Meeting 2012
2012
CPS PI MTG 12 Posters & Abstracts
Academia
Poster
file
Information and Computation Hierarchy for Smart Grids
Submitted by langtong on Sun, 10/07/2012 - 12:08am. Contributors:
Lang Tong
K. P. Birman
T. D. Mount
W. Song
R. J. Thomas
P. Varaiya
Abstract
Architectures
Architectures
CPS Domains
Smart Grid
Testing
Energy
Simulation
Validation and Verification
CPS Technologies
Foundations
National CPS PI Meeting 2012
2012
CPS PI MTG 12 Posters & Abstracts
Academia
Poster
file
Driver-in-the-Loop Cyber-Transportation Systems
Submitted by Chunming Qiao on Fri, 10/05/2012 - 9:33am. Contributors:
Chunming Qiao
Adel Sadek
Sean Wu
Kevin Hulme
Abstract
Automotive
CPS Domains
Transportation Systems Sector
Testing
Platforms
Modeling
Systems Engineering
Wireless Sensing and Actuation
Critical Infrastructure
Simulation
Transportation
Validation and Verification
CPS Technologies
Foundations
National CPS PI Meeting 2012
2012
CPS PI MTG 12 Posters & Abstracts
Academia
Poster
file
Fault Diagnosis and Prognosis in a Network of Embedded Systems in Automotive Vehicles
Submitted by pattipati on Thu, 10/04/2012 - 1:14pm. Contributor:
Krishna Pattipati
Abstract
Automotive
CPS Domains
Networked Control
Embedded Software
Model Integration
Testing
Modeling
Wireless Sensing and Actuation
Science of System Integration
Simulation
Transportation
Validation and Verification
CPS Technologies
Foundations
knowledge integration
modeling and simulation
systems engineering
0931956
National CPS PI Meeting 2012
2012
CPS PI MTG 12 Posters & Abstracts
Academia
Poster
file
StarExec - A Web Service for Evaluating Logic Solvers
Submitted by astump on Wed, 10/03/2012 - 3:39pm. Contributors:
Aaron D. Stump
Geoff Sutcliffe
Cesare Tinelli
Probabilistic and Statistical Verification
Quantitative Verification
Testing
Control
Validation and Verification
Foundations
National CPS PI Meeting 2012
2012
Session 2: Technology for CPS
Presentation
file
Model Synthesis New Challenges in Model Based Design
Submitted by Rajeev Alur on Wed, 10/03/2012 - 2:58pm. Contributor:
Rajeev Alur
CPS Domains
Medical Devices
Hybrid Models
Automotive
Design Automation Tools
Communication
Testing
Concurrency and Timing
Embedded Software
Platforms
Control
Systems Engineering
Modeling
Health Care
Robotics
Transportation
Simulation
Validation and Verification
CPS Technologies
Foundations
University of Pennsylvania
National CPS PI Meeting 2012
2012
Session 1: Science of CPS
Academia
Presentation
« first
‹ previous
…
48
49
50
51
52
53
54
55
56
next ›
last »
