A general Boolean semantic modelling approach for complex and intelligent industrial systems in the framework of DES

doi:10.23919/JSEE.2024.000066

Journal of Systems Engineering and Electronics ›› 2024, Vol. 35 ›› Issue (5): 1219-1230.doi: 10.23919/JSEE.2024.000066

收稿日期:2023-05-31 出版日期:2024-10-18 发布日期:2024-11-06

A general Boolean semantic modelling approach for complex and intelligent industrial systems in the framework of DES

Changyi XU¹(), Yun WANG¹(), Yiman DUAN²(), Chao ZHANG²^,*()

¹ Key Laboratory of Intelligent Control and Optimization for Industrial Equipment of Ministry of Education, School of Control Science and Engineering, Dalian University of Technology, Dalian 116024, China
² State Key Laboratory of Fluid Power and Mechatronic Systems, School of Mechanical Engineering, Zhejiang University, Hangzhou 310027, China

Received:2023-05-31 Online:2024-10-18 Published:2024-11-06
Contact: Chao ZHANG E-mail:ChangyiXU@dlut.edu.cn;wangyun@mail.dlut.edu.cn;ymduan@zju.edu.cn;chao.zhang@zju.edu.cn
About author:
XU Changyi was born in 1989. He received his B.S. degree in electronic information science and technology from Jilin University, Changchun, China, in 2012, M.S. degree from Chinese Academy of Sciences, Changchun, China, in 2015, and Ph.D. degree in automatic from Institut National des Sciences Appliquees de Lyon, Lyon, France, in 2021. He is currently an associate professor with the School of Control Science and Engineering, Dalian University of Technology, Dalian, China. His research interests include systems engineering, electronic technology, aero-engine, artificial intelligence, control theory and practice, and systems reliability. E-mail: ChangyiXU@dlut.edu.cn

WANG Yun was born in 2000. She received her B.S. degree from Hebei University of Technology in 2021. She is currently pursuing her M.S. degree with the School of Control Science and Engineering, Dalian University of Technology, Dalian, China. Her research interests include systems engineering, electronic technology, and control theory and practice. E-mail: wangyun@mail.dlut.edu.cn

DUAN Yiman was born in 1996. She received her B.S. degree in mechanical design, manufacture, and automation from Yanshan University, Qinhuangdao, China, in 2019, and M.S. degree in petroleum and natural gas engineering from Yanshan University, Qinhuangdao, China, in 2022. She is currently working toward her Ph.D. degree in the College of Mechanical Engineering, Zhejiang University, Hangzhou, China. Her research interests include systems engineering, control theory and practice, and high-performance mechatronic equipment. E-mail: ymduan@zju.edu.cn

ZHANG Chao was born in 1996. He received his B.S. and M.S. degrees from Northwestern Polytechnical University in 2012 and 2015, respectively. He received his Ph.D. degree from the University of Lyon in 2019. Currently, he is a professor at the Institute of Mechatronics and Control Engineering, Zhejiang University, Hangzhou, China. His research interests include systems engineering, control theory and practice, and high-performance mechatronic equipment. E-mail: chao.zhang@zju.edu.cn
Supported by:
This work was supported by the National Natural Science Foundation of China (U21B2074;52105070).

摘要/Abstract

Abstract:

Discrete event system (DES) models promote system engineering, including system design, verification, and assessment. The advancement in manufacturing technology has endowed us to fabricate complex industrial systems. Consequently, the adoption of advanced modeling methodologies adept at handling complexity and scalability is imperative. Moreover, industrial systems are no longer quiescent, thus the intelligent operations of the systems should be dynamically specified in the model. In this paper, the composition of the subsystem behaviors is studied to generate the complexity and scalability of the global system model, and a Boolean semantic specifying algorithm is proposed for generating dynamic intelligent operations in the model. In traditional modeling approaches, the change or addition of specifications always necessitates the complete resubmission of the system model, a resource-consuming and error-prone process. Compared with traditional approaches, our approach has three remarkable advantages: (i) an established Boolean semantic can be fitful for all kinds of systems; (ii) there is no need to resubmit the system model whenever there is a change or addition of the operations; (iii) multiple specifying tasks can be easily achieved by continuously adding a new semantic. Thus, this general modeling approach has wide potential for future complex and intelligent industrial systems.

