Zobrazeno 1 - 10
of 2 529
pro vyhledávání: '"Discrete event system"'
Publikováno v:
Моделирование и анализ информационных систем, Vol 31, Iss 1, Pp 54-77 (2024)
The article is devoted to the development of an approach to solving the main problems of the theory of supervisory control of logical discrete-event systems (DES), based on their representation in the form of positively constructed formulas (PCF). We
Externí odkaz:
https://doaj.org/article/87422661580140c7af5d14622a7758de
Publikováno v:
IEEE Access, Vol 12, Pp 84189-84203 (2024)
In the context of extended probabilistic automata, this study focuses on an information flow property, called opacity, of discrete event systems. The achievement of this research is the formulation and in-depth analysis of what is termed sequential k
Externí odkaz:
https://doaj.org/article/48c47a07850645f5bf41dd6aa78dd46f
Publikováno v:
IEEE Access, Vol 12, Pp 78759-78772 (2024)
Deadlocks are of paramount importance in resource allocation systems, which are usually treated from the perspective of discrete event systems. This paper develops a deadlock prevention strategy for a system modeled with Petri nets, by endowing appro
Externí odkaz:
https://doaj.org/article/25152f2b918a487893937417564c83b7
Publikováno v:
IEEE Access, Vol 12, Pp 53713-53738 (2024)
Program deadlock detection plays an important role in ensuring the stability of software systems. In view of the high efficiency and low false alarm rate, dynamic deadlock analysis methods are widely studied. However, existing dynamic analysis method
Externí odkaz:
https://doaj.org/article/5d971f31dd2447448367d44d6288abb0
Publikováno v:
Mathematics, Vol 12, Iss 17, p 2635 (2024)
This paper addresses the problem of cyber-attack detection in a discrete event system by proposing a novel model. The model utilizes graph convolutional networks to extract spatial features from event sequences. Subsequently, it employs gated recurre
Externí odkaz:
https://doaj.org/article/070b4a2e476f4ed5949d049594af3476
Publikováno v:
Mathematics, Vol 12, Iss 11, p 1687 (2024)
The supervisory control of Petri nets aims to enforce the undesired behavior as unreachable by designing a set of control places. This work presents a set cover approach to design maximally permissive supervisors. For each first-met bad marking, an i
Externí odkaz:
https://doaj.org/article/1edce1f6740b4d23b1194a5f9c7e9ede
Publikováno v:
Information, Vol 15, Iss 5, p 267 (2024)
In response to the challenges introduced by global warming and increased eutrophication, this paper presents an innovative modeling and simulation (M&S)-driven model for developing an automated inland water monitoring system. This system is grounded
Externí odkaz:
https://doaj.org/article/446a8985acd74539ad2b0aaa4279f0f3
Publikováno v:
Computation, Vol 12, Iss 5, p 95 (2024)
This paper establishes a connection between control theory for partially observed discrete-event systems (DESs) and automated theorem proving (ATP) in the calculus of positively constructed formulas (PCFs). The language of PCFs is a complete first-or
Externí odkaz:
https://doaj.org/article/fdb8eeb5e319407282acfd41f0583d95
Publikováno v:
IEEE Access, Vol 11, Pp 109500-109512 (2023)
This paper addresses the scheduling problem for discrete event systems modeled by labeled Petri nets with time and resource constraints where deadlocks are inevitable. For better resource utilization and shorter processing time, a heuristic algorithm
Externí odkaz:
https://doaj.org/article/359a5cdfd626466e9a8a88ad9701b354
Publikováno v:
IEEE Access, Vol 11, Pp 59840-59853 (2023)
Reinforcement learning (RL) can obtain the supervisory controller for discrete-event systems modeled by finite automata and temporal logic. The published methods often have two limitations. First, a large number of training data are required to learn
Externí odkaz:
https://doaj.org/article/95cbdc88ac204de1b4878639f7d2cd8a