Advance Program

Tuesday, 12 April

07:45 - 08:15 - Registration

08:15 - 09:30 - Opening and Keynote Speaker (Rajev Alur)

09:30 - 10:00 - Coffee Break

10:00 - 12:00 - Session 1: Smart Buildings and Energy Efficiency

         Chair: M. Al Faruque

  • GreenPlanning: Optimal Energy Source Selection and Capacity Planning for Green Datacenters
    Fanxin Kong and Xue Liu
  • Characterizing the Benefits and Limitations of Smart Building Meeting Room Scheduling
    Abhinandan Majumdar, Zhiru Zhang and David H. Albonesi
  • Cyber-Physical-Security Framework for Building Energy Management System
    Kaveh Paridari, Alie El-Din Mady, Silvio La Porta, Rohan Chabukswar, Jacobo Blanco, André
    Teixeira, Henrik Sandberg and Menouer Boubekeur
  • Data-Driven Modeling, Control and Tools for Cyber-Physical Energy Systems
    Madhur Behl, Achin Jain and Rahul Mangharam

12:00 - 13:30 - Lunch

13:30 - 15:30 - Session 2: Electric Vehicles and Batteries

        Chair: Bruno Sinopoli 

  • ∗-Aware Charging of Lithium-ion Battery Cells
    Liang He, Eugene Kim and Kang G. Shin
  • Smart Rate Control and Demand Balancing for Electric Vehicle Charging
    Fanxin Kong, Xue Liu, Zhonghao Sun and Qinglong Wang
  • Eco-Friendly Automotive Climate Control and Navigation System for Electric Vehicles
    Korosh Vatanparvar and Mohammad Abdullah Al Faruque

15:30 - 16:00 - Coffee Break

16:00 - 18:00 - WiP/Demos/Posters

18:00 - 20:00 - CPS Community Forum

Wednesday, 13 April

07:45 - 08:15 - Registration

08:15 - 10:30 - Opening and Industrial Keynote Speakers

10:30 - 11:00 - Coffee Break

11:00 - 12:30 - Session 3: Power Networks Estimation and Control

        Chair: Miroslav Pajic

  • Optimal False Data Injection Attack against Automatic Generation Control in Power Grids
    Rui Tan, Hoang Hai Nguyen, Eddy. Y. S. Foo, Xinshu Dong, David K. Y. Yau, Zbigniew Kalbarczyk, Ravishankar K. Iyer and Hoay Beng Gooi
  • Real-Time Distribution Grid State Estimation with Limited Sensors and Load Forecasting
    Roel Dobbe, Daniel Arnold, Stephan Liu, Duncan Callaway and Claire Tomlin
  • Microgrid Losses: When the Whole is Greater Than the Sum of Its Parts
    Maxim Buevich, Xiao Zhang, Oliver Shih, Dan Schnitzer, Tristan Escalada, Arthur Jacquiau-
    Chamski, Jon Thacker and Anthony Rowe

12:30 - 14:00 - Lunch

14:00 - 15:30 - Session 4: CPS Control Through Wireless Communications

        Chair: Magnus Egerstedt

  • Wireless Routing and Control: a Cyber-Physical Case Study
    Bo Li, Yehan Ma, Tyler Westenbroek, Chengjie Wu, Humberto Gonzalez and Chenyang Lu
  • Exploiting Wireless Channel Randomness to Generate Keys for Automotive Cyber-Physical System Security
    Jiang Wan, Anthony Lopez and Mohammad Abdullah Al Faruque
  • Control-aware Random Access Communication
    Konstantinos Gatsis, Alejandro Ribeiro and George Pappas

15:30 - 16:00 - Coffee Break

16:00 - 18:00 - Session 5: Best Paper Award Nominees

        Chair: Rahul Mangharam

  • Performance-driven Design of Engine Control Tasks
    Alessandro Biondi, Marco Di Natale and Giorgio Buttazzo
  • Towards Scalable Voltage Control in Smart Grid: A Submodular Optimization Approach
    Zhipeng Liu, Andrew Clark, Phillip Lee, Linda Bushnell, Daniel Kirschen and Radha Poovendran
  • Optimal Pesticide Scheduling in Precision Agriculture
    Austin Jones, Usman Ali and Magnus Egerstedt
  • SMT-Based Observer Design for Cyber Physical Systems Under Sensor Attacks
    Yasser Shoukry, Michelle Chong, Masashi Wakaiki, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Sanjit A. Seshia, João P. Hespanha and Paulo Tabuada

18:00 - 18:45 - ACM SIGBED Meeting 
        (Open to all CPS Week attendees)

        Organizers: Insup Lee, Eduardo Tovar, Oleg Sokolsky

19:30 - Banquet and Concert (Awards)

Thursday, 14 April

07:45 - 08:15 - Registration

08:15 - 09:30 - Opening and Keynote Speaker (Tommaso Poggio)

09:30 - 10:00 - Coffee Break

10:00 - 12:00 - Session 6: Security and Vulnerability in CPS systems

        Chair: James Weimer

  • An Unsupervised Spatiotemporal Graphical Modeling approach to Anomaly detection in Distributed CPS
    Chao Liu, Sambuddha Ghosal, Zhanhong Jiang and Soumik Sarkar
  • Acoustic Side-Channel Attacks on Additive Manufacturing Systems
    Mohammad Abdullah Al Faruque, Sujit Rokka Chhetri, Arquimedes Canedo and Jiang Wan
  • Vulnerability of Transportation Networks to Traffic-Signal Tampering
    Aron Laszka, Bradley Potteiger, Yevgeniy Vorobeychik, Saurabh Amin and Xenofon Koutsoukos
  • ZUbers against ZLyfts Apocalypse: An Analysis Framework for DoS Attacks on Mobility-as-a-Service Systems
    Chenyang Yuan, Jérôme Thai and Alexandre Bayen

