Pages that link to "Item:Q1272973"
From MaRDI portal
The following pages link to Modular control and coordination of discrete-event systems (Q1272973):
Displaying 24 items.
- Distributed supervisory control of discrete-event systems with communication delay (Q503030) (← links)
- Designing communicating transaction processes by supervisory control theory (Q878112) (← links)
- Modular supervisory control of discrete-event systems (Q1113863) (← links)
- Control of large scale discrete event systems: task allocation and coordination (Q1190394) (← links)
- A general architecture for decentralized supervisory control of discrete-event systems (Q1610350) (← links)
- PSPACE-completeness of modular supervisory control problems (Q1773103) (← links)
- On conditional decomposability (Q1932746) (← links)
- Compositional coordinator synthesis of extended finite automata (Q2058570) (← links)
- Optimal modular control of discrete event systems with distinguishers and approximations (Q2063103) (← links)
- Modular control of discrete-event systems using similarity (Q2151956) (← links)
- Time-optimal control of large-scale systems of systems using compositional optimization (Q2177769) (← links)
- Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction (Q2197579) (← links)
- Coordination control of discrete-event systems revisited (Q2348358) (← links)
- Hierarchical modelling of manufacturing systems using discrete event systems and the conflict preorder (Q2348366) (← links)
- Compositional synthesis of maximally permissive supervisors using supervision equivalence (Q2465421) (← links)
- A discrete event approach to the command sequence replanning and control in a teleprogramming system (Q2729212) (← links)
- Modular supervisory control and coordination of state tree structures (Q2871681) (← links)
- (Q3152840) (← links)
- Incremental hierarchical construction of modular supervisors for discrete-event systems (Q3543066) (← links)
- A framework for synthesis of communicating decentralised supervisors for discrete-event systems (Q5410841) (← links)
- CONFLICTS AND FAIR TESTING (Q5484903) (← links)
- On the computation of natural observers in discrete-event systems (Q5962024) (← links)
- Modular supervisory control with equivalence-based abstraction and covering-based conflict resolution (Q5962026) (← links)
- A model-based deep reinforcement learning approach to the nonblocking coordination of modular supervisors of discrete event systems (Q6496167) (← links)
