Year 2019

• Yacine Bouzidi, Adrien Poteaux. Real space curve analysis and stability of time-delay systems. Submitted to IFAC Time-Delay Systems (TDS'19).


• Yacine Bouzidi, Elisa Hubert, Roudy Dagher, Alban Quadrat, Axel Barrau. Algebraic Aspects of the Exact Signal Demodulation Problem. Submitted to IFAC System, Structure and Control (SSSC'19).


• Yacine Bouzidi, Alban Quadrat, Thomas Cluzeau. On the computation of stabilizing controllers of multidimensional systems. Submitted to IFAC System, Structure and Control (SSSC'19).

Year 2018

• Yacine Bouzidi, Axel Barrau, Guillaume Rance, Alban Quadrat, Arnaud Quadrat. Using symbolic computation to solve algebraic Riccati equations arising in invariant filtering. In Proc. of the European Control Conference (ECC'18).   bib


• Yacine Bouzidi, Guillaume Rance, Alban Quadrat, Arnaud Quadrat. Parametric sub-optimal H∞ controllers for an optro-mechanical system modeled by a time-delay 4th order system. In Proc. of the 8th International Symposium on Optronics in Defence and Security (OPTRO'18).   bib


• Yacine Bouzidi, Guillaume Rance, Arnaud Quadrat, Alban Quadrat. Certified non-conservative tests for the structural stability of discrete multidimensional systems. Published in the journal multidimensional systems and signal processing (MSSP'18) p 1--31.   bib

Year 2017

• Yacine Bouzidi, Alban Quadrat, Fabrice Rouillier. Stability of multidimensional systems using state-of-the-art algorithms for solving algebraic systems of equations. Submitted in the journal multidimensional systems and signal processing.   bib


• Yacine Bouzidi, Thomas Cluzeau, Guillaume Moroz, Alban Quadrat. Computing effectively stabilizing controllers for a class of nD systems. Accepted for publication in the 20th World Congress of the International Federation of Automatic Control, 9-14 July 2017.   bib


• Yacine Bouzidi, Alban Quadrat, Fabrice Rouillier. Parametric study of the critical pairs of linear differential systems with commensurate delays. Accepted for publication in the 20th World Congress of the International Federation of Automatic Control, 9-14 July 2017.   bib


• Yacine Bouzidi, Guillaume Rance, Arnaud Quadrat, Alban Quadrat. Explicit H infinity controllers for 1st to 3rd order single-input single-output systems with parameters. Accepted for publication in the 20th World Congress of the International Federation of Automatic Control, 9-14 July 2017.   bib


• Yacine Bouzidi, Guillaume Rance, Fabrice Rouillier, Arnaud Quadrat, Alban Quadrat. Explicit H infinity controllers for 4th order single-input single-output systems with parameters and their application to the two mass-spring system with damping. Accepted for publication in the 20th World Congress of the International Federation of Automatic Control, 9-14 July 2017.   bib


• (book chapter) Yacine Bouzidi, Fabrice Rouillier. Symbolic methods for solving algebraic systems and application in dynamical system theory. In Algebraic and Symbolic Computation Methods in Dynamical Systems, Advances in Delays and Dynamics (ADD), Springer, 2017.   bib


• (book chapter) Yacine Bouzidi, Adrien Poteaux, Alban Quadrat. A symbolic computation approach to the asymptotic stability analysis of differential systems with commensurate delays . In Advances in Delays and Dynamics (ADD), Springer, 2017.   bib

Year 2016

• Yacine Bouzidi, Sylvain Lazard, Guillaume Moroz, Marc Pouget, Fabrice Rouillier, Michael Sagraloff. Improved algorithms for solving bivariate systems via Rational Univariate Representations. Journal of Complexity, 2016, 37, pp.34--75.   bib


• Yacine Bouzidi, Fabrice Rouillier. Certified Algorithms for proving the structural stability of two-dimensional systems possibly with parameters. In Proc. of the 22nd International Symposium on Mathematical Theory of Networks and Systems (MTNS'16).   bib


• Yacine Bouzidi, Guillaume Rance, Arnaud Quadrat, Alban Quadrat. H_infty parametric control via Algebraic Riccati Equations. In Proc. of the 22nd International Symposium on Mathematical Theory of Networks and Systems (MTNS'16).   bib


• Yacine Bouzidi, Adrien Poteaux, Alban Quadrat. Computer algebra methods for the stability analysis of differential systems with commensurate time-delays. In Proc. of the 13th IFAC Workshop on Time Delay Systems (TDS'16), Istanbul, 22-24 juin 2016.   bib

Year 2015

• Yacine Bouzidi, Alban Quadrat, Fabrice Rouillier. Computer algebra methods for testing the structural stability of multidimensional systems. In Proc. of the IEEE 9th International Workshop on Multidimensional Systems (NDS'15).   bib


• Yacine Bouzidi, Sylvain Lazard, Marc Pouget, Fabrice Rouillier. Separating linear forms and Rational Univariate Representations of bivariate systems. Journal of Symbolic Computation, volume 68, pages 84-119.   bib

Year 2014

• Yacine Bouzidi, Sylvain Lazard, Guillaume Moroz, Marc Pouget, Fabrice Rouillier. Improved algorithm for computing separating linear forms for bivariate systems. In Proc. of the 39th International Symposium on Symbolic and Algebraic Computation (ISSAC'14).   bib

Year 2013

• Yacine Bouzidi, Sylvain Lazard, Marc Pouget, Fabrice Rouillier. Rational univariate representation of bivariate systems and application. In Proc. of the 38th International Symposium on Symbolic and Algebraic Computation (ISSAC'13).   bib


• Yacine Bouzidi, Sylvain Lazard, Marc Pouget, Fabrice Rouillier. Separating linear forms for bivariate systems. In Proc. of the 38th International Symposium on Symbolic and Algebraic Computation (ISSAC'13).   bib

Year 2011

• Yacine Bouzidi, Sylvain Lazard, Marc Pouget, Fabrice Rouillier. New bivariate system solver and topology of algebraic curves. In Proc. of the 27th European Workshop on Computational Geometry (EuroCG'11).   bib

PHD Thesis

• Solving bivariate algebraic systems and topology of plane curves. Thesis of the university of Lorraine.   bib