Vor Ort
Merkzettel Warenkorb
  • Produktbild: Modeling and Control of Logical Discrete Event Systems
  • Produktbild: Modeling and Control of Logical Discrete Event Systems
Band 300 - 12%

Modeling and Control of Logical Discrete Event Systems

Aus der Reihe The Springer International Series in Engineering and Computer Science
12% sparen

93,99 € UVP 106,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

30.11.1994

Verlag

Springer Us

Seitenzahl

143

Maße (L/B/H)

24,1/16/1,4 cm

Gewicht

412 g

Auflage

Repr. d. Ausg. v. 1994

Sprache

Englisch

ISBN

978-0-7923-9538-6

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

30.11.1994

Verlag

Springer Us

Seitenzahl

143

Maße (L/B/H)

24,1/16/1,4 cm

Gewicht

412 g

Auflage

Repr. d. Ausg. v. 1994

Sprache

Englisch

ISBN

978-0-7923-9538-6

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Modeling and Control of Logical Discrete Event Systems
  • Produktbild: Modeling and Control of Logical Discrete Event Systems
  • 1 Introduction to Formal Language Theory.- 1.1 Introduction.- 1.2 Languages.- 1.3 State Machines.- 1.4 Regular Languages.- 1.5 Non-Regular Languages.- 1.6 Exercises.- 1.7 Bibliographic Remarks.- 2 Introduction to Lattice Theory.- 2.1 Partial Order and Lattice.- 2.2 Extremal Fixed Points.- 2.3 Dual, Co-Dual, Inverse, and Converse Operations.- 2.4 Extremal Solutions of Inequations.- 2.5 Remark on Inverse Operation.- 2.6 Exercises.- 2.7 Bibliographic Remarks.- 3 Control under Complete Observation.- 3.1 Introduction.- 3.2 Centralized Control.- 3.3 Modular Control.- 3.4 Exercises.- 3.5 Bibliographic Remarks.- 4 Control under Partial Observation.- 4.1 Introduction.- 4.2 Centralized Control.- 4.3 Modular Control.- 4.4 Decentralized Control.- 4.5 Exercises.- 4.6 Bibliographic Remarks.- 5 Control of Non-Terminating Behavior.- 5.1 Introduction.- 5.2 Buchi Machine as Acceptor for ?-languages.- 5.3 ?-Controllability.- 5.4 Exercises.- 5.5 Bibliographic Remarks.- References.- Index 141.