Reachability Computation for uncertain Planar Affine Systems using linear Abstractions. - Othman Nasri; Marie-Anne Lefebvre; Hervé Guéguen (ADHS, 2006)

Abstraction based reachability computation for affine systems with bounded input. - Othman Nasri; Marie-Anne Lefebvre; Hervé Guéguen (CDC, 2006)

Safety verification and reachability analysis for hybrid systems. - Hervé Guéguen; Marie-Anne Lefebvre; Janan Zaytoon; Othman Nasri (Annu. Rev. Control., 2009)

Hybrid and Multi-controller Architecture for Autonomous System - Application to the Navigation of a Mobile Robot. - Amani Azzabi; Marwa Regaieg; Lounis Adouane; Othman Nasri (ICINCO (2), 2014)

VPCA-based fault diagnosis of spacecraft reaction wheels. - Imen Gueddi; Othman Nasri; Kamel BenOthman; Philippe Dague (ICAT, 2015)

Fault diagnosis of spacecraft reaction wheels based on principal component analysis. - Othman Nasri; Imen Gueddi; Kamel BenOthman; Philippe Dague (ICSC, 2015)

Interval extended PCA-based fault diagnosis of spacecraft thrusters. - Imen Gueddi; Othman Nasri; Kamel BenOthman; Philippe Dague (CoDIT, 2016)

SDK decentralized diagnosis with vertices principle component analysis. - Nadhir Mansour Ben Lakhal; Othman Nasri; Imen Gueddi; Jalel Ben Hadj Slama (CoDIT, 2016)

Nonlinear fault tolerant systems with multiple actuator failures using progressive accommodation. - Hajer Mlayeh; Sahbi Ghachem; Othman Nasri; Kamel BenOthman (ICCAD, 2017)

Artificial Neural Network-based Fault Detection. - Asma Khelifi; Nadhir Mansour Ben Lakhal; Hajer Gharsallaoui; Othman Nasri (CoDIT, 2018)

Interval-based/Data-driven Risk Management for Intelligent Vehicles: Application to an Adaptive Cruise Control System. - Nadhir Mansour Ben Lakhal; Lounis Adouane; Othman Nasri; Jaleleddine Ben Hadj Slama (IV, 2019)

Interval-based Solutions for Reliable and Safe Navigation of Intelligent Autonomous Vehicles. - Nadhir Mansour Ben Lakhal; Lounis Adouane; Othman Nasri; Jaleleddine Ben Hadj Slama (RoMoCo, 2019)

Automotive decentralized diagnosis based on CAN real-time analysis. - Othman Nasri; Nadhir Mansour Ben Lakhal; Lounis Adouane; Jaleleddine Ben Hadj Slama (J. Syst. Archit., 2019)

Reliable Modeling for Safe Navigation of Intelligent Vehicles: Analysis of First and Second Order Set-membership TTC. - Nadhir Mansour Ben Lakhal; Othman Nasri; Lounis Adouane; Jaleleddine Ben Hadj Slama (ICINCO, 2020)

Satisfaction of Modeling Requirements for Intelligent Navigation Systems: Risk Management Context. - Nadhir Mansour Ben Lakhal; Othman Nasri; Lounis Adouane; Jaleleddine Ben Hadj Slama (ICINCO (Selected Papers), 2020)

Principal Component Analysis for Fault Detection and Isolation in a DC-DC Buck Converter. - Cheikhna Mahfoudh; Othman Nasri; Hajji Omessad; Jaleleddine Ben Hadj Slama; Mamoudou Ndongo (SSD, 2021)

Safe and adaptive autonomous navigation under uncertainty based on sequential waypoints and reachability analysis. - Nadhir Mansour Ben Lakhal; Lounis Adouane; Othman Nasri; Jaleleddine Ben Hadj Slama (Robotics Auton. Syst., 2022)