Pages that link to "Item:Q3141565"
From MaRDI portal
The following pages link to Control of vector discrete-event systems. I. The base model (Q3141565):
Displayed 16 items.
- A temporal logic approach to discrete event control for the safety canonical class (Q671584) (← links)
- Sharing out control in distributed processes (Q673967) (← links)
- Control of parameterized discrete event systems (Q839004) (← links)
- Supervision based on place invariants: a survey (Q858151) (← links)
- A polynomial dynamic system approach to software design for attractivity requirement (Q881898) (← links)
- An application of discrete-event theory to truck dispatching (Q940821) (← links)
- A characterization of realizable behavior in supervisory control of timed event graphs (Q1129729) (← links)
- Petri nets for the design and operation of manufacturing systems (Q1375146) (← links)
- Stabilization and blocking in state feedback control of discrete event systems (Q1842519) (← links)
- Linear control of live marked graphs (Q1868050) (← links)
- Supervisory control of discrete event systems (Q1922191) (← links)
- Petri net languages and infinite subsets of \(\mathbb{N}^m\) (Q1970198) (← links)
- Hierarchical control of discrete-event systems (Q2563779) (← links)
- Syntax-based synthesis for temporal-safety supervision (Q2573941) (← links)
- A new approach to modelling, control and simulation of knowledgeable manufacturing cell (Q5438681) (← links)
- Modular supervisory control with equivalence-based abstraction and covering-based conflict resolution (Q5962026) (← links)