Description |
1 online resource (xvi, 423 pages) : illustrations |
Series |
Monographs in theoretical computer science, an EATCS series, 1431-2654 |
|
Monographs in theoretical computer science. 1431-2654
|
Contents |
It's About Time. -- Languages and Interpretations. Syntax and Semantics. Language Features. Languages for System Modeling. Operational and Descriptive Languages-- Dimensions of the Time Modeling Problem. Discrete Versus Dense Time Domains. Ordering Versus Metric. Linear Versus Branching Time Models. Deterministic, Nondeterministic, and Probabilistic Models. Implicit Versus Explicit Time Reference. The Time Advancement Problem. Concurrency and Composition. Analysis and Verification Issues-- pt. I. Historical Approaches-- Dynamical Systems. Discrete-Time Dynamical Systems. Continuous-Time Dynamical Systems. The State-Space Representation of Dynamical Systems. Dynamical Systems as Models of Computation. From Continuous to Discrete. Dynamical Systems and the Dimensions of Temporal Modeling. Notations and Tools for Dynamical System Analysis-- Time in Hardware Modeling and Design. From Transistors to Sequential Logic Circuits. From Two to Many States: Raising the Level of Abstraction. From Asynchronous to Synchronous Logic Circuits. Modular Abstractions in Hardware Design. Methods and Tools for Hardware Analysis-- Time in the Analysis of Algorithms. Models of Algorithms and Computational Complexity. Computational Complexity and Automata Models. Computational Complexity and Architecture Models. Randomized Models of Computation-- pt. II. Temporal Models in Modern Theory and Practice-- Synchronous Abstract Machines. Transition Systems. Automata Over Discrete Time . Decoupling Passing of Time and Transitions. Automata Over Continuous Time. Probabilistic and Stochastic Automata. Methods and Tools Based on Synchronous Abstract Machines-- Asynchronous Abstract Machines: Petri Nets. Basic Petri Nets. Variations and Extensions of Basic Petri Nets. Timed Petri Nets. Timed Petri Nets with Inhibitor Arcs. Stochastic Petri Nets. Languages, Methods, and Tools Based on Petri Nets-- Logic-Based Formalisms. Linear- and Branching-Time Temporal Logics. Future and Past Temporal Logics. Temporal Logics with Metric on Time. Discrete and Dense Time Domains. Interval-Based Temporal Logics. Dealing with Heterogeneous Time Granularities. Explicit-Time Logics. Probabilistic Temporal Logics. Methods and Tools Based on Temporal Logics-- Algebraic Formalisms. Communicating Sequential Processes. Formal Semantics of Process Algebras. Process Algebras with Metric Time. Probabilistic Process Algebras. Methods and Tools Based on Process Algebras-- Dual-Language Approaches. Model Checking Frameworks. The TTM/RTTL Framework. The TRIO-Petri Nets Approach. Verification Tools for Dual-Language Approaches-- Time Is Up. Modeling Time: Past, Present. . . and Future |
Summary |
This book details the results of several decades of research on developing, analyzing, and applying time models to computing and engineering. Each chapter is supplemented with detailed bibliographic remarks and exercises of varying difficulty and scope |
|
"Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, engineering, philosophy, and linguistics, but in computing the abstractions provided by the traditional models are problematic and the discipline has spawned many novel models. This book is a systematic thorough presentation of the results of several decades of research on developing, analyzing, and applying time models to computing and engineering. After an opening motivation introducing the topics, structure and goals, the authors introduce the notions of formalism and model in general terms along with some of their fundamental classification criteria. In doing so they present the fundamentals of propositional and predicate logic, and essential issues that arise when modeling time across all types of system. Part I is a summary of the models that are traditional in engineering and the natural sciences, including fundamental computer science: dynamical systems and control theory; hardware design; and software algorithmic and complexity analysis. Part II covers advanced and specialized formalisms dealing with time modeling in heterogeneous software-intensive systems: formalisms that share finite state machines as common 'ancestors'; Petri nets in many variants; notations based on mathematical logic, such as temporal logic; process algebras; and 'dual-language approaches' combining two notations with different characteristics to model and verify complex systems, e.g., model-checking frameworks. Finally, the book concludes with summarizing remarks and hints towards future developments and open challenges. The presentation uses a rigorous, yet not overly technical, style, appropriate for readers with heterogeneous backgrounds, and each chapter is supplemented with detailed bibliographic remarks and carefully chosen exercises of varying difficulty and scope. The book is aimed at graduate students and researchers in computer science, while researchers and practitioners in other scientific and engineering disciplines interested in time modeling with a computational flavor will also find the book of value, and the comparative and conceptual approach makes this a valuable introduction for non-experts. The authors assume a basic knowledge of calculus, probability theory, algorithms, and programming, while a more advanced knowledge of automata, formal languages, and mathematical logic is useful."--Publisher's description |
Bibliography |
Includes bibliographical references and index |
Notes |
English |
|
Print version record and online resource; title from PDF title page (SpringerLink, viewed September 30, 2013) |
Subject |
Discrete-time systems -- Computer simulation
|
|
Informatique.
|
|
Discrete-time systems -- Computer simulation
|
Form |
Electronic book
|
Author |
Mandrioli, Dino.
|
|
Morzenti, Angelo
|
|
Rossi, Matteo
|
ISBN |
9783642323324 |
|
3642323324 |
|
3642323316 |
|
9783642323317 |
|
3642431364 |
|
9783642431364 |
|