Supervisory control of a class of discrete event processes
SIAM Journal on Control and Optimization
Feedback control of Petri nets based on place invariants
Automatica (Journal of IFAC)
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems
Discrete Event Dynamic Systems
Introduction to Discrete Event Systems
Introduction to Discrete Event Systems
Reduction of constraints for controller synthesis based on safe Petri Nets
Automatica (Journal of IFAC)
Supervisory control of the structured dynamic discrete-event systems
Automation and Remote Control
Supervisor direct synthesis method for a structured discrete dynamical system
Automation and Remote Control
Hi-index | 0.00 |
We describe a methodology of discrete event modeling for a class of distributed objects and their required behavior (specifications) for the design of real time automation systems. In our methodology, we use the structured discrete event system (SDES2) model: on the first stage, it is used to analyze the functionality and coherence of the object and its specification; on the second, we propose for SDES2 a basic synthesis method that works for the models of object and supervisor based on Petri nets (both modeling and controlling). At the same time, we propose to synthesize the supervisor as a Petri net embedded in SDES2 with a feedback circuit in order to restrict the object's operation according to specification requirements. We propose an interaction mechanism for the modeling and controlling Petri nets with the object and the external environment. In essence, the interaction mechanism is an object control scheme based on the constructed net. This mechanism analyzes the current state of the object and computes the controls that should be passed on to the object's actuators. Computations are done with a cyclic procedure looping over the matrix representation of the net.