PROGRAM
Days: Tuesday, April 16th Wednesday, April 17th Thursday, April 18th
Tuesday, April 16th
View this program: with abstractssession overviewtalk overview
10:00-10:30Coffee Break
10:40-12:40 Session 1: CPS Security I
Chair:
10:40 | Availability Attacks on Computing Systems through Alteration of Environmental Control: Smart Malware Approach (abstract) |
11:10 | Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices (abstract) |
11:40 | TACAN: Transmitter Authentication through Covert Channels in Controller Area Networks (abstract) |
12:10 | Preventing Battery Attacks on Electrical Vehicles based on Data-Driven Behavior Modeling (abstract) |
12:30-14:00Lunch Break
14:00-15:30 Session 2: Control Design, Analysis, and Implementation
Chair:
14:00 | HyPLC: Hybrid Programmable Logic Controller Program Translation for Verification (abstract) |
14:30 | PGCD: Robot Programming and Verification with Geometry, Concurrency, and Dynamics (abstract) |
15:00 | Programming Event Processors with ThingFlow (abstract) |
15:30-16:00Coffee Break
16:00-17:30 Session 3: WiP, Demo and Poster Presentations
- Shen Wang, Ahmad F. Taha, Nikolaos Gatsis and Marcio H. Giacomoni. WiP: Control of Water Distribution Networks using Convex Approximations,
- Yang Zhao, Ming-Ching Chang and Peter Tu. WiP: Deep Intelligent Network for Device-free People Tracking,
- Sebastian Nugroho and Ahmad F. Taha. WiP: On the Need for Sensor and Actuator Placement Algorithms in Nonlinear Systems,
- Sota Takashima, Naomi Kuze and Toshimitsu Ushio. WiP: Hierarchical Taxi Dispatch System with Local Coordination among Micro-level Components,
- Xiang Yin and Majid Zamani. WiP: Towards Approximate Opacity of Cyber-Physical Systems,
- Nayreet Islam and Akramul Azim. WiP:Feature characterization for CPS software reuse,
- Anh Hoang Ngoc Nguyen, Masashi Aono and Yuko Hara-Azumi. WiP: FPGA-Based Amoeba-Inspired SAT Solver for Cyber-Physical Systems,
- Smitha Gautham, Georgios Bakirtzis, Matthew T. Leccadito, Robert H. Klenke and Carl R. Elks. WiP: A Multilevel Cybersecurity and Safety Monitor for Embedded Cyber-Physical Systems,
- Ellin Zhao and Roykrong Sukkerd. WiP: Interactive Explanation for Planning-Based Systems,
- Minji Kim, Hee Jung Yoon, Sang Hyuk Son and Yongsoon Eun. WiP: Data-based Model of Metro Scheduling for Passenger Wait-time Optimization with Constraints,
- George Gunter, Yanbing Wang, Derek Gloudemans, Raphael Stern, Daniel Work, Maria Laura Delle Monache, Rahul Bhadani, Matt Bunting, Roman Lysecky, Jonathan Sprinkle, Benjamin Seibold and Benedetto Piccoli. WiP: String stability of commercial adaptive cruise control vehicles,
- Ramanunni Parakkal Menon, Jessen Page and Frederic Amblard. WiP: Implementation of Demand Response for a Block of Buildings for active participation in the Electricity Market,
- Huan Yang, Liang Cheng and Xiaoguang Ma. WiP: Bounding Network-Induced Delays for Time-Critical Services in Avionic Systems Using Measurements and Network Calculus,
- Ronny Seiger and Uwe Assmann. Poster: Consistency and Synchronization for Workflows in Cyber-physical Systems,
- Ariadna Estrada and Ian M. Mitchell. Poster: Towards an emotionally-aware smart wheelchair,
- Luis Garcia, Stefan Mitsch and Andre Platzer. Poster: Toward Multi-Task Support and Security Analyses in PLC Program Translation for Verification,
- Shota Tokunaga, Noriyuki Ota, Yoshiharu Tange, Keita Miura, and Takuya Azumi. Demo: MATLAB/Simulink Benchmark Suite for ROS-based Self-driving System,
- Daniel Jun Xian Ng, Arvind Easwaran and Sidharta Andalam. Demo: Contract-based Hierarchical Resilience Framework for Cyber-Physical Systems,
- Sean Kauffman and Sebastian Fischmeister. Demo: Event Stream Abstraction Using nfer,
- Sirat Samyoun, Md Abu Sayeed Mondol, Ifat A. Emi and John A. Stankovic. Demo: iAdhere: A Voice Interactive Assistant to Improve Adherence to Medical Treatments,
- Geoffrey Pettet, Ayan Mukhopadhyay, Chinmaya Samal, Abhishek Dubey and Yevgeniy Vorobeychik. Demo: Incident Management and Analysis Dashboard for Fire Departments,
- Stephen A. Rees, Tamas Kecskes, Patrik Meijer, Taylor T. Johnson, Katie, Paulo Tabuada and Marcus Lucas. Demo: Cyber-Physical Systems Virtual Organization: Active Resources,
- Charles Hartsell, Nagabhushan Mahadevan, Shreyas Ramakrishna, Abhishek Dubey, Theodore Bapty and Gabor Karsai. Demo: A CPS Toolchain for Learning-based Systems,
- Takafumi Harada, Keita Hasegawa, Yuichiro Dan, Tomoaki Washio and Yoshihito Oshima. Demo: Security Analysis for CITS-SOC using Sensor Data from Connected Vehicles,
- Zaher Kassas, Mahdi Maaref and Joe Khalife. Demo: Pseudorange Measurement Outlier Detection for Navigation with Cellular Signals,
- Sara P. Rimer, Abhiram Mullapudi, Sara C. Troutman and Branko Kerkez. Demo: A Benchmarking Framework for Control and Optimization of Smart Stormwater Networks,
Chair:
Wednesday, April 17th
View this program: with abstractssession overviewtalk overview
10:00-10:30Coffee Break
10:30-12:30 Session 4: Wireless & Control in CPS
Chair:
10:30 | Optimal Dynamic Scheduling of Wireless Networked Control Systems (abstract) |
11:00 | Sampling Rate Optimization for IEEE 802.11 Wireless Control Systems (abstract) |
11:30 | Feedback Control Goes Wireless: Guaranteed Stability over Low-power Multi-hop Networks (abstract) |
12:00 | Age-of-Information vs. Value-of-Information Scheduling for Cellular Networked Control Systems (abstract) |
12:30-14:00Lunch Break
14:00-15:30 Session 5: CPS Security II
Chair:
14:00 | Managing the Security-Energy Tradeoff in Distributed Cyber-physical Systems (abstract) |
14:30 | Encrypted LQG using Labeled Homomorphic Encryption (abstract) |
15:00 | Two-Way Coding in Control Systems Under Injection Attacks: From Attack Detection to Attack Correction (abstract) |
15:30-16:00Coffee Break
16:00-18:00 Session 6: CPS Applications I
Chair:
16:00 | Augmenting In-situ with Mobile Sensing for Adaptive Monitoring of Water Distribution Networks (abstract) |
16:30 | Robustness Evaluation of Computer-aided Clinical trials for Medical Devices (abstract) |
17:00 | Tagging Wearable Accelerometers in Camera Frames through Information Translation between Vision Sensors and Accelerometers (abstract) |
17:30 | An Online Decision-Theoretic Pipeline for Responder Dispatch (abstract) |
Thursday, April 18th
View this program: with abstractssession overviewtalk overview
10:00-10:30Coffee Break
10:30-12:30 Session 7: CPS Application II (Power Grid & Mobile)
Chair:
10:30 | Localizing Loads in Microgrids Using High-Precision Voltage Phase (abstract) |
11:00 | Assessing and Mitigating Impact of Time Delay Attack: A Case Study for Power Grid Frequency Control (abstract) |
11:30 | Cyber-Physical Modeling of GPS Receivers for Power Efficient Localization Systems (abstract) |
12:00 | Environment-Aware Estimation of Battery State-of-Charge for Mobile Devices (abstract) |
12:30-14:00Lunch Break
14:00-15:30 Session 8: Learning for CPS
Chair:
14:00 | Reduced Variance Deep Reinforcement Learning with Temporal Logic Specifications (abstract) |
14:30 | Towards Safe Machine Learning for CPS : Infer Uncertainty from Training Data (abstract) |
15:00 | Data-driven Perception of Neuron Point Process with Unknown Unknowns (abstract) |
15:30-16:00Coffee Break
16:00-17:30 Session 9: Smart Transportation
Chair:
16:00 | Decentralized Optimal Merging at an Intersection: a Control Barrier Function Approach (abstract) |
16:30 | Real-Time Distance Estimation and Filtering of Vehicle Headways for Smoothing of Traffic Waves (abstract) |
17:00 | Simulation to scaled city: zero-shot policy transfer for traffic control via autonomous vehicles (abstract) |