Pages that link to "Item:Q4306699"
From MaRDI portal
The following pages link to Control of vector discrete-event systems. II. Controller synthesis (Q4306699):
Displayed 20 items.
- Maximally permissive supervisor synthesis based on a new constraint transformation method (Q445132) (← links)
- Modeling and control of discrete event systems using finite state machines with variables and their applications in power grids (Q450726) (← links)
- Matrix-based discrete event control for surveillance mobile robotics (Q614741) (← links)
- Control of parameterized discrete event systems (Q839004) (← links)
- Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places (Q857147) (← links)
- Supervision based on place invariants: a survey (Q858151) (← links)
- An application of discrete-event theory to truck dispatching (Q940821) (← links)
- Time-optimal coordination of flexible manufacturing systems using deterministic finite automata and mixed integer linear programming (Q977004) (← links)
- Petri nets for the design and operation of manufacturing systems (Q1375146) (← links)
- Linear control of live marked graphs (Q1868050) (← links)
- Feedback control of Petri nets based on place invariants (Q1911289) (← links)
- Supervisory control of discrete event systems (Q1922191) (← links)
- Lifted structural invariant analysis of Petri net product lines (Q2096429) (← links)
- An approach based on timed Petri nets and tree encoding to implement search algorithms for a class of scheduling problems (Q2127112) (← links)
- Optimal supervisor synthesis for Petri nets with uncontrollable transitions: a bottom-up algorithm (Q2279735) (← links)
- Synthesis of Petri net supervisors enforcing general constraints (Q2508210) (← links)
- Structural optimal control for safe Petri nets (Q3058321) (← links)
- Supervisory control of marked graphs with partial observations (Q4671281) (← links)
- On the invariance property of reduced supervisors from the perspective of vector discrete-event systems (Q5165335) (← links)
- A new approach to modelling, control and simulation of knowledgeable manufacturing cell (Q5438681) (← links)