Haithem Derbel

Learn More
This study is the first attempt to survey the diversity of fish digeneans in the Gulf of Gabes (southern coast of Tunisia). A total of 779 fishes belonging to 32 species were sampled. 53 species of Digenea belonging to 15 families were recorded. Among these species, 24 are reported for the first time from the coast of Tunisia. We report one new host record,(More)
We propose an online diagnosis approach for a class of hybrid systems. The normal and the faulty behaviors of the system are modeled with rectangular hybrid automata. Our approach is based on the use of a diagnosis procedure which performs, online, an estimation of the system states, within a given time window, and based on the current record of observable(More)
This paper investigates the diagnosability of Rectangular Hybrid Automata used for modeling a class of hybrid systems. First, a generalized definition of Limited-Time Lookahead diagnosability of timed languages, for multiple failure modes, is proposed. Then, we provide a systematic approach, for checking the LTLa diagnosability of systems modeled with(More)
  • 1