Active diagnosis of time-interval automata: Time perspectives

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F25%3A00618848" target="_blank" >RIV/67985840:_____/25:00618848 - isvavai.cz</a>

Výsledek na webu

<a href="https://doi.org/10.1109/TASE.2025.3531787" target="_blank" >https://doi.org/10.1109/TASE.2025.3531787</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1109/TASE.2025.3531787" target="_blank" >10.1109/TASE.2025.3531787</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Active diagnosis of time-interval automata: Time perspectives

Popis výsledku v původním jazyce

Language diagnosability captures the capability of the system to detect faults based on observations. When a system is not diagnosable, supervisory control can be used to enforce its diagnosability to prevent the faults from occurring silently, known as the active diagnosis problem. Note that in the context of timed discrete-event systems, an observation contains not only the sequence of the events but also their time information. Therefore, two sequences consisting of the same events but with different occurrence time instants can still reveal the occurrence of faults. This fact motivates us to consider enforcing the diagnosability of a timed discrete-event system by regulating the occurrence time instants of certain controllable events. In this paper, we first construct a verifier for a time-interval automaton to verify its diagnosability. Then, based on the verifier, we enforce the diagnosability of a time-interval automaton by restricting the time intervals of certain controllable events and disabling some controllable events.

Název v anglickém jazyce

Active diagnosis of time-interval automata: Time perspectives

Popis výsledku anglicky

Language diagnosability captures the capability of the system to detect faults based on observations. When a system is not diagnosable, supervisory control can be used to enforce its diagnosability to prevent the faults from occurring silently, known as the active diagnosis problem. Note that in the context of timed discrete-event systems, an observation contains not only the sequence of the events but also their time information. Therefore, two sequences consisting of the same events but with different occurrence time instants can still reveal the occurrence of faults. This fact motivates us to consider enforcing the diagnosability of a timed discrete-event system by regulating the occurrence time instants of certain controllable events. In this paper, we first construct a verifier for a time-interval automaton to verify its diagnosability. Then, based on the verifier, we enforce the diagnosability of a time-interval automaton by restricting the time intervals of certain controllable events and disabling some controllable events.

Druh

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

CEP obor

—

OECD FORD obor

20205 - Automation and control systems

Projekt

—

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2025

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

IEEE Transactions on Automation Science and Engineering

ISSN

1545-5955

e-ISSN

1558-3783

Svazek periodika

22

Číslo periodika v rámci svazku

January

Stát vydavatele periodika

US - Spojené státy americké

Počet stran výsledku

11

Strana od-do

11239-11249

Kód UT WoS článku

001463995900030

EID výsledku v databázi Scopus

2-s2.0-105003030020