Design of decentralized critical observers for networks of finite state machines: a formal method approach

DOI10.1016/j.automatica.2017.08.025zbMath1375.93014arXiv1412.1784OpenAlexW2755285785MaRDI QIDQ1678627

Giordano Pola, Davide Pezzuti, Maria Domenica Di Benedetto, Elena De Santis

Publication date: 17 November 2017

Published in: Automatica (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1412.1784

zbMATH Keywords

bisimulation equivalencedecentralized observerscritical observabilitynetwork of finite state machines

Mathematics Subject Classification ID

Observability (93B07) Cellular automata (computational aspects) (68Q80) Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) (aspects in computer science) (68P30) Large-scale systems (93A15)

Related Items (2)

Observability and diagnosability of finite state systems: a unifying framework ⋮ Verification of approximate opacity for switched systems: a compositional approach

Uses Software

• UMDES

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Diagnosability of discrete event systems with modular structure
• Optimal sensor activation for diagnosing discrete event systems
• An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions
• On observability of discrete-event systems
• Discrete state observability of hybrid systems
• Three Partition Refinement Algorithms
• Think globally, act locally: decentralized supervisory control
• Diagnosability of discrete-event systems
• Minimization of Dynamic Sensor Activation in Discrete Event Systems for the Purpose of Control
• Fault diagnosis in discrete-event systems: Framework and model reduction
• Minimal communication in a distributed discrete-event system
• Global and local consistencies in distributed fault diagnosis for discrete-event systems
• Detectability of Discrete Event Systems
• On Codiagnosability and Coobservability With Dynamic Observations

This page was built for publication: Design of decentralized critical observers for networks of finite state machines: a formal method approach