8 accepted papers
One of the major challenges from both a theoretical and practical perspectives, for effectively establishing unattended operation of automated manufacturing systems (AMSs), is to resolve the deadlock. In the existing methods on deadlock problem, most of them are focused on the models with either fle…
Although supervisor simplification in the framework of automated manufacturing systems has been studied in many literatures, there is still an intense demand for essential and general techniques. Basically, supervisors can be synthesized by specifications which are expressed by generalized mutual ex…
Automated manufacturing systems (AMSs) are developing rapidly with increasingly sophisticated operations and complex topologies. In this paper, we propose a new kind of AMS structure, namely, AESMs, with processes expressed by flexible routes and embedded by marked graph blocks. Flexible routes and
Automated manufacturing systems (AMSs) with complex topologies have become increasingly active in the area of research. However, a prerequisite is indispensable for numerous researchers to investigate AMSs. That is resources are presumptively and arbitrarily assumed never to fail; nevertheless, this
Supervisory control techniques (SCTs), as one of the fundamental researches in the domain of automated manufacturing systems, implement specifications upon a plant model, leading the system to tendentiously desired behaviors. Generalized Mutual Exclusion Constraints (GMECs) are a typical kind of SCT…
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…
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 mitigat…
As an important branch of production facilities, automated manufacturing systems are a promising perspective of modern factories which become increasingly complex and flexible. From the perspective of development, time variable is a significant concern. In this paper, we propose a class of time-vary…