Linear Hybrid Automaton Generation Using Mapping Algorithm for Hybrid Dynamic Systems

Автор: Sekhri Larbi, Haffaf Hafid

Журнал: International Journal of Information Technology and Computer Science(IJITCS) @ijitcs

Статья в выпуске: 10 Vol. 6, 2014 года.

Бесплатный доступ

Hybrid dynamic systems are analyzed through linear hybrid automaton. In this paper, we propose a mapping algorithm to deal with a new Continuous elementary HPN. The method shown enables us to analyze some system properties using a linear hybrid automaton generated by a mapping process. The application involves a water system of three tanks, which is analyzed by a PHAVer (Polyhedral Hybrid Automaton Verifier) software tool. Its effectiveness is illustrated by numerical simulation results.

Hybrid Dynamic System, Hybrid Petri- Nets, Evolution Graph, Linear Hybrid Automaton

Короткий адрес: https://sciup.org/15012165

IDR: 15012165

Список литературы Linear Hybrid Automaton Generation Using Mapping Algorithm for Hybrid Dynamic Systems

  • A. Zaidi, M. Tagina and B. Ould Bouamama, Reliability Data for improvement of Decision-Making in Analytical Redundancy Relations Bond Graph based Diagnosis, IEEE/ASME International Conference on Advanced Intelligent Mechatronics Montréal, Canada, July 6-9, 2010.
  • B. Brandin and W.M. Wonham, Supervisory control of timed discrete event systems, IEEE Transactions on Automatic control, vol. 39, 2, pp. 329-341, 1994
  • A. Zaidi, N. Zandouri and M. Tagina ‘Graphical Approaches for Modelling and Diagnosis of Hybrid Dynamic Systems, WSEAS Transaction on Systems, 5(10), pp. 2322-2327, 2006, Springer.
  • A.K.A. Toguyéni, E. Craye and L. Sekhri, Study of the Diagnosability of Automated Production Systems Based on Functional Graphs, Mathematics and Computers in Simulation, vol. 70, issues 5-6, 24, pp. 377-393, Elsevier, February 2006.
  • H. Guéguen, M.A. Lefebvre, O. Nasri and J. Zaytoon, Safety Verification and Reachability Analysis for Hybrid Systems, Proceedings of the 17th World Congress, International Federation of Automatic Control Seoul, Korea, July 6-11, 2008.
  • J. Zaytoon and J.L. Ferrier, Rappels sur les Systèmes à Evénements Discrets dans les Systèmes Dynamiques Hybrides, Edition Hermès, 2001, France.
  • L. Sekhri, A.K.A. Toguyeni and E. Craye, A Relational Based Approach for Analysing Functional Graphs of Automated Production Systems, IEEE International Conference on Systems, Man and Cybernetics, (SMC’02), October 6-9, 2002, Hammamet, Tunisia.
  • L. Sekhri, A.K.A Toguyeni and E. Craye, Diagnosability of Automated Production Systems Using Petri Net Based Models. IEEE International Conference on Systems, Man and Cybernetics, (SMC’04), October 10-13, 2004, The Hague, Netherlands.
  • L. Sekhri, A.K.A. Toguyeni and E. Craye, Surveillabilité d’un Système Automatisé de Production Modélisé par un Graphe Fonctionnel, Journal Européen des Systèmes Automatisés (JESA), vol.38, N° 3-4, Pages 243-268, Octobre, 2004, ISSN 1269-6935.
  • P. Manon and C. Valentin-Roubinet, On the use of trajectory synthesis to return to nominal mode for a class of hybrid systems, Journal Européen des Systèmes automatisés, vol. 33, No. 8-9, November, 1999, MSR’99, pp. 995-1014.
  • Z. Juarez, B. Denis and J.J. Lesage, Réseaux d’automates hybrides à synchronisations typées pour la modélisation des SDH, Conférence Internationale d'Automatique Francophone, CIFA, 2008, Bucarest, Roumanie.
  • B. Ould-Bouamama, R. El Harabi, M.N. Abdelkrim and M.K. Ben Gayed, Bond graph for the Diagnosis of Chemical Processes, Computers and Chemical Engineering, 36, 301-324, 2012, Elsevier.
  • M. Daigle, I. Roychoudhury, G. Biswas and X. Koutsoukos, Efficient simulation of component-based hybrid models represented as hybrid bond graphs, Technical Report ISIS-06-712, 2006, Institute for software integrated Systems, Vanderbilt university, Nashville, USA.
  • P. Gawthrop and B. Geraint, Bond Graph Modeling, IEEE Control Systems Magazine, vol. 27, 2007.
  • H. Alla and R. David, Continuous and Hybrid Nets, Journal of Circuits, Systems and Computers, vol. 8, No.1, pp. 159-188, 1998.
  • R. David and H. Alla, Discrete, Continuous and Hybrid Petri Nets, 2005, Springer.
  • K. Youngwoo, Traffic Network Control Based on Hybrid System Modeling, Petri Nets Applications, pp. 589-623, In:Tech, Ed., P. Pawlewski, 2010, ISBN 978-953-307-047-6.
  • L. Chang Boon, W. Danwei, A. Shai and Z. Jing Bing, Causality Assignment and Model Approximation for Hybrid Bond Graph: Fault Diagnosis Perspectives’ IEEE Transactions on Automaton, Science and Engineering, vol. 7, No. 3, July, pp. 570-580, July 2010.
  • Y. EL-Touati, M. Yeddes, N. Ben Hadj Alouane and H. Halla, Du réseau de Petri temporel étendu vers les automates hybrides linéaires pour l’analyse des systèmes, 2009, Conférence Internationale d'Automatique Francophone CIFA, Bucarest, Romania.
  • M. Tagian and I. Fliss, Diganosing Multiple faults in dynamic hybrid systems, Intelligent Informatics, AISC 129-189, 2013, Springer Verlag, Heilderberg.
  • A. Gouin and J.L. Ferier, Modeling and Supervisory Control of Timed Automata, Journal Européen des Systèmes automatisés, Vol. 33, No. 8-9, MSR’99, pp. 1093-1110, November 1999.
  • A.T. Sava and H. Alla, A Control Synthesis Approach for Time Discrete Event Systems, Mathematics and Computers in Simulation, vol. 70, issues 5-6, 24, pp. 250-265, Elsevier, February 2006.
  • Freshe, Phaver: Algorithmic Verification of Hybrid Systems Past Hytech’. In: M. Morari and L. Thiele ed., Hybrid Systems: Computation and Control: 8th International Workshop, HSCC2005, Zurich, Switzerland, LNCS 3414, 2004, pp. 258–273, Springer.
  • J. LeBail, Sur les Réseaux de Petri Continus et Hybrides, Thèse de Doctorat, Institut National Polytechnique de Grenoble (France), 1992.
  • B. Berthomieu and M. Diaz, Modeling and verification of time dependent systems using time Petri nets, IEEE Transaction on soft. Eng., vol. 17, No. 3, pp. 259-273, 1991.
  • L. Ghomri, Modélisation structurelle utilisant les automates hybrides et les réseaux de Petri hybrides en vue de la synthèse de contrôleur des systèmes dynamiques hybrides, Mémoire de Magister, Université A. Belkaïd, Tlemcen (Algeria), 2005.
  • L. Ghomri and H. Alla, Modeling and analysis using hybrid Petri nets, Nonlinear Analysis Hybrid Systems, 2007, pp. 141-153, Elsevier.
  • P. Peter and H. Philips, Modelling Control and Fault Detection of Discretely-Observed Systems, Thesis, Technische Universities Eindhoven, 2001.
  • H. Alla and R. David, A Modeling and Analysis Tool for Discrete Events Systems: Continuous Petri net, Performances evaluation, vol. 33, No. 3, 175, 1998.
  • T. Henzinger, P. Peter, W. Kopke, A. Puri and P. Varaiya, Whats decidable about hybrid automata?, The algorithmic analysis of hybrid systems, Proceedings of 27th annual ACM Symposium on theory of computing, pp. 373-382, 1995.
  • A.T. Sava, Sur la synthèse de la commande des systèmes à évènements discrets temporisés. Thèse de Doctorat, Grenoble, France, 2001.
  • R. Hakiki, Etude et Analyse des Systèmes Hybrides : Approche par les Réseaux de Petri Hybrides et Automates Hybrides Linéaires, Thèse de Magister en Informatique, Université d’Oran Sénia, 2010.
  • R. Hakiki and L. Sekhri, Hybrid Petri Nets Based Approach For Analyzing Complex Dynamic Systems, First International Conference on Machine and Web Intelligence (ICMWI’2010), 3-5 October 2010, Algiers, Algeria.
Еще
Статья научная