Estimation and Inference in Discrete Event Systems

DOI10.1007/978-3-030-30821-6zbMath1436.93002OpenAlexW4233908264MaRDI QIDQ5243063

Christoforos N. Hadjicostis

Publication date: 14 November 2019

Published in: Communications and Control Engineering (Search for Journal in Brave)

Full work available at URL: https://rd.springer.com/content/pdf/10.1007%2F978-3-030-30821-6.pdf

zbMATH Keywords

state estimationfinite automatadiagnosabilitydiscrete event systemsopacitydetectabilitydecentralized state estimation, distributed state estimation

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Discrete event control/observation systems (93C65) Research exposition (monographs, survey articles) pertaining to systems and control theory (93-02) Observability (93B07)

Related Items (17)

Enforcement for infinite-step opacity and K-step opacity via insertion mechanism ⋮ A framework for current-state opacity under dynamic information release mechanism ⋮ Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection ⋮ A general language-based framework for specifying and verifying notions of opacity ⋮ Distributed diagnosis of discrete-event systems under dynamic event observations ⋮ Strong current-state and initial-state opacity of discrete-event systems ⋮ State-based opacity of labeled real-time automata ⋮ Online prognosis of stochastic discrete event systems with guaranteed performance bound ⋮ Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques ⋮ Probabilistic verification of diagnosability for a certain class of timed stochastic systems ⋮ A language-based diagnosis framework for permanent and intermittent faults ⋮ Diagnosability of fault patterns with labeled stochastic Petri nets ⋮ A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems ⋮ Verification of approximate opacity for switched systems: a compositional approach ⋮ On verification of D-detectability for discrete event systems ⋮ Detectability of labeled weighted automata over monoids ⋮ \(K\)-diagnosability analysis of bounded and unbounded Petri nets using linear optimization

This page was built for publication: Estimation and Inference in Discrete Event Systems