Pages that link to "Item:Q4031515"
From MaRDI portal
The following pages link to Think globally, act locally: decentralized supervisory control (Q4031515):
Displayed 29 items.
- Observability and diagnosability of finite state systems: a unifying framework (Q2409221) (← links)
- Online minimization of sensor activation for supervisory control (Q2409274) (← links)
- Undecidability in decentralized supervision (Q2504549) (← links)
- Structural decentralised control of concurrent discrete-event systems (Q2512246) (← links)
- Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation (Q2563760) (← links)
- Hierarchical control of discrete-event systems (Q2563779) (← links)
- Hierarchical control of timed discrete-event systems (Q2563780) (← links)
- Compositionality issues in discrete, continuous, and hybrid systems (Q2716781) (← 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)
- Distributed Implementation of Systems with Multiparty Interactions and Priorities (Q3095232) (← links)
- Knowledge Based Scheduling of Distributed Systems (Q3587250) (← links)
- Implementation of supervisory control using extended finite-state machines (Q3612766) (← links)
- On Distributed Program Specification and Synthesis in Architectures with Cycles (Q3613067) (← links)
- A unified approach to control problems in discrete event processes (Q4304556) (← links)
- Distributed Control of Discrete-Event Systems: A First Step (Q4909348) (← links)
- Relative coobservability for decentralised supervisory control of discrete-event systems (Q4967658) (← links)
- Localisation-based distributed control of timed discrete-event systems with communication delay (Q5027357) (← links)
- Optimal non‐blocking decentralized supervisory control with unobservable controllable events (Q5194895) (← links)
- A learning-based synthesis approach to decentralized supervisory control of discrete event systems with unknown plants (Q5257774) (← links)
- A framework for synthesis of communicating decentralised supervisors for discrete-event systems (Q5410841) (← links)
- Centralized and decentralized supervisory controller design to enforce boundedness, liveness, and reversibility in Petri nets (Q5460613) (← links)
- An Overview of Synchronous Communication for Control of Decentralized Discrete-Event Systems (Q5496925) (← links)
- A modified normality condition for decentralized supervisory control of discrete event systems (Q5953553) (← links)
- Logical models of discrete even systems: a comparative exposition (Q5955794) (← links)
- Supervisory control to maximize mean time to failure in discrete event systems (Q6080670) (← links)
- Do what you know: coupling knowledge with action in discrete-event systems (Q6080679) (← links)
- A survey on compositional algorithms for verification and synthesis in supervisory control (Q6080680) (← links)
- Overview of networked supervisory control with imperfect communication channels (Q6160970) (← links)