Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings. Theoretical Computer Science and General Issues

This book constitutes the refereed proceedings of the 17th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2019, held in Amsterdam, The Netherlands, in August 2019. The 15 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 42 submissions. The papers are organized in the following topical sections: special session on data-driven and stochastic approaches to real-time, including monitoring and Big Data; timed systems; linear and non-linear systems; timed automata; special session on timed systems and probabilities. Front Matter ....Pages i-xvi Front Matter ....Pages 1-1 Online Quantitative Timed Pattern Matching with Semiring-Valued Weighted Automata (Masaki Waga)....Pages 3-22 Assessing the Robustness of Arrival Curves Models for Real-Time Systems (Mahmoud Salem, Gonzalo Carvajal, Tong Liu, Sebastian Fischmeister)....Pages 23-40 Property-Driven Timestamps Encoding for Timeprints-Based Tracing and Monitoring (Rehab Massoud, Hoang M. Le, Rolf Drechsler)....Pages 41-58 Mixed-Time Signal Temporal Logic (Thomas Ferrère, Oded Maler, Dejan Ničković)....Pages 59-75 Front Matter ....Pages 77-77 A State Class Construction for Computing the Intersection of Time Petri Nets Languages (Éric Lubat, Silvano Dal Zilio, Didier Le Botlan, Yannick Pencolé, Audine Subias)....Pages 79-95 Stability and Performance Bounds in Cyclic Networks Using Network Calculus (Anne Bouillard)....Pages 96-113 ParetoLib: A Python Library for Parameter Synthesis (Alexey Bakhirkin, Nicolas Basset, Oded Maler, José-Ignacio Requeno Jarabo)....Pages 114-120 Front Matter ....Pages 121-121 Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty (Hui Kong, Ezio Bartocci, Yu Jiang, Thomas A. Henzinger)....Pages 123-141 Bounded Model Checking of Max-Plus Linear Systems via Predicate Abstractions (Muhammad Syifa’ul Mufid, Dieky Adzkiya, Alessandro Abate)....Pages 142-159 Reachability Analysis for High-Index Linear Differential Algebraic Equations (Hoang-Dung Tran, Luan Viet Nguyen, Nathaniel Hamilton, Weiming Xiang, Taylor T. Johnson)....Pages 160-177 Front Matter ....Pages 179-179 The Timestamp of Timed Automata (Amnon Rosenmann)....Pages 181-198 On the Distance Between Timed Automata (Amnon Rosenmann)....Pages 199-215 Time to Learn – Learning Timed Automata from Tests (Martin Tappler, Bernhard K. Aichernig, Kim Guldstrand Larsen, Florian Lorber)....Pages 216-235 Munta: A Verified Model Checker for Timed Automata (Simon Wimmer)....Pages 236-243 Front Matter ....Pages 245-245 Sandboxing Controllers for Stochastic Cyber-Physical Systems (Bingzhuo Zhong, Majid Zamani, Marco Caccamo)....Pages 247-264 Proportional Lumpability (Andrea Marin, Carla Piazza, Sabina Rossi)....Pages 265-281 Expected Reachability-Price Games (Shibashis Guha, Ashutosh Trivedi)....Pages 282-300 Back Matter ....Pages 301-301