Nonblocking supervisory control of state tree structures
It is well-known that the optimal nonblocking supervisory control problem is NP-hard, subject in particular to state space explosion that is exponential in the number of system components. This monograph proposes to manage complexity by organizing the system as a State Tree Structure (STS). STS are an adaptation of statecharts to Supervisory Control Theory. Based on STS an efficient recursive symbolic algorithm is presented that can perform nonblocking supervisory control design in reasonable time and memory for complex systems, with resulting tractable and highly comprehensible controllers. TOC:Introduction.- State Tree Structures: Basics.- Nonblocking Supervisory Control of State Tree Structures.- Symbolic Computation of State Tree Structures.- The Production Cell Example.- The AIP Example.- Conclusions and Future Research
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540250692
3540250697
- Maße
-
24 cm
- Umfang
-
XIII, 184 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Literaturangaben
- Erschienen in
-
Lecture notes in control and information sciences ; Vol. 317
- Klassifikation
-
Informatik
Ingenieurwissenschaften und Maschinenbau
- Schlagwort
-
Diskretes Ereignissystem
Prozessüberwachung
Kontrolltheorie
Zustandsgraph
Binäres Entscheidungsdiagramm
Berechnungskomplexität
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin, Heidelberg, New York
- (wer)
-
Springer
- (wann)
-
2005
- Urheber
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:22 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Ma, Chuan
- Wonham, Walter Murray
- Springer
Entstanden
- 2005
Ähnliche Objekte (12)
Data-driven approach for robust supervisory control in buildings
Control of Traffic Systems in Buildings : Applications of Modern Supervisory and Optimal Control
Supervisory control of concurrent systems : a Petri net structural approach
From supervisory control to nonblocking controllers for discrete event systems
Technical Supervisory Union
Supervisory stress tests
Modelling complex systems: tree structures
Supervisory control on concurrent discrete event systems with variables : [extended version]
Augmenting monitoring performance during multi-UAV supervisory control with adaptive displays
Refinements of behavioural abstractions for the supervisory control of hybrid systems
Composition of supervisory boards in Germany: Inside or outside control of banks?
Deterministic pushdown automata as specifications for discrete event supervisory control in Isabelle
Data-driven approach for robust supervisory control in buildings
Control of Traffic Systems in Buildings : Applications of Modern Supervisory and Optimal Control
Supervisory control of concurrent systems : a Petri net structural approach
From supervisory control to nonblocking controllers for discrete event systems
Technical Supervisory Union
Supervisory stress tests
Modelling complex systems: tree structures
Supervisory control on concurrent discrete event systems with variables : [extended version]
Augmenting monitoring performance during multi-UAV supervisory control with adaptive displays
Refinements of behavioural abstractions for the supervisory control of hybrid systems
Composition of supervisory boards in Germany: Inside or outside control of banks?
Deterministic pushdown automata as specifications for discrete event supervisory control in Isabelle
Data-driven approach for robust supervisory control in buildings
Control of Traffic Systems in Buildings : Applications of Modern Supervisory and Optimal Control
Supervisory control of concurrent systems : a Petri net structural approach
From supervisory control to nonblocking controllers for discrete event systems
Technical Supervisory Union
Supervisory stress tests
Modelling complex systems: tree structures
Supervisory control on concurrent discrete event systems with variables : [extended version]
Augmenting monitoring performance during multi-UAV supervisory control with adaptive displays
Refinements of behavioural abstractions for the supervisory control of hybrid systems
Composition of supervisory boards in Germany: Inside or outside control of banks?