Detection and diagnosis of hybrid dynamic systems based on Time Fuzzy Petri nets

Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics

Volumn 2, Issue , 2004, Pages 1825-1831

  Loures, Eduardo Rocha ^a,b   Pascal, Jean Claude ^a  

^a LAAS CNRS   (France)

^b PONTIFICAL CATHOLIC UNIVERSITY OF PARANÁ   (Brazil)

Author keywords

Detection; Diagnosis; Hybrid systems; Possibility theory; Qualitative modelling; Time fuzzy Petri nets

Indexed keywords

DETECTION; FUZZY AUTOMATA; HYBRID SYSTEMS; POSSIBILITY THEORY; QUALITATIVE MODELING; TIME FUZZY PETRI NETS; TIMED AUTOMATA;

APPROXIMATION THEORY; AUTOMATA THEORY; DIFFERENTIAL EQUATIONS; FUZZY SETS; GRAPH THEORY; MATHEMATICAL MODELS; NEURAL NETWORKS; RANDOM PROCESSES;

PETRI NETS;

EID: 15744403219     PISSN: 1062922X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSMC.2004.1399920     Document Type: Conference Paper

References (26)

1. H. Alla, R. David, "Continuous and hybrid Petri nets", Journal of Circuits, Systems and Computer, 8(1), pp. 159-188, 1998.
2. P. Bourseau et al., "Qualitative reasoning: a survey of techniques and applications", AI Communications. Special Issue MQ&D: Qualitative Reasoning, Vol.8, No. 3/4, pp. 119-192, 1995
3. K. Bousson, J. Steyer, L. Travé-Massuyès et B. Dahhou, "From a rule-base to a predictive qualitative model-based approach using automated model generation. Application to the monitoring and diagnosis of biological process", Engineering Applications of Artificial Intelligence, 11, pp. 477-493, 1998.
4. J. Cardoso Time Fuzzy Petri Nets, Fuzziness in Petri Nets -Studies in Fuzziness and Soft Computing, Physica-Verlag, Janette Cardoso e Heloisa Camargo, Vol. 22, pp.115-145, 1999.
5. J. Cardoso, R. Valette, D. Dubois. Possibilistic Petri Nets. IEEE Transactions on Systems, Man and Cybernetics - part B: Cybernetics, vol. 29, n.5, Oct. 1999.
6. rd International Conference on Automation of Mixed Process (ADPM'98), Reims, França, pp. 131-137, 1998.
7. J. Cury and B. Krogh, "Supervisory Control of Hybrid Systems Using Approximating Hybrid Automata", Journal of the Society of Instrument and Control Engineers (SICE), 1999.
8. D. Dubois, H. Prade. A Brief Introduction to Possibility Theory and Its use for Processing Fuzzy Temporal Information Fuzziness in Petri Nets - Studies in Fuzziness and Soft Computing, Physica-Verlag, J. Cardoso et H. Camargo, pp.52-71, vol. 22, 1999.
9. A. Fanni and A. Giua, "Discret Event Representation of Qualitative Models Using Petri Nets", IEEE Transactions on Systems, Man and Cybernetics - Part B, Cybernetics, Vol. 28, 1998.
10. M. Ghallab, "On Chronicles: Representation, On_line Recognition and Learning", Proceedings of the 5th International Conference on Principles of Knowledge Representation and Reasoning (KR'96), Cambridge (USA), pp. 597-606, 1996.
11. A. Helias, F. Guerrin, J. Harmand and J. Steyer, "Abstraction en modèles discrets de modèle d'évolution de stocks continus: Application à la gestion des effluents d'élevage", Système d'Information, Modélisation, Optimisation, Commande en Génie des Procédés (SIMO 2002), Toulouse, França, 2002.
12. X. Koutsoukos, M. Lemmon and P. Antsaklis, "Timed Petri nets in Hybrid Systems: Stability and Supervisory Control", Journal of Discrete Event Dynamic Systems: Theory and Applications, 8(2), pp. 137-173, 1998.
13. X. Koutsoukos, P. Antsaklis, J. Stiver and M. Lemmon, "Supervisory Control of Hybrid Systems", Proceedings of IEEE, Special Issue in Hybrid Systems, pp. 1026-1049, 2000.
14. L. A. Künzle, R. Valette, B. Pradin-Chézalviel. Temporal reasoning in fuzzy time Petri nets. Fuzziness in Petri Nets - Studies in Fuzziness and Soft Computing, Physica-Verlag, J. Cardoso et H. Camargo, pp. 146-173, vol. 22, 1999.
15. J. Lunze, "Qualitative modelling of dynamical systems Motivation, methods and prospective applications", Mathematics and Computers in Simulation, 46, pp. 465-483, 1998.
16. J. Meléndez and J. Colomer, "Episodes representation for supervision. Application to diagnosis of a level control system", Workshop on Principles of Diagnosis (DX'01), Sansicario, Italia, 2001.
17. J. Montmain and S. Gentil (2000). "Dynamic causal model diagnostic reasoning for online technical process supervision", Automatica, 36, pp. 1137-1152.
18. J. Mosterman, "Diagnosis of Physical Systems With Hybrid Models Using Parameterised Causality", Proceedings of Hybrid Systems: Computation and Control, 4th International Workshop (HSCC01), Rome, Italia, pp.447-458, 2001.
19. th International Conference on Automation of Mixed Processes: Hybrid Dynamic Systems (ADPM'2000), Dortmund (Allemagne), pp.369-374, 2000.
20. P. Peleties and R. DeCarlo, "Analysis of hybrid systems using symbolic dynamics and Petri Nets", Automatica, 30, pp. 1421-1427, 1994.
21. J. Raisch, "Discrete Abstractions of Continuous Systems -an Input/Output Point of View", Mathematical and Computer Modelling of Dynamical Systems, Vol.6, No. 1, pp. 6-29, 2000.
22. P. Ramadge and W. Wonham, "Supervisory control of a class of discrete event systems," SIAM J.Contr. Optim., Vol. 25, pp. 206-230, 1987.
23. P. Supavatanakul, C. Falkenberg and J. Lunze, "Identification of timed discret-event models for diagnosis", International Workshop on Principles and Diagnosis (DX 2003), Washington, EUA, 2003.
24. R. Su, S. Abdelwahed, G. Karsai and G. Biswas, "Discrete Abstraction and Supervisory Control of Switching Systems", IEEE International Conference on Systems, Man and Cybernetics, Vol. 1, pp. 415-421, 2003.
25. E. Tarifa and N. Scenna, "Fault diagnosis for a MSF using a SDG and fuzzy logic", Elsevier Desalination, 152, pp. 207-214, 2002.
26. th IEEE International Symposium on Intelligence Control (ISIC'2000), Rio Patras, Grécia, 2000.