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.
An automated manufacturing system (AMS) is constituted by numerous, whether sequential or parallel, processes interconnected via a limited number of shared resources. With critical stages as pivots, any monolithic AMS can be partitioned into interacted subsystems. For each of them, there is always an expectation to produce an optimal trajectory in terms of a sequence of events, leading it from the...
It often takes much time and effort to synthesize the supervisory controller given an automated manufacturing system (AMS). Any modification may lead to another synthesis procedure from the scratch. This work is motivated by the problem of distributed supervisor synthesis for complex large scale models of real systems. Existing approaches generally require the enumeration of all the states or siphons...
Colored Petri nets are widely used to model Automated Manufacturing Systems thanks to their compactness to describe complex networked systems. Compared to general Petri nets, they allow many folding techniques so as to condense the system model. With them, many control synthesis problems are reduced to the solution of matrix operations. Supervisory control techniques can be realized in a computationally...
Most contemporary manufacturing systems appear as complex event-driven automation facilities. Supervisor synthesis and simplification are fundamental in automated manufacturing systems (AMSs). From design and implementation standpoints, it is preferable to decrease supervisor scales so as to mitigate their realization expense. Ordinary and general Petri nets are considered as powerful formalisms to...
This paper presents new results on structural simplification of a supervisor in a Petri net framework. Supervisor simplification is essential to the efficient and effective functionality of an automated manufacturing system. This work is motivated by the fact that some properties have not been thoroughly explored in the prior supervisor design and simplification studies. If a supervisor is structurally...
Modern complex systems require intensive application of complicated supervisors. Structural simplification techniques are one of the fundamental researches in the context of automated manufacturing systems (AMSs). They can reduce implementation cost, mitigate fabrication complexity, and improve reliability. Several typical methods are developed along this direction. In order to thoroughly explore...
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.