Browsing by Subject "Detectability"

Conference Object

Detectability in stochastic discrete event systems

Keroglou, C.; Hadjicostis, Christoforos N. (IFAC Secretariat, 2014)

In this paper we define and analyze notions of detectability in stochastic discrete event systems (SDES). More specifically, we introduce the notions of A-detectability and AA-detectability which focus on characterizing ...

Article

Detectability in stochastic discrete event systems

Keroglou, C.; Hadjicostis, Christoforos N. (2015)

A discrete event system possesses the property of detectability if it allows an observer to perfectly estimate the current state of the system after a finite number of observed symbols, i.e., detectability captures the ...

Conference Object

K-detectability in discrete event systems

Hadjicostis, Christoforos N.; Seatzu, C. (Institute of Electrical and Electronics Engineers Inc., 2016)

This paper studies observability in discrete event systems (DES), and introduces and analyzes the property of K-detectability. In particular, a given DES is strongly K-detectable if eventually (after a finite number of ...

Article

LQG optimality and separation principle for general discrete time partially observed stochastic systems over finite capacity communication channels

Charalambous, Charalambos D.; Farhadi, A. (2008)

This paper is concerned with control of stochastic systems subject to finite communication channel capacity. Necessary conditions for reconstruction and stability of system outputs are derived using the Information ...

Article

Verification of detectability in Probabilistic Finite Automata

Keroglou, C.; Hadjicostis, Christoforos N. (2017)

In this paper we analyze state estimation in stochastic discrete event systems (SDES) that can be modeled as probabilistic finite automata (PFAs). For a given PFA, we obtain the necessary and sufficient conditions that ...