22066 articles – 15901 Notices  [english version]
.:. Consultation > Liste par auteur > Alla .:.
15 documents classés par :
Modelling and simulation of water distribution systems using timed hybrid Petri nets
Gudiño-Mendoza B., López-Melladoa E., Alla H.
Simulation-Transactions of the Society Modeling and Simulation International 01, 00 (2011) 1-19 [hal-00560890 - version 1]
fulltext access Monitoring of Dynamic Process by Hybrid Automata
Karoui F. K., Alla H., Chatti A.
Nonlinear Analysis: Hybrid Systems 4, 4 (2010) 766-774 [hal-00685977 - version 1]
Monitoring of Timed Discrete Events Systems With Interrupts
Allahham A., Alla H.
IEEE Transactions on Automation Science and Engineering 7, 1 (2010) 146-150 [hal-00495604 - version 1]
Discrete, Continuous, and Hybrid Petri Nets
David R., Alla H.
(2010) 554 [hal-00495611 - version 1]
fulltext access Controller synthesis with very simplified linear constraints in PN model
Dideban A., Zareiee M., Alla H.
In Proceedings CD of the Dependable Control of discrete Systems - Dependable Control of discrete Systems, Italy (2009) [hal-00371113 - version 1]
fulltext access Feedback control logic synthesis for non safe Petri nets
Dideban A., Alla H.
13th IFAC Symposium on Information Control Problems in Manufacturing, INCOM'09, Russie, Fédération De (2009) [hal-00370275 - version 1]
fulltext access Feedback control logic synthesis for non safe Petri nets
Dideban A., Alla H.
In Proceedings - 13th IFAC Symposium on Information Control Problems in Manufacturing (INCOM\'09), Russian Federation (2009) [hal-00463404 - version 1]
fulltext access Optimal Supervisory Control Synthesis
Alla H.
Journée sur l'Instrumentation Industrielle J2I, Algeria (2009) [hal-00369211 - version 1]
Surveillance des Systèmes à Événements Discrets Commandés
Alla H.
In Proceedings of International conference on systems and information processing - International conference on systems and information processing, Algeria (2009) [hal-00369214 - version 1]
fulltext access Du réseau de Petri temporel étendu vers les automates hybrides linéaires pour l'analyse des systèmes
Etouati Y., Yeddes M., Hadj Alouane N., Alla H.
In Actes de IEEE Conférence Internationale Francophone d'Automatique, CIFA 2009 - IEEE Conférence Internationale Francophone d'Automatique, CIFA 2009, Romania (2009) [hal-00356493 - version 1]
Modeling and Analysis of Hybrid Dynamic Systems Using Hybrid Petri Nets
Ghomri L., Alla H.
In Petri Net, Theory and Applications (2008) 114-130 [hal-00360527 - version 1]
Post and pre-initialized stopwatch Petri nets: Formal semantics and state space computa
Allahham A., Alla H.
Nonlinear Analysis: Hybrid Systems (2008) 1175-1186 [hal-00356391 - version 1]
fulltext access Determination of Minimal Sets of Control Places for Safe Petri Nets
Dideban A., Alla H.
Dans Proceedings of the 26th American Control Conference, ACC'2007 - American Control Conference, IEEE ACC'07, États-Unis (2007) [hal-00356523 - version 1]
fulltext access Modeling and analysis using hybrid Petri nets
Ghomri L., Alla H.
Nonlinear Analysis: Hybrid Systems 1, 2 (2007) 141-153 [hal-00154071 - version 1]
fulltext access Dynamic control of a flow-rack automated storage and retrieval system
Hachemi K., Alla H.
Dans Proceedings of the CSCS 17 15th International Conference on Control Systems and Computer Science - CSCS 17 15th International Conference on Control Systems and Computer Science, Roumanie (2007) [hal-00356502 - version 1]