Diagnosis of discrete event system by stochastic timed automata

被引：0

作者：

Zemouri, Ryad

Faure, Jean Marc

机构：

[1] Lab Univ Rech & Prod Automatise, F-94235 Cachan, France

[2] Lab Automatisme Industriel CNAM, F-75013 Paris, France

[3] Supmeca, F-93407 St Ouen, France

来源：

Proceedings of the 2006 IEEE International Conference on Control Applications, Vols 1-4 | 2006年

关键词：

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

the paper describes a diagnosis method for detecting and identifying faults that occur in a discrete-event system described by a stochastic timed automaton. The proposed diagnosis algorithm is based whether the measured event time sequences are consistent with a stochastic timed discrete event model. The degree of this consistence is given by a continuous diagnosis function. The diagnosis which consists of two parts (fault detection and identification) is then obtained.

引用

页码：1185 / 1190

页数：6

共 50 条

[21] Removing timed delays in stochastic automata
Dankar, Fida Kamal
Bocmann, Gregor v.
CIC 2006: 15TH INTERNATIONAL CONFERENCE ON COMPUTING, PROCEEDINGS, 2006, : 247 - +
[22] Compositional Design of Stochastic Timed Automata
Bouyer, Patricia
Brihaye, Thomas
Carlier, Pierre
Menet, Quentin
COMPUTER SCIENCE - THEORY AND APPLICATIONS, CSR 2016, 2016, 9691 : 117 - 130
[23] Importance Sampling for Stochastic Timed Automata
Jegourel, Cyrille
Larsen, Kim G.
Legay, Axel
Mikucionis, Marius
Poulsen, Danny Bogsted
Sedwards, Sean
DEPENDABLE SOFTWARE ENGINEERING: THEORIES, TOOLS, AND APPLICATIONS, 2016, 9984 : 163 - 178
[24] Distributed synchronous diagnosis of discrete event systems modeled as automata
Veras, Maria Z. M.
Cabral, Felipe G.
Moreira, Marcos V.
CONTROL ENGINEERING PRACTICE, 2021, 115
[25] Event-clock automata: a determinizable class of timed automata
Alur, R
Fix, L
Henzinger, TA
THEORETICAL COMPUTER SCIENCE, 1999, 211 (1-2) : 253 - 273
[26] Efficient Timed Diagnosis Using Automata with Timed Domains
Bouyer, Patricia
Jaziri, Samy
Markey, Nicolas
RUNTIME VERIFICATION (RV 2018), 2018, 11237 : 205 - 221
[27] Diagnosis of timed patterns for discrete event systems by means of state isolation
Lefebvre, Dimitri
Li, Zhiwu
Liang, Ye
AUTOMATICA, 2023, 153
[28] Exposure and Revelation Times as a Measure of Opacity in Timed Stochastic Discrete Event Systems
Lefebvre, Dimitri
Hadjicostis, Christoforos N.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2021, 66 (12) : 5802 - 5815
[29] A Comparative Study of Fault Prognosis Approaches for Timed Stochastic Discrete Event Systems
Ammour, R.
Leclercq, E.
Sanlaville, E.
Lefebvre, D.
IFAC PAPERSONLINE, 2017, 50 (01): : 6807 - 6812
[30] Fault diagnosis of timed discrete event systems using Dioid Algebra
Sobhi Baniardalani
Javad Askari
International Journal of Control, Automation and Systems, 2013, 11 : 1095 - 1105

← 1 2 3 4 5 →