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.
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
Delays, Clocks, Timing and Reliability in Networked Control Systems: Theories, Protocols and Implementation
Submitted by Panganamala Kumar on Fri, 11/04/2011 - 1:27pm. Contributor:
Panganamala Kumar
Architectures
Architectures
Networked Control
Communication
Concurrency and Timing
Control
CPS Technologies
Foundations
University of Illinois at Urbana-Champaign
National CPS PI Meeting 2011
Project Abstracts
Academia
Abstract
file
Timing-Centric Software
Submitted by Edward Lee on Fri, 11/04/2011 - 1:25pm. Contributors:
Edward A. Lee
Sanjit Seshia
Concurrency and Timing
Modeling
Real-Time Coordination
Foundations
University of California at Berkeley
National CPS PI Meeting 2011
Project Abstracts
Academia
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
High Confidence Active Safety Control in Automotive Cyber-Physical Systems (Abstract)
Submitted by fborrelli on Fri, 11/04/2011 - 9:46am. Contributor:
Francesco Borrelli
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
University of California at Berkeley
National CPS PI Meeting 2011
Project Abstracts
Academia
file
Localization and System Services for SpatioTemporal Actions in Cyber-Physical Systems
Submitted by rgupta on Fri, 11/04/2011 - 12:12am. Contributors:
Rajesh Gupta
Anish Arora
Concurrency and Timing
Control
Modeling
Real-Time Coordination
Foundations
The Ohio State University
University of California at San Diego
National CPS PI Meeting 2011
Project Abstracts
Academia
file
Geometric Distributed Algorithms for Multi-Robot Coordination and Control
Submitted by Nancy Lynch on Thu, 11/03/2011 - 7:56pm. Contributors:
Nancy Lynch
James McLurkin
CPS Domains
Models of Computation
Composition
Concurrency and Timing
Control
Modeling
Wireless Sensing and Actuation
Robotics
Validation and Verification
Foundations
Massachusetts Institute of Technology
William Marsh Rice University
National CPS PI Meeting 2011
Project Abstracts
Academia
file
Sensor Lattices
Submitted by Steven Lavalle on Thu, 11/03/2011 - 7:36pm. 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
Project Abstracts
Academia
file
Geometric Distributed Algorithms for Multi-Robot Coordination and Control
Submitted by Nancy Lynch on Thu, 11/03/2011 - 10:38am. Contributors:
Nancy Lynch
James McLurkin
CPS Domains
Models of Computation
Composition
Concurrency and Timing
Control
Modeling
Wireless Sensing and Actuation
Robotics
Validation and Verification
Foundations
Massachusetts Institute of Technology
William Marsh Rice University
National CPS PI Meeting 2011
Poster Session: Day 2
Academia
Poster
« first
‹ previous
…
85
86
87
88
89
90
91
92
93
next ›
last »
