This combined program is provided 'as is'. More up-to-date information may be avalialbe at each event's official websites.
CPS Week 2018 Program Overview
April 12
8:00 - 09:00 | Registration Palácio da Bolsa | |
09:00 - 10:00 | CPS Week Keynote Dependable Industrial Internet of Things Chenyang Lu, Washington University in St. Louis IoT-driven control underpins numerous cyber-physical systems from Industrial Internet to smart cities. In contrast to best-effort IoT often found in consumer markets, there remain daunting challenges to develop IoT systems that must not only monitor but also control physical systems in a dependable fashion. We will highlight the dependability challenges caused by communication delays, data loss and resource constraints of IoT. We will further discuss cyber-physical co-design as a fundamental approach to achieve dependability in IoT-driven control systems. R01 - Palácio da Bolsa - Level 0 - Pátio das Nações | |
10:00 - 10:30 | Coffee Break R10 - Palácio da Bolsa - Level 1 | |
10:30 - 12:30 | RTAS | Session 4 - Multi-mode and mixed-critical SystemsSession Chair: Bjorn Andersson, Carnegie Mellon University, USASafeMC: A system for the design and evaluation of mode change protocols. Tianyang Chen and Linh Thi Xuan Phan Multi-Mode Virtualization for Soft Real-Time Systems. Haoran Li, Meng Xu, Chong Li, Chenyang Lu, Chris Gill, Linh Thi Xuan Phan, Insup Lee and Oleg Sokolsky Physical-State-Aware Dynamic Slack Management for Mixed-Criticality Systems. Hoon Sung Chwa, Kang Shin, Hyeongboo Baek and Jinkyu Lee Mixed Criticality Systems with Varying Context Switch Costs. Robert Davis, Sebastian Altmeyer and Alan Burns R21 - Palácio da Bolsa - Level 2 - Auditório António Cálem |
10:30 - 12:30 | HSCC | Session 4 - Stabilization and Control DesignSession Chair: Jim KapinskiStabilizing switched nonlinear systems under restricted switching. Atreyee Kundu Lyapunov Design for Event-Triggered Exponential Stabilization. Anton Proskurnikov and Manuel Mazo Jr Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time Systems. Kyle Hsu, Rupak Majumdar, Kaushik Mallik and Anne-Kathrin Schmuck (T) ROCS: A Robustly Complete Control Synthesis Tool for Nonlinear Dynamical Systems. Yinan Li and Jun Liu R17 - Palácio da Bolsa - Level 1 - Salão Árabe |
10:30 - 12:30 | ICCPS | Session 4 - Controller Design, Implementation, and ApplicationsSession Chair: Rahul MangharamTowards a Framework for Realizable Safety Critical Control through Active Set Invariance. Thomas Gurriet, Andrew Singletary, Jake Reher, Laurent Ciarletta, Eric Feron and Aaron Ames Ordering Events Based on Intentionality in Cyber-Physical Systems. Wajeb Saab, Maaz Mohiuddin, Simon Bliudze and Jean-Yves Le Boudec Co-Regulation of Computational and Physical Effectors in a Quadrotor UAS. Xinkai Zhang, Seth Doebbeling and Justin Bradley OpenUAV: A UAV Testbed for the CPS and Robotics Community. Matt Schmittle, Anna Lukina, Lukas Vacek, Jnaneshwar Das, Christopher P. Buskirk, Stephen Rees, Janos Sztipanovits, Radu Grosu and Vijay Kumar Learning and Control using Gaussian Processes. Achin Jain, Truong Nghiem, Manfred Morari and Rahul Mangharam R11 - Palácio da Bolsa - Level 1 - Sala do Tribunal |
10:30 - 11:30 | IPSN | Session 4 - Pervasive HardwareSession Chair: Rong ZhengBattery-Free 802.15.4 Receiver Carlos Pérez Penichet. Claro Noda, Ambuj Varshney, Thiemo Voigt Glimpse.3D: A Motion-Triggered Stereo Body Camera for 3D Experience Capture and Preview. Bashima Islam, Md Tamzeed Islam, Shahriar Nirjon The Signpost Platform for City-Scale Sensing. Joshua Adkins, Branden Ghena, Neal Jackson, Pat Pannuto, Samuel Rohrer, Bradford Campbell, Prabal Dutta R15 - Palácio da Bolsa - Level 1 - Sala das Assembleias Gerais |
11:30 - 12:30 | IPSN | Microsoft Indoor Localization Competition Official Results AnouncementSession Chair: Dimitrios LymberopoulosR15 - Palácio da Bolsa - Level 1 - Sala das Assembleias Gerais |
11:30 - 12:30 | MILC | MILC Official Results Anouncement R15 - Palácio da Bolsa - Level 1 - Sala das Assembleias Gerais |
12:30 - 14:00 | Lunch R01 - Palácio da Bolsa - Level 0 - Pátio das Nações | |
13:00 - 13:50 | F1/10 | F1/10 Competition Tutorial How to DRIVE the F1/10 autonomous car? R17 - Palácio da Bolsa - Level 1 - Salão Árabe |
14:00 - 15:30 | RTAS | Session 5 - Resource SharingSession Chair: Sibin Mohan, University of Illinois at Urbana-Champaign, USAScalable Memory Reclamation for Multi-Core, Real-Time Systems. Yuxin Ren, Guyue Liu, Gabriel Parmer and Björn Brandenburg Shared-Resource-Centric Limited Preemptive Scheduling: A Comprehensive Study of Suspension-base Partitioning Approaches. Zheng Dong, Cong Liu, Soroush Bateni, Kuan-Hsun Chen, Jian-Jia Chen, Georg von der Brüggen and Junjie Shi Analytical Enhancements and Practical Insights for MPCP with Self-Suspensions. Pratyush Patel, Iljoo Baek, Hyoseung Kim and Ragunathan (Raj) Rajkumar R21 - Palácio da Bolsa - Level 2 - Auditório António Cálem |
14:00 - 15:00 | HSCC | HSCC Keynote - Compositional Synthesis for Symbolic Control Antoine Girard Symbolic control aims at designing "correct by construction" controllers for continuous dynamical systems, by using algorithmic discrete synthesis techniques. The key concept in symbolic control is that of symbolic model (also called finite abstraction), which is a finite-state dynamical system, obtained by abstracting continuous trajectories over a finite set of symbols. When the symbolic and the continuous dynamics are formally related by some behavioral relationship (e.g. simulation or bisimulation relations), controllers synthesized for the symbolic model using discrete synthesis techniques can be refined to certified controllers for the original continuous system. Computation of finite abstractions is often based on discretization of the state and input spaces and therefore the symbolic control approach suffers from scalability issues. However, the design of large systems can still be tackled by means of compositional techniques. In this talk, we will present some recent results on compositional synthesis in the symbolic control approach. Firstly, we will present an approach to compute abstractions of systems made of several, possibly overlapping components. Secondly, we will show how to synthesize decentralized (and possibly asynchronous) controllers for invariance properties, by combining these overlapping abstractions and assume-guarantee contracts. In the last part of the talk, motivated by the use of parametric assume-guarantee contracts for stability properties, we will show recent developments on abstraction-based quantitative synthesis. R17 - Palácio da Bolsa - Level 1 - Salão Árabe |
15:00 - 15:30 | HSCC | Session 5 - Compositional MethodsSession Chair: Jyotirmoy Vinay DeshmukhConstructing Control System Abstractions from Modular Components. Eric Kim, Murat Arcak and Majid Zamani R17 - Palácio da Bolsa - Level 1 - Salão Árabe |
14:00 - 15:30 | ICCPS | Session 5 - Synthesis and VerificationSession Chair: Justin BradleyEfficient Verification for Stochastic Mixed Monotone Systems. Maxence Dutreix and Samuel Coogan Distributed Optimal Control Synthesis for Multi-Robot Systems under Global Temporal Tasks. Yiannis Kantaros and Michael Zavlanos Receding Horizon Multi-Robot Coverage. Sankar Narayan Das and Indranil Saha Fly-by-Logic: Control of Multi-Drone Fleets with Temporal Logic Objectives. Yash Vardhan Pant, Houssam Abbas, Rhudii A. Quaye and Rahul Mangharam R11 - Palácio da Bolsa - Level 1 - Sala do Tribunal |
14:00 - 15:30 | IPSN | Session 5 - Learning with Sensor DataSession Chair: Neal PatwariA Deep Data Augmentation Training Method to Address Software and Hardware Heterogeneities in Wearable and Smartphone Sensing Devices. Akhil Mathur, Tianlin Zhang, Sourav Bhattacharya, Petar Velickovic, Leonid Joffe, Nicholas D. Lane, Fahim Kawsar, Pietro Lio Moving Convolutional Neural Networks to Embedded Systems: the AlexNet and VGG-16 case. Cesare Alippi, Simone Disabato, Manuel Roveri (Short Paper) Data-Driven Monitoring and Optimization of Classroom Usage in a Smart Campus. Thanchanok Sutjarittham, Hassan Habibi Gharakheili, Salil Kanhere, Vijay Sivaraman ODDS: Real-Time Object Detection using Depth Sensors on Embedded GPUs. Niluthpol Chowdhury Mithun, Sirajum Munir, Karen Guo, Charles Shelton R15 - Palácio da Bolsa - Level 1 - Sala das Assembleias Gerais |
15:30 - 16:00 | Coffee Break R10 - Palácio da Bolsa - Level 1 | |
16:00 - 17:30 | RTAS | Session 6 - GPUSession Chair: Marko Bertogna, University of Modena, ItalyS^3DNN: Supervised Streaming and Scheduling for GPU-accelerated Real-Time DNN Workloads. Husheng Zhou, Soroush Bateni and Cong Liu A GPU Kernel Transactionization Scheme for Preemptive Priority Scheduling. Hyeonsu Lee, Jaehun Roh and Euiseong Seo MERLOT: Architectural Support for Energy-Efficient Real-time Processing in GPUs. Muhammad Santriaji and Henry Hoffmann R21 - Palácio da Bolsa - Level 2 - Auditório António Cálem |
16:00 - 17:00 | HSCC | Session 6 - Data-driven DesignSession Chair: Ashutosh TrivediFormal Guarantees in Data-Driven Model Identification and Control Synthesis. Sadra Sadraddini and Calin Belta From Uncertainty Data to Robust Policies for Temporal Logic Planning. Pier Giuseppe Sessa, Damian Frick, Tony A. Wood and Maryam Kamgarpour R17 - Palácio da Bolsa - Level 1 - Salão Árabe |
16:00 - 17:00 | ICCPS | Session 6 - OptimizationSession Chair: Indranil SahaThe Impact of Packet Dropouts on the Reachability Energy. A. Sanand Amita Dilip, Nikolaos Athanasopoulos and Raphael Jungers Sound Mixed-Precision Optimization with Rewriting. Eva Darulova, Einar Horn and Saksham Sharma Parameter Optimization in Control Software using Statistical Fault Localization Techniques. Jyotirmoy Deshmukh, Xiaoqing Jin, Rupak Majumdar and Vinayak Prabhu R11 - Palácio da Bolsa - Level 1 - Sala do Tribunal |
16:00 - 17:30 | IPSN | Session 6 - Machine Learning and Big Data: Where do they fit in CPS? + IPSN Business MeetingPanel Moderator: Jie LiuAfter the Panel Discussion:IPSN Business MeetingR15 - Palácio da Bolsa - Level 1 - Sala das Assembleias Gerais |
17:30 - 17:45 | RTAS | Award Ceremony R21 - Palácio da Bolsa - Level 2 - Auditório António Cálem |
17:10 - 18:30 | ICCPS | Joint Session with HSCC - What are the challenges posed to CPS theory by Modern Applications?SpeakersFrank Allgöwer James Kapinski Jens Oehlerking Patrick Panciatici Akshay Rajhans João Tasso de Figueiredo Borges de Sousa ModeratorsMaria Prandini Paulo Tabuada R17 - Palácio da Bolsa - Level 1 - Salão Árabe |
17:10 - 18:30 | HSCC | Joint Session with ICCPS - What are the challenges posed to CPS theory by Modern Applications?SpeakersFrank Allgöwer James Kapinski Jens Oehlerking Patrick Panciatici Akshay Rajhans João Tasso de Figueiredo Borges de Sousa ModeratorsMaria Prandini Paulo Tabuada R17 - Palácio da Bolsa - Level 1 - Salão Árabe |
19:30 - 22:00 | CPS Week Banquet Caves Ferreirinha |