A divide-and-conquer-method for the synthesis of liveness enforcing supervisors for flexible manufacturing systems

Uzam, Murat; Li, Zhiwu; Gelen, Gökhan; Zakariyya, Rabiu Saleh

doi:10.1007/s10845-014-0938-z

Cited by 93 publications

(39 citation statements)

References 49 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In the future, it is necessary to carry out a sensitivity analysis on parameter setting in the proposed algorithm. It is also interesting to tackle the dynamic resource allocation in flexible manufacturing systems [33] and process industry systems [34]. Additionally, multi-objective scheduling will be focused on because of its widespread applications.…”

Section: Discussionmentioning

confidence: 99%

Job scheduling and resource allocation in parallel‐machine system via a hybrid nested partition method

Jiang

Tian

et al. 2018

IEEJ Transactions Elec Engng

View full text Add to dashboard Cite

Scheduling problems with resource allocation have received much attention in the academic and industrial communities in recent years. This study addresses a parallel-machine scheduling problem with resource allocation under the objective of minimizing the makespan, where jobs need an additional resource that is allocated to machines in advance. The processing time of jobs is a function of the amount of allocated resources on their corresponding machines. In order to deal with this problem, three decisions must be made, i.e. resource allocation among machines, job assignment on machines, and job sequence on each machine. To solve this problem efficiently, a constructive heuristic approach and a hybrid nested partition method are designed to make these three decisions. Simulation experiments are carried out on a set of instances, and two existing algorithms are chosen to be compared with the proposed algorithms. Experimental results show that the proposed algorithms are promising in coping with this problem.

show abstract

Section: Discussionmentioning

confidence: 99%

Job scheduling and resource allocation in parallel‐machine system via a hybrid nested partition method

Jiang

Tian

et al. 2018

IEEJ Transactions Elec Engng

View full text Add to dashboard Cite

show abstract

“…The comparison of the proposed approach with other benchmark approaches shows that the proposed approach performs better in terms of the true positive rate and the false alarm rate for all of dynamic and tendency sequence data. Another interesting topic will use Petri nets [42,43] to model the anomaly detection process.…”

Section: Discussionmentioning

confidence: 99%

Anomaly detection based on a dynamic Markov model

Ren

2017

Information Sciences

Self Cite

View full text Add to dashboard Cite

a b s t r a c tAnomaly detection in sequence data is becoming more and more important in a wide variety of application domains such as credit card fraud detection, health care in medical field, and intrusion detection in cyber security. In the existing anomaly detection approaches, Markov chain techniques are widely accepted for their simple realization and few parameters. However, the short memory property of a classical Markov model ignores the interaction among data, and the long memory property of a higher order Markov model clouds the relationship between the previous data and current test data, and reduces the reliability of the model. Besides, both of these models cannot successfully describe the sequences changing with a tendency. In this paper, we propose an anomaly detection approach based on a dynamic Markov model. This approach segments sequence data by a sliding window. In the sliding window, we define the states of data according to the value of the data and establish a higher order Markov model with a proper order consequently, to balance the length of the memory property and keep up with the trend of sequences. In addition, an anomaly substitution strategy is proposed to prevent the detected anomalies from impacting the building of the models and keep anomaly detection continuously. The experimental results using simulated datasets and real-world datasets have demonstrated that the proposed approach improves the adaptability and stability of anomaly detection in sequence data.

show abstract

“…Researchers have primarily developed two PN analysis techniques to handle the deadlock problems for FMSs: structural analysis and reachability analysis . The former takes the advantage of the structural features of PNs such as siphons and resource‐transition circuits.…”

Section: Introductionmentioning

confidence: 99%

Design of Optimal Petri Net Supervisors for Flexible Manufacturing Systems via Weighted Inhibitor Arcs

Cong

Uzam

et al. 2017

Asian Journal of Control

Self Cite

View full text Add to dashboard Cite

This paper develops an approach to the design of an optimal Petri net supervisor that enforces liveness to flexible manufacturing systems. The supervisor contains a set of observer places with weighted inhibitor arcs. An observer place with a weighted inhibitor arc is used to forbid a net from yielding an illegal marking by inhibiting the firing of a transition at a marking while ensuring that all legal markings are preserved. A marking reduction technique is presented to decrease the number of considered markings, which can dramatically lower the computational burden of the proposed approach. An integer linear program is presented to simplify the supervisory structure by minimizing the number of observer places. Finally, several examples are used to shed light on the proposed approach which can lead to an optimal supervisor for the net models that cannot be optimally controlled via pure Petri net supervisors.

show abstract

A divide-and-conquer-method for the synthesis of liveness enforcing supervisors for flexible manufacturing systems

Cited by 93 publications

References 49 publications

Job scheduling and resource allocation in parallel‐machine system via a hybrid nested partition method

Job scheduling and resource allocation in parallel‐machine system via a hybrid nested partition method

Anomaly detection based on a dynamic Markov model

Design of Optimal Petri Net Supervisors for Flexible Manufacturing Systems via Weighted Inhibitor Arcs

Contact Info

Product

Resources

About