定时系统的形式建模与分析

作者简介

This book constitutes the refereed proceedings of the 4th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2006, held in Paris, France, in September 2006.　　The 22 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 50 submissions. The papers cover work on foundations and semantics of timed systems including timed automata, timed Petri nets, timed MSCs, hybrid automata, timed process algebra, timed temporal logics, timed abstract state machines, as well as probabilistic models. There are contributions on techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints such as model-checking, simulation, robustness analysis, scheduling, etc; finally there are articles on applications like real-time software, hardware circuits, and network protocols.

书籍目录

Invited Talks  Timed Alternating-Time Temporal Logic  Concurrent Semantics Without the Notions of State or State Transitions  Decidability and Expressive Power of Real Time LogicsContributed Papers  Extended Directed Search for Probabilistic Timed Reachability  Intersection of Regular Signal-Event (Timed) Languages  Refinements and Abstractions of Signal-Event (Timed) Languages  Bridging the Gap Between Timed Automata and Bounded Time Petri Nets  Matching Scenarios with Timing Constraints  Verification of the Generic Architecture of a Memory Circuit Using Parametric Timed Automata  Model Checking Timed Automata with Priorities Using DBM Subtraction  Symbolic Robustness Analysis of Timed Automata  Coping with the Parallelism of BitTorrent: Conversion of PEPA to ODEs in Dealing with State Space Explosion  Temporal Logic Verification Using Simulation  Undecidable Problems About Timed Automata  On Timed Simulation Relations for Hybrid Systems and Compositionality  Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling  On the Computational Power of Timed Differentiable Petri Nets  Model-Checking Timed AT[ for Durational Concurrent Game Structures  A Dose of Timed Logic, in Guarded Measure  From MITL to Timed Automata  Adding Invariants to Event Zone Automata  Static Analysis for State-Space Reduction of Polygonal Hybrid Systems  On the Expressiveness of MTL with Past Operators  Simulator for Real-Time Abstract State Machines  A Characterization of Meaningful Schedulers for Continuous-Time Markov Decision ProcessesAuthor Index

图书封面

 定时系统的形式建模与分析下载