Active diagnosis of time-interval automata: Time perspectives

Result code in 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>

Result on the web

<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>

Result language

angličtina

Original language name

Active diagnosis of time-interval automata: Time perspectives

Original language description

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.

Czech name

—

Czech description

—

Type

J_imp - Article in a specialist periodical, which is included in the Web of Science database

CEP classification

—

OECD FORD branch

20205 - Automation and control systems

Project

—

Continuities

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year

2025

Confidentiality

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

Name of the periodical

IEEE Transactions on Automation Science and Engineering

ISSN

1545-5955

e-ISSN

1558-3783

Volume of the periodical

22

Issue of the periodical within the volume

January

Country of publishing house

US - UNITED STATES

Number of pages

11

Pages from-to

11239-11249

UT code for WoS article

001463995900030

EID of the result in the Scopus database

2-s2.0-105003030020