Manel Khlif-Bouassida

Publication Activity (10 Years)

Years Active: 2016-2020
Publications (10 Years): 4

Top Topics

Dynamic Routing

Model Based Diagnosis

Top Venues

IEEE Trans Autom. Sci. Eng.

Int. J. Appl. Math. Comput. Sci.

Publications

Ben Li, Manel Khlif-Bouassida, Armand Toguyéni
Reduction Rules for Diagnosability Analysis of Complex Systems Modeled by Labeled Petri Nets. IEEE Trans Autom. Sci. Eng. 17 (2) (2020)
Paul Cazenave, Manel Khlif-Bouassida, Armand Toguyéni
Collisions avoidance and deadlocks prevention, for dynamic routing of trains in a railway node. CoDIT (2019)
Ben Li, Manel Khlif-Bouassida, Armand Toguyéni
On-The-Fly Diagnosability Analysis of Bounded and Unbounded Labeled Petri Nets Using Verifier Nets. Int. J. Appl. Math. Comput. Sci. 28 (2) (2018)
Ben Li, Manel Khlif-Bouassida, Armand Toguyéni
Diagnosis and diagnosability analysis of labeled Petri nets using reduction rules. WODES (2016)