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
»
2011
National CPS PI Meeting 2011
file
Formal Dependability Analysis for Real-Time Medical Devices
Submitted by srirams on Sat, 11/05/2011 - 10:36am. Contributors:
Sriram Sankaranarayanan
Clayton Lewis
Hadjar Homaei
CPS Domains
Modeling
Validation and Verification
Education
Foundations
University of Colorado at Boulder
National CPS PI Meeting 2011
Poster Session: Day 1
Academia
Poster
file
Body Sensor Networks: A Holistic Approach from Silicon to Users
Submitted by John Stankovic on Fri, 11/04/2011 - 2:20pm. Contributors:
David Wentzloff
John Stankovic
Architectures
CPS Domains
Medical Devices
Embedded Software
Platforms
Health Care
CPS Technologies
University of Michigan
University of Virginia
National CPS PI Meeting 2011
Project Abstracts
Academia
file
Robust Capacity-Constrained Scheduling and Data-Based Model Refinement for Enhanced Collision Avoidance in Low-Earth Orbit
Submitted by Dennis Bernstein on Fri, 11/04/2011 - 2:15pm. Contributors:
Dennis S. Bernstein
Amy Cohn
Jamie Cutler
Aaron Ridley
Jeffrey Anderson
Aerospace
CPS Domains
Space Systems
Defense
Modeling
Systems Engineering
CPS Technologies
Foundations
NCAR
The University of Michigan- Ann Arbor
National CPS PI Meeting 2011
Project Abstracts
Academia
file
Robots with Vision that Find Objects
Submitted by fermuller on Fri, 11/04/2011 - 2:12pm. Contributors:
John Aloimonos
Cornelia Fermüller
CPS Domains
Embedded Software
Modeling
Wireless Sensing and Actuation
Robotics
Simulation
CPS Technologies
Foundations
University of Maryland at College Park
National CPS PI Meeting 2011
Project Abstracts
Academia
file
System Support for Generally Programmable Digital Microfluidic Biochip Devices
Submitted by Philip Brisk on Fri, 11/04/2011 - 2:10pm. Contributors:
Daniel Grissom
Philip Brisk
Architectures
CPS Domains
Medical Devices
Modeling
Systems Engineering
Wireless Sensing and Actuation
Health Care
CPS Technologies
Foundations
University of California at Riverside
National CPS PI Meeting 2011
Project Abstracts
Academia
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
Methods and Tools for Verification of Cyber-Physical Systems
Submitted by Chris Myers on Fri, 11/04/2011 - 1:44pm. Contributors:
Chris J. Myers
Hao Zheng
Concurrency and Timing
Validation and Verification
Education
Foundations
University of South Florida
University of Utah
0930510
0930225
National CPS PI Meeting 2011
Project Abstracts
Academia
file
Training Tomorrow’s Engineers in Cyber-Physical Systems (CPS)
Submitted by sbogosyan on Fri, 11/04/2011 - 1:38pm. Contributors:
Orion Sky Lawlor
Seta Bogosyan
University of Alaska Fairbanks
National CPS PI Meeting 2011
Project Abstracts
Academia
Abstract
file
Design of Networked Control Systems for Chemical Processes (Abstract)
Submitted by Panagiotis Christ... on Fri, 11/04/2011 - 1:35pm. Contributors:
Panagiotis D. Christofides
James F. Davis
Chemical Sector
CPS Domains
Networked Control
Control
Modeling
Critical Infrastructure
Education
Foundations
University of California at Los Angeles
0930746
National CPS PI Meeting 2011
Project Abstracts
Academia
file
Establishing Integrity in Dynamic Networks of Cyber Physical Devices
Submitted by Vinod Ganapathy on Fri, 11/04/2011 - 1:33pm. Contributors:
Vinod Ganapathy
Ulrich Kremer
Trent Jaeger
CPS Domains
Energy
Science of Security
Validation and Verification
Foundations
Pennsylvania State University
Rutgers University
0931992
National CPS PI Meeting 2011
Project Abstracts
Academia
« first
‹ previous
1
2
3
4
5
6
7
8
9
…
next ›
last »
