Codiagnosability Analysis of Discrete-Event Systems Modeled by Weighted Automata

DOI10.1109/TAC.2019.2897268zbMath1482.68128OpenAlexW2914702321MaRDI QIDQ5211195

Gustavo S. Viana, João Carlos Basilio, Marcos Vicente Moreira

Publication date: 28 January 2020

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

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Discrete event control/observation systems (93C65)

Related Items (6)

Robust decentralized diagnosability of networked discrete event systems against DoS and deception attacks ⋮ Minimal diagnosis and diagnosability of discrete-event systems modeled by automata ⋮ Disjunctive fault prediction of decentralized discrete event systems: verification, predictor design and K-copredictability ⋮ Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches ⋮ Enforcing current-state opacity through shuffle and deletions of event observations ⋮ \(K\)-diagnosability analysis of bounded and unbounded Petri nets using linear optimization

This page was built for publication: Codiagnosability Analysis of Discrete-Event Systems Modeled by Weighted Automata