Description |
1 online resource (x, 321 pages) : illustrations |
Series |
Lecture notes in computer science, 0302-9743 ; 9268 |
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
|
Lecture notes in computer science ; 9268. 0302-9743
|
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
|
Contents |
Intro; Preface; Organization; Contents; Verification and Control of Probabilistic Rectangular Hybrid Automata; 1 Background and Motivation; 2 Probabilistic Rectangular Hybrid Automata; 3 Approximation with Probabilistic Hybrid Automata; References; Performance Evaluation of an Emergency Call Center: Tropical Polynomial Systems Applied to Timed Petri Nets; 1 Introduction; 2 A Simplified Petri Net Model of an Emergency Call Center; 3 Piecewise Linear Dynamics of Timed Petri Nets with Free Choice and Priority Routing; 3.1 Timed Petri Nets: Notation and Semantics |
|
3.2 Timed Petri Nets with Free Choice and Priority Routing3.3 Piecewise Linear Representation by Counter Variables; 4 Computing Stationary Regimes; 5 Application to the Emergency Call Center; 6 Experiments; 7 Concluding Remarks; References; Language Preservation Problems in Parametric Timed Automata; 1 Introduction; 2 Definitions; 3 Undecidability of the Preservation Problems in General; 3.1 Undecidability of the Language Preservation Problem; 3.2 Undecidability of the Trace Preservation Problem.; 3.3 Undecidability of the Robust Language-Preservation Problem |
|
3.4 Undecidability of the Robust Trace Preservation Problem4 A Semi-algorithm for the Trace Preservation Synthesis; 5 Decidability Results for Subclasses of PTA; 5.1 1-Clock PTA; 5.2 Decidability and Synthesis for Deterministic 1-Clock PTA; 5.3 Undecidability for L/U-PTA; 5.4 A Decidability Result for 1-Parameter L-PTA and U-PTA; 6 Conclusion and Perspectives; References; Timed Symbolic Dynamics; 1 Introduction; 2 Preliminaries; 2.1 Dynamical Systems; 2.2 -Entropies and Topological Entropy; 2.3 Shift Spaces on General Alphabet; 2.4 Edge and Sofic Shifts from Classical Symbolic Dynamics |
|
2.5 Comparison with Finite State Automata3 Factor Based Characterisations; 3.1 Factor Based Characterisation of General Alphabet Shift Spaces; 3.2 Entropies for General Alphabet Shift Spaces; 3.3 Sliding Block Codes for General Alphabet Shift Spaces; 4 Timed Shift Spaces and Their Measures; 4.1 Timed Shift Spaces; 4.2 Discretisation of Shift Spaces and Their Entropy; 4.3 Metric Mean Dimension of Timed Sofic Shifts; 5 Conclusion and Perspectives; References; Timed-Automata Abstraction of Switched Dynamical Systems Using Control Funnels; 1 Introduction; 2 Graphs of Control Funnels |
|
2.1 Control Funnels2.2 Motion Planning; 2.3 Motion Planning with Graphs of Control Funnels; 3 Reduction to Timed Automata; 4 LQR Funnels; 5 Examples of Application; 5.1 Synchronization of Sine Waves; 5.2 A 1D Pick-and-Place Problem; 6 Conclusion and Future Work; References; Quantitative Analysis of Communication Scenarios; 1 Introduction; 2 Preliminaries; 2.1 Branching-Time Models and Quantitative Annotations; 2.2 Scenarios Specifying Communication Systems; 3 Branching-Time Semantics; 3.1 Model Checking Branching-Time Requirements; 4 Quantitative Message Sequence Graphs |
Summary |
This book constitutes the refereed proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2015, held in Madrid, Spain, in September 2015. The conference was organized under the umbrella of Madrid Meet 2015, a one week event focussing on the areas of formal and quantitative analysis of systems, performance engineering, computer safety, and industrial critical applications. The 19 papers presented in this volume were carefully reviewed and selected from 42 initial submissions |
Analysis |
computerwetenschappen |
|
computer sciences |
|
computertechnieken |
|
computer techniques |
|
wiskunde |
|
mathematics |
|
logica |
|
logic |
|
computational science |
|
software engineering |
|
Information and Communication Technology (General) |
|
Informatie- en communicatietechnologie (algemeen) |
Notes |
International conference proceedings |
|
Includes author index |
|
English |
|
Online resource; title from PDF title page (SpringerLink, viewed August 27, 2015) |
Subject |
Computer simulation -- Congresses
|
|
Temporal automata -- Congresses
|
|
Formal methods (Computer science) -- Congresses
|
|
System analysis -- Congresses
|
|
Computer simulation
|
|
Formal methods (Computer science)
|
|
System analysis
|
|
Temporal automata
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Sankaranarayanan, Sriram, editor
|
|
Vicario, Enrico, editor.
|
ISBN |
9783319229751 |
|
3319229753 |
|
3319229745 |
|
9783319229744 |
|