Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Algebraic Preliminaries Kapitel lesen Erstes Kapitel lesen

2019 | OriginalPaper | Buchkapitel

9. Supervisory Control of Timed Discrete-Event Systems

verfasst von : W. Murray Wonham, Kai Cai

Erschienen in: Supervisory Control of Discrete-Event Systems

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

This chapter provides a framework for the study of theoretical issues in the design of supervisory controls for timed discrete-event systems. The model incorporates both time delays and hard deadlines, and admits both forcing and disablement as means of control. In addition it supports composition of modular subsystems and systematic synthesis.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Vorheriges Kapitel Supervision of Vector Discrete-Event Systems
Fußnoten
1
Here the fact that A, and so Q, are finite sets is crucial.
 
2
While this convention respects physical behavior in many applications it need not be considered sacrosanct for all future modeling exercises.
 
3
The language generated is the closure of the string pair  \(\{ tick ~\alpha ~ tick^2 ~ \beta ~ tick^2 ~( \gamma ~ tick ~|~ tick ~ \gamma ) \}\).
 
4
An instance: air defense could force a plane to land within 20 min (say) but not prevent it from landing eventually; the landing is forcible but not controllable.
 
5
For instance, if a forcible event \(\sigma \) = ‘stop’ is to strictly preempt \(\kappa \) = ‘collision’, our model requires interposing at least one tick between \(\sigma \) and \(\kappa \), and a structure in which \(\sigma \) causes transition to an activity where \(\kappa \) ceases to be enabled. This seems quite intuitive on physical grounds.
 
6
Since breakdown can occur only when a machine is working, the upper time bound \(u_\lambda \) assigned to a breakdown event need not exceed the (finite) upper time bound \(u_\beta \) for completion of the corresponding work cycle. The \(u_\lambda \) could be replaced by anything larger, including \(\infty \), without affecting behavior.
 
7
We refer to any DES over an alphabet which includes tick as a generalized TDES; it need not be a (strict) TDES constructed according to the rules in Sect. 9.2. Generalized TDES are needed to model specifications and supervisors.
 
Literatur
Alur R, Dill D (1990) Automata for modeling real-time systems. In: Proceedings of the seventeenth international colloquium on automata, languages and programming. Lecture notes on computer science (LNCS), vol 443. Springer, Berlin, pp 322–335
Berthomieu B, Diaz M (1991) Modeling and verification of time dependent systems using time Petri nets. IEEE Trans Softw Eng 17(3):259–273MathSciNetCrossRef
Brandin BA (1989) The supervisory control of discrete event systems with forcible events. MASc thesis, Department of Electrical and Engineering, University of Toronto
Brandin BA (1993) Real-time supervisory control of automated manufacturing systems. PhD thesis, Department of Electrical and Computer Engineering, University of Toronto
Brandin BA, Wonham WM (1992) Supervisory control of timed discrete-event systems. In: Proceedings of the thirty-first IEEE conference on decision and control, Tucson, Arizona, pp 3357–3362
Brandin BA, Wonham WM (1994) Supervisory control of timed discrete-event systems. IEEE Trans Autom Control 39(2):329–342. [Figures 1–14, 17–21 are reprinted, with permission, from IEEE.]MathSciNetCrossRef
Brandin BA, Wonham WM, Benhabib B (1993) Manufacturing cell supervisory control - a modular timed discrete-event system approach. In: Proceedings of the IEEE international conference on robotics and automation, Atlanta, Georgia, pp 931–936
Golaszewski CH, Ramadge PJ (1987) Control of discrete event processes with forced events. In: Proceedings of the twenty-sixth IEEE conference on decision and control, Los Angeles, CA, Dec 1987, pp 247–251
Merlin PM, Farber DJ (1976) Recoverability of communication protocols - implications of a theoretical study. IEEE Trans Commun 24:1036–1043MathSciNetCrossRef
Ostroff J (1987) Real-time computer control of discrete systems modelled by extended state machines: a temporal logic approach. PhD thesis, Department of Electrical and Engineering, University of Toronto
Ostroff JS (1989) Temporal logic for real-time systems. Research Studies Press
Ostroff JS (1990) Deciding properties of timed transition models. IEEE Trans Parallel Distrib Syst 1(2):170–183CrossRef
Ostroff JS, Wonham WM (1990) A framework for real-time discrete event control. IEEE Trans Autom Control 35(4):386–397MathSciNetCrossRef
Wong-Toi H, Hoffmann G (1991) The control of dense real-time discrete event systems. In: Proceedings of the thirtieth IEEE conference on decision and control, Brighton, UK, pp 1527–1528
Metadaten
Titel
Supervisory Control of Timed Discrete-Event Systems
verfasst von
W. Murray Wonham
Kai Cai
Copyright-Jahr
2019
Buch
Supervisory Control of Discrete-Event Systems

Print ISBN: 978-3-319-77451-0

Electronic ISBN: 978-3-319-77452-7

Copyright-Jahr: 2019

DOI
https://doi.org/10.1007/978-3-319-77452-7_9

Neuer Inhalt

    Bildnachweise