Dynamic energy-efficient scheduling of multi-variety and small batch flexible job-shop: A case study for the aerospace industry

Tian, Zhiqiang; Jiang, Xingyu; Liu, Weijun; Li, Zhiwu

doi:10.1016/j.cie.2023.109111

Cited by 26 publications

(9 citation statements)

References 50 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…All the typical problems arising in the domain of discrete event systems modeled with unbounded Petri nets will be continuously explored, such as the verification of initial-state opacity and language-based opacity, the analysis of detectability [35,36], the enforcement of opacity based on supervisory control [37], and fault diagnosis and diagnosability analysis [38]. It is also interesting to address various scheduling problems of automated production systems [39] with the opacity property being guaranteed.…”

Section: Discussionmentioning

confidence: 99%

Verification of Current-State Opacity in Discrete Event Systems by Using Basis Coverability Graphs

et al. 2023

Self Cite

View full text Add to dashboard Cite

A new approach to the verification of current-state opacity for discrete event systems is proposed in this paper, which is modeled with unbounded Petri nets. The concept of opacity verification is first extended from bounded Petri nets to unbounded Petri nets. In this model, all transitions and partial places are assumed to be unobservable, i.e., only the number of tokens in the observable places can be measured. In this work, a novel basis coverability graph is constructed by using partial markings and quasi-observable transitions. By this graph, this research finds that an unbounded net system is current-state opaque if, for an arbitrary partial marking, there always exists at least one regular marking in the result of current-state estimation with respect to the partial marking not belonging to the given secret. Finally, a sufficient and necessary condition is proposed for the verification of current-state opacity. A manufacturing system example is presented to illustrate that the concept of current-state opacity can be verified for unbounded net systems.

show abstract

Section: Discussionmentioning

confidence: 99%

Verification of Current-State Opacity in Discrete Event Systems by Using Basis Coverability Graphs

et al. 2023

Self Cite

View full text Add to dashboard Cite

show abstract

“…Deadlock resolution issues for MURSs have been extensively investigated by researchers and practitioners [21]- [24], which is also important for production scheduling [91]. Depending on the number of instances (or units) of each resource type, an FMS is categorized as a single-or multi-unit resource system.…”

Section: Introductionmentioning

confidence: 99%

“…Circular wait [17] caused by shared-resource competition is the indication of deadlock occurrence that lowers the throughput rates and resource utilization [18]-[20], and even leads to catastrophic outcomes. Thus, it is crucial to resolve dead-lock problem in FMSs.Deadlock resolution issues for MURSs have been extensively investigated by researchers and practitioners [21]- [24], which is also important for production scheduling [91]. Depending on the number of instances (or units) of each resource type, an FMS is categorized as a single-or multi-unit resource system.…”

mentioning

confidence: 99%

An Optimal Transition-Based Recovery Policy for Controlling Deadlock Within Flexible Manufacturing Systems Using Graph Technique

Elsayed

Kefi

2023

IEEE Access

View full text Add to dashboard Cite

