Control of vector discrete-event systems. I. The base model
From MaRDI portal
Publication:3141565
DOI10.1109/9.233154zbMath0784.93007OpenAlexW1974202634MaRDI QIDQ3141565
Publication date: 30 November 1993
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/9.233154
Related Items (21)
Control of parameterized discrete event systems ⋮ Supervision based on place invariants: a survey ⋮ Petri nets for the design and operation of manufacturing systems ⋮ Supervisory control of discrete event systems ⋮ A polynomial dynamic system approach to software design for attractivity requirement ⋮ A characterization of realizable behavior in supervisory control of timed event graphs ⋮ Matrix-based discrete event control for surveillance mobile robotics ⋮ Modeling and control of discrete event systems using finite state machines with variables and their applications in power grids ⋮ Petri net languages and infinite subsets of \(\mathbb{N}^m\) ⋮ An application of discrete-event theory to truck dispatching ⋮ A temporal logic approach to discrete event control for the safety canonical class ⋮ Sharing out control in distributed processes ⋮ On the invariance property of reduced supervisors from the perspective of vector discrete-event systems ⋮ A new approach to modelling, control and simulation of knowledgeable manufacturing cell ⋮ Optimal supervisor synthesis for Petri nets with uncontrollable transitions: a bottom-up algorithm ⋮ Modular supervisory control with equivalence-based abstraction and covering-based conflict resolution ⋮ Grafcet: behavioural issues and control synthesis ⋮ Hierarchical control of discrete-event systems ⋮ Stabilization and blocking in state feedback control of discrete event systems ⋮ Syntax-based synthesis for temporal-safety supervision ⋮ Linear control of live marked graphs
This page was built for publication: Control of vector discrete-event systems. I. The base model
