Program

Program

 

Venue
The HSCC conference will take place at Palácio da Bolsa:

  • Level 0 – Pátio das Nações (map)
  • Level 1 – Salão Árabe and Sala do Tribunal (map)
  • Level 2 – Auditório (map)

 

Highlights of the program:

 

Day 1: April 11, 2018

Begin End Description
8:00 9:00 Registration
Palácio da Bolsa
9:00 10:00 Opening and CPSWeek Keynote
Level 0 – Pátio das Nações
10:00 10:30 Coffee Break
Session 1: Stochastic Systems
Session Chair: Pavithra Prabhakar
Level 2 – Auditório
10:29 10:30 Opening Remarks
10:30 11:00 Scalable Underapproximative Verification of Stochastic LTI Systems using Convexity and Compactness, Abraham P. Vinod and Meeko M. K. Oishi
11:00 11:30 Global Almost-Sure Reachability in Stochastic Constant-Rate Multi-Mode Systems, Fabio Somenzi, Behrouz Touri and Ashutosh Trivedi
11:30 12:00 From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes, Abolfazl Lavaei, Sadegh Soudjani and Majid Zamani
12:00 12:30 Bisimulations, logics, and trace distributions for stochastic systems with rewards, Daniel Gburek and Christel Baier
12:30 14:00 Lunch Break
Level 0 – Pátio das Nações
Session 2: Reachability
Session Chair: Sayan Mitra
Level 2 – Auditório
14:00 14:30 Reach 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
14:30 15:00 Under-Approximating Reach Sets for Polynomial Continuous Systems, Bai Xue, Martin Fränzle and Naijun Zhan
15:00 15:30 Accurate reachability analysis of uncertain nonlinear systems, Matthias Rungger and Majid Zamani
15:30 16:00 Coffee Break
Session 3: Timed Systems
Session Chair: Vinayak Prabhu
Level 2 – Auditório
16:00 16:30 Clock Allocation in Timed Automata and Graph Colouring, Neda Saeedloei and Feliks Kluzniak
16:30 17:00 Model Checking Bounded Continuous-time Extended Linear Duration Invariants, Jie An, Naijun Zhan, Xiaoshan Li, Miaomiao Zhang and Yi Wang
17:00 17:30 A New Perspective on Quality Evaluation for Control Systems with Stochastic Timing, Maximilian Gaukler, Andreas Michalka, Peter Ulbrich and Tobias Klaus
17:30 19:30 Demos & Poster Session and Reception
Palácio da Bolsa

 

Day 2: April 12, 2018

Begin End Description
8:00 9:00 Registration
Palácio da Bolsa
9:00 10:00 CPSWeek Keynote
Level 0 – Pátio das Nações
10:00 10:30 Coffee Break
Session 4: Stabilization and Control Design
Session Chair: Jim Kapinski
Level 1 – Salão Árabe
10:30 11:00 Stabilizing switched nonlinear systems under restricted switching, Atreyee Kundu
11:00 11:30 Lyapunov Design for Event-Triggered Exponential Stabilization, Anton Proskurnikov and Manuel Mazo Jr
11:30 12:00 Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time Systems, Kyle Hsu, Rupak Majumdar, Kaushik Mallik and Anne-Kathrin Schmuck
12:00 12:20 (T) ROCS: A Robustly Complete Control Synthesis Tool for Nonlinear Dynamical Systems, Yinan Li and Jun Liu
12:20 12:40 “Best Demo/Poster Award” and “Best Repeatability Evaluation Award” ceremony
12:30 14:00 Lunch Break
Level 0 – Pátio das Nações
Session 5: Compositional Methods
Session Chair: Jyotirmoy Vinay Deshmukh
Level 1 – Salão Árabe
14:00 15:00 HSCC Keynote: Compositional Synthesis for Symbolic Control, Antoine Girard
Get the full text from the ACM Digital Library here
15:00 15:30 Constructing Control System Abstractions from Modular Components, Eric Kim, Murat Arcak and Majid Zamani
15:30 16:00 Coffee Break
Session 6: Data-driven Design
Session Chair: Ashutosh Trivedi
Level 1 – Salão Árabe
16:00 16:30 Formal Guarantees in Data-Driven Model Identification and Control Synthesis, Sadra Sadraddini and Calin Belta
16:30 17:00 From Uncertainty Data to Robust Policies for Temporal Logic Planning, Pier Giuseppe Sessa, Damian Frick, Tony A. Wood and Maryam Kamgarpour
17:10 18:30 Joint ICCPS-HSCC Panel Session: What are the challenges posed to CPS theory by modern applications?
Level 1 – Salão Árabe
20:00 22:00 Banquet and “Best Paper Award” and “Test-of-Time Award” ceremony
Caves Ferreirinha

 

Day 3: April 13, 2018

Begin End Description
8:00 9:00 Registration
Palácio da Bolsa
9:00 10:00 CPSWeek Keynote
Level 0 – Pátio das Nações
10:00 10:30 Coffee Break
Session 7: Temporal Logic and its Applications
Session Chair: Necmiye Ozay
Level 1 – Sala do Tribunal
10:30 11:00 Specifying Timed Patterns using Temporal Logic, Dogan Ulus and Oded Maler
11:00 11:30 Efficient Parametric Identification for STL, Alexey Bakhirkin, Thomas Ferrère and Oded Maler
11:30 12:00 Parameter Invariant Monitoring for Signal Temporal Logic, Nima Roohi, Ramneet Kaur, James Weimer, Oleg Sokolsky and Insup Lee
12:00 12:30 Localizing Faults in Simulink/Stateflow Models with STL, Ezio Bartocci, Thomas Ferrère, Niveditha Manjunath and Dejan Nickovic
12:30 14:00 Lunch Break
Level 0 – Pátio das Nações
Session 8: Algorithms and Foundations
Session Chair: Maria Prandini
Level 1 – Sala do Tribunal
14:00 14:30 Algorithms for exact and approximate linear abstractions of polynomial continuous systems, Michele Boreale
14:30 15:00 State Estimation of Dynamical Systems with Unknown Inputs: Entropy and Bit Rates, Hussein Sibai and Sayan Mitra
15:00 15:30 Improving validated computation of Viability Kernels, Benjamin Martin and Olivier Mullier
15:30 16:00 Coffee Break
Session 9: Modeling and Verification
Session Chair: Dejan Nickovic
Level 1 – Sala do Tribunal
16:00 16:30 Modeling the Impact of Vehicle Platooning on Highway Congestion: A Fluid Queuing Approach, Li Jin, Mladen Cicic, Saurabh Amin and Karl Johansson
16:30 16:50 (T) Graphical Modeling of Hybrid Dynamics with Simulink and Stateflow, Akshay Rajhans, Srinath Avadhanula, Alongkrit Chutinan, Pieter Mosterman and Fu Zhang
16:50 17:10 (T) DSValidator: An Automated Counterexample Reproducibility Tool for Digital Systems, Lennon Chaves, Iury Bessa, Lucas Cordeiro and Daniel Kroening
17:10 17:30 (T) AVERIST: Algorithmic Verifier for Stability of Linear Hybrid Systems, Miriam García Soto and Pavithra Prabhakar
17:30 18:00 HSCC business meeting, announcements about next HSCC
Level 1 – Sala do Tribunal