menu 简单麦麦
account_circle

定时系统的正式建模和分析:第17届国际会议,2019年格式,荷兰阿姆斯特丹,2019年8月27-29日,会议记录-Formal Modeling and Analysis of Timed Syste

帮助2571人找到了他们想要的文件
上传于 2020-03-02 8次下载 1378次围观
文件编号:6144
文件详情
标题(title):Formal Modeling and Analysis of Timed Systems: 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings
定时系统的正式建模和分析:第17届国际会议,2019年格式,荷兰阿姆斯特丹,2019年8月27-29日,会议记录
作者(author):Étienne André, Mariëlle Stoelinga
出版社(publisher):Springer International Publishing
大小(size):14 MB (14157550 bytes)
格式(extension):pdf
注意:如果文件下载完成后为无法打开的格式,请修改后缀名为格式对应后缀



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.



Table of contents :
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
-到底部了哦-
微信扫码支付
定时系统的正式建模和分析:第17届国际会议,2019年格式,荷兰阿姆斯特丹,2019年8月27-29日,会议记录-Formal Modeling and Analysis of Timed Syste
支付金额: 共计:¥0.0

添加收藏

创建新合集