Zobrazeno 1 - 10
of 12
pro vyhledávání: '"Łukasz Stefanowicz"'
Publikováno v:
Journal of Systems Architecture. 96:20-31
Edge computing, the architecture of cloud computing systems in which operations and computation tasks are shifted from the centralized cloud-based system to the devices being close to end users, has been gaining increasing popularity in recent years.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a02fba2aeca1bcf0146ea54ef1ea506a
https://doi.org/10.1016/j.sysarc.2019.01.015
https://doi.org/10.1016/j.sysarc.2019.01.015
Publikováno v:
AIP Conference Proceedings.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::798121b7a4593db85aa01c1d423f6249
https://doi.org/10.1063/1.5079141
https://doi.org/10.1063/1.5079141
Publikováno v:
AIP Conference Proceedings.
A safety analysis method for Petri nets is proposed in the paper. The idea relies on the computation of the state machine components cover computed with the linear algebra technique. Contrary to the traditional algorithms the presented method is an a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::31fa6bf4ff930b6681ad4dd29d691bd3
https://doi.org/10.1063/1.5079142
https://doi.org/10.1063/1.5079142
Publikováno v:
IFAC-PapersOnLine. 48:302-305
The paper presents a new concept of the selection of prime implicants in a two-level logic minimization of Boolean functions. The method is based on the two-level minimization process of the Boolean functions, according to the Quine-McCluskey approac
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::63a3add4d668b10abbad334c2ecf85f8
https://doi.org/10.1016/j.ifacol.2015.07.051
https://doi.org/10.1016/j.ifacol.2015.07.051
Autor:
Łukasz Stefanowicz
Publikováno v:
Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2016.
In the article author presents an idea of decomposition algorithm of discrete systems described by Petri Nets using pinvariants. Decomposition process is significant from the point of view of discrete systems design, because it allows separation of t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ccdb91f8c46bdf035e1a72466a75f668
https://doi.org/10.1117/12.2245786
https://doi.org/10.1117/12.2245786
Autor:
Łukasz Stefanowicz, Iwona Grobelna
Publikováno v:
AIP Conference Proceedings.
In the article we present the idea of modifications of Martinez-Silva algorithm, which allows for determination of place invariants (p-invariants) of Petri net. Their generation time is important in the parallel decomposition of discrete systems desc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c8b6f101ee93df3d9d1c4b1a9e5e3760
https://doi.org/10.1063/1.4968657
https://doi.org/10.1063/1.4968657
Publikováno v:
AIP Conference Proceedings.
Reconfigurable systems are recently used in many domains. Although the concept of multi-context logic controllers is relatively new, it may be noticed that the subject is receiving a lot of attention, especially in the industry. The work constitutes
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6d0075f054e20d55202457dd30ef99d5
https://doi.org/10.1063/1.4968656
https://doi.org/10.1063/1.4968656
Publikováno v:
AIP Conference Proceedings.
In the paper a new approach to formal verification of control process specification expressed by means of UML state machines in version 2.x is proposed. In contrast to other approaches from the literature, we use the abstract and universal rule-based
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::41109318291a6fb6aaf7965a5b197f28
https://doi.org/10.1063/1.4968655
https://doi.org/10.1063/1.4968655
Autor:
P. Mróz, Łukasz Stefanowicz
Publikováno v:
AIP Conference Proceedings.
The article relates to the problem of State Machine Components selection using hypergraphs theory. The base method of exact transversals was presented as well as exact transversal and simple transversal computation. Due to limitations of xt-hypergrap
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2dbea0790da5b91d80fcfc7425f77a57
https://doi.org/10.1063/1.4938885
https://doi.org/10.1063/1.4938885
Publikováno v:
Lecture Notes in Electrical Engineering ISBN: 9783642548994
Two methods of Petri nets decomposition into State Machine Components (SMCs) are shown in the paper. The first one bases on the well-known algorithm of place invariants (p-invariants) calculation. The second method applies hypergraph theory and compu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e2503fcaa100dbfd106315c0edca96dd
https://doi.org/10.1007/978-3-642-54900-7_52
https://doi.org/10.1007/978-3-642-54900-7_52
