Loading Events

« All Events

  • This event has passed.

PRECISE Industry Day 2014

October 9 @ 8:00 am - 5:00 pm

The Penn Research in Embedded Computing and Integrated Systems (PRECISE) Center would like to invite you to join our Cyber-Physical Systems Industry Day on Oct 9th, 2014. This event features executives, thought leaders and industry visionaries from the most influential companies within the energy, transportation, health care and homeland security sectors. Don’t miss out this excellent opportunity to network with developers from the embedded systems community.

PRECISE: Leading global revolution to overcome
the crosscutting CPS R&D challenges

Program

Presentations:

2-Minute Madness

ENERGY-EFFICIENT BUILDING CONTROLS

Madhur Behl, Model-IQ – Low-cost Building Model Capture for Energy-Efficient Controls, MLE+ Integrated Toolbox for Energy-efficient Building Modeling and Control

FOUNDATIONS OF CPS

Nicola Bezzo, Programming and Design Environments for Robotic Applications     Corresponding Video
Lu Feng, Platform-Specific Timing Verification Framework in Model-Based Implementation
Jie Fu, Synthesizing Shared Autonomy Policies with Temporal Logic Constraints
Salar Moarref, Compositional and Hierarchical Synthesis of Reactive Controllers for Multi-Agent Systems
Junkil David Park & Wenrui Meng, Synthesis of Platform-Aware Controller Code
Mukund Raghothaman, DReX: A Declarative Language for Regular String Transformations
Indranil Saha, Compositional Synthesis of Multi-Robot Motion Plan via SMT Solving
Abhishek Udupa, Synthesis of Distributed Protocols from Scenarios and Requirements
Shaohui (Vincent) Wang, Causality Analysis in Component-based Systems
Meng Xu, From Compositional Scheduling to Real-Time Virtualization
Nimit Singhania, Precise Piecewise Affine Models from Input-Output Data

FOUNDATIONS OF CPS / SECURITY

Radoslav Ivanov, Attack-Resilient Sensor Fusion for CPS
Fei Miao, Coding Sensor Outputs for Injection Attacks Detection

FOUNDATIONS OF CPS / TRANSPORTATION

Miroslav Pajic, Robust State Estimation in the Presence of Sensor and Actuator Attacks         Corresponding Video 1, Video 2

INTERNET OF THINGS

Kuk Jang, xLAB: Experience Design & Technology for Internet of Things
Andrew King, MIDAS: Enabling Robust Real-Time Publish / Subscribe in Open Systems with OpenFlow
Cameron Nowzari, Data-Driven Resource Allocation for Controlling Spreading Processes

MEDICAL DEVICES & HEALTHCARE

Krithika Baskaran, Safety-Assured Model-Based Implementation for GPCA Infusion Pump Software
Liang Cheng, A Security Architecture for Integrated Clinical Environment Systems
Hyon Young Choi, Quantum Communication API (QC-API) and Open Health Connector (OHC) for Portable Plug and Play Medical Applications
Zhihao “Hao” Jiang, Closing the Loop with Medical Cyber-Physical Systems
Alex Roederer, Creating Smarter Alarms: Physiologic Data and Clinical Decision Support
James Weimer & Radoslav Ivanov, Early Detection of Neonate Hypoxia Caused by Pulmonary Shunt

TRANSPORTATION

Sanjian Chen, Model-Based Safety Analysis of Human-Supervised Multi-Feature Cyber-Physical Systems
Fei Miao, Real-Time Taxi Dispatch with Model Predictive Control
Matthew O’Kelly, APEX: Autonomous Vehicle Plan Verification and Execution
Yash Pant, Lean Control for Peak Power Minimization in Hybrid Electric Vehicles
Shuo Han, Privacy and Truthfulness in Electric Vehicle Charging Protocols

Details

Date:
October 9
Time:
8:00 am - 5:00 pm
full screen background image