12:00 - 13:30 - Lunch 

13:30 - 15:30 - Session 7: Routing and Planning for Enhanced Mobility in CPS

        Chair: Gary Toth

  • Least-violating planning in road networks from temporal logic specifications
    Jana Tumova, Sertac Karaman, Calin Belta and Daniela Rus
  • Learning How Players Learn: Estimation of Learning Dynamics in the Routing Game
    Kiet Lam, Walid Krichene and Alexandre Bayen
  • Implan: A Scalable Incremental Motion Planning Framework for Multi-Robot Systems
    Indranil Saha, Rattanachai Ramaithitima, Vijay Kumar, George Pappas and Sanjit A. Seshia

15:30 - 16:00 - Coffee Break

16:00 - 18:00 - Session 8: Estimation and Verification of Human-Machine CPS

        Chair: Insup Lee

  • Estimation of Blood Oxygen Content Using Context-Aware Filtering
    Radoslav Ivanov, Nikolay Atanasov, James Weimer, Miroslav Pajic, Allan Simpao, Mohamed Rehman, George Pappas and Insup Lee
  • Transforming Medical Best Practice Guidelines to Executable and Verifiable Statechart Models
    Chunhui Guo, Shangping Ren, Yu Jiang, Po-Liang Wu, Lui Sha and Richard B. Jr. Berlin
  • Deep Value of Information Estimators for Collaborative Human-Machine Information Gathering
    Kin Gwn Lore, Nicholas Sweet, Kundan Kumar, Nisar Ahmed and Soumik Sarkar



Work-in-Progress, Posters and Demos

Poster Abstracts:

  • Poster Abstract: Data-Driven Robust Taxi Dispatch Approaches
    Fei Miao, Shuo Han, Shan Lin, John Stankovic, Qian Wang, Desheng Zhang, Tian He and George Pappas
  • Poster Abstract: Distributed Reasoning For Diagnosing Cascading Outages in Cyber Physical Energy Systems
    Ajay Chhokra, Abhishek Dubey, Nagbhushan Mahadevan and Gabor Karsai
  • Poster Abstract: A Unified Distributed Control Framework for Inverter-based Islanded Microgrid
    Chin-Yao Chang, Wei Zhang and Jianming Lian
  • Poster Abstract: Modeling, Simulation and Verification Environment for Engineering Cyber-Physical Systems Based on Discrete Event System Specification
    Hae Young Lee and So Jin Lee
  • Poster Abstract: Unifying Modeling Substrate for Irrigation Cyber-Physical Systems
    Davit Hovhannisyan, Fadi Kurdahi, Ahmed Eltawil, Amir Aghakouchak and Mohammad Al Faruque
  • Poster Abstract: Thermal Side-Channel Forensics in Additive Manufacturing Systems
    Sujit Rokka Chhetri, Sina Faezi, Arquimedes Canedo and Mohammad Abdullah Al Faruque

WiP Abstracts:

  • WiP Abstract: Stabilizing traffic with a single autonomous vehicle
    Raphael Stern, Daniel Work, Shumo Cui, Hannah Pohlmann, Benjamin Seibold, Maria Laura Delle Monache, Benedetto Piccoli and Jonathan Sprinkle
  • WiP Abstract: A Novel Strategy for Active Cell Balancing
    Sriram Vasudevan, Nitin Shivaraman and Arvind Easwaran
  • WiP Abstract: Distributed Reactive Control Synthesis for Aircraft Electric Power Systems via SAT Solving
    Yunus Emre Sahin and Necmiye Ozay
  • WiP Abstract: Preliminary Evaluation of ROS2
    Yuya Maruyama, Shinpei Kato and Takuya Azumi
  • WiP Abstract: Multiple Security Domain Nondeducibility for Point-of-Care Diagnostic Technology
    Fred Love, Bruce McMillin, Sivanesan Tulasidas and Wamadeva Balachandran
  • WiP Abstract: A Mixed Logical Dynamical System Model for Taxi Cruising Support System
    Toshimitsu Ushio, Masaki Hiromoto, Akiyoshi Okamoto and Tomoaki Akiyama
  • WiP Abstract: Human-Assisted Power Demand Forecasting Based on Action Plan Declaration
    Masaki Igarashi, Atsushi Shimada, Hajime Nagahara and Rin-Ichiro Taniguchi
  • WiP Abstract: Platform for Designing and Managing Resilient and Extensible CPS
    Subhav Pradhan, Abhishek Dubey and Aniruddha Gokhale

Demo Abstracts:

  • Demo Abstract: Gesture-based Cyber-Physical In-Home Therapy System in a Big Data Environment
    Mohamed Abdur Rahman
  • Demo Abstract: Systematic Road Environment Generation for Vehicle Software Simulation
    Baekgyu Kim, Jonathan Shum, Akshay Jarandikar and Shinichi Shiraishi
  • Demo Abstract: SURE: An Experimentation and Evaluation Testbed for Security and Resilience of CPSHimanshu Neema, Peter Volgyesi, Bradley Potteiger, William Emfinger, Xenofon Koutsoukos, Gabor Karsai, Yevgeniy Vorobeychik and Janos Sztipanovits
  • Demo Abstract: Building IoT Applications with Accessors in CapeCode
    Marten Lohstroh, Christopher Brooks and Edward Lee
  • Demo Abstract: HajjCPS – A Cyber Physical Environment for Providing Location-Aware Services to a Very Large Crowd
    Mohamed Abdur Rahman and Akhlaq Ahmad