Show simple item record

dc.contributor.authorAthanasopoulou, E.en
dc.contributor.authorHadjicostis, Christoforos N.en
dc.creatorAthanasopoulou, E.en
dc.creatorHadjicostis, Christoforos N.en
dc.description.abstractIn this paper we study fault detection in systems that can be modeled as finite state machines (FSMs). We aim at detecting faults that manifest themselves as permanent changes in the next-state transition functionality of the FSM. Fault diagnosis is performed by an external observer/diagnoser that functions as an FSM and which has access to the input sequence applied to the system but has only limited access to the system state or output In particular, we assume that the observer/diagnoser is only able to obtain partial information regarding the state of the system at irregular time intervals that are determined by certain synchronizing conditions between the system and the observer/diagnoser. By adopting a probabilistic framework, we analyze ways to optimally choose these synchronizing conditions and develop adaptive strategies that achieve a low probability of aliasing, i.e., a low probability that the external observer/diagnoser incorrectly declares the system as fault-free.en
dc.sourceProceedings of the IEEE Conference on Decision and Controlen
dc.sourceProceedings of the IEEE Conference on Decision and Controlen
dc.subjectDiscrete time control systemsen
dc.subjectMarkov processesen
dc.subjectMatrix algebraen
dc.subjectMarkov modelsen
dc.subjectDiscrete event systemsen
dc.subjectFinite state machinesen
dc.subjectProbabilistic fault diagnosisen
dc.subjectDiscrete event system (des)en
dc.subjectAutomata theoryen
dc.subjectControl theoryen
dc.subjectFault detectionen
dc.titleSynchronization-based fault detection in discrete event systemsen
dc.description.endingpage62Πολυτεχνική Σχολή / Faculty of EngineeringΤμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών / Department of Electrical and Computer Engineering
dc.type.uhtypeConference Objecten
dc.contributor.orcidHadjicostis, Christoforos N. [0000-0002-1706-708X]

Files in this item


There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record