An edition of The theory of timed I/O automata (2011)

The theory of timed I/O automata

2nd ed.

by

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Cover of: The theory of timed I/O automata by Dilsun K. Kaynar
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Notes

Download Options

Check nearby libraries

Buy this book

Last edited by ImportBot
December 20, 2023 | History
Edit
An edition of The theory of timed I/O automata (2011)

The theory of timed I/O automata

2nd ed.

by

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

This monograph presents the Timed Input/Output Automaton (TIOA) modeling framework, a basic mathematical framework to support description and analysis of timed (computing) systems. Timed systems are systems in which desirable correctness or performance properties of the system depend on the timing of events, not just on the order of their occurrence. Timed systems are employed in a wide range of domains including communications, embedded systems, real-time operating systems, and automated control. Many applications involving timed systems have strong safety, reliability, and predictability requirements, which make it important to have methods for systematic design of systems and rigorous analysis of timing-dependent behavior.

Publish Date
Publisher
Morgan & Claypool
Language
English
Pages
138

Check nearby libraries

Buy this book

Previews available in: English

Subjects
Mathematical models, Temporal automata, Machine theory

Showing 1 featured edition. View all 1 editions?

Edition Availability
Cover of: The theory of timed I/O automata
The theory of timed I/O automata
2011, Morgan & Claypool
electronic resource / in English - 2nd ed.
  • Not in Library
Libraries near you: WorldCat

Add another edition?

Book Details

Published in

San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA)

Table of Contents

1. Introduction
Overview
Evolution of the TIOA framework
Related work
Organization of the book
2. Mathematical preliminaries
Functions and relations
Sequences
Partial orders
A basic graph Lemma
3. Describing timed system behavior
Time
Static and dynamic types
Trajectories
Basic definitions
Prefix ordering
Concatenation
Hybrid sequences
Basic definitions
Prefix ordering
Concatenation
Restriction
4. Timed automata
Definition of timed automata
Executions and traces
Invariants
Special kinds of timed automata
Implementation relationships
Simulation relations
Forward simulations
Refinements
Backward simulations
History relations
Prophecy relations
5. Operations on timed automata
Composition
Definitions and basic results
Substitutivity results
Hiding
Extending timed automata with bounds
6. Properties for timed automata
Properties for hybrid sequences
Properties for timed automata
Implementation
Operations
7. Timed I/O automata
Definition of timed I/O automata
Executions and traces
Special kinds of timed I/O automata
Feasible and I/O feasible TIOAs
Progressive TIOAs
Receptive timed I/O automata
Implementation relationships
Simulation relations
8. Operations on timed I/O automata
Composition
Definitions and basic results
Substitutivity results
Composition of special kinds of TIOAs
Hiding
9. Conclusions and future work
Bibliography
Authors' biographies
Index.

Edition Notes

Part of: Synthesis digital library of engineering and computer science.

Series from website.

Includes bibliographical references (p. 105-117) and index.

Abstract freely available; full-text restricted to subscribers or individual document purchasers.

Also available in print.

Mode of access: World Wide Web.

System requirements: Adobe Acrobat Reader.

Series
Synthesis lectures on distributed computing theory -- # 5
Other Titles
Synthesis digital library of engineering and computer science.

Classifications

Dewey Decimal Class
511.3
Library of Congress
QA267.5.T45 T447 2011

The Physical Object

Format
[electronic resource] /
Number of pages
138

ID Numbers

Open Library
OL25544067M
Internet Archive
theorytimedioaut00kayn
ISBN 13
9781608450039, 9781608450022

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
December 20, 2023 Edited by ImportBot import existing book
June 18, 2022 Edited by ImportBot import existing book
February 25, 2022 Edited by ImportBot import existing book
May 17, 2020 Edited by CoverBot Added new cover
July 28, 2014 Created by ImportBot Imported from Internet Archive item record.