Synthesis of maximally permissive supervisors for similarity control of partially observed nondeterministic discrete event systems (Q2059364): Difference between revisions

Latest revision as of 12:00, 27 July 2024

scientific article

Language	Label	Description	Also known as
English	Synthesis of maximally permissive supervisors for similarity control of partially observed nondeterministic discrete event systems	scientific article

Statements

instance of

scholarly article

0 references

title

Synthesis of maximally permissive supervisors for similarity control of partially observed nondeterministic discrete event systems (English)

0 references

0 references

0 references

0 references

14 December 2021

0 references

zbMATH Keywords

nondeterministic discrete event system

0 references

similarity control

0 references

partial observation

0 references

maximally permissive supervisor

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1016/j.automatica.2021.109978

0 references

cites work

Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation

0 references

Relative Observability of Discrete-Event Systems and Its Supremal Sublanguages

0 references

On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation

0 references

Supervisory control of discrete-event processes with partial observations

0 references

On-line control of partially observed discrete event systems

0 references

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

0 references

Q5375230

0 references

On observability of discrete-event systems

0 references

Q3992568

0 references

Q3907077

0 references

Supervisory Control of a Class of Discrete Event Processes

0 references

Synthesis of Maximally Permissive Supervisors for Nondeterministic Discrete Event Systems With Nondeterministic Specifications

0 references

Effective computation of an \(L_{m}(G)\)-closed, controllable, and observable sublanguage arising in supervisory control

0 references

A lattice-theoretical fixpoint theorem and its applications

0 references

Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems

0 references

Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence

0 references

Identifiers

zbMATH Open document ID

1478.93404

0 references

DOI

10.1016/j.automatica.2021.109978

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:2059364

@@ Property / cites work @@
+Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation
+Normal rank
@@ Property / cites work @@
+Relative Observability of Discrete-Event Systems and Its Supremal Sublanguages
+Normal rank
@@ Property / cites work @@
+On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation
+Normal rank
@@ Property / cites work @@
+Supervisory control of discrete-event processes with partial observations
+Normal rank
@@ Property / cites work @@
+On-line control of partially observed discrete event systems
+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 @@
+Q5375230
@@ Property / cites work: Q5375230 / rank @@
+Normal rank
@@ Property / cites work @@
+On observability of discrete-event systems
@@ Property / cites work: On observability of discrete-event systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+Supervisory Control of a Class of Discrete Event Processes
+Normal rank
@@ Property / cites work @@
+Synthesis of Maximally Permissive Supervisors for Nondeterministic Discrete Event Systems With Nondeterministic Specifications
+Normal rank
@@ Property / cites work @@
+Effective computation of an \(L_{m}(G)\)-closed, controllable, and observable sublanguage arising in supervisory control
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems
+Normal rank
@@ Property / cites work @@
+Bisimilarity Enforcement for Discrete Event Systems Using Deterministic Control
+Normal rank
@@ Property / cites work @@
+Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence
+Normal rank