The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
A new view on modelling a class of discrete event dynamic system (DEDS) and a corresponding control synthesis procedure are presented. The class can be described by state machines (SM) — the special kind of Petri nets (PN). The adjacency matrix of oriented graphs (OG) is utilized in the control synthesis procedure. It helps to generate the state reachability tree in both the straight-lined system...
A modular approach to synthesis and control of DES (discrete-event systems) is proposed and tested. The modules of flexible manufacturing systems (FMS) are modelled by place/transition Petri nets (P/T PN) and assembled in order to cooperate in the framework of subsystems of the global FMS. From system theory point of view PN models are understand to be subsystems (agents) of the global system (multi...
An approach to finding the supervisor forcing a prescribed collective behaviour to a group of agents in multi agent system (MAS) is presented. The supervisor synthesis is based on the results achieved in the control theory of DES (discrete event systems) modelled by means of place/transition Petri nets (P/T PN). The definition of the PN place invariants (P-invariants) is utilized on this way.
An approach to the control synthesis for discrete event dynamic systems (DEDS) with the infinite state space is presented in this paper. It utilizes the author's method suitable for the control synthesis of DEDS with the finite state space. DEDS are modelled by Petri nets (PN). The coverability graph (CG) playing in systems with the infinite state space the same role as the reachability tree (RT)...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.