Skip to main content

Stochastic Timed Automata

  • 791 Accesses

Abstract

In practice, systems always operate in environments which are constantly plagued by uncertainty. This is especially true in dealing with DES, which, by their nature, often involve unpredictable human actions and machine failures. The process of resource sharing (which provides an important motivation for studying DES) is inherently characterized by such unpredictability: changing user demand, computer breakdowns, inconsistencies in human decision making, etc. While the untimed (or logical) models considered in Chaps. 24 do account for “all possible behaviors” of the system, their use is limited to logical (or qualitative) performance objectives.

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-030-72274-6_6
  • Chapter length: 41 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   119.00
Price excludes VAT (USA)
  • ISBN: 978-3-030-72274-6
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Hardcover Book
USD   159.99
Price excludes VAT (USA)
Figure 6.1:
Figure 6.2:
Figure 6.3:
Figure 6.4:
Figure 6.5:
Figure 6.6:
Figure 6.7:
Figure 6.8:
Figure 6.9:
Figure 6.10:
Figure 6.11:
Figure 6.12:
Figure 6.13:
Figure 6.14:

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Christos G. Cassandras .

Rights and permissions

Reprints and Permissions

Copyright information

© 2021 Springer Nature Switzerland AG

About this chapter

Verify currency and authenticity via CrossMark

Cite this chapter

Cassandras, C.G., Lafortune, S. (2021). Stochastic Timed Automata. In: Introduction to Discrete Event Systems. Springer, Cham. https://doi.org/10.1007/978-3-030-72274-6_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-72274-6_6

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-72272-2

  • Online ISBN: 978-3-030-72274-6

  • eBook Packages: Computer ScienceComputer Science (R0)