Weighted Petri nets are common tools for modeling and validating discrete event systems involving resource allocation, such as flexible manufacturing systems (FMSs). A subclass of weighted Petri nets called a system of sequential systems with shared resources (S 4 R) has the power for modeling complex FMSs where the execution of an operation may require multiple resource types and multiple units of some resource types. Deadlock resolution is a crucial issue for the operation of an FMS. A direct and efficient policy is developed in this paper for detecting deadlock markings by extracting a weighted resource flow graph (WRFG) from an S 4 R and recovering them by synthesizing a recovery-transition-based controller. This study contributes to the field with five folds: (1) with S 4 R, an efficient integrated policy is put forward for robust supervisor synthesis; (2) it enhances an algorithm for extracting the WRFG from an S 4 R to reveal the shared resource competitions by different processes; (3) to detect partial deadlock markings, a technique for finding weighted circular wait graphs (WCWGs) in WRFG is presented; (4) with WCWGs, an algorithm is designed for the design of recovery-transition-based controller such that the resulting controlled system becomes deadlock-free; and (5) it presents a comprehensive analysis to demonstrate the proposed method by using the Integrated Net Analyzer (INA). With the proposed policy, it is not necessary to generate a reachability graph, making the method efficient. Finally, the performance of the proposed policy is illustrated by some commonly used examples.INDEX TERMS Multi-unit resource system, flexible manufacturing system, deadlock detection and recovery, liveness, weighted Petri nets, graph theory I. INTRODUCTIONMulti-unit resource systems (MURS) are made up of multiple processes and resources. Flexible manufacturing systems (FMSs) [1]-[5], automated manufacturing systems (AMSs) [6]-[12], various resource allocation systems (RASs) [14], [15], and multi-processor system-on-chips (MPSoCs) [16] are examples of such systems, which fall into the category of discrete event systems (DESs) [13]. The resources in an FMS include robots, machines, fixtures, and buffers. As a kind of MURSs, an FMS is capable of processing multiple types of parts in accordance with a predefined sequence of operations by sharing resources. Circular wait [17] caused by shared-resource competition is the indication of deadlock occurrence that lowers the throughput rates and resource utilization [18]-[20], and even leads to catastrophic outcomes. Thus, it is crucial to resolve dead-lock problem in FMSs.Deadlock resolution issues for MURSs have been extensively investigated by researchers and practitioners [21]- [24], which is also important for production scheduling [91]. Depending on the number of instances (or units) of each resource type, an FMS is categorized as a single-or multi-unit resource system. If there is one instance only for every resource type in an FMS, it is a single-unit resource system, oth...

show abstract

“…In addition to the proposed effective methods mentioned above, the optimization techniques, including experimental design, 36,37 surrogate modelling, 38,39 and optimization algorithms, 40,41 etc., which are extensively employed to handle all kinds of optimization issues, 42–48 have also been widely employed to further enhance the crashworthiness of TWSs or thin-walled crash boxes. For instance, Ebrahimi et al 40 executed crashworthiness efficiency optimization for two-directional functionally graded foam-filled tubes under axial crushing impacts using multi-objective particle swarm optimizations (MOPSOs).…”

Section: Introductionmentioning

confidence: 99%

Multi-objective robust optimization of foam-filled double-hexagonal crash box using Taguchi-grey relational analysis

Xiong,

Wang,

Wang

et al. 2023

Advances in Mechanical Engineering

View full text Add to dashboard Cite

In this paper, a novel thin-walled double-hexagonal crash box is first proposed and then multi-objective robust optimized for better overall crashworthiness under multi-angle impact loading, using a proposed hybrid method combining aluminum foam-filling and Taguchi-grey relational analysis (GRA). Specifically, the finite element (FE) models of the regularly-shaped double-hexagonal column (DHC) extracted from original irregularly-shaped crash box under multi-angle impact loading, including hollow (H-DHC) and foam-filled (F-DHC), are first built and validated by experiments. On this basis, a comprehensive crashworthiness comparison is conducted to explore relative merits of F-DHC over original H-DHC under multi-angle impact loading. After that, the F-DHC is multi-objective robust optimized for maximizing overall specific energy absorption (SEAθ) and minimizing overall initial peak crushing force (IPCF0) simultaneously under multi-angle impact loading, using a hybrid method of Taguchi-GRA. At last, a bumper-crash box integrated crashworthiness analysis under multi-angle impact loading is executed to further verify the optimization. The optimal F-DHC and the optimized crash box within the optimal F-DHC demonstrate evident improvement of crashworthiness compared to their respective initial designs, indicating aluminum foam-filling combined with Taguchi-GRA could be an effective approach for multi-objective robust optimization of the novel crash box and other similar vehicle structures.

show abstract

Dynamic energy-efficient scheduling of multi-variety and small batch flexible job-shop: A case study for the aerospace industry

Cited by 26 publications

References 50 publications

Verification of Current-State Opacity in Discrete Event Systems by Using Basis Coverability Graphs

Verification of Current-State Opacity in Discrete Event Systems by Using Basis Coverability Graphs

An Optimal Transition-Based Recovery Policy for Controlling Deadlock Within Flexible Manufacturing Systems Using Graph Technique

Multi-objective robust optimization of foam-filled double-hexagonal crash box using Taguchi-grey relational analysis

Contact Info

Product

Resources

About