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
Platforms
Hardware architecture and a software framework, where the combination allows software to run.
file
LoCal—A Network Architecture for Localized Electrical Energy Reduction, Generation and Sharing
Submitted by Randy Katz on Wed, 09/26/2012 - 2:42pm. Contributor:
Randy H. Katz
Abstract
Architectures
Architectures
CPS Domains
Energy Efficient Buildings
Smart Grid
Platforms
Energy
Systems Engineering
Critical Infrastructure
CPS Technologies
Foundations
0932209
National CPS PI Meeting 2012
2012
CPS PI MTG 12 Posters & Abstracts
Academia
Poster
file
Seamless Integration of Conjoined Cyber-Physical System Properties
Submitted by phjones on Wed, 09/26/2012 - 2: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
CyberMech, a Novel Run-Time Substrate for Cyber-Mechanical Systems
Submitted by Chris Gill on Wed, 09/26/2012 - 1:07pm. Contributors:
Christopher Gill
Arun Prakash
Abstract
CPS Domains
Automotive
Smart Grid
Concurrency and Timing
Real-time Systems
Testing
Control
Platforms
Modeling
Systems Engineering
Energy
Critical Infrastructure
Real-Time Coordination
Simulation
Transportation
Validation and Verification
CPS Technologies
Foundations
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 - 1: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
Credible Autocoding and Verification of Embedded Software (CrAVES)
Submitted by feron on Wed, 09/26/2012 - 12: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
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
file
Transforming a City's Transportation Infrastructure through an Embedded Pervasive Communication Network
Submitted by Shigang Chen on Wed, 09/19/2012 - 7:25pm. Contributors:
Shigang Chen
Yafeng Yin
Abstract
Automotive
CPS Domains
Hybrid Models
Transportation Systems Sector
Communication
Control
Platforms
Modeling
Systems Engineering
Critical Infrastructure
Wireless Sensing and Actuation
Transportation
CPS Technologies
Foundations
0931969
National CPS PI Meeting 2012
2012
CPS PI MTG 12 Posters & Abstracts
Academia
Poster
file
Cyberphysical Integration and Error Recovery for Digital Microfluidic Biochips
Submitted by kchakrabarty on Wed, 09/19/2012 - 2:46pm. Contributors:
Krishnendu Chakrabarty
Richard Fair
Nan Jokerst
Abstract
Architectures
CPS Domains
Medical Devices
Design Automation Tools
Testing
Control
Platforms
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
Dynamic Routing and Robotic Coordination for Oceanographic Adaptive Sampling
Submitted by bullo on Wed, 09/19/2012 - 1:47pm. Contributors:
Francesco Bullo
Subhash Suri
Gaurav Sukhatme
Abstract
CPS Domains
Communication
Platforms
Systems Engineering
Robotics
CPS Technologies
National CPS PI Meeting 2012
2012
CPS PI MTG 12 Posters & Abstracts
Academia
Poster
file
A Framework for Enabling Energy-Aware Smart Facilities
Submitted by marioberges on Wed, 09/19/2012 - 12:45pm. Contributors:
Mario Bergés
H. Scott Matthews
José M. F. Moura
Lucio Soibelman
Naveen Ramakrishnan
Yuanwei Jin
Abstract
CPS Domains
Energy Efficient Buildings
Smart Grid
Concurrency and Timing
Real-time Systems
Platforms
Energy
Systems Engineering
Real-Time Coordination
Wireless Sensing and Actuation
CPS Technologies
Education
Foundations
0930868
National CPS PI Meeting 2012
2012
CPS PI MTG 12 Posters & Abstracts
Academia
Poster
« first
‹ previous
…
74
75
76
77
78
79
80
81
82
…
next ›
last »
