Search - Archive ouverte HAL Access content directly

Filter your results

3 Results
authFullName_s : Adel Djaballah
Image document

Computation of barrier certificates for dynamical hybrids systems using interval analysis

Adel Djaballah
Automatic Control Engineering. Université Paris Saclay (COmUE), 2017. English. ⟨NNT : 2017SACLS195⟩
Theses tel-01584053v1
Image document

Construction of parametric barrier functions for dynamical systems using interval analysis

Adel Djaballah , Alexandre Chapoutot , Michel Kieffer , Olivier Bouissou
Automatica, 2017, 78, pp.287 - 296. ⟨10.1016/j.automatica.2016.12.013⟩
Journal articles hal-01164307v2
Image document

Computation of Parametric Barrier Functions for Dynamical Systems using Interval Analysis

Olivier Bouissou , Alexandre Chapoutot , Adel Djaballah , Michel Kieffer
53rd IEEE Annual Conference on Decision and Control (CDC 2014), Dec 2014, Los Angeles, United States. pp.1-4, ⟨10.1109/cdc.2014.7039472⟩
Conference papers hal-01073673v1