Modular supervisory control with equivalence-based abstraction and covering-based conflict resolution (Q5962026): Difference between revisions

Latest revision as of 12:32, 9 December 2024

scientific article; zbMATH DE number 5786410

Language	Label	Description	Also known as
English	Modular supervisory control with equivalence-based abstraction and covering-based conflict resolution	scientific article; zbMATH DE number 5786410

Statements

instance of

scholarly article

0 references

title

Modular supervisory control with equivalence-based abstraction and covering-based conflict resolution (English)

0 references

0 references

0 references

0 references

Discrete Event Dynamic Systems

0 references

publication date

16 September 2010

0 references

zbMATH Keywords

modular supervisory control

0 references

conflict resolution

0 references

abstraction

0 references

state feedback

0 references

describes a project that uses

UMDES

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/s10626-009-0070-y

0 references

cites work

Multitasking supervisory control of discrete-event systems

0 references

Compositional Verification in Supervisory Control

0 references

Q4363040

0 references

Incremental hierarchical construction of modular supervisors for discrete-event systems

0 references

Nonblocking supervisory control of nondeterministic systems via prioritized synchronization

0 references

Polynomial synthesis of supervisor for partially observed discrete-event systems by allowing nondeterminism in control

0 references

Predicates and predicate transformers for supervisory control of discrete event dynamical systems

0 references

Hierarchical interface-based supervisory Control-part I: serial case

0 references

Hierarchical interface-based supervisory control-part II: parallel case

0 references

Control of vector discrete-event systems. I. The base model

0 references

Decentralized supervisory control of discrete-event systems

0 references

Branching time controllers for discrete event systems

0 references

CONFLICTS AND FAIR TESTING

0 references

Q3992568

0 references

Supervisory control using failure semantics and partial specifications

0 references

Factorisation of finite state machines under strong and observational equivalences

0 references

Modular Feedback Logic for Discrete Event Systems

0 references

Modular supervisory control of discrete-event systems

0 references

Supervisor reduction for discrete-event systems

0 references

CONCUR 2004 - Concurrency Theory

0 references

M -controllable subpredicates arising in state feed back control of discrete event systems

0 references

Characterization of all M-controllable subpredicates of a given predicate

0 references

Static-state feedback control of discrete-event systems under partial observation

0 references

An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions

0 references

Hierarchical control of discrete-event systems

0 references

Modular control and coordination of discrete-event systems

0 references

On the consistency of hierarchical supervision in discrete-event systems

0 references

Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence

0 references

Identifiers

zbMATH Open document ID

1195.93021

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

0 references

10.1007/S10626-009-0070-Y

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5962026

@@ Property / DOI @@
-.1007/s10626-009-0070-y
@@ Property / DOI: 10.1007/s10626-009-0070-y / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10626-009-0070-y
+Normal rank
@@ Property / OpenAlex ID @@
+W2016724466
@@ Property / OpenAlex ID: W2016724466 / rank @@
+Normal rank
@@ Property / cites work @@
+Multitasking supervisory control of discrete-event systems
+Normal rank
@@ Property / cites work @@
+Compositional Verification in Supervisory Control
@@ Property / cites work: Compositional Verification in Supervisory Control / rank @@
+Normal rank
@@ Property / cites work @@
+Q4363040
@@ Property / cites work: Q4363040 / rank @@
+Normal rank
@@ Property / cites work @@
+Incremental hierarchical construction of modular supervisors for discrete-event systems
+Normal rank
@@ Property / cites work @@
+Nonblocking supervisory control of nondeterministic systems via prioritized synchronization
+Normal rank
@@ Property / cites work @@
+Polynomial synthesis of supervisor for partially observed discrete-event systems by allowing nondeterminism in control
+Normal rank
@@ Property / cites work @@
+Predicates and predicate transformers for supervisory control of discrete event dynamical systems
+Normal rank
@@ Property / cites work @@
+Hierarchical interface-based supervisory Control-part I: serial case
+Normal rank
@@ Property / cites work @@
+Hierarchical interface-based supervisory control-part II: parallel case
+Normal rank
@@ Property / cites work @@
+Control of vector discrete-event systems. I. The base model
+Normal rank
@@ Property / cites work @@
+Decentralized supervisory control of discrete-event systems
+Normal rank
@@ Property / cites work @@
+Branching time controllers for discrete event systems
+Normal rank
@@ Property / cites work @@
+CONFLICTS AND FAIR TESTING
@@ Property / cites work: CONFLICTS AND FAIR TESTING / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Supervisory control using failure semantics and partial specifications
+Normal rank
@@ Property / cites work @@
+Factorisation of finite state machines under strong and observational equivalences
+Normal rank
@@ Property / cites work @@
+Modular Feedback Logic for Discrete Event Systems
@@ Property / cites work: Modular Feedback Logic for Discrete Event Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Modular supervisory control of discrete-event systems
+Normal rank
@@ Property / cites work @@
+Supervisor reduction for discrete-event systems
@@ Property / cites work: Supervisor reduction for discrete-event systems / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+M -controllable subpredicates arising in state feed back control of discrete event systems
+Normal rank
@@ Property / cites work @@
+Characterization of all M-controllable subpredicates of a given predicate
+Normal rank
@@ Property / cites work @@
+Static-state feedback control of discrete-event systems under partial observation
+Normal rank
@@ Property / cites work @@
+An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions
+Normal rank
@@ Property / cites work @@
+Hierarchical control of discrete-event systems
@@ Property / cites work: Hierarchical control of discrete-event systems / rank @@
+Normal rank
@@ Property / cites work @@
+Modular control and coordination of discrete-event systems
+Normal rank
@@ Property / cites work @@
+On the consistency of hierarchical supervision in discrete-event systems
+Normal rank
@@ Property / cites work @@
+Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence
+Normal rank
@@ Property / DOI @@
+.1007/S10626-009-0070-Y
@@ Property / DOI: 10.1007/S10626-009-0070-Y / rank @@
+Normal rank