Verification of Detectability for Unambiguous Weighted Automata

DOI10.1109/TAC.2020.2995173OpenAlexW3027342766MaRDI QIDQ4990197

Aiwen Lai, Alessandro Giua, Sébastien Lahaye

Publication date: 28 May 2021

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tac.2020.2995173

Mathematics Subject Classification ID

Systems theory; control (93-XX)

Related Items (2)

Behaviour equivalent max-plus automata for timed Petri nets under open-loop race-policy semantics ⋮ Detectability of labeled weighted automata over monoids

This page was built for publication: Verification of Detectability for Unambiguous Weighted Automata