New approach of diagnosis with hybrid automata

被引：0

作者：

Olfa, Azzabi ^{[1
]}

Ben Njima, Chakib ^{[1
]}

Messaoud, Hassani ^{[1
]}

机构：

[1] Natl Engn Sch Monastir, LARATSI Lab, Monastir, Tunisia

来源：

2017 INTERNATIONAL CONFERENCE ON CONTROL, AUTOMATION AND DIAGNOSIS (ICCAD) | 2017年

关键词：

hybrid dynamic system; diagnosis; hybrid automata;

D O I：

暂无

中图分类号：

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

学科分类号：

0812 ;

摘要：

this paper deals with the diagnosis problem of hybrid dynamic system. An Efficient diagnosis technique has to be adopted to detect, isolate faults. The modeling tool selected is the hybrid automata for its power analysis. A simple process is used to demonstrate the modeling steps and the time analysis method to reach the diagnosis results.

引用

页码：298 / 302

页数：5

共 16 条

[1] THE ALGORITHMIC ANALYSIS OF HYBRID SYSTEMS [J].

ALUR, R ;

COURCOUBETIS, C ;

HALBWACHS, N ;

HENZINGER, TA ;

HO, PH ;

NICOLLIN, X ;

OLIVERO, A ;

SIFAKIS, J ;

YOVINE, S .

THEORETICAL COMPUTER SCIENCE, 1995, 138 (01) :3-34

[2]

Alur Rajeev, 1992, LNCS, P209, DOI [DOI 10.1007/3-540-57318-6, DOI 10.1007/3-540-57318-6_30]

[3]

[Anonymous], 1995, THESIS MIT

[4]

[Anonymous], 2005, P 17 IMACS WORLD C P

[5]

Azzabi O., 2016, CONTROL DECISION INF, V16

[6]

Bellali B., 2012, INT J ELECT COMPUTER, V2, P166

[7]

Bouyer P., 2000, Mathematical Foundations of Computer Science 2000. 25th International Symposium, MFCS 2000. Proceedings. (Lecture Notes in Computer Science Vol.1893), P232

[8]

Champagnat R., 1998, ADPM 98 C AUT MIX PR

[9]

Cocquempot V., 2004, 2004 5th Asian Control Conference (IEEE Cat. No.04EX904), P1204

[10]

Engell S., 1997, 2 IMACSMATHMOD C VIE, P17031

← 1 2 →