Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings > Verification and Control of Probabilistic Rectangular Hybrid Automata
Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings |
Sriram Sankaranarayanan; Enrico Vicario
Springer International Publishing
Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings
Verification and Control of Probabilistic Rectangular Hybrid Automata
Authors

Jeremy Sproston

ARI Id

1664722948609_2930606

Access

Not Available Free

Pages

1-9

DOI

10.1007/978-3-319-22975-1_1

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-319-22975-1_1

Table of Contents of Book
Showing 1 to 20 of 22 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
I-X
Verification and Control of Probabilistic Rectangular Hybrid Automata
Jeremy Sproston
1-9
Performance Evaluation of an Emergency Call Center: Tropical Polynomial Systems Applied to Timed Petri Nets
Xavier Allamigeon; Vianney Bœuf; Stéphane Gaubert
10-26
Language Preservation Problems in Parametric Timed Automata
Étienne André; Nicolas Markey
27-43
Timed Symbolic Dynamics
Nicolas Basset
44-59
Timed-Automata Abstraction of Switched Dynamical Systems Using Control Funnels
Patricia Bouyer; Nicolas Markey; Nicolas Perrin; Philipp Schlehuber-Caissier
60-75
Quantitative Analysis of Communication Scenarios
Clemens Dubslaff; Christel Baier
76-92
Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems
Martin Fränzle; Sebastian Gerwinn; Paul Kröger; Alessandro Abate; Joost-Pieter Katoen
93-107
On the Scalability of Constraint Solving for Static/Off-Line Real-Time Scheduling
Raul Gorcitz; Emilien Kofman; Thomas Carle; Dumitru Potop-Butucaru; Robert de Simone
108-123
Improving Search Order for Reachability Testing in Timed Automata
Frédéric Herbreteau; Thanh-Tung Tran
124-139
Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata
Aleksandra Jovanović; Marta Kwiatkowska; Gethin Norman
140-155
Quantitative Attack Tree Analysis via Priced Timed Automata
Rajesh Kumar; Enno Ruijters; Mariëlle Stoelinga
156-171
Fluid Model Checking of Timed Properties
Luca Bortolussi; Roberta Lanciani
172-188
Nested Timed Automata with Frozen Clocks
Guoqiang Li; Mizuhito Ogawa; Shoji Yuen
189-205
Quantitative Analysis of Concurrent Reversible Computations
Andrea Marin; Sabina Rossi
206-221
Hybrid Tools for Hybrid Systems – Proving Stability and Safety at Once
Eike Möhlmann; Willem Hagemann; Oliver Theel
222-239
Verification and Control of Partially Observable Probabilistic Real-Time Systems
Gethin Norman; David Parker; Xueyi Zou
240-255
Deciding Concurrent Planar Monotonic Linear Hybrid Systems
Pavithra Prabhakar; Nima Roohi; Mahesh Viswanathan
256-269
Contracts for Schedulability Analysis
Philipp Reinkemeier; Albert Benveniste; Werner Damm; Ingo Stierand
270-287
Bounded Determinization of Timed Automata with Silent Transitions
Florian Lorber; Amnon Rosenmann; Dejan Ničković; Bernhard K. Aichernig
288-304
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 22 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings