Program

 

Monday

 

Apr-14

Start Time

Workshop &Tutorial Day

8:00

Registration open

9:00

First Morning Session, 120 min ( 9:00-11:00 am)

11:00

Coffee break (30 minutes)

11:30

Second Morning Session, 90 min (11:30 am-1:00 pm)

13:00

Lunch (1 Hour)

14:00

First Afternoon Session, 120 min (2:00-4 pm)

16:00

Coffee break (30 minutes)

16:30

Second Afternoon Session, 90 min (4:30-6:00 pm)

18:00

Registration closes

 

 

 

Tuesday

 

Apr-15

Start Time

Conference Day 1

8:00

Registration open

8:30

Keynote, 60 min + 30 Q&A (8:30-10:00 am)

10:00

Coffee break (30 minutes)

 

Energy and vehicles CPS - Session Chair: Sayan Mitra

10:30

Liang He, Linghe Kong, Siyu Lin, Shaodong Ying, Yu Gu, Tian He and Cong Liu.
Reconfiguration-Assisted Charging in Large-Scale Lithium-ion Battery Systems

11:00

Renato Mancuso, Or Dantsker, Marco Caccamo and Michael Selig. A
Low-Power Architecture for High Frequency Sensor Acquisition in Many-DOF UAVs

11:30

Eugene Kim, Jinkyu Lee and Kang G. Shin.
Real-Time Battery Thermal Management for Electric Vehicles

12:00

Hongxu Chen and Sayan Mitra.
Synthesis and Verification of Motor- Transmission Shift Controller for Electric Vehicles

12:30

Lunch (1 hour)

13:30

Work-In-Progress (1:30-3:00 pm) - Session Chair: Mohammad Al Faruque

15:00

Coffee break (30 minutes)

15:30

Keynote - Session Chair: Alex Bayen
Alberto Sangiovanni Vincentelli (3:30-5:00 pm)
Let’s Get Physical: Adding Physical Dimensions to Cyber Systems

17:00

Poster & Demo Session & Reception, 180 min 
(5:00-8:00 pm)

20:00

Registration closes

 

 

 

Wednesday

 

Apr-16

Start Time

Conference Day 2

8:00

Registration open

8:30

Keynote, 60 min + 30 Q&A (8:30-10:00 am)

10:00

Coffee break (30 minutes)

 

Transportation CPS - Session Chair: George Pappas

10:30

Reza Azimi, Gaurav Bhatia and Ragunathan Rajkumar. STIP: Spatio-Temporal Intersection Protocols for Autonomous Vehicles

11:00

Joanna van de Mortel-Fronczak, Martin H.R. van der Heijden, RudolfG.M. Huisman and Michel Reniers. Supervisor Synthesis in Model-Based Automotive Systems Engineering

11:30

Samuel Coogan and Murat Arcak.
Freeway Traffic Control fromLinear Temporal Logic Specifications

12:00

Jerome Le Ny, Ahmed Touati and George Pappas.
Real-TimePrivacy-Preserving Model-Based Estimation of Traffic Flows

12:30

Lunch (1 hour)

 

Best Paper Award Finalists session - Session Chairs: Alex Bayen and Michael Branicky

13:30

Sirajum Munir and John A. Stankovic.
DepSys: Dependency AwareIntegration of Cyber-Physical Systems for Smart Homes

14:00

Konstantinos Gatsis, Miroslav Pajic, Alejandro Ribeiro and GeorgePappas.
Opportunistic Scheduling of Control Tasks Over SharedWireless Channels

14:30

Miroslav Pajic, James Weimer, Nicola Bezzo, Paulo Tabuada, OlegSokolsky, Insup Lee and George J. Pappas.
Robustness of Attack-resilient State Estimators

15:00

Huihua Zhao, Wenlong Ma, Michael Zeagler and Aaron Ames.
Human-Inspired Multi-Contact Locomotion with AMBER2

15:30

Coffee break (30 minutes)

16:00

Keynote - Session Chair: Michael Branicky
Ruzena Bajcsy (4:00-5:30 pm)
Cooperative cyber-physical systems with human in the loop

17:30

Registration closes

18:00

(Travel to and) Dinner

 

 

 

Thursday

 

Apr-17

Start Time

Conference Day 3

8:00

Registration open

8:30

Keynote, 60 min + 30 Q&A (8:30-10:00 am)

10:00

Coffee break (30 minutes)

 

Energy and networks CPS - Session Chair: Miroslav Pajic

10:30

Hoang Hai Nguyen, Rui Tan and David K. Y. Yau.
Safety-Assured Collaborative Load Management in Smart Grids

11:00

Mohammad Rahman, Ehab Al-Shaer and Rajesh Kavasseri.
A Formal Model of the Impact of Stealthy Attacks on Optimal Power Flow in Power Grids

11:30

Madhur Behl, Truong Nghiem and Rahul Mangharam.
Model-IQ:  Uncertainty Propagation from Sensing to Modeling and Control in Buildings

12:00

Anitha Murugesan, Oleg Sokolsky, Sanjai Rayadurgam, Michael Whalen, Mats Heimdahl and Insup Lee.
Linking abstract analysis to concrete design: A hierarchical approach to verify medical CPS safety

12:30

Lunch (1 hour)

 

CPS foundations / theory - Session Chair: Michael Branicky

13:30

Amy Laviers and Magnus Egerstedt.
Style-based Abstractions for Human Motion Classification

14:00

Ramy Medhat, Deepak Kumar, Borzoo Bonakdarpour and Sebastian Fischmeister.
Sacrificing a Little Space Can Significantly Improve Monitoring of Time-sensitive Cyber-physical Systems

14:30

CPS Security Panel (60 minutes)

Moderator

  • Dr. Patricia Muoio, Director of R&D, G2-Inc.

Panelists:

  • Dr. David Corman, Program Director, Computer & Information Science & Engineering Directorate, NSF
  • Dr. Daniel Massey, Program Manager, Cyber Security Division, DHS
  • Neil Mitchison, Head of Security Technology Assessment Unit, European Commission Joint Research Center
  • Prof. George J. Pappas, Chair, Department of Electrical and Systems Engineering, University of Pennsylvania
  • Matt Scholl, Deputy Division Chief, Computer Security Division, Information Technology Lab, NIST

15:30

Coffee break ( 30 minutes)

16:00

Keynote - Session Chair: Alex Bayen
Jack Stankovic
Technical Solutions Underlying Wireless Health Systems

17:30

Closing Remarks (30mins)

18:00

Registration closes