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
Concurrency and Timing
Several computations executing simultaneously, and potentially interacting with each other.
project
CPS: Medium: Collaborative Research: Geometric Distributed Algorithms for Multi-Robot Coordination and Control
Submitted by James McLurkin on Thu, 11/03/2011 - 10:37am
Project Details
Institution(s):
William Marsh Rice University
Sponsor Award URL:
http://www.nsf.gov/awardsearch/showAward?AWD_ID=1035716&HistoricalAwards=false
CPS Domains
Models of Computation
Concurrency and Timing
Control
Modeling
Robotics
Validation and Verification
Foundations
project
CPS: Medium: Collaborative Research: Geometric Distributed Algorithms for Multi-Robot Coordination and Control
Submitted by Nancy Lynch on Thu, 11/03/2011 - 10:28am
Project Details
Institution(s):
Massachusetts Institute of Technology
Sponsor Award URL:
http://www.nsf.gov/awardsearch/showAward?AWD_ID=1035199&HistoricalAwards=false
CPS Domains
Composition
Models of Computation
Concurrency and Timing
Control
Modeling
Wireless Sensing and Actuation
Robotics
Validation and Verification
Foundations
file
Sensor Lattices
Submitted by Steven Lavalle on Wed, 11/02/2011 - 3:44pm. Contributor:
Steven M. LaValle
CPS Domains
Models of Computation
Concurrency and Timing
Systems Engineering
Wireless Sensing and Actuation
CPS Technologies
Foundations
University of Illinois at Urbana-Champaign
National CPS PI Meeting 2011
Poster Session: Day 1
Academia
Poster
project
EAGER: Collaborative Research: Seamless Integration of Conjoined Cyber-Physical System Properties
Submitted by Ron Cytron on Mon, 10/31/2011 - 3:49pm
Project Details
Institution(s):
Washington University
Sponsor Award URL:
http://www.nsf.gov/awardsearch/showAward?AWD_ID=1060093&HistoricalAwards=false
Architectures
Design Automation Tools
Embedded Software
Concurrency and Timing
Platforms
Control
Systems Engineering
Real-Time Coordination
CPS Technologies
Foundations
project
CPS: Small: Delays, Clocks, Timing and Reliability in Networked Control Systems: Theories, Protocols and Implementation
Submitted by Panganamala Kumar on Mon, 10/31/2011 - 3:41pm
Project Details
Institution(s):
University of Illinois at Urbana-Champaign
Sponsor Award URL:
http://www.nsf.gov/awardsearch/showAward?AWD_ID=1035378&HistoricalAwards=false
Architectures
Architectures
Networked Control
Communication
Concurrency and Timing
Control
CPS Technologies
Foundations
project
CPS: Small: RUI: CPS Foundations in Computation and Communication
Submitted by Mina on Mon, 10/31/2011 - 3:39pm
Project Details
Institution(s):
University of Tennessee Chattanooga
Sponsor Award URL:
http://www.nsf.gov/awardsearch/showAward?AWD_ID=0932113&HistoricalAwards=false
Outcomes Report URL:
https://www.research.gov/research-portal/appmanager/base/desktop?_nfpb=true&_win...
Models of Computation
Concurrency and Timing
Foundations
file
High Confidence Active Safety Control in Automotive Cyber-Physical Systems
Submitted by fborrelli on Wed, 08/10/2011 - 9:26am. Contributors:
Francesco Borrelli
Karl Hedrick
Ruzena Bajcsy
Ram Vasudevan
Yiqi Gao
Theresa Lin
Sanghyun Hong
Andrew Gray
Gurkan Erdogan
Ricardo Cervera-Navarro
Victor Shia
Automotive
CPS Domains
Design Automation Tools
Concurrency and Timing
Real-time Systems
Control
Systems Engineering
Real-Time Coordination
Transportation
Validation and Verification
CPS Technologies
Foundations
Ford Motor Company
Pirelli SpA
University of California at Berkeley
National CPS PI Meeting 2011
Poster Session: Day 2
Academia
Poster
file
Timing-Centric Software
Submitted by admin on Mon, 08/01/2011 - 10:17am. Contributors:
Edward A. Lee
Sanjit Seshia
Concurrency and Timing
Modeling
Real-Time Coordination
University of California at Berkeley
National CPS PI Meeting 2011
Poster Session: Day 1
Academia
Poster
file
Methods and Tools for the Verification of Cyber-Physical Systems
Submitted by admin on Mon, 08/01/2011 - 10:04am. Contributors:
Chris J. Myers
Kevin Jones
Robert Thacker
Jian Wu
Zhen Zhang
Hao Zheng
Nicholas Donataccio
Larry Moore
Emmanuel Rodriguez
Haiqiong Yao
Yingying Zhang
Concurrency and Timing
Validation and Verification
Education
Foundations
University of South Florida
University of Utah
0930510
0930225
National CPS PI Meeting 2011
Poster Session: Day 1
Academia
Poster
file
CPS Foundations in Computation and Communication
Submitted by admin on Mon, 08/01/2011 - 9:54am. Contributors:
Mina Sartipi
Stephen Craven
Models of Computation
Concurrency and Timing
Foundations
University of Tennessee at Chattanooga
0932113
National CPS PI Meeting 2011
Poster Session: Day 1
Academia
Poster
« first
‹ previous
…
85
86
87
88
89
90
91
92
93
next ›
last »
