Hassane Alla - RankMe

50 papers A* 3A 1B 2C 4Misc 1Journal 24Unranked 14

Year	Rank	Type	Title / Venue / Authors
2021	A	`conf`	Control approach for a class of hybrid systems. ICCAD Sonia Batis, Hassane Alla
2020	J	`jnl`	Towards a performance analysis of composite web services using Petri nets. Int. J. Math. Oper. Res. Nassima Bernine, Hassina Nacer, Djamil Aïssani, Hassane Alla
2018	J	`jnl`	Continuous Petri nets and hybrid automata: two bisimilar models for the simulation of positive systems. Int. J. Simul. Process. Model. Latéfa Ghomri, Hassane Alla
2014	—	`conf`	Discrete Control for Smart Environments Through a Generic Finite-State-Models-Based Infrastructure. AmI Mengxuan Zhao, Gilles Privat, Éric Rutten, Hassane Alla
2014	C	`ed.`	Proceedings of the 8th International Workshop on Verification and Evaluation of Computer and Communication Systems, VECoS 2014, Bejaïa, Algeria, September 29-30, 2014. VECoS Hassane Alla, Louiza Bouallouche-Medjkoune
2013	—	`conf`	Control of a class of hybrid systems application to a water supply system. ICNSC Sonia Batis, Hassane Alla
2013	—	`conf`	Controller synthesis for a class of hybrid systems. ECC Sonia Batis, Hassane Alla
2013	—	`conf`	Discrete Control for the Internet of Things and Smart Environments. Feedback Computing Mengxuan Zhao, Gilles Privat, Éric Rutten, Hassane Alla
2012	—	`conf`	Maximal permissive timed control for a class of hybrid systems. WODES Sonia Batis, Hassane Alla
2012	Misc	`conf`	Modeling and simulation by hybrid Petri nets. WSC Hassane Alla, Latéfa Ghomri
2012	J	`jnl`	Modeling and simulation of water distribution systems using timed hybrid Petri nets. Simul. Berenice Gudiño-Mendoza, Ernesto López-Mellado, Hassane Alla
2011	—	`conf`	Continuous flow systems and control methodology using Hybrid Petri nets. CASE Latéfa Ghomri, Hassane Alla
2010	J	`jnl`	Feedback control logic synthesis for non safe Petri nets CoRR Abbas Dideban, Hassane Alla
2010	J	`jnl`	Monitoring of Timed Discrete Events Systems With Interrupts. IEEE Trans Autom. Sci. Eng. Adib Allahham, Hassane Alla
2010	J	`jnl`	Structural optimal control for safe Petri nets. Int. J. Control Andra-Ioana Vasiliu, Hassane Alla
2009	J	`jnl`	Controller synthesis with very simplified linear constraints in PN model CoRR Abbas Dideban, Meisam Zareiee, Hassane Alla
2009	J	`jnl`	Determination of Minimal Sets of Control Places for Safe Petri Nets CoRR Abbas Dideban, Hassane Alla
2009	J	`jnl`	Dynamic Control of a Flow-Rack Automated Storage and Retrieval System CoRR Khalid Hachemi, Hassane Alla
2009	J	`jnl`	Feedback control logic synthesis for non safe Petri nets CoRR Abbas Dideban, Hassane Alla
2009	—	`conf`	Limited-Time Lookahead Diagnosability of Rectangular Hybrid Automata. ADHS Haithem Derbel, Nejib Ben Hadj-Alouane, Moez Yeddes, Hassane Alla
2009	J	`jnl`	Optimal Supervisory Control Synthesis CoRR Hassane Alla
2008	J	`jnl`	Reduction of constraints for controller synthesis based on safe Petri Nets. Autom. Abbas Dideban, Hassane Alla
2007	—	`conf`	Design and implementation of a monitoring system using grafcet. ICINCO-SPSMC Adib Allahham, Hassane Alla
2007	C	`conf`	Determination of Minimal Sets of Control Places for Safe Petri Nets. ACC Abbas Dideban, Hassane Alla
2007	J	`jnl`	Editorial. Discret. Event Dyn. Syst. Hassane Alla, René K. Boel, Éric Rutten
2007	J	`jnl`	Modeling and analysis using hybrid Petri nets CoRR Latéfa Ghomri, Hassane Alla
2007	A*	`conf`	Monitoring of a Class of Timed Discrete Events Systems. ICRA Adib Allahham, Hassane Alla
2006	J	`jnl`	A control synthesis approach for time discrete event systems. Math. Comput. Simul. Alexandru Tiberiu Sava, Hassane Alla
2006	J	`jnl`	Performance evaluation of communication networks for distributed systems. Int. J. Comput. Appl. Technol. Melha Bitam, Hassane Alla
2005	C	`conf`	Performance evaluation of a TCP/IP transmission using hybrid Petri nets. AICCSA Melha Bitam, Hassane Alla
2003	—	`conf`	Modeling of a Communication Network Under TCP/IP Protocol Using Hybrid Petri Nets. ADHS Melha Bitam, Hassane Alla
2003	—	`conf`	Reachability Graph for Autonomous Continuous Petri Nets. POSTA René David, Hassane Alla
2001	J	`jnl`	Combining hybrid Petri nets and hybrid automata. IEEE Trans. Robotics Autom. Alexandru Tiberiu Sava, Hassane Alla
2001	J	`jnl`	On Hybrid Petri Nets. Discret. Event Dyn. Syst. René David, Hassane Alla
2000	B	`conf`	Checking order-insensitivity using ternary simulation in synchronous programs. ISPASS Moez Yeddes, Hassane Alla
2000	J	`jnl`	Discussion on: 'Solving Transient Scheduling Problems with Constraint Programming' by O. Korbaa, P. Yim, and J.-C. Gentina. Eur. J. Control Pierre Lopez, Hassane Alla, Ouajdi Korbaa, Pascal Yim, Jean-Claude Gentina
2000	C	`conf`	The Partition Method for the Order - Insensitivity in a Synchronous Distributed Systems. ISCC Moez Yeddes, Hassane Alla, René David
1999	—	`conf`	Analysis of the coupled linear hybrid automata dynamics. ECC Antonio Favela, Hassane Alla, Jean-Marie Flaus
1999	J	`jnl`	Discrete-event dynamic systems. IEEE Trans. Control. Syst. Technol. François Charbonnier, Hassane Alla, René David
1998	J	`jnl`	A Modelling and Analysis Tool for Discrete Events Systems: Continuous Petri Net. Perform. Evaluation Hassane Alla, René David
1998	—	`conf`	A Systematic Method Supporting Petri-Nets-Based Modelling of Complex Production Systems using Object Repositories. ESM Eugene J. H. Kerckhoffs, Hassane Alla, Carmen-Veronica Bobeanu
1998	J	`jnl`	Continuous and Hybrid Petri Nets. J. Circuits Syst. Comput. Hassane Alla, René David
1998	B	`conf`	Modeling and analysis of time invariant linear hybrid systems. SMC Antonio Favela, Hassane Alla, Jean-Marie Flaus
1994	J	`jnl`	Petri nets for modeling of dynamic systems: A survey. Autom. René David, Hassane Alla
1993	J	`jnl`	Asymptotic continuous Petri nets. Discret. Event Dyn. Syst. Jean Le Bail, Hassane Alla, René David
1992	A*	`conf`	Asymptotic continuous Petri nets: an efficient approximation of discrete event systems. ICRA Jean Le Bail, Hassane Alla, René David
1992	—	`book`	Petri nets and grafcet - tools for modelling discrete event systems. René David, Hassane Alla
1991	—	`conf`	Autonomous And Timed Continous Petri Nets. Applications and Theory of Petri Nets René David, Hassane Alla
1990	A*	`conf`	Dynamic analysis of manufacturing systems using continuous Petri nets. ICRA Noureddine Zerhouni, Hassane Alla
1984	—	`conf`	Modelling and validation of complex systems by coloured Petri nets; Application to a flexible manufacturing system. European Workshop on Applications and Theory in Petri Nets Hassane Alla, P. Ladet, J. Martinez, M. Silva-Suarez