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
Academia
The document was issued by academy or academy organization.
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
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
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
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
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
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
Intuitive Human-in-the-Loop Control for Medical Cyber-Physical Systems
Submitted by KNEW on Fri, 05/16/2014 - 4:25pm. Contributor:
Ann Majewicz
CPS Domains
Medical Devices
Control
Health Care
CPS Technologies
Foundations
human in the loop
medical CPS
Stanford University
2014 CPS-ECP
2014
Academia
Poster
Poster Submissions
Posters
file
Human Behavior Monitoring for Improved Health and Resource Allocation
Submitted by KNEW on Fri, 05/16/2014 - 4:25pm. Contributors:
Charlie Matlack
Jackie Linnes
Tyler Davis
CPS Domains
Healthcare and Public Health Sector
Critical Infrastructure
Health Care
CPS Technologies
Foundations
preventable diseases
public health
sustainability
University of Washington
water
2014 CPS-ECP
2014
Academia
Poster
Poster Submissions
Posters
file
Cyber-Physical Materials
Submitted by andymcevoy on Fri, 05/16/2014 - 4:25pm. Contributor:
M. Andy McEvoy
CPS Domains
Embedded Software
Robotics
CPS Technologies
Embedded Computation
Multi-functional Materials
Robotic Materials
University of Colorado at Boulder
2014 CPS-ECP
2014
Academia
Poster
Poster Submissions
Posters
file
Next Generation Cyber-Physical Systems Utilizing RF-Powered Computing
Submitted by protocol on Fri, 05/16/2014 - 4:25pm. Contributors:
Yousof Naderi
S. Basagri
K.R. Chowdhury
CPS Domains
CPS Technologies
Foundations
Ambient Backscatter Communication
RF Energy Harvesting
RF-Powered Computing
Northeastern University
2014 CPS-ECP
2014
Academia
Poster
Poster Submissions
Posters
« first
‹ previous
…
84
85
86
87
88
89
90
91
92
…
next ›
last »
