TY  - BOOK
AU  - Sankaranarayanan,Sriram
AU  - Vicario,Enrico
ED  - FORMATS (Conference)
TI  - Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings 
T2  - Lecture notes in computer science,
SN  - 9783319229751
AV  - QA76.9.C65 
U1  - 003/.3 23
PY  - 2015///
CY  - Cham
PB  - Springer
KW  - Computer simulation
KW  - Congresses
KW  - Temporal automata
KW  - Formal methods (Computer science)
KW  - System analysis
KW  - Simulation par ordinateur
KW  - Congrès
KW  - Automates temporels
KW  - Méthodes formelles (Informatique)
KW  - Analyse de systèmes
KW  - fast
KW  - computerwetenschappen
KW  - computer sciences
KW  - computertechnieken
KW  - computer techniques
KW  - wiskunde
KW  - mathematics
KW  - logica
KW  - logic
KW  - computational science
KW  - software engineering
KW  - Information and Communication Technology (General)
KW  - Informatie- en communicatietechnologie (algemeen)
KW  - Congress
KW  - proceedings (reports)
KW  - aat
KW  - Conference papers and proceedings
KW  - lcgft
KW  - Actes de congrès
KW  - rvmgf
N1  - International conference proceedings; Includes author index; 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
N2  - 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
UR  - https://link.springer.com/10.1007/978-3-319-22975-1
ER  -