Počet záznamů: 1
Deciding detectability for labeled Petri nets
- 1.
SYSNO ASEP 0504048 Druh ASEP J - Článek v odborném periodiku Zařazení RIV J - Článek v odborném periodiku Poddruh J Článek ve WOS Název Deciding detectability for labeled Petri nets Tvůrce(i) Masopust, Tomáš (MU-W) RID, ORCID, SAI
Yin, X. (CN)Zdroj.dok. Automatica. - : Elsevier - ISSN 0005-1098
Roč. 104, June (2019), s. 238-241Poč.str. 4 s. Jazyk dok. eng - angličtina Země vyd. NL - Nizozemsko Klíč. slova discrete event systems ; Petri nets ; complexity Vědní obor RIV BA - Obecná matematika Obor OECD Automation and control systems CEP GC19-06175J GA ČR - Grantová agentura ČR Způsob publikování Omezený přístup Institucionální podpora MU-W - RVO:67985840 UT WOS 000466616600027 EID SCOPUS 85063045219 DOI 10.1016/j.automatica.2019.02.058 Anotace Detectability of discrete event systems is a property to decide whether the current and subsequent states can be determined based on observations. We investigate the existence of algorithms for checking strong and weak detectability for systems modeled as labeled Petri nets. Strong detectability requires that we can always determine, after a finite number of observations, the current and subsequent markings of the system, while weak detectability requires that we can determine, after a finite number of observations, the current and subsequent markings for some trajectories of the system. We show that there is an algorithm to check strong detectability requiring exponential space, and that there is no algorithm to check weak detectability. Pracoviště Matematický ústav Kontakt Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757 Rok sběru 2020 Elektronická adresa http://dx.doi.org/10.1016/j.automatica.2019.02.058
Počet záznamů: 1