Pages that link to "Item:Q5202590"
From MaRDI portal
The following pages link to On the consistency of hierarchical supervision in discrete-event systems (Q5202590):
Displaying 32 items.
- Lose fat, not muscle: an examination of supervisor reduction in discrete-event systems (Q732247) (← links)
- Control of parameterized discrete event systems (Q839004) (← links)
- Supervisory control of discrete event systems with distinguishers (Q889009) (← links)
- An application of discrete-event theory to truck dispatching (Q940821) (← links)
- The hierarchical control of ST-finite-state machines (Q1127555) (← links)
- Event rates and aggregation in hierarchical discrete event systems (Q1186497) (← links)
- Control of large scale discrete event systems: task allocation and coordination (Q1190394) (← links)
- Aggregation and multi-level control in discrete event dynamic systems (Q1194980) (← links)
- Decentralized supervisory control of discrete event systems with nonhomogeneous control structure (Q1208142) (← links)
- Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication (Q1686848) (← links)
- A hierarchical consistency framework for real-time supervisory control (Q1790660) (← links)
- Supervisory control of discrete event systems (Q1922191) (← links)
- Incremental model evolution and reusability of supervisors for discrete event systems (Q1962005) (← links)
- Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems (Q2058495) (← links)
- Nonblocking and deterministic decentralized control for networked discrete event systems under communication delays (Q2058568) (← links)
- Compositional coordinator synthesis of extended finite automata (Q2058570) (← links)
- Optimal modular control of discrete event systems with distinguishers and approximations (Q2063103) (← links)
- On the relation between reactive synthesis and supervisory control of non-terminating processes (Q2177781) (← links)
- Coordination control of discrete-event systems revisited (Q2348358) (← links)
- Supervisory control of discrete event systems with flexible marking (Q2511869) (← links)
- Structural decentralised control of concurrent discrete-event systems (Q2512246) (← links)
- Hierarchical control of discrete-event systems (Q2563779) (← links)
- Hierarchical control of timed discrete-event systems (Q2563780) (← links)
- A Summary of Some Discrete-Event System Control Problems (Q3073615) (← links)
- Supervisory control of discrete event systems with state-dependent controllability (Q3183744) (← links)
- Incremental hierarchical construction of modular supervisors for discrete-event systems (Q3543066) (← links)
- Composite supervisory control for symmetric discrete-event systems (Q5134309) (← links)
- Optimal non‐blocking decentralized supervisory control with unobservable controllable events (Q5194895) (← links)
- Logical models of discrete even systems: a comparative exposition (Q5955794) (← 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 survey on compositional algorithms for verification and synthesis in supervisory control (Q6080680) (← links)