Deciding detectability for labeled Petri nets

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F19%3A00504048" target="_blank" >RIV/67985840:_____/19:00504048 - isvavai.cz</a>

Nalezeny alternativní kódy

RIV/61989592:15310/19:73595710

Výsledek na webu

<a href="http://dx.doi.org/10.1016/j.automatica.2019.02.058" target="_blank" >http://dx.doi.org/10.1016/j.automatica.2019.02.058</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1016/j.automatica.2019.02.058" target="_blank" >10.1016/j.automatica.2019.02.058</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Deciding detectability for labeled Petri nets

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Deciding detectability for labeled Petri nets

Popis výsledku anglicky

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.

Druh

J_imp - Článek v periodiku v databázi Web of Science

CEP obor

—

OECD FORD obor

20205 - Automation and control systems

Projekt

<a href="/cs/project/GC19-06175J" target="_blank" >GC19-06175J: Kompozitní metody pro řízení konkurentních časovaných diskrétních událostních systémů</a><br>

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2019

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

Automatica

ISSN

0005-1098

e-ISSN

—

Svazek periodika

104

Číslo periodika v rámci svazku

June

Stát vydavatele periodika

NL - Nizozemsko

Počet stran výsledku

4

Strana od-do

238-241

Kód UT WoS článku

000466616600027

EID výsledku v databázi Scopus

2-s2.0-85063045219