Pages that link to "Item:Q1922191"
From MaRDI portal
The following pages link to Supervisory control of discrete event systems (Q1922191):
Displaying 50 items.
- Modeling and control of discrete event systems using finite state machines with variables and their applications in power grids (Q450726) (← links)
- Sampled-data supervisory control (Q481359) (← links)
- Supervisory control for collision avoidance in vehicular networks using discrete event abstractions (Q513177) (← links)
- A temporal logic approach to discrete event control for the safety canonical class (Q671584) (← links)
- Control of discrete-event systems with partial observations using coalgebra and coinduction (Q816696) (← links)
- Multitasking supervisory control of discrete-event systems (Q816701) (← links)
- Efficient robust supervisors for discrete event systems (Q848220) (← links)
- On the supervisory control of multi-agent product systems: controllability properties (Q864582) (← links)
- Modal specifications for the control theory of discrete event systems (Q884763) (← links)
- Supervisory control of discrete event systems with distinguishers (Q889009) (← links)
- A unified model for state feedback of discrete event systems. II: Control synthesis problems (Q1008779) (← links)
- Supervisory control of the structured dynamic discrete-event systems (Q1040544) (← 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)
- On tolerable and desirable behaviors in supervisory control of discrete event systems (Q1180362) (← links)
- An algebraic approach to supervisory control (Q1190821) (← links)
- Supervisory control using augmented languages in discrete event systems (Q1314846) (← links)
- On-line control of partially observed discrete event systems (Q1332442) (← links)
- Supervisor reduction for discrete-event systems (Q1424972) (← links)
- Supervisory control and reactive synthesis: a comparative introduction (Q1693819) (← links)
- Supervisory control of discrete-event systems (Q1793986) (← links)
- On conditional decomposability (Q1932746) (← links)
- On controllability of discrete event systems in a behavioral framework (Q1951853) (← links)
- Incremental model evolution and reusability of supervisors for discrete event systems (Q1962005) (← links)
- On-the-fly informed search of non-blocking directed controllers (Q2103713) (← links)
- State-based supervisory control with restrictions on the supervisor realization (Q2220349) (← links)
- Control of discrete-event systems with modular or distributed structure (Q2464943) (← links)
- Supervisory control of switching control systems (Q2474450) (← links)
- Grid automata and supervisory control of dense real-time discrete event systems (Q2489622) (← links)
- Undecidability in decentralized supervision (Q2504549) (← links)
- Supervisory control of discrete event systems with flexible marking (Q2511869) (← links)
- State estimation and detectability of probabilistic discrete event systems (Q2518973) (← links)
- Hierarchical control of timed discrete-event systems (Q2563780) (← links)
- Nonblocking supervisory control of state tree structures. (Q2571140) (← links)
- Syntax-based synthesis for temporal-safety supervision (Q2573941) (← links)
- Transformational supervisor synthesis for evolving systems (Q2673766) (← links)
- Know means no: Incorporating knowledge into discrete-event control systems (Q2730222) (← links)
- Event feedback control of deterministic discrete event systems with forced events. (Q2756540) (← links)
- Hierarchical supervisory control of discrete event systems with model uncertainty (Q3152473) (← links)
- Supervisory control of discrete event systems with state-dependent controllability (Q3183744) (← links)
- Implementation of supervisory control using extended finite-state machines (Q3612766) (← links)
- (Q3827852) (← links)
- Supervisory control of concurrent discrete-event systems (Q3979749) (← links)
- Discrete events and general systems theory (Q4020636) (← links)
- A unified approach to control problems in discrete event processes (Q4304556) (← links)
- Prioritized Composition With Exclusion and Generation for the Interaction and Control of Discrete Event Systems (Q4465159) (← links)
- Exploiting symmetry in the synthesis of supervisors for discrete event systems (Q4540504) (← links)
- Layered optimal supervisory control of discrete event dynamical systems (Q4546878) (← links)
- Supervisory Control of Discrete-Event Systems (Q4560599) (← links)
