Basket

0578399 - MÚ 2024 RIV US eng C - Conference Paper (international conference)
Miao, S. - Lai, A. - Yu, X. - Lahaye, S. - Komenda, Jan
Verification of detectability for unambiguous weighted automata using self-composition.
9th International Conference on Control, Decision and Information Technologies (CoDIT). Los Alamitos: IEEE, 2023 - (Califano, C.; Jabeur Telmoud, A.; Herrera Viedma, E.), s. 251-256. ISBN 979-8-3503-1141-9.
[9th International Conference on Control, Decision and Information Technologies (CoDIT). Rome (IT), 03.07.2023-06.07.2023]
R&D Projects: GA ČR(CZ) GC19-06175J
Institutional support: RVO:67985840
Keywords : discrete event system * unambiguous weighted automaton * self-composition * detectability * polynomial time
OECD category: Automation and control systems
https://doi.org/10.1109/CoDIT58514.2023.10284082
Permanent Link: https://hdl.handle.net/11104/0347401