Combining data and theory for derivable scientific discovery with AI-Descartes. Cristina Cornelio, Sanjeeb Dash, Vernon Austel, Tyler R. Josephson, Joao Goncalves, Kenneth Clarkson, Nimrod Megiddo, Bachir El Khadir, Lior Horesh, 2023. [Nature] Abstract.

Piecewise-Linear Motion Planning amidst Static, Moving, or Morphing Obstacles. Bachir El Khadir, Jean Bernard Lasserre, Vikas Sindhwani, 2020. [Arxiv] [3min Video] Abstract.

Semidefinite Representations in Semialgebraic Optimization and Dynamics-Oriented Learning. Bachir El Khadir, 2020. PhD Thesis. [PDF] [Slides] Abstract.

On sum of squares representation of convex forms and generalized Cauchy-Schwarz inequalities. Bachir El Khadir, 2019. SIAM J. Appl. Algebra Geometry, 4(2), 377–400. [Arxiv] [Video] [Sage Notebook] [Slides] [SIAM] Abstract.

Teleoperator Imitation with Continuous-time Safety. Bachir El Khadir, Jake Varley, Vikas Sindhwani, 2019. RSS 2019. [Arxiv] [RSS] Abstract.

Learning Dynamical Systems with Side Information. Amir Ali Ahmadi, Bachir El Khadir, 2019. SIAM Review, 2023.. [Arxiv] [SIAM] [Video] Abstract.

Time-Varying Semidefinite Programs. Amir Ali Ahmadi, Bachir El Khadir, 2018. Mathematics of Operations Research. [Arxiv] Abstract.

A Globally Asymptotically Stable Polynomial Vector Field with Rational Coefficients and no Local Polynomial Lyapunov Function. Amir Ali Ahmadi, Bachir El Khadir, 2018. Systems & Control Letters. [Arxiv] [ScienceDirect] Abstract.

On Algebraic Proofs of Stability for Homogeneous Vector Fields. Amir Ali Ahmadi, Bachir El Khadir, 2018. Transactions on Automatic Control. [Arxiv] [IEEE] Abstract.