Zobrazeno 1 - 10
of 48
pro vyhledávání: '"Iwona Grobelna"'
Publikováno v:
Energies, Vol 17, Iss 2, p 505 (2024)
Common overcurrent criteria used to detect phase-to-phase short circuits in medium-voltage (MV) networks in some cases do not bring the expected results. In particular, this applies to instantaneous overcurrent protections in lines with variable rang
Externí odkaz:
https://doaj.org/article/73cbf15f674f4fe9823bf5cce324906c
Publikováno v:
Informatics in Education, Vol 22, Iss 2, Pp 257-276 (2022)
Background: Petri nets are a formal specification technique for modelling of control processes and modern flexible manufacturing systems. Interpreted Petri nets take into account input and output signals, allowing to apply them in any control system
Externí odkaz:
https://doaj.org/article/6dc7cff9eacd4abe90b86e310596a49e
Autor:
Iwona Grobelna
Publikováno v:
Sensors, Vol 23, Iss 15, p 6838 (2023)
The widespread realization of Industry 4 [...]
Externí odkaz:
https://doaj.org/article/76e225f0f12541b1a6da89692df7b2f5
Autor:
Iwona GROBELNA
Publikováno v:
Informatics in Education, Vol 19, Iss 2, Pp 223-238 (2020)
Control systems are becoming ever more commonly used in everyday life. This is true both in industry and in the domestic domain, in the form of e.g., smart home systems. The quality of such systems can be increased by using formal verification method
Externí odkaz:
https://doaj.org/article/c3448b45556149908b90cd33d37eedc0
Autor:
Iwona Grobelna
Publikováno v:
Future Internet, Vol 14, Iss 11, p 337 (2022)
The area of the Internet of Things (IoT) and cyber–physical systems (CPS) has created a great opportunity for interdisciplinary research concerning both fundamental theoretical studies as well as their application in practice [...]
Externí odkaz:
https://doaj.org/article/f8a8e4ea34624cb2a196ef809781878f
Autor:
Iwona Grobelna, Paweł Szcześniak
Publikováno v:
Sensors, Vol 22, Iss 18, p 6936 (2022)
Autonomous components within electric power systems can be successfully specified by interpreted Petri nets. Such a formal specification makes it possible to check some basic properties of the models, such as determinism or deadlock freedom. In this
Externí odkaz:
https://doaj.org/article/c724858a736d4d4eb37f61c3aad96311
Autor:
Iwona Grobelna, Paweł Szcześniak
Publikováno v:
Applied Sciences, Vol 12, Iss 9, p 4772 (2022)
In this article, interpreted Petri nets are applied to the area of power and energy systems. These kinds of nets, equipped with input and output signals for communication with the environment, have so far proved to be useful in the specification of c
Externí odkaz:
https://doaj.org/article/b86f2faca33040e599cd9516f865a2aa
Publikováno v:
Energies, Vol 14, Iss 14, p 4360 (2021)
The paper presents the existing verification methods for control algorithms in power electronics systems, including the application of model checking techniques. In the industry, the most frequently used verification methods are simulations and exper
Externí odkaz:
https://doaj.org/article/c8dc2978bf2e4a0fb4b6f1462774db4c
Publikováno v:
Sensors, Vol 20, Iss 19, p 5565 (2020)
In this paper, we study selected aspects of determinism in the control part of a cyber-physical system (CPS) that is specified by a Petri net-based model. In particular, the control interpreted Petri nets (CIPNs) are applied, which are an extension o
Externí odkaz:
https://doaj.org/article/d851729b9b764fa68ff48c9f53855494
Autor:
Iwona Grobelna
Publikováno v:
Sensors, Vol 20, Iss 18, p 5154 (2020)
The paper proposes a novel formal verification method for a state-based control module of a cyber-physical system. The initial specification in the form of user-friendly UML state machine diagrams is written as an abstract rule-based logical model. T
Externí odkaz:
https://doaj.org/article/bbffeb8b77a14c17996c6f486766b423