Pages that link to "Item:Q1610350"
From MaRDI portal
The following pages link to A general architecture for decentralized supervisory control of discrete-event systems (Q1610350):
Displayed 39 items.
- Development of concurrent structural decentralised discrete event system using bisimulation concept (Q330298) (← links)
- Application of supervisory control theory to theme park vehicles (Q351743) (← links)
- Priority scheduling of distributed systems based on model checking (Q453501) (← links)
- Achieving distributed control through model checking (Q453529) (← links)
- A framework for state attraction of discrete event systems under partial observation (Q507660) (← links)
- Supervisor direct synthesis method for a structured discrete dynamical system (Q612182) (← links)
- Decentralized control of infinite systems (Q645050) (← links)
- Modeling and synthesis of supervisory control based on Petri nets for distributed objects. I. Interaction mechanism and the basic method (Q664298) (← links)
- Reliable supervisory control for general architecture of decentralized discrete event systems (Q710701) (← links)
- Control of discrete-event systems with partial observations using coalgebra and coinduction (Q816696) (← links)
- Solvability of centralized supervisory control under partial observation (Q858155) (← links)
- Decentralized supervisory control of nondeterministic discrete event systems: The existence condition of a robust and nonblocking supervisor (Q869096) (← links)
- Decentralized supervisory control of discrete event systems with communication delays based on conjunctive and permissive decision structures (Q880441) (← links)
- Diagnosis of discrete event systems using decentralized architectures (Q884759) (← links)
- Supervisory control of discrete event systems with distinguishers (Q889009) (← links)
- Delay-coobservability and its algebraic properties for the decentralized supervisory control of discrete event systems with communication delays (Q1023147) (← links)
- Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication (Q1686848) (← links)
- PSPACE-completeness of modular supervisory control problems (Q1773103) (← links)
- Supervisory control synthesis of discrete-event systems using a coordination scheme (Q1941245) (← links)
- Epistemic interpretations of decentralized discrete-event system problems (Q2081081) (← links)
- Online verification of \(K\)-step opacity by Petri nets in centralized and decentralized structures (Q2081818) (← links)
- Supervisory control of discrete-event systems under attacks (Q2292112) (← links)
- Coordination control of discrete-event systems revisited (Q2348358) (← links)
- Trellis processes: a compact representation for runs of concurrent systems (Q2465670) (← links)
- Partial order techniques for distributed discrete event systems: why you cannot avoid using them (Q2465674) (← links)
- Existence and Verification for Decentralized Nondeterministic Discrete-Event Systems Under Bisimulation Equivalence (Q2828481) (← links)
- A Summary of Some Discrete-Event System Control Problems (Q3073615) (← links)
- Knowledge Based Scheduling of Distributed Systems (Q3587250) (← links)
- Distributed Control of Discrete-Event Systems: A First Step (Q4909348) (← links)
- Relative coobservability for decentralised supervisory control of discrete-event systems (Q4967658) (← links)
- How selfish individuals achieve unselfish goals: majority-based progressive control of discrete event systems (Q5130091) (← links)
- Composite supervisory control for symmetric discrete-event systems (Q5134309) (← links)
- Optimal non‐blocking decentralized supervisory control with unobservable controllable events (Q5194895) (← links)
- Achieving a global objective with competing networked agents in the framework of discrete event systems (Q5221385) (← links)
- A framework for synthesis of communicating decentralised supervisors for discrete-event systems (Q5410841) (← links)
- Reliable Decentralized Supervisors for Discrete‐Event Systems Under Communication Delays: Existence and Verification (Q5416963) (← links)
- An Overview of Synchronous Communication for Control of Decentralized Discrete-Event Systems (Q5496925) (← links)
- Do what you know: coupling knowledge with action in discrete-event systems (Q6080679) (← links)
- Overview of networked supervisory control with imperfect communication channels (Q6160970) (← links)