Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
2014 NSF Early Career Professionals Workshop on Exploring New Frontiers in Cyber-Physical Systems Program Committee
CPS-VO
»
2014 NSF Early Career Professionals Workshop on Exploring New Frontiers in Cyber-Physical Systems
»
2014 NSF Early Career Professionals Workshop on Exploring New Frontiers in Cyber-Physical Systems Program Committee
» POSTER SUBMISSIONS
Poster Submissions
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
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
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
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
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
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
1
2
3
4
5
next ›
last »