Key words: industrial complex system, operation specifying, Boolean semantic, discrete event system (DES) theory, intelligent operation

. [J]. Journal of Systems Engineering and Electronics, 2024, 35(5): 1219-1230.

Changyi XU, Yun WANG, Yiman DUAN, Chao ZHANG. A general Boolean semantic modelling approach for complex and intelligent industrial systems in the framework of DES[J]. Journal of Systems Engineering and Electronics, 2024, 35(5): 1219-1230.

图/表 8

参考文献 33

1	AKUNDI A, ANKOBIAH W. Mapping industry workforce needs to academic curricula —a workforce development effort in model-based systems engineering. Systems Engineering, 2024. https://doi.org/10.1002/sys.21745.
2	YAN R, DUNNETT S J, JACKSON L M Model-based research for aiding decision-making during the design and operation of multi-load automated guided vehicle systems. Reliability Engineering & System Safety, 2022, 219, 108264.
3	MADNI A M, SIEVERS M Model-based systems engineering: motivation, current status, and research opportunities. Systems Engineering, 2018, 21 (3): 172- 190. doi: 10.1002/sys.21438
4	CLAUDIA P, VALENTIN R, TUNC A A framework for verifying dynamic probabilistic risk assessment models. Reliability Engineering & System Safety, 2020, 203, 107099.
5	PAKONEN A, BUZHINSKY I, BJORKMAN K Model checking reveals design issues leading to spurious actuation of nuclear instrumentation and control systems. Reliability Engineering & System Safety, 2021, 205, 107237.
6	CASSANDRAS C G, CHRISTOS G, STEPHANE L. System and models, in introduction to discrete event systems. Berlin: Springer Science & Business Media, 2009.
7	JOSEPH H S, ELIZABETH A S, FRANCESCA M F, et al Accident precursors, near misses, and warning signs: critical review and formal definitions within the framework of discrete event systems. Reliability Engineering & System Safety, 2013, 114, 148- 154.
8	LIU Y, LIU Q Z, XIE C Y, et al Reliability assessment for multi-state systems with state transition dependency. Reliability Engineering & System Safety, 2019, 188, 276- 288.
9	CASSANDRAS C G, LAFORTUNE S. Introduction to discrete event systems. Cham: Springer, 2021.
10	WOODS E J, KANNAN D, SHARPE D J et al. Analysing ill-conditioned Markov chains. Philosophical Transactions of the Royal Society A-Mathematical Physical and Engineering Sciences, 2023, 381 (2250): 20220245.
11	TANG Y H, MOOR T Compositional non-blockingness verification of finite automata with prioritised events. Discrete Event Dynamic Systems-Theory and Applications, 2024, 34 (1): 125- 161. doi: 10.1007/s10626-024-00394-2
12	YUAN X H, JIAN J J, CHAI Z, et al Markov chain signal generation based on single magnetic tunnel junction. IEEE Electron Device Letters, 2023, 44 (12): 1963- 1966. doi: 10.1109/LED.2023.3322194
13	SERFOZO R. Basics of applied stochastic processes. Cham: Springer Science & Business Media, 2009.
14	STROOCK D W. An introduction to Markov processes. Cham: Springer Science & Business Media, 2013.
15	GAGNIUC P A. Markov chains: from theory to implementation and experimentation. New York: John Wiley & Sons, 2017.
16	SERFOZO R F An equivalence between continuous and discrete time markov decision processes. Operations Research, 1979, 27 (3): 616- 620. doi: 10.1287/opre.27.3.616
17	EVERDIJ M H C, KLOMPSTRA M B, BLOM H A P, et al. Compositional specification of a multi-agent system by stochastically and dynamically coloured petri nets. Stochastic Hybrid Systems: Theory and Safety Critical Applications. 2006, 337: 325−350.
18	ROTH O. Type automata. Proc. of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023: 1537−1540.
19	JORDAAN S, TIMM N, MARSHALL L. Formal methods: foundations and applications. Proc. of the 26th Brazilian Symposium, 2023: 131−140.
20	DESTOUET C, TLAHIG H, BETTAYEB B, et al Flexible job shop scheduling problem under industry 5. 0: a survey on human reintegration, environmental consideration and resilience improvement. Journal of Manufacturing Systems, 2023, 67, 155- 173.
21	YIN S, LI X W, GAO H J, et al Data-based techniques focused on modern industry: an overview. IEEE Trans. on Industrial Electronics, 2015, 62 (1): 657- 667. doi: 10.1109/TIE.2014.2308133
22	MAIDANA R G, PARHIZKAR T, GOMOLA A, et al. Supervised dynamic probabilistic risk assessment: review and comparison of methods. Reliability Engineering & System Safety, 2023, 230: 108889.
23	DELANEY W. Dynamic models and discrete event simulation. Boca Raton: CRC Press, 2020.
24	POWER D J. Specifying an expanded framework for classifying and describing decision support systems. Communications of the Association for Information Systems, 2004, 13(1): 158−166.
25	WINTENBERG A, BLISCHKE M, LAFORTUNE S, et al. A general language-based framework for specifying and verifying notions of opacity. Discrete Event Dynamic Systems-Theory and Applications. 2022, 32(2): 253−289.
26	BOUSSIF A, GHAZEL M, BASILIO J C. Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches. Discrete Event Dynamic Systems-Theory and Applications, 2021, 31(1): 59−102.
27	DESGEORGES L, PIRIOU P Y, LEMATTRE T, et al. Formalism and semantics of PyCATSHOO: a simulator of distributed stochastic hybrid automata. Reliability Engineering & System Safety, 2021, 208: 107384.
28	QIU S H, CUI X P, PING Z W, et al Deep learning techniques in intelligent fault diagnosis and prognosis for industrial systems: a review. Sensors, 2023, 23 (3): 1305. doi: 10.3390/s23031305
29	ANTONIO T. Discrete-event system theory: an introduction. Singapore: World Scientific Publishing Company, 1995.
30	AGESEN O. The cartesian product algorithm: simple and precise type inference of parametric polymorphism. Proc. of the 9th European Conference, Object-Orienteel Programming, 1995: 2−26.
31	XU C Y. Operational dependability model generation. Lyon: University of Lyon, 2020.
32	BAIER C, KIEFER S, KLEIN J, et al Markov chains and unambiguous automata. Journal of Computer and System Sciences, 2023, 136, 113- 134. doi: 10.1016/j.jcss.2023.03.005
33	WEAVER S, FRANCO J, SCHLIPF J. Extending existential quantification in conjunctions of BDDs. Journal on Satisfiability, Boolean Modeling and Computation, 2006, 1(2): 89−110.

State name	Composed AP	State name	Composed AP
A, D	idle1$ \wedge $idle2	B, F	send1$ \wedge $receive2
A, E	idle1$ \wedge $send2	C, D	receive1$ \wedge $idle2
A, F	idle1$ \wedge $receive2	C, E	receive1$ \wedge $send2
B, D	send1$ \wedge $idle2	C, F	receive1$ \wedge $receive2
B, E	send1$ \wedge $send2	—	—

A general Boolean semantic modelling approach for complex and intelligent industrial systems in the framework of DES

RichHTML

PDF (PC)

可视化

摘要/Abstract

引用本文

使用本文

图/表 8

参考文献 33

相关文章 0

编辑推荐

Metrics

本文评价