Pages that link to "Item:Q1822944"
From MaRDI portal
The following pages link to Decentralized supervisory control of discrete-event systems (Q1822944):
Displayed 36 items.
- Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems (Q445939) (← links)
- Generalized detectability for discrete event systems (Q539906) (← links)
- Minimax control of switching systems under sampling (Q672436) (← links)
- Formulas for calculating supremal controllable and normal sublanguages (Q752649) (← links)
- A polynomial dynamic system approach to software design for attractivity requirement (Q881898) (← links)
- Real-time preemptive scheduling of sporadic tasks based on supervisory control of discrete event systems (Q942318) (← links)
- Detectability of discrete event systems with dynamic event observation (Q962185) (← links)
- Nonconflict check by using sequential automaton abstractions based on weak observation equivalence (Q976261) (← links)
- Reliable decentralized supervisory control of fuzzy discrete event systems (Q983035) (← links)
- Automating the addition of fault tolerance with discrete controller synthesis (Q1041296) (← links)
- On observability of discrete-event systems (Q1102899) (← links)
- Modular supervisory control of discrete-event systems (Q1113863) (← links)
- On supervisory control of real-time discrete-event systems (Q1115839) (← links)
- Control of large scale discrete event systems: task allocation and coordination (Q1190394) (← links)
- An algebraic approach to supervisory control (Q1190821) (← links)
- Invertibility of discrete-event dynamic systems (Q1198560) (← links)
- Decentralized supervisory control of discrete event systems with nonhomogeneous control structure (Q1208142) (← links)
- On-line control of partially observed discrete event systems (Q1332442) (← links)
- PSPACE-completeness of modular supervisory control problems (Q1773103) (← links)
- Supervisory control of discrete event systems (Q1922191) (← links)
- Incremental model evolution and reusability of supervisors for discrete event systems (Q1962005) (← links)
- Undecidable problems of decentralized observation and control on regular languages (Q2390212) (← links)
- Supervisory control of switching control systems (Q2474450) (← links)
- On computation of supremal controllable, normal sublanguages (Q2504587) (← links)
- Hierarchical control of discrete-event systems (Q2563779) (← links)
- Hierarchical control of timed discrete-event systems (Q2563780) (← 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)
- Generalised projections in finite state automata and decidability of state determinacy (Q3603720) (← links)
- Supervisory control of concurrent discrete-event systems (Q3979749) (← links)
- Supremal and maximal sublanguages arising in supervisor synthesis problems with partial observations (Q4733422) (← links)
- A language measure for partially observed discrete event systems (Q5485928) (← 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)
- 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)