دانلود کتاب Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings

فهرست مطالب :

Front Matter....Pages I-X
Verification and Control of Probabilistic Rectangular Hybrid Automata....Pages 1-9
Performance Evaluation of an Emergency Call Center: Tropical Polynomial Systems Applied to Timed Petri Nets....Pages 10-26
Language Preservation Problems in Parametric Timed Automata....Pages 27-43
Timed Symbolic Dynamics....Pages 44-59
Timed-Automata Abstraction of Switched Dynamical Systems Using Control Funnels....Pages 60-75
Quantitative Analysis of Communication Scenarios....Pages 76-92
Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems....Pages 93-107
On the Scalability of Constraint Solving for Static/Off-Line Real-Time Scheduling....Pages 108-123
Improving Search Order for Reachability Testing in Timed Automata....Pages 124-139
Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata....Pages 140-155
Quantitative Attack Tree Analysis via Priced Timed Automata....Pages 156-171
Fluid Model Checking of Timed Properties....Pages 172-188
Nested Timed Automata with Frozen Clocks....Pages 189-205
Quantitative Analysis of Concurrent Reversible Computations....Pages 206-221
Hybrid Tools for Hybrid Systems – Proving Stability and Safety at Once....Pages 222-239
Verification and Control of Partially Observable Probabilistic Real-Time Systems....Pages 240-255
Deciding Concurrent Planar Monotonic Linear Hybrid Systems....Pages 256-269
Contracts for Schedulability Analysis....Pages 270-287
Bounded Determinization of Timed Automata with Silent Transitions....Pages 288-304
A Score Function for Optimizing the Cycle-Life of Battery-Powered Embedded Systems....Pages 305-320
Back Matter....Pages 321-321