PROGRAM
Days: Tuesday, May 3rd Wednesday, May 4th Thursday, May 5th Friday, May 6th
Tuesday, May 3rd
View this program: with abstractssession overviewtalk overview
11:30-11:45Break & Social
12:45-13:00Break & Social
15:15-15:30Break & Social
16:30-16:45Break & Social
Wednesday, May 4th
View this program: with abstractssession overviewtalk overview
13:45-14:00Break & Social
14:15-15:15 Session 12: Temporal Logics & Monitoring
Chair:
| 14:15 | Multi-Requirement Testing Using Focused Falsification (abstract) |
| 14:35 | Linear Time Monitoring for One Variable TPTL (abstract) |
| 14:55 | A Multiresolution Analysis of Temporal Logic (abstract) |
15:15-15:30Break & Social
15:30-16:30 Session 13: Synthesis
Chair:
| 15:30 | Decoding Output Sequences for Discrete-Time Linear Hybrid Systems. (abstract) |
| 15:50 | A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation Equivalence. (abstract) |
| 16:10 | Correct-By-Construction Exploration and Exploitation for Unknown Linear Systems Using Bilinear Optimization (abstract) |
16:30-16:45Break & Social
16:45-17:45 Session 14: Probabilistic and Stochastic Hybrid Systems
Chair:
| 16:45 | Temporal Robustness of Stochastic Signals (abstract) |
| 17:05 | Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications (abstract) |
| 17:25 | k-Inductive Barrier Certificates for Stochastic Systems (abstract) |
17:45-18:00Break & Social
18:00-19:00 Session 15: HSCC Keynote
Chair:
| 18:00 | Autonomous systems in the intersection of formal methods, learning, and controls (abstract) |
Thursday, May 5th
View this program: with abstractssession overviewtalk overview
10:15-10:30Break & Social
10:30-11:30 Session 17: Verification
Chair:
| 10:30 | Verifying Neural Network Controlled Systems Using Neural Networks (abstract) |
| 10:50 | Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis (abstract) |
| 11:10 | Successive Convexification for Optimal Control with Signal Temporal Logic Specifications (abstract) |
11:30-11:45Break & Social
11:45-12:45 Session 18: Tool Papers & Case Studies
Chair:
| 11:45 | ABS: A formally correct software tool for space-efficient symbolic synthesis (abstract) |
| 12:05 | ETCetera: beyond Event-Triggered Control (abstract) |
| 12:25 | Small but Powerful Symbolic Output-Feedback Control (abstract) |
12:45-13:00Break & Social
13:00-14:00 Session 19: Hybrid Systems Stability
Chair:
| 13:00 | Stability of discrete-time switched linear systems with omega-regular switching sequence (abstract) |
| 13:20 | Necessary and Sufficient Conditions for Template-Dependent Ordering of Path-Complete Lyapunov Methods (abstract) |
| 13:40 | Verifying Switched System Stability With Logic (abstract) |
14:00-14:15Break & Social
Friday, May 6th
View this program: with abstractssession overviewtalk overview
14:15-15:15 Session 22: Hybrid Systems Theory
Chair:
| 14:15 | Distributed Hybrid Gradient Algorithm with Application to Cooperative Adaptive Estimation (abstract) |
| 14:35 | Mortality and Edge-to-Edge Reachability are Decidable on Surfaces (abstract) |
| 14:55 | Sufficient Conditions for Optimality and Asymptotic Stability in Two-Player Zero-Sum Hybrid Games (abstract) |
15:15-15:30Break & Social
15:30-16:30 Session 23: Tool Papers & Case Studies
Chair:
| 15:30 | Verification of machine learning based cyber-physical systems: a comparative study (abstract) |
| 15:50 | SOCKS: A Stochastic Optimal Control and Reachability Toolbox Using Kernel Methods (abstract) |
| 16:10 | Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks (abstract) |
16:30-16:45Break & Social