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
HSCC
21st ACM International Conference on Hybrid Systems: Computation and Control
official website
CPS Week 2018 Conferences:
RTAS ‧ HSCC ‧ IPSN ‧ ICCPS
Other CPS Week 2018 Events:
Workshops ‧ Tutorials ‧ Competitions...
April 11
see all CPS Week events for this day
| 8:00 - 09:00 | Registration Palácio da Bolsa |
| 09:00 - 10:00 | CPS Week Keynote How Can We Rely on Cyber-Physical Systems with Thousands of Software Bugs? Henrique Madeira, University of Coimbra Cyber-physical systems (CPS) are made of software. Lots of it. Small embedded devices may easily reach millions of lines of code. Large scale CPS have billions. Even using the most skeptic bug density estimations for deployed software, there is no escape from the conclusion that most CPS have many thousands of residual bugs. Unfortunately, no one knows exactly where they are in the code, when they will reveal themselves, and, above all, what the consequences of their activation can be. In CPS with demanding safety requirements or exposed to security attacks (which may exploit residual bugs that may also represent security vulnerabilities), residual bugs represent a serious risk. Worse than that, it is not easy to estimate such risk. Hence, paraphrasing a famous Jim Gray's question: Why are residual software bugs a serious threat to CPS and what can be done about it? Attempting to answer this question, the talk provides field data illustrating some key problems, surveys software reliability limits, discusses why it is not trivial to use classic fault tolerance techniques in many CPS, and proposes some futuristic scenarios that may help deal with the residual software bug problem. 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 | Session 1 - Stochastic SystemsSession Chair: Pavithra PrabhakarOpening RemarksSession Papers:Scalable Underapproximative Verification of Stochastic LTI Systems using Convexity and Compactness. Abraham P. Vinod and Meeko M. K. Oishi Global Almost-Sure Reachability in Stochastic Constant-Rate Multi-Mode Systems. Fabio Somenzi, Behrouz Touri and Ashutosh Trivedi From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes. Abolfazl Lavaei, Sadegh Soudjani and Majid Zamani Bisimulations, logics, and trace distributions for stochastic systems with rewards. Daniel Gburek and Christel Baier R21 - Palácio da Bolsa - Level 2 - Auditório António Cálem |
| 12:30 - 14:00 | Lunch R01 - Palácio da Bolsa - Level 0 - Pátio das Nações |
| 14:00 - 15:30 | Session 2 - ReachabilitySession Chair: Sayan MitraReach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices. Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Andreas Podelski, Christian Schilling and Frédéric Viry Under-Approximating Reach Sets for Polynomial Continuous Systems. Bai Xue, Martin Fränzle and Naijun Zhan Accurate reachability analysis of uncertain nonlinear systems. Matthias Rungger and Majid Zamani R21 - Palácio da Bolsa - Level 2 - Auditório António Cálem |
| 15:30 - 16:00 | Coffee Break R10 - Palácio da Bolsa - Level 1 |
| 16:00 - 17:30 | Session 3 - Timed SystemsSession Chair: Vinayak PrabhuClock Allocation in Timed Automata and Graph Colouring. Neda Saeedloei and Feliks Kluzniak Model Checking Bounded Continuous-time Extended Linear Duration Invariants. Jie An, Naijun Zhan, Xiaoshan Li, Miaomiao Zhang and Yi Wang A New Perspective on Quality Evaluation for Control Systems with Stochastic Timing. Maximilian Gaukler, Andreas Michalka, Peter Ulbrich and Tobias Klaus R21 - Palácio da Bolsa - Level 2 - Auditório António Cálem |
| 17:30 - 17:30 | Poster/DemosDemosROCS - A Robustly Complete Control Synthesis Tool for Nonlinear Dynamical Systems. Yinan Li and Jun Liu Graphical Hybrid Automata with Simulink and Stateflow. Akshay Rajhans, Srinath Avadhanula, Alongkrit Chutinan, Pieter Mosterman and Fu Zhang DryVR 2.0 - A Tool For Verification and controller synthesis of black-box cyber-physical systems. Bolun Qi, Chuchu Fan, Minghao Jiang and Sayan Mitra PostersFormal Controller Synthesis from Hybrid Programs. Vladimir Sinyakov and Antoine Girard Compositional Synthesis of Interconnected Stochastic Control Systems based on Finite MDPs. Abolfazl Lavaei, Sadegh Soudjani and Majid Zamani Compositional Synthesis of Finite Abstractions for Networks of Systems: A Dissipativity Approach. Abdalla Swikir, Antoine Girard and Majid Zamani Contract based Design of Symbolic Controllers for Vehicle Platooning. Adnane Saoud, Antoine Girard and Laurent Fribourg Recent Results in State Estimation of Dynamical Systems with Inputs under Bandwidth Constraints. Hussein Sibai and Sayan Mitra CODEV: Automated Model Predictive Control Design and Formal Verification. Nicole Chan and Sayan Mitra Sim-ATAV: Simulation-Based Adversarial Testing Framework for Autonomous Vehicles. Cumhur Erkan Tuncali, Georgios Fainekos, Hisahiro Ito and James Kapinski Major Computational Breakthroughs in the Synthesis of Symbolic Controllers via Decomposed Algorithms. Eric Kim, Mahmoud Khaled, Murat Arcak and Majid Zamani Palácio da Bolsa |
| 17:00 - 19:30 | CPS Week Poster/Demo, Reception Palácio da Bolsa |
| 19:30 - 21:30 | CPS Week Fringe Event Mercado Ferreira Borges - Hard Club Mercado Ferreira Borges |
| 20:00 - 22:00 | CPS Week TPC Dinner Mercado Ferreira Borges - Mercado Mercado Ferreira Borges |
April 12
see all CPS Week events for this day
| 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 | 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 |
| 12:30 - 14:00 | Lunch R01 - Palácio da Bolsa - Level 0 - Pátio das Nações |
| 14:00 - 15:00 | 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 | 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 |
| 15:30 - 16:00 | Coffee Break R10 - Palácio da Bolsa - Level 1 |
| 16:00 - 17:00 | 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 |
| 17:10 - 18:30 | 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 |
April 13
see all CPS Week events for this day
| 8:00 - 09:00 | Registration Palácio da Bolsa |
| 09:00 - 10:00 | CPS Week Keynote From Rags to Riches - Distributed Economic Model Predictive Control in Industry 4.0 Frank Allgower, University of Stuttgart During the past decades model predictive control (MPC) has become a preferred control strategy for the control of a large number of industrial processes. Systems theoretic properties of MPC, like stability and robustness, are rather well understood by now, as are computational issues in connection with the MPC implementation. With the vision of the smart factory of the future, generally termed Industry 4.0, the industrial environment, and thus the involved control tasks, are however undergoing a fundamental new orientation on the basis of the Cyber-Physical Systems and Internet of Things and Services paradigms. In the future all parts along the production chain will be equipped with embedded computing, communication and networking capabilities and are expected to interact in an optimal way towards the goal of a quality oriented, energy and resource efficient, save and reliable production process. Through decentralized optimal decision-making and an appropriate communication among the networked individual parts, the whole production process of the future is expected to operate optimally. The generation of economic value through control will step in the foreground while the stabilization of predetermined setpoints will not play the same role as it has in the past. In this presentation an introduction to the state of the art in Model Predictive Control will be given and the challenges and opportunities of Industry 4.0 for the field of control are discussed. We will in particular investigate the potential impact of Model Predictive Control (MPC) for the fourth industrial revolution and will argue that some new developments in MPC, especially connected to distributed and economic model predictive control, appear to be ideally suited to have a potential impact in the new Industry 4.0 environment. 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 | Session 7 - Temporal Logic and its AplicationsSession Chair: Necmiye OzaySpecifying Timed Patterns using Temporal Logic. Dogan Ulus and Oded Maler Efficient Parametric Identification for STL. Alexey Bakhirkin, Thomas Ferrère and Oded Maler Parameter Invariant Monitoring for Signal Temporal Logic. Nima Roohi, Ramneet Kaur, James Weimer, Oleg Sokolsky and Insup Lee Localizing Faults in Simulink/Stateflow Models with STL. Ezio Bartocci, Thomas Ferrère, Niveditha Manjunath and Dejan Nickovic R11 - Palácio da Bolsa - Level 1 - Sala do Tribunal |
| 12:30 - 14:00 | Lunch R01 - Palácio da Bolsa - Level 0 - Pátio das Nações |
| 14:00 - 15:30 | Session 8 - Algorithms and FoundationsSession Chair: Maria PrandiniAlgorithms for exact and approximate linear abstractions of polynomial continuous systems. Michele Boreale State Estimation of Dynamical Systems with Unknown Inputs: Entropy and Bit Rates. Hussein Sibai and Sayan Mitra Improving validated computation of Viability Kernels. Benjamin Martin and Olivier Mullier R11 - Palácio da Bolsa - Level 1 - Sala do Tribunal |
| 15:30 - 16:00 | Coffee Break R10 - Palácio da Bolsa - Level 1 |
| 16:00 - 17:30 | Session 9 - Modeling and VerificationSession Chair: Dejan NickovicModeling the Impact of Vehicle Platooning on Highway Congestion: A Fluid Queuing Approach. Li Jin, Mladen Cicic, Saurabh Amin and Karl Johansson (T) Graphical Modeling of Hybrid Dynamics with Simulink and Stateflow. Akshay Rajhans, Srinath Avadhanula, Alongkrit Chutinan, Pieter Mosterman and Fu Zhang (T) DSValidator: An Automated Counterexample Reproducibility Tool for Digital Systems. Lennon Chaves, Iury Bessa, Lucas Cordeiro and Daniel Kroening (T) AVERIST: Algorithmic Verifier for Stability of Linear Hybrid Systems. Miriam García Soto and Pavithra Prabhakar R11 - Palácio da Bolsa - Level 1 - Sala do Tribunal |
| 17:30 - 18:00 | HSCC business meeting, announcements about next HSCC R11 - Palácio da Bolsa - Level 1 - Sala do Tribunal |
| 18:00 - 18:15 | CPS Week Farewell R01 - Palácio da Bolsa - Level 0 - Pátio das Nações |
CPS Week 2018 Program Overview
Mobile link to this page: