Scheduling for batch processes based on clustering approximated timed reachability graphs

被引：0

作者：

Zhou, Jiazhong ^{[1
,2
]}

Lefebvre, Dimitri ^{[3
]}

Li, Zhiwu ^{[2
,4
]}

机构：

[1] Huaqiao Univ, Coll Informat Sci & Engn, Xiamen 361021, Peoples R China

[2] Xidian Univ, Sch Electromech Engn, Xian 710071, Peoples R China

[3] Univ La Havre Normandie, Normandie Univ, GREAH UR 3220, F-76600 Le Havre, France

[4] Macau Univ Sci & Technol, Inst Syst Engn, Macau, Peoples R China

来源：

ISA TRANSACTIONS | 2024年 / 152卷

基金：

中国国家自然科学基金;

关键词：

Batch process; Timed Petri net; Reachability graph; Clustering algorithm; Scheduling; FLEXIBLE MANUFACTURING SYSTEMS; HEURISTIC HYBRID SEARCH; PETRI NETS; MODEL CHECKING; STATE-SPACE; ALGORITHM; OPTIMIZATION;

D O I：

10.1016/j.isatra.2024.06.028

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

To solve some scheduling problems of batch processes based on timed Petri net models, timed extended reachability graphs (TERGs) and approximated TERGs can be used. Such graphs abstract temporal specifications and represent parts of timed languages. By exploring the feasible trajectories in a TERG, optimal schedules can be obtained with respect to the makespans of batch processes that are modeled by timed Petri nets. Nevertheless, the rapid growth of the number of states in a TERG makes the problem intractable for large systems. In this paper, we improve the existing clustering TERG approach, and we make it suitable for large sized batch processes. We also enlarge a systematic approach to model batch processes with timed Petri nets. Finally, a comprehensive example of scheduling problem is studied for an archetypal chemical production plant in order to illustrate the efficiency of the proposed approach.

引用

页码：290 / 298

页数：9

共 50 条

[41] Moving horizon approach of integrating scheduling and control for sequential batch processes [J].

Chu, Yunfei ;

You, Fengqi .

AICHE JOURNAL, 2014, 60 (05) :1654-1671

[42] Non parametric on-line control of batch processes based on STATIS and clustering [J].

Niang, Ndeye ;

Fogliatto, Flavio S. ;

Saporta, Gilbert .

JOURNAL OF THE SFDS, 2013, 154 (03) :124-142

[43] Integrated process design, scheduling, and model predictive control of batch processes with closed-loop implementation [J].

Burnak, Baris ;

Pistikopoulos, Efstratios N. .

AICHE JOURNAL, 2020, 66 (10)

[44] Robust reachability in timed automata and games: A game-based approach [J].

Bouyer, Patricia ;

Markey, Nicolas ;

Sankur, Ocan .

THEORETICAL COMPUTER SCIENCE, 2015, 563 :43-74

[45] Efficient scheduling method of complex batch processes with general network structure via agent-based modeling [J].

Chu, Yunfei ;

Wassick, John M. ;

You, Fengqi .

AICHE JOURNAL, 2013, 59 (08) :2884-2906

[46] Robust modeling for simultaneous design and scheduling of batch processes [J].

Suh, M ;

Bok, JK ;

Park, S ;

Lee, T .

PRES '99: 2ND CONFERENCE ON PROCESS INTEGRATION, MODELLING AND OPTIMISATION FOR ENERGY SAVING AND POLLUTION REDUCTION, 1999, :631-636

[47] A new approach for scheduling of multipurpose batch processes with unlimited intermediate storage policy [J].

Rakovitis, Nikolaos ;

Zhang, Nan ;

Li, Jie ;

Zhang, Liping .

FRONTIERS OF CHEMICAL SCIENCE AND ENGINEERING, 2019, 13 (04) :784-802

[48] Scheduling of Multistage Batch Processes under Utility Constraints [J].

Sundaramoorthy, Arul ;

Maravelias, Christos T. ;

Prasad, Pradeep .

INDUSTRIAL & ENGINEERING CHEMISTRY RESEARCH, 2009, 48 (13) :6050-6058

[49] Deterministic timed event graphs for performance optimization of cyclic manufacturing processes [J].

DiFebbraro, A ;

Minciardi, R ;

Sacone, S .

IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 1997, 13 (02) :169-181

[50] Timed colored Petri net model for analyzing operating procedures for batch processes [J].

Shimizu, Y ;

Hiraide, K ;

Kodama, T ;

Kitajima, T .

JOURNAL OF CHEMICAL ENGINEERING OF JAPAN, 2004, 37 (02) :224-230

← 1 2 3 4 5 →