5338675

9781598290103

Theory of Timed I/O Automata

Theory of Timed I/O Automata
$25.36
$3.95 Shipping
List Price
$35.00
Discount
27% Off
You Save
$9.64

  • Condition: Good
  • Provider: Ergodebooks Contact
  • Provider Rating:
    83%
  • Ships From: Multiple Locations
  • Shipping: Standard
  • Comments: Buy with confidence. Excellent Customer Service & Return policy. Ships Fast. 24*7 Customer Service.

   30-day money back guarantee

Ask the provider about this item.

Most renters respond to questions in 48 hours or less.
The response will be emailed to you.
Cancel
  • ISBN-13: 9781598290103
  • ISBN: 159829010X
  • Publication Date: 2006
  • Publisher: Morgan & Claypool Publishers

AUTHOR

Kaynar, Dilsun K., Lynch, Nancy, Segala, Roberto

SUMMARY

The Theory of Timed I/O Automata presents a new framework for describing and analyzing the behavior of timed systems. This mathematical framework uses timed I/O automata (TIOA) for the representation of systems. The TIOA framework is a special case of the hybrid I/O automaton (HIOA) modeling framework. The authors have used knowledge gained from developing the HIOA framework to revise earlier work on timed I/O automaton models. Their purpose is to have a timed I/O automaton model that is compatible with the new HIOA model.Designers of real-time systems or timing-based algorithms can use the TIOA framework to describe complex systems and to decompose them into manageable pieces. This framework is a natural basis for computerized modeling and analysis.This lecture includes:* Mathematical preliminaries* Definitions of external behavior for timed automata and implementation and simulation relationships between them* Trajectories and timed sequences, which are useful for describing the behavior of timed systesm* Composition and hiding operations for timed automata, along with operations for adding bounds that relate TIOAs to other timed automaton models* Compositionality results for TIOAs as well as special classes of progressive and receptive TIOAsKaynar, Dilsun K. is the author of 'Theory of Timed I/O Automata ', published 2006 under ISBN 9781598290103 and ISBN 159829010X.

[read more]

Questions about purchases?

You can find lots of answers to common customer questions in our FAQs

View a detailed breakdown of our shipping prices

Learn about our return policy

Still need help? Feel free to contact us

View college textbooks by subject
and top textbooks for college

The ValoreBooks Guarantee

The ValoreBooks Guarantee

With our dedicated customer support team, 30-day no-questions-asked return policy, and our price match guarantee, you can rest easy knowing that we're doing everything we can to save you time, money, and stress.