الرئيسية › دليل الباحثين › Hassane Alla

Hassane Alla

الانتماء : GIPSA-Lab · Université Grenoble Alpes

• 16منشورات (انتماء فرنسي)
• 160مجموع المنشورات
• 3809الاستشهادات
• 19مؤشر h

OpenAlex

مجالات البحث

• Petri Nets in System Modeling
• Formal Methods in Verification
• Business Process Modeling and Analysis
• Advanced Control Systems Optimization
• Simulation Techniques and Applications

المنشورات (16)

• Control approach for a class of hybrid systems
  2021 · International Conference on Control, Automation and Diagnosis (ICCAD)
• Towards a Performance Analysis of Composite Web Services using Petri Nets.
  2020 · International Journal of Mathematics in Operational Research · استُشهد به 2 مرة
• Towards a performance analysis of composite web services using Petri nets
  2020 · International Journal of Mathematics in Operational Research · استُشهد به 2 مرة
• Continuous Petri nets and hybrid automata: two bisimilar models for the simulation of positive systems
  2018 · International Journal of Simulation and Process Modelling · استُشهد به 3 مرة
• Fault-tolerant continuous flow systems modelling
  2016 · International Journal of Systems Science · استُشهد به 3 مرة
• Modeling and Control of a Tow-Lanes Isolated Crossroads
  2014 · International Review of Automatic Control (IREACO)
• Using D-elementary hybrid Petri nets and linear hybrid automata for modelling manufacturing systems
  2013 · IFAC Proceedings Volumes
• Modeling and simulation by hybrid Petri nets
  2012 · Winter Simulation Conference · استُشهد به 5 مرة
• Modeling and simulation by hybrid Petri nets
  2012 · استُشهد به 5 مرة
• Monitoring of dynamic process by hybrid automata
  2011 · International Multi-Conference on Systems, Signals & Devices (SSD) · استُشهد به 2 مرة
• Monitoring of dynamic processes by rectangular hybrid automata
  2010 · Nonlinear Analysis Hybrid Systems · استُشهد به 8 مرة
• Online Diagnosis of Systems with Rectangular Hybrid Automata Models
  2009 · IFAC Proceedings Volumes · استُشهد به 6 مرة
• Du réseau de Petri temporel étendu vers les automates hybrides linéaires pour l'analyse des systèmes
  2009 · HAL · استُشهد به 3 مرة
• Modeling and analysis using hybrid Petri nets
  2007 · Nonlinear Analysis Hybrid Systems · استُشهد به 52 مرة
• Diagnosis of a Class of Timed Discrete Event Systems
  2006 · International Workshop on Discrete Event Systems · استُشهد به 9 مرة
• Hybrid modelling of dynamic systems by hybrid automatons and analysis of reachability of states in view of diagnosis
  2005 · WSEAS International Conference on Simulation, Modelling and Optimization (SMO)

المؤلفون المشاركون

• Mohamed Fathi Karoui
• Yamen Etouati
• Haithem Derbel

البيانات البيبليوغرافية مصدرها OpenAlex (قاعدة مفتوحة).