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
» CFP PAPER SUBMISSIONS
CFP Paper Submissions
file
Systems-level Programming Environments for Robotics
Submitted by KNEW on Wed, 02/12/2014 - 4:59pm. Contributor:
Scott C. Livingston
CPS Domains
Robotics
CPS Technologies
Foundations
CalTech
experiment methods
programming languages
robotics
2014 CPS-ECP
2014
Academia
Position Paper
Publications
CFP Paper Submissions
CFP Submissions
file
Connecting Safety Verification with Implementable Hybrid Programs
Submitted by sloos@cs.cmu.edu on Wed, 02/12/2014 - 4:59pm. Contributor:
Sarah M. Loos
CPS Domains
CPS Technologies
Education
Foundations
CPS education
differential dynamic logic
formal verification
hybrid programs
sequent calculus
Theorem Proving
Carnegie Mellon University
2014 CPS-ECP
2014
Academia
Position Paper
Publications
CFP Paper Submissions
CFP Submissions
file
Data-driven Wildlife Ecology, Habitat Management and Environmental Sensing
Submitted by KNEW on Wed, 02/12/2014 - 4:59pm. 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
Position Paper
Publications
CFP Paper Submissions
CFP Submissions
file
Stochastic Reachability for Safety Verification of Cyber-Physical Systems
Submitted by KNEW on Wed, 02/12/2014 - 4:59pm. Contributor:
Kendra Lesser
CPS Domains
Probabilistic and Statistical Verification
Modeling
Validation and Verification
CPS Technologies
Foundations
computational methods
formal verification
imperfect information
Stochastic reachability
University of New Mexico
2014 CPS-ECP
2014
Academia
CFP Paper Submissions
CFP Submissions
file
Dependable Cyber-Physical Systems: A Software-based Approach
Submitted by junsung on Wed, 02/12/2014 - 4:59pm. Contributor:
Junsung Kim
CPS Domains
Automotive
Concurrency and Timing
Real-time Systems
Wireless Sensing and Actuation
Transportation
CPS Technologies
Foundations
autonomous vehicles
dependable systems
Carnegie Mellon University
2014 CPS-ECP
2014
Academia
Position Paper
Publications
CFP Paper Submissions
CFP Submissions
file
Towards the Smart Railway: Interactive Wireless Smart Sensor Systems for Structural Health Monitoring of Railroad Bridges
Submitted by Robin Kim on Wed, 02/12/2014 - 4:59pm. Contributor:
Robin Kim
CPS Domains
Transportation Systems Sector
Critical Infrastructure
Wireless Sensing and Actuation
Transportation
CPS Technologies
Foundations
Railroad Bridges
Structural Health Monitoring (SHM)
Wireless Smart Sensors
University of Illinois at Urbana-Champaign
2014 CPS-ECP
2014
Academia
Position Paper
Publications
CFP Paper Submissions
CFP Submissions
file
Efficient Information Spread Control in Cyber-Physical Systems
Submitted by alikhanafer on Wed, 02/12/2014 - 4:59pm. Contributors:
Ali Khanafer
Tamer Basar
CPS Domains
Networked Control
Control
CPS Technologies
Foundations
Diffusion Dynamics
Epidemics
game theory
multi-agent systems
University of Illinois at Urbana-Champaign
2014 CPS-ECP
2014
Academia
Position Paper
Publications
CFP Paper Submissions
CFP Submissions
file
An Assurance Framework for Secure Cyber-Physical Systems
Submitted by Eunsuk Kang on Wed, 02/12/2014 - 4:59pm. Contributor:
Eunsuk Kang
CPS Domains
Architectures
Architectures
Modeling
CPS Technologies
Foundations
formal methods
security
systems engineering
MIT
2014 CPS-ECP
2014
Academia
Position Paper
Publications
CFP Paper Submissions
CFP Submissions
file
CPS: Home-based Rehabilitation System for Knee Deficient Patients
Submitted by KNEW on Wed, 02/12/2014 - 4:59pm. Contributor:
Seungkook Jun
CPS Domains
Medical Devices
Wireless Sensing and Actuation
Real-Time Coordination
Health Care
CPS Technologies
Foundations
compliant mechanism
Home-based rehabilitation
Kinect
Knee exoskeleton
SUNY at Buffalo
2014 CPS-ECP
2014
Academia
Position Paper
Publications
CFP Paper Submissions
CFP Submissions
file
An Integrated Approach to Design and Analysis of Intelligent Future Energy Systems
Submitted by Santiago Grijalva on Wed, 02/12/2014 - 4:59pm. Contributors:
Santiago Grijalva
Brian Johnson
CPS Domains
Smart Grid
Energy
CPS Technologies
Foundations
power systems
National Renewable Energy Laboratory
2014 CPS-ECP
2014
Position Paper
Publications
CFP Paper Submissions
CFP Submissions
« first
‹ previous
1
2
3
4
5
next ›
last »