Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication (Q1686848): Difference between revisions

@@ Property / describes a project that uses @@
+UMDES
@@ Property / describes a project that uses: UMDES / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3102152743
@@ Property / OpenAlex ID: W3102152743 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.03267
@@ Property / arXiv ID: 1512.03267 / rank @@
+Normal rank
@@ Property / cites work @@
+Decentralized supervisory control with communicating controllers
+Normal rank
@@ Property / cites work @@
+Formulas for calculating supremal controllable and normal sublanguages
+Normal rank
@@ Property / cites work @@
+Deciding co-observability is pspace-complete
@@ Property / cites work: Deciding co-observability is pspace-complete / rank @@
+Normal rank
@@ Property / cites work @@
+Relative Observability of Discrete-Event Systems and Its Supremal Sublanguages
+Normal rank
@@ Property / cites work @@
+Introduction to Discrete Event Systems
@@ Property / cites work: Introduction to Discrete Event Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-Decision Supervisory Control: Parallel Decentralized Architectures Cooperating for Controlling Discrete Event Systems
+Normal rank
@@ Property / cites work @@
+Formulas for a class of controllable and observable sublanguages larger than the supremal controllable and normal sublanguage
+Normal rank
@@ Property / cites work @@
+On the computation of natural observers in discrete-event systems
+Normal rank
@@ Property / cites work @@
+Optimal sensor selection for discrete-event systems with partial observation
+Normal rank
@@ Property / cites work @@
+Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator
+Normal rank
@@ Property / cites work @@
+On conditional decomposability
@@ Property / cites work: On conditional decomposability / rank @@
+Normal rank
@@ Property / cites work @@
+Supervisory control synthesis of discrete-event systems using a coordination scheme
+Normal rank
@@ Property / cites work @@
+Coordination control of discrete-event systems revisited
+Normal rank
@@ Property / cites work @@
+Maximally Permissive Hierarchical Control of Decentralized Discrete Event Systems
+Normal rank
@@ Property / cites work @@
+Think globally, act locally: decentralized supervisory control
+Normal rank
@@ Property / cites work @@
+Modular Control of Discrete-Event Systems With Coalgebra
+Normal rank
@@ Property / cites work @@
+Fully decentralized solutions of supervisory control problems
+Normal rank
@@ Property / cites work @@
+On the consistency of hierarchical supervision in discrete-event systems
+Normal rank
@@ Property / cites work @@
+Optimal Supervisory Control of Discrete Event Dynamical Systems
+Normal rank
@@ Property / cites work @@
+Inference-Based Ambiguity Management in Decentralized Decision-Making: Decentralized Control of Discrete Event Systems
+Normal rank
@@ Property / cites work @@
+The infimal closed controllable superlanguage and its application in supervisory control
+Normal rank
@@ Property / cites work @@
+Structural decentralised control of concurrent discrete-event systems
+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 @@
+Undecidability in decentralized supervision
@@ Property / cites work: Undecidability in decentralized supervision / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of Nonconflict of Supervisors Using Abstractions
+Normal rank
@@ Property / cites work @@
+Know means no: Incorporating knowledge into discrete-event control systems
+Normal rank
@@ Property / cites work @@
+Supervisory Control of a Class of Discrete Event Processes
+Normal rank
@@ Property / cites work @@
+Knowledge Is a Terrible Thing to Waste: Using Inference in Discrete-Event Control Problems
+Normal rank
@@ Property / cites work @@
+Approximating the minimal sensor selection for supervisory control
+Normal rank
@@ Property / cites work @@
+PSPACE-completeness of modular supervisory control problems
+Normal rank
@@ Property / cites work @@
+Minimal communication in a distributed discrete-event system
+Normal rank
@@ Property / cites work @@
+The infimal prefix-closed and observable superlanguage of a given language
+Normal rank
@@ Property / cites work @@
+On the language generated under fully decentralized supervision
+Normal rank
@@ Property / cites work @@
+Synthesis of Inference-Based Decentralized Control for Discrete Event Systems
+Normal rank
@@ Property / cites work @@
+Undecidable problems of decentralized observation and control on regular languages
+Normal rank
@@ Property / cites work @@
+On Codiagnosability and Coobservability With Dynamic Observations
+Normal rank
@@ Property / cites work @@
+Decentralized Supervisory Control With Conditional Decisions: Supervisor Existence
+Normal rank
@@ Property / cites work @@
+Supervisory control of concurrent discrete-event systems
+Normal rank
@@ Property / cites work @@
+Q3727828
@@ Property / cites work: Q3727828 / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems
+Normal rank
@@ Property / cites work @@
+A general architecture for decentralized supervisory control of discrete-event systems
+Normal rank