Reduction of constraints for controller synthesis based on safe Petri NetsDIDEBAN, Abbas; ALLA, Hassane.Automatica (Oxford). 2008, Vol 44, Num 7, pp 1697-1706, issn 0005-1098, 10 p.Article

Pilotage dynamique d'un système automatisé de stockage/déstockage à convoyeur gravitationnelHACHEMI, Khalid; ALLA, Hassane.Journal européen des systèmes automatisés. 2008, Vol 42, Num 5, pp 487-508, issn 1269-6935, 22 p.Article

Monitoring of Timed Discrete Events Systems With InterruptsALLAHHAM, Adib; ALLA, Hassane.IEEE transactions on automation science and engineering. 2010, Vol 7, Num 1, pp 146-150, issn 1545-5955, 5 p.Article

Structural optimal control for safe Petri netsVASILIU, Andra-Ioana; ALLA, Hassane.International journal of control. 2010, Vol 83, Num 9, pp 1810-1822, issn 0020-7179, 13 p.Article

Analyse structurelle d'un fonctionnement séquentiel = Structural analysis of a sequential functioningYEDDES, Moez; ALLA, Hassane; MULLINS, John et al.Journal européen des systèmes automatisés. 2002, Vol 36, Num 8, pp 1101-1118, issn 1269-6935, 18 p.Article

Modeling and simulation of water distribution systems using timed hybrid Petri netsGUDINO-MENDOZA, Berenice; LOPEZ-MELLADO, Ernesto; ALLA, Hassane et al.Simulation (San Diego, Calif.). 2012, Vol 88, Num 3, pp 329-347, issn 0037-5497, 19 p.Article

Performance evaluation of communication networks for distributed systemsBITAM, Melha; ALLA, Hassane.International journal of computer applications in technology. 2006, Vol 25, Num 4, pp 218-226, issn 0952-8091, 9 p.Article

L'outil réseaux de Petri hybrides dans les réseaux de communication : Dynamique des transmissions et étude de comportementBITAM, Melha; ALLA, Hassane.Journal européen des systèmes automatisés. 2006, Vol 40, Num 1, pp 73-94, issn 1269-6935, 22 p.Article

SUR L'ANALYSE DES RESEAUX DE PETRI HYBRIDES : UNE APPROCHE BASEE SUR LES AUTOMATES HYBRIDES = QUANTITATIVE ANALYSIS OF HYBRID PETRI NETS : AN APPROACH BASED ON HYBRID AUTOMATAAllam, Mohamed; Alla, Hassane.1998, 108 p.Thesis

Sur les réseaux de Petri continus et hybrides = About continuous and hybrid Petri netsLe Bail, Jean; Alla, Hassane.1992, 124 p.Thesis

Modélisation et analyse du comportement dynamique des systèmes hybrides : une approche basée sur le modèle d'automate hybride = Modeling and analysis of hybrid systems dynamic behavior : a hybrid automaton model-based approachFavela Contreras, Antonio; Alla, Hassane.1999, 162 p.Thesis

Réseaux de petri colorés et réseaux de petri continus : application à l'étude des systèmes à événements discretsAlla, Hassane; Ladet, Pierre.1987, 200 p.Thesis

Commande Supervisée de Systèmes Hybrides = Supervisory Control of Hybrid SystemsChombart, Anne; Alla, Hassane.1997, 124 p.Thesis

CONTRIBUTION A UNE APPROCHE ROBUSTE POUR LA DISTRIBUTION DES SYSTEMES SYNCHRONES = CONTRIBUTION TO A ROBUST APPROACH FOR SYNCHRONOUS DISTRIBUTION SYSTEMYeddes, Mohamed Moez; Alla, Hassane.2000, 136 p.Thesis

Modélisation et Commande des Systèmes Dynamique Hybrides = Modelisation and Control of Hybrid Dynamical SystemsVera Estrada, Martin Carlos; Alla, Hassane.2000, 194 p.Thesis

The CRISYS projectALLA, Hassane.Modélisation et vérification des processus parallèles. Ecole d'été. 2000, pp 251-252Conference Paper

Reachability graph for autonomous continuous Petri netsDAVID, René; ALLA, Hassane.Lecture notes in control and information sciences. 2003, pp 63-70, issn 0170-8643, isbn 3-540-40342-6, 8 p.Conference Paper

Finite valued feedback laws and piecewise classical solutionsCERAGIOLI, Francesca.Nonlinear analysis. 2006, Vol 65, Num 5, pp 984-998, issn 0362-546X, 15 p.Article

Hybrid systems and applications (5)ALLA, Hassane; ARTSTEIN, Zvi; ANTSAKLIS, Panos et al.Nonlinear analysis. 2006, Vol 65, Num 6, issn 0362-546X, 184 p.Serial Issue

Order-insensitivity and ternary simulationYEDDES, Moez; ALLA, Hassane.Modélisation et vérification des processus parallèles. Ecole d'été. 2000, pp 263-273Conference Paper

Supervisory control of hybrid systems based on model abstraction and guided searchSTURSBERG, Olaf.Nonlinear analysis. 2006, Vol 65, Num 6, pp 1168-1187, issn 0362-546X, 20 p.Article

Hybrid systems and applications (4)ALLA, Hassane; ARTSTEIN, Zvi; ANTSAKLIS, Panos et al.Nonlinear analysis. 2006, Vol 65, Num 5, issn 0362-546X, 170 p.Serial Issue

Hybrid systems and applicationsZAYTOON, Janan.Nonlinear analysis. 2006, Vol 65, Num 6, pp 1103-1105, issn 0362-546X, 3 p.Article

Modélisation des systèmes réactifs, MSR 2005ALLA, Hassane; RUTTEN, Eric.Journal européen des systèmes automatisés. 2005, Vol 39, Num 1-3, issn 1269-6935Conference Proceedings

The shock wave-based acoustic sniper localizationDANICKI, E.Nonlinear analysis. 2006, Vol 65, Num 5, pp 956-962, issn 0362-546X, 7 p.Article