The following pages link to (Q3727828):
Displaying 50 items.
- Designing parsimonious scheduling policies for complex resource allocation systems through concurrency theory (Q312653) (← links)
- Petri net controllers for generalized mutual exclusion constraints with floor operators (Q340680) (← links)
- Application of supervisory control theory to theme park vehicles (Q351743) (← links)
- Computationally improved optimal control methodology for linear programming problems of flexible manufacturing systems (Q364321) (← links)
- Modeling and control of discrete event systems using finite state machines with variables and their applications in power grids (Q450726) (← links)
- Minimal sensor activation and minimal communication in discrete-event systems (Q503031) (← links)
- On-line compositional controller synthesis for AGV (Q513815) (← links)
- Generalized detectability for discrete event systems (Q539906) (← links)
- Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator (Q553375) (← links)
- A temporal logic approach to discrete event control for the safety canonical class (Q671584) (← links)
- Formulas for calculating supremal controllable and normal sublanguages (Q752649) (← links)
- Multitasking supervisory control of discrete-event systems (Q816701) (← links)
- Efficient robust supervisors for discrete event systems (Q848220) (← links)
- Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places (Q857147) (← links)
- State based control of timed discrete event systems using binary decision diagrams (Q864498) (← links)
- Detectability of discrete event systems with dynamic event observation (Q962185) (← links)
- Abstraction-based failure diagnosis for discrete event systems (Q962191) (← links)
- Multi-level hierarchical interface-based supervisory control (Q987647) (← links)
- An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions (Q998679) (← links)
- On the design of correct and optimal dynamical systems and games (Q1028979) (← links)
- A decidable class of problems for control under partial observation (Q1041809) (← links)
- On observability of discrete-event systems (Q1102899) (← links)
- Modular supervisory control of discrete-event systems (Q1113863) (← links)
- On the control of discrete-event dynamical systems (Q1123861) (← links)
- Control of \(\omega\)-automata under state fairness assumptions (Q1128704) (← links)
- On nonconflicting languages that arise in supervisory control of discrete event systems (Q1186853) (← links)
- Control of large scale discrete event systems: task allocation and coordination (Q1190394) (← links)
- Decentralized supervisory control of discrete event systems with nonhomogeneous control structure (Q1208142) (← links)
- Decentralized state feedback control of discrete event systems (Q1323633) (← links)
- Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication (Q1686848) (← links)
- Empirical studies in the size of diagnosers and verifiers for diagnosability analysis (Q1686857) (← links)
- Supervisory control and reactive synthesis: a comparative introduction (Q1693819) (← links)
- Falsification of combined invariance and reachability specifications in hybrid control systems (Q1693831) (← links)
- Formulas for a class of controllable and observable sublanguages larger than the supremal controllable and normal sublanguage (Q1801642) (← links)
- Locked discrete event systems: How to model and how to unlock (Q1802243) (← links)
- Decentralized supervisory control of discrete-event systems (Q1822944) (← links)
- Supervisory control of discrete event systems (Q1922191) (← links)
- On conditional decomposability (Q1932746) (← links)
- Robust diagnosis of discrete event systems against intermittent loss of observations (Q1937482) (← links)
- Supervisory control synthesis of discrete-event systems using a coordination scheme (Q1941245) (← links)
- Incremental model evolution and reusability of supervisors for discrete event systems (Q1962005) (← links)
- Petri net languages and infinite subsets of \(\mathbb{N}^m\) (Q1970198) (← links)
- Supervisory control of hybrid systems within a behavioural framework (Q1978485) (← links)
- On-the-fly informed search of non-blocking directed controllers (Q2103713) (← links)
- Complexity of node coverage games (Q2344734) (← links)
- Enforcing opacity of regular predicates on modal transition systems (Q2348369) (← links)
- A note on controllability of deterministic context-free~systems (Q2391510) (← links)
- Diagnosability of intermittent sensor faults in discrete event systems (Q2409363) (← links)
- Supervisory control of modular systems with global specification languages (Q2440703) (← links)
- Control of discrete-event systems with modular or distributed structure (Q2464943) (← links)
