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
»
2014
2014 CPS-ECP
2014 NSF Early Career Professionals Workshop on Exploring New Frontiers in Cyber-Physical Systems (CPS-ECP)
file
Optimal Resource Allocation to Control Spreading Processes in Arbitrary Networks
Submitted by chicps on Fri, 05/16/2014 - 4:25pm. Contributor:
Chinwendu Enyioha
CPS Domains
Networked Control
Control
CPS Technologies
Foundations
cascading failure
cyber-physical networks
interdependent networks
optimization and optimal control
University of Pennsylvania
2014 CPS-ECP
2014
Academia
Poster
Poster Submissions
Posters
file
An Integrated Approach to Design and Analysis of Intelligent Future Energy Systems
Submitted by Santiago Grijalva on Fri, 05/16/2014 - 4:25pm. Contributors:
Brian Johnson
Santiago Grijalva
CPS Domains
Smart Grid
Energy
CPS Technologies
Foundations
power systems
National Renewable Energy Laboratory
2014 CPS-ECP
2014
Poster
Poster Submissions
Posters
file
Cyber Physical System: Home-based Rehabilitation System for Knee Deficient Patients
Submitted by krovi01 on Fri, 05/16/2014 - 4:25pm. Contributors:
Seungkook Jun
Venkat N. Krovi
Daniel K. Ramsey
Xiaobo Zhou
CPS Domains
Medical Devices
Health Care
CPS Technologies
Foundations
compliant mechanism
Home-based rehabilitation
Kinect
Knee exoskeleton
SUNY at Buffalo
2014 CPS-ECP
2014
Academia
Poster
Poster Submissions
Posters
file
Efficient Information Spread Control in Cyber-Physical Systems
Submitted by alikhanafer on Fri, 05/16/2014 - 4:25pm. Contributors:
Ali Khanafer
Tamer Basar
CPS Domains
Networked Control
Control
CPS Technologies
Foundations
Diffusion Dynamics
Epidemics
game theory
multi-agent systems
Network Control
University of Illinois at Urbana-Champaign
2014 CPS-ECP
2014
Academia
Poster
Poster Submissions
Posters
file
Dependable Cyber-Physical Systems
Submitted by junsung on Fri, 05/16/2014 - 4:25pm. Contributor:
Junsung Kim
CPS Domains
Automotive
Real-Time Coordination
Transportation
CPS Technologies
Foundations
autonomous vehicles
dependable systems
Carnegie Mellon University
2014 CPS-ECP
2014
Academia
Poster
Poster Submissions
Posters
file
Towards the Smart Railway: Interactive Wireless Smart Sensor Systems for Structural Health Monitoring of Railroad Bridges
Submitted by Robin Kim on Fri, 05/16/2014 - 4:25pm. Contributors:
Robin Kim
B.F. Spencer
CPS Domains
Transportation Systems Sector
Critical Infrastructure
Wireless Sensing and Actuation
Transportation
CPS Technologies
Railroad Bridges
Structural Health Monitoring (SHM)
Wireless Smart Sensors
University of Illinois at Urbana-Champaign
2014 CPS-ECP
2014
Academia
Poster
Poster Submissions
Posters
file
Designing for Successful Human Collaboration with Cyber-Physical Systems
Submitted by mklee on Fri, 05/16/2014 - 4:25pm. Contributor:
Min Kyung Lee
CPS Domains
Control
Robotics
CPS Technologies
Foundations
Human-computer interaction
human-in-the-loop
human-robot interaction
sensemaking
Carnegie Mellon University
2014 CPS-ECP
2014
Academia
Poster
Poster Submissions
Posters
file
Computing Probabilistic Guarantees of Safety
Submitted by moishi on Fri, 05/16/2014 - 4:25pm. Contributors:
Kendra Lesser
Meeko Oishi
Validation and Verification
CPS Technologies
Foundations
computational methods
formal verification
imperfect information
Stochastic reachability
University of New Mexico
2014 CPS-ECP
2014
Academia
Poster
Poster Submissions
Posters
file
Formal Verification of Distributed Aircraft Controllers
Submitted by sloos@cs.cmu.edu on Fri, 05/16/2014 - 4:25pm. Contributors:
Sarah M. Loos
David Renshaw
Andre Platzer
CPS Domains
Avionics
Transportation
Validation and Verification
Foundations
CPS education
differential dynamic logic
formal verification
hybrid programs
sequent calculus
Theorem Proving
Carnegie Mellon University
2014 CPS-ECP
2014
Academia
Poster
Poster Submissions
Posters
file
Data-driven Wildlife Ecology, Habitat Management and Environmental Sensing
Submitted by KNEW on Fri, 05/16/2014 - 4:25pm. Contributor:
Robert MacCurdy
CPS Domains
Wireless Sensing and Actuation
CPS Technologies
Foundations
conservation
Cornell University
Ecology
environmental sensing
tracking
wildlife management
2014 CPS-ECP
2014
Academia
Poster
Poster Submissions
Posters
« first
‹ previous
1
2
3
4
5
6
7
8
9
…
next ›
last »