Hassane Alla - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 39 from 39

2021

Control approach for a class of hybrid systemsSonia Batis, Hassane Alla. iccad2 2021: 1-8 [doi]

2020

Towards a performance analysis of composite web services using Petri netsNassima Bernine, Hassina Nacer, Djamil Aïssani, Hassane Alla. ijmor, 17(4):467-491, 2020. [doi]

2018

Continuous Petri nets and hybrid automata: two bisimilar models for the simulation of positive systemsLatéfa Ghomri, Hassane Alla. ijspm, 13(1):24-34, 2018. [doi]

2014

Discrete Control for Smart Environments Through a Generic Finite-State-Models-Based InfrastructureMengxuan Zhao, Gilles Privat, Éric Rutten, Hassane Alla. ami 2014: 174-190 [doi]

2013

Control of a class of hybrid systems application to a water supply systemSonia Batis, Hassane Alla. icnsc 2013: 65-70 [doi]

Controller synthesis for a class of hybrid systemsSonia Batis, Hassane Alla. eucc 2013: 131-136 [doi]

Discrete Control for the Internet of Things and Smart EnvironmentsMengxuan Zhao, Gilles Privat, Éric Rutten, Hassane Alla. feedback 2013: [doi]

2012

Modeling and simulation by hybrid Petri netsHassane Alla, Latéfa Ghomri. wsc 2012: 299 [doi]

Maximal permissive timed control for a class of hybrid systemsSonia Batis, Hassane Alla. wodes 2012: 157-162 [doi]

Modeling and simulation of water distribution systems using timed hybrid Petri netsBerenice Gudiño-Mendoza, Ernesto López-Mellado, Hassane Alla. simulation, 88(3):329-347, 2012. [doi]

2011

Continuous flow systems and control methodology using Hybrid Petri netsLatéfa Ghomri, Hassane Alla. case 2011: 419-424 [doi]

2010

Monitoring of Timed Discrete Events Systems With InterruptsAdib Allahham, Hassane Alla. tase, 7(1):146-150, 2010. [doi]

Structural optimal control for safe Petri netsAndra-Ioana Vasiliu, Hassane Alla. ijcon, 83(9):1810-1822, 2010. [doi]

2009

Limited-Time Lookahead Diagnosability of Rectangular Hybrid AutomataHaithem Derbel, Nejib Ben Hadj-Alouane, Moez Yeddes, Hassane Alla. adhs 2009: 280-285 [doi]

2008

Reduction of constraints for controller synthesis based on safe Petri NetsAbbas Dideban, Hassane Alla. automatica, 44(7):1697-1706, 2008. [doi]

2007

2006

Performance evaluation of communication networks for distributed systemsMelha Bitam, Hassane Alla. ijcat, 25(4):218-226, 2006. [doi]

A control synthesis approach for time discrete event systemsAlexandru Tiberiu Sava, Hassane Alla. mcs, 70(5-6):250-265, 2006. [doi]

2003

Modeling of a Communication Network Under TCP/IP Protocol Using Hybrid Petri NetsMelha Bitam, Hassane Alla. adhs 2003: 75-80 [doi]

Reachability Graph for Autonomous Continuous Petri NetsRené David, Hassane Alla. posta 2003: 63-70 [doi]

2001

On Hybrid Petri NetsRené David, Hassane Alla. deds, 11(1-2):9-40, 2001. [doi]

Combining hybrid Petri nets and hybrid automataAlexandru Tiberiu Sava, Hassane Alla. trob, 17(5):670-678, 2001. [doi]

2000

The Partition Method for the Order - Insensitivity in a Synchronous Distributed SystemsMoez Yeddes, Hassane Alla, René David. ISCC 2000: 635-640 [doi]

Checking order-insensitivity using ternary simulation in synchronous programsMoez Yeddes, Hassane Alla. In ISPASS. 2000: 52-57 [doi]

1999

Discrete-event dynamic systemsFrançois Charbonnier, Hassane Alla, René David. tcst, 7(2):175-187, 1999. [doi]

Analysis of the coupled linear hybrid automata dynamicsAntonio Favela, Hassane Alla, Jean-Marie Flaus. eucc 1999: 1190-1195 [doi]

1998

1994

Petri nets for modeling of dynamic systems: A surveyRené David, Hassane Alla. automatica, 30(2):175-202, 1994. [doi]

1993

Asymptotic continuous Petri netsJean Le Bail, Hassane Alla, René David. deds, 2(3-4):235-263, 1993. [doi]

1992

Asymptotic continuous Petri nets: an efficient approximation of discrete event systemsJean Le Bail, Hassane Alla, René David. icra 1992: 1050-1056 [doi]

Petri nets and grafcet - tools for modelling discrete event systemsRené David, Hassane Alla. Prentice Hall, 1992.

1991

Autonomous And Timed Continous Petri NetsRené David, Hassane Alla. apn 1993: 71-90

1984

Modelling and validation of complex systems by coloured Petri nets; Application to a flexible manufacturing sytemHassane Alla, P. Ladet, J. Martinez, M. Silva-Suarez. apn 1985: 15-31

Sign in or sign up to see more results.

runs on WebDSL