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
»
CPS Technologies
Embedded Software
Software designed for computational processes that interact with the physical processes.
file
Advanced Transportation Systems
Submitted by Rajkumar on Wed, 10/03/2012 - 3:34pm. Contributors:
Raj Rajkumar
Andre Platzer
Edmund M. Clarke
Paul Rybski
John Dolan
David Wettergreen
Paolo Zuliani
CPS Domains
SCADA Systems
Automotive
Embedded Software
Real-time Systems
Concurrency and Timing
Control
Platforms
Time Synchronization
Systems Engineering
Critical Infrastructure
Real-Time Coordination
Wireless Sensing and Actuation
Transportation
Validation and Verification
CPS Technologies
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
file
Technologies for Cyber Physical Systems
Submitted by Anonymous on Wed, 10/03/2012 - 10:05am. Contributor:
James Truchard
CPS Domains
Networked Control
Automotive
Smart Grid
Communication
Testing
Real-time Systems
Concurrency and Timing
Embedded Software
Control
Systems Engineering
Energy
Critical Infrastructure
Real-Time Coordination
Transportation
Validation and Verification
CPS Technologies
Foundations
National CPS PI Meeting 2012
2012
Plenary
Industry
Presentation
file
Assuring the Safety, Security, and Reliability of Medical Device Cyber Physical Systems
Submitted by Insup Lee on Mon, 10/01/2012 - 2:17pm. Contributors:
Insup Lee
Oleg Sokolsky
Abstract
Certification
CPS Domains
Medical Devices
Composition
Quantitative Verification
Concurrency and Timing
Embedded Software
Real-time Systems
Platforms
Systems Engineering
Health Care
Validation and Verification
CPS Technologies
Foundations
National CPS PI Meeting 2012
2012
CPS PI MTG 12 Posters & Abstracts
Poster
file
Learning to Sense Robustly and Act Effectively
Submitted by silviocps on Mon, 10/01/2012 - 11:55am. Contributors:
Benjamin Kuipers
Silvio Savarese
Abstract
CPS Domains
Embedded Software
Modeling
Systems Engineering
Wireless Sensing and Actuation
Robotics
CPS Technologies
Education
Foundations
National CPS PI Meeting 2012
2012
CPS PI MTG 12 Posters & Abstracts
Academia
file
Seamless Integration of Conjoined Cyber-Physical System Properties
Submitted by phjones on Wed, 09/26/2012 - 3:39pm. Contributors:
Phillip Jones
Joseph Zambreno
Abstract
Architectures
Architectures
Design Automation Tools
Concurrency and Timing
Embedded Software
Real-time Systems
Control
Platforms
Systems Engineering
Real-Time Coordination
CPS Technologies
Foundations
National CPS PI Meeting 2012
2012
CPS PI MTG 12 Posters & Abstracts
Academia
Poster
file
Towards Neural-controlled Artificial Legs using High-Performance Embedded Computers
Submitted by helenhehuang on Wed, 09/26/2012 - 3:35pm. Contributors:
He (Helen) Huang
Yan Sun
Qing Yang
Abstract
CPS Domains
Medical Devices
Multi-models
Concurrency and Timing
Embedded Software
Real-time Systems
Testing
Control
Modeling
Systems Engineering
Real-Time Coordination
Health Care
Robotics
Validation and Verification
CPS Technologies
Foundations
0931820
National CPS PI Meeting 2012
2012
CPS PI MTG 12 Posters & Abstracts
Academia
Poster
file
Establishing Integrity in Dynamic Networks of Cyber Physical Devices
Submitted by Vinod Ganapathy on Wed, 09/26/2012 - 2:05pm. Contributor:
Vinod Ganapathy
Abstract
CPS Domains
Medical Devices
Embedded Software
Platforms
Energy
Health Care
Science of Security
Validation and Verification
CPS Technologies
Foundations
0931992
National CPS PI Meeting 2012
2012
CPS PI MTG 12 Posters & Abstracts
Academia
Poster
file
When the Cyber Backdrives the Physical: Information Flow vs. Power Flow
Submitted by James Freudenberg on Wed, 09/26/2012 - 1:55pm. Contributors:
James Freudenberg
Brent Gillespie
Abstract
CPS Domains
Communication
Embedded Software
Testing
Control
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
Credible Autocoding and Verification of Embedded Software (CrAVES)
Submitted by feron on Wed, 09/26/2012 - 1:47pm. Contributors:
Eric Feron
Arnaud Venet
Abstract
CPS Domains
SCADA Systems
Aerospace
Embedded Software
Control
Defense
Platforms
Modeling
Critical Infrastructure
Validation and Verification
CPS Technologies
Foundations
National CPS PI Meeting 2012
2012
CPS PI MTG 12 Posters & Abstracts
Academia
Poster
« first
‹ previous
…
124
125
126
127
128
129
130
131
132
…
next ›
last »
