CPS Week 2018 Advance Program ‧ April 12

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

go to previous day

8:00 - 09:00Registration
Palácio da Bolsa
09:00 - 10:00CPS 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:30Coffee Break
R10 - Palácio da Bolsa - Level 1
10:30 - 12:30RTASSession 4 - Multi-mode and mixed-critical Systems
Session Chair: Bjorn Andersson, Carnegie Mellon University, USA

SafeMC: 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:30HSCCSession 4 - Stabilization and Control Design
Session Chair: Jim Kapinski

Stabilizing 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:30ICCPSSession 4 - Controller Design, Implementation, and Applications
Session Chair: Rahul Mangharam

Towards 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:30IPSNSession 4 - Pervasive Hardware
Session Chair: Rong Zheng

Battery-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:30IPSNMicrosoft Indoor Localization Competition Official Results Anouncement
Session Chair: Dimitrios Lymberopoulos

R15 - Palácio da Bolsa - Level 1 - Sala das Assembleias Gerais
11:30 - 12:30MILCMILC Official Results Anouncement
R15 - Palácio da Bolsa - Level 1 - Sala das Assembleias Gerais
12:30 - 14:00Lunch
R01 - Palácio da Bolsa - Level 0 - Pátio das Nações
13:00 - 13:50F1/10F1/10 Competition Tutorial
How to DRIVE the F1/10 autonomous car?
R17 - Palácio da Bolsa - Level 1 - Salão Árabe
14:00 - 15:30RTASSession 5 - Resource Sharing
Session Chair: Sibin Mohan, University of Illinois at Urbana-Champaign, USA

Scalable 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:00HSCCHSCC 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:30HSCCSession 5 - Compositional Methods
Session Chair: Jyotirmoy Vinay Deshmukh

Constructing 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:30ICCPSSession 5 - Synthesis and Verification
Session Chair: Justin Bradley

Efficient 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:30IPSNSession 5 - Learning with Sensor Data
Session Chair: Neal Patwari

A 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:00Coffee Break
R10 - Palácio da Bolsa - Level 1
16:00 - 17:30RTASSession 6 - GPU
Session Chair: Marko Bertogna, University of Modena, Italy

S^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:00HSCCSession 6 - Data-driven Design
Session Chair: Ashutosh Trivedi

Formal 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:00ICCPSSession 6 - Optimization
Session Chair: Indranil Saha

The 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:30IPSNSession 6 - Machine Learning and Big Data: Where do they fit in CPS? + IPSN Business Meeting
Panel Moderator: Jie Liu
After the Panel Discussion:

IPSN Business Meeting


R15 - Palácio da Bolsa - Level 1 - Sala das Assembleias Gerais
17:30 - 17:45RTASAward Ceremony
R21 - Palácio da Bolsa - Level 2 - Auditório António Cálem
17:10 - 18:30ICCPSJoint Session with HSCC - What are the challenges posed to CPS theory by Modern Applications?

Speakers

Frank Allgöwer
University of Stuttgart
Industry 4.0: challenges for CPS theory

James Kapinski
Toyota Research Institute of North America
Requirements engineering challenges for CPS

Jens Oehlerking
Robert Bosch GmbH
Automatic verification and testing in automotive applications

Patrick Panciatici
RTE (French Transmission System Operator)
Revolution of large electrical grids: complex Cyber Physical System of Systems

Akshay Rajhans
MathWorks
Model-based design and analysis challenges for Cyber-Physical Systems

João Tasso de Figueiredo Borges de Sousa
Laboratório de Sistemas e Tecnologias Subaquáticas, Faculdade de Engenharia da Universidade do Porto
Autonomous vehicles coordination and control, with application to ocean sciences, security and defense

Moderators

Maria Prandini
Politecnico di Milano

Paulo Tabuada
University of California at Los Angeles


R17 - Palácio da Bolsa - Level 1 - Salão Árabe
17:10 - 18:30HSCCJoint Session with ICCPS - What are the challenges posed to CPS theory by Modern Applications?

Speakers

Frank Allgöwer
University of Stuttgart
Industry 4.0: challenges for CPS theory

James Kapinski
Toyota Research Institute of North America
Requirements engineering challenges for CPS

Jens Oehlerking
Robert Bosch GmbH
Automatic verification and testing in automotive applications

Patrick Panciatici
RTE (French Transmission System Operator)
Revolution of large electrical grids: complex Cyber Physical System of Systems

Akshay Rajhans
MathWorks
Model-based design and analysis challenges for Cyber-Physical Systems

João Tasso de Figueiredo Borges de Sousa
Laboratório de Sistemas e Tecnologias Subaquáticas, Faculdade de Engenharia da Universidade do Porto
Autonomous vehicles coordination and control, with application to ocean sciences, security and defense

Moderators

Maria Prandini
Politecnico di Milano

Paulo Tabuada
University of California at Los Angeles


R17 - Palácio da Bolsa - Level 1 - Salão Árabe
19:30 - 22:00CPS Week Banquet
Caves Ferreirinha

go to next day

>