Supervisor direct synthesis method for a structured discrete dynamical system

We present an implementation method for a supervisor of a discrete event system (DES) structured in a special way. Such a DES has the following characteristic features: the language generator is represented by a set of finite automata, the language model is extended with a new type of events called “expected,” and the specification is defined as a sequence of control commands. The primary advantage of our method is that it uses structural knowledge of the event stream in order to construct a supervisor. Thus, we achieve linear dependence of the supervisor’s size in the input data.     

Modeling and synthesis of supervisory control based on Petri nets for distributed objects. I. Interaction mechanism and the basic method

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.     

Protective properties of petroleum lubricating oils

Chemistry and Technology of Fuels and Oils -     

Network-centric control based on Petri nets in the structured discrete-event system

Using the concepts of network-centric control, we develop a design methodology for a controlling Petri net in real-time automation systems. The methodology involves the structured discrete-event system (SDES) model to analyze the functionality and coherence of the object. We define structure of the model, as well as propose a technique for analyzing and modeling the object via the process Petri net. Finally, we suggest an analysis technique for the process Petri net and develop a design method for a supervisor, i.e., a controlling Petri net which implements the SDES specification (in coherence with the process net).     

Supervisory control of the structured dynamic discrete-event systems

A new model is developed and studied in this paper—structured dynamic discrete event systems as a theoretical foundation for designing the supervisory control over the set of autonomous components. The composition of the model is defined and the question of a supervisor’s existence (the controllability of the given specification)is studied. Besides, there were stated the basic stages of the design technology in the framework of the introduced controllability analysis model and the supervisors synthesis method.     

Development of Control Mechanisms of Objects with the Flow Technology on the Basis of Event Models of Channels

For a basic element of the decomposition of a complex technological network, an event model of a channel (a pipeline including the built-in equipment) is suggested. It is shown how to structurize the control of processes in the technological network on the basis of a channel model in combination with event models of units and technological installations of an object with the flow technology. Mechanisms of control of the technological network as a collection of units, channels, and technological installations are worked out. Examples are given to illustrate the suggested models and mechanisms.