Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation

DOI10.1007/s10626-017-0265-6zbMath1398.93219OpenAlexW2782865495MaRDI QIDQ1788691

João Carlos Basilio, Carlos E. V. Nunes, Marcos V. S. Alves, Marcos Vicente Moreira, Lilian Kawakami Carvalho

Publication date: 8 October 2018

Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10626-017-0265-6

zbMATH Keywords

communication delaysautomatonlanguage codiagnosabilitynetworked discrete-event systems

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Discrete event control/observation systems (93C65) Observability (93B07) Software, source code, etc. for problems pertaining to systems and control theory (93-04)

Related Items (11)

Robust decentralized diagnosability of networked discrete event systems against DoS and deception attacks ⋮ \(K\)-loss robust codiagnosability of discrete-event systems ⋮ A general framework for diagnosis of discrete event systems subject to sensor failures ⋮ Decentralized diagnosis of discrete event systems subject to permanent sensor failures ⋮ Information control in networked discrete event systems and its application to battery management systems ⋮ On detectability of labeled Petri nets and finite automata ⋮ Detectability of networked discrete event systems ⋮ Opacity of networked discrete event systems ⋮ Enforcing current-state opacity through shuffle and deletions of event observations ⋮ Robust supervisory control of discrete event systems against intermittent loss of observations ⋮ Robustly distributed diagnosis of discrete-event systems and its application to alipay transaction systems

Uses Software

• UMDES

Cites Work

• Decentralized control of networked discrete event systems with communication delays
• Safe supervisory control under observability failure
• Supervisory control of discrete event systems with communication delays and partial observations
• Decentralized supervisory control of discrete event systems with communication delays based on conjunctive and permissive decision structures
• Input/output discrete event processes and communication delays
• On the effect of communication delays in failure diagnosis of decentralized discrete event systems
• Robust diagnosis of discrete event systems against intermittent loss of observations
• Robust diagnosis of discrete-event systems against permanent loss of observations
• Coordinated decentralized protocols for failure diagnosis of discrete event systems
• Robustness of synchronous communication protocols with delay for decentralized discrete-event control
• Verification of robust diagnosability for partially observed discrete event systems
• Nonblocking Supervisory Control of Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions
• “Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems” Versus “Decentralized Failure Diagnosis of Discrete Event Systems”: A Critical Appraisal
• Supervisor Synthesis for Networked Discrete Event Systems With Communication Delays
• Introduction to Discrete Event Systems
• Diagnosability of discrete-event systems
• Maximum Likelihood Failure Diagnosis in Finite State Machines Under Unreliable Observations
• Decentralized Control of Discrete-Event Systems With Bounded or Unbounded Delay Communication
• Delay-Robust Supervisory Control of Discrete-Event Systems With Bounded Communication Delays
• Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems
• Control of Networked Discrete Event Systems: Dealing with Communication Delays and Losses

This page was built for publication: Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation