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
Networked Sensor Swarm of Underwater Drifters
Submitted by thomas.bewley on Fri, 11/04/2011 - 12:20pm. Contributors:
Thomas Bewley
Paolo Casari
Andrew Cavender
Peter Franks
Jules Jaffe
Ryan Kastner
Diba Mirza
Saam Ostovari
Paul Roberts
Curt Schurgers
Michele Zorzi
CPS Domains
Networked Control
Control
Wireless Sensing and Actuation
Robotics
CPS Technologies
Foundations
Scripps Institute of Oceanography
University of California at San Diego
National CPS PI Meeting 2011
Project Abstracts
Academia
file
A Logical Framework for Self-Optimizing Networked Cyber-Physical Systems (NCPS)
Submitted by stehr on Fri, 11/04/2011 - 12:16pm. Contributors:
Mark-Oliver Stehr
Carolyn Talcott
Minyoung Kim
SRI International
0932397
National CPS PI Meeting 2011
Project Abstracts
Professional Organization
file
CPS Foundations in Computation and Communication
Submitted by Mina on Fri, 11/04/2011 - 12:13pm. Contributors:
Mina Sartipi
Stephen Craven
Models of Computation
Concurrency and Timing
Foundations
The University of Tennessee at Chattanooga
0932113
National CPS PI Meeting 2011
Project Abstracts
Academia
file
Seamless Integration of Conjoined Cyber-Physical System Properties
Submitted by phjones on Fri, 11/04/2011 - 12:10pm. Contributors:
Phillip Jones
Joseph Zambreno
Ron Cytron
Christopher Gill
Architectures
Design Automation Tools
Concurrency and Timing
Embedded Software
Control
Platforms
Systems Engineering
Real-Time Coordination
CPS Technologies
Foundations
Iowa State University
Washington University
National CPS PI Meeting 2011
Project Abstracts
Academia
file
The Roles of Communications in Lane Merging Systems
Submitted by Nicholas Maxemchuk on Fri, 11/04/2011 - 12:07pm. Contributor:
Nicholas Maxemchuk
CPS Domains
Transportation Systems Sector
Communication
Critical Infrastructure
Transportation
Validation and Verification
CPS Technologies
Foundations
Columbia University
National CPS PI Meeting 2011
Project Abstracts
Academia
file
Physical Modeling and Software Synthesis for Self-Reconfigurable Sensors in River Environments
Submitted by sprinkle on Fri, 11/04/2011 - 12:05pm. Contributors:
Sonia Martinez
Alexandre Bayen
Jonathan Sprinkle
CPS Domains
Water and Wastewater Systems Sector
Modeling
Critical Infrastructure
Wireless Sensing and Actuation
CPS Technologies
Foundations
University of Arizona
University of California at Berkeley
University of California at San Diego
National CPS PI Meeting 2011
Project Abstracts
Academia
file
Efficient Control Synthesis and Learning in Distributed Cyber-Physical Systems
Submitted by Herbert Tanner on Fri, 11/04/2011 - 12:01pm. Contributors:
Herbert Tanner
Jeffrey Heinz
CPS Domains
Control
Modeling
Education
Foundations
University of Delaware
National CPS PI Meeting 2011
Project Abstracts
Academia
file
Transforming a City's Transportation Infrastructure through an Embedded Pervasive Communication Network
Submitted by Shigang Chen on Fri, 11/04/2011 - 11:58am. Contributors:
Shigang Chen
Yafeng Yin
Automotive
CPS Domains
Transportation Systems Sector
Communication
Control
Platforms
Critical Infrastructure
Wireless Sensing and Actuation
Transportation
CPS Technologies
Foundations
University of Florida
0931969
National CPS PI Meeting 2011
Project Abstracts
Academia
file
Automated and Robust Nano-Assembly with Atomic Force Microscopes
Submitted by Xiaoping Qian on Fri, 11/04/2011 - 11:55am. Contributors:
Xiaoping Qian
Guangyong Li
Kangmin Xu
Seung-Cheol Yang
Quan Tao
Liming Liu
CPS Domains
Design Automation Tools
Modeling
Resilient Systems
CPS Technologies
Foundations
Illinois Institute of Technology
University of Pittsburgh
National CPS PI Meeting 2011
Project Abstracts
Academia
file
Exploratory Research: Safety-Oriented Hybrid Verification of Medical Robotics
Submitted by Matthew Might on Fri, 11/04/2011 - 11:50am. Contributors:
Matthew Might
Ganesh Gopalakrishnan
John Hollerbach
Dennis Parker
CPS Domains
Medical Devices
Health Care
Robotics
Validation and Verification
Foundations
abstract interpretation
flow networks
hybrid automata
hybrid systems
medical robotics
model-checking
tumor ablation
University of Utah
National CPS PI Meeting 2011
Project Abstracts
Academia
« first
‹ previous
…
3
4
5
6
7
8
9
10
11
…
next ›
last »