Skip to Main content Skip to Navigation
Help


...
tel-00979707v1  Theses
Yacine Bouzidi. Solving bivariate algebraic systems and topology of plane curves
Symbolic Computation [cs.SC]. Université de Lorraine, 2014. English. ⟨NNT : 2014LORR0016⟩
...
inria-00580431v1  Conference papers
Yacine BouzidiSylvain LazardMarc PougetFabrice Rouillier. New bivariate system solver and topology of algebraic curves
27th European Workshop on Computational Geometry - EuroCG 2011, Mar 2011, Morschach, Switzerland
...
hal-01366202v1  Conference papers
Yacine BouzidiFabrice Rouillier. Certified Algorithms for proving the structural stability of two dimensional systems possibly with parameters
MNTS 2016 - 22nd International Symposium on Mathematical Theory of Networks and Systems, Jul 2016, Minneapolis, United States
...
hal-00809430v1  Conference papers
Yacine BouzidiSylvain LazardMarc PougetFabrice Rouillier. Rational Univariate Representations of Bivariate Systems and Applications
ISSAC - 38th International Symposium on Symbolic and Algebraic Computation, Jun 2013, Boston, United States. pp.109-116
...
hal-00809425v1  Conference papers
Yacine BouzidiSylvain LazardMarc PougetFabrice Rouillier. Separating Linear Forms for Bivariate Systems
ISSAC - 38th International Symposium on Symbolic and Algebraic Computation, Jun 2013, Boston, United States. pp.117-124
...
hal-01571230v1  Reports
Yacine BouzidiAlban QuadratFabrice Rouillier. Certified Non-conservative Tests for the Structural Stability of Multidimensional Systems
[Research Report] RR-9085, INRIA Lille - Nord Europe; INRIA Paris. 2017, pp.31
...
hal-01667161v1  Conference papers
Yacine BouzidiThomas CluzeauGuillaume MorozAlban Quadrat. Computing effectively stabilizing controllers for a class of $n$D systems
The 20th World Congress of the International Federation of Automatic Control, Jul 2017, Toulouse, France. pp.1847 - 1852, ⟨10.1016/j.ifacol.2017.08.200⟩
hal-02419696v1  Conference papers
Yacine BouzidiThomas CluzeauAlban Quadrat. On the computation of stabilizing controllers of multidimensional systems
SSSC 2019 - 7th IFAC Symposium on Systems Structure and Control, Sep 2019, Sinai, Romania. ⟨10.1016/j.ifacol.2019.11.032⟩
hal-02419824v1  Conference papers
Elisa HubertYacine BouzidiRoudy DagherAxel BarrauAlban Quadrat. Algebraic aspects of the exact signal demodulation problem
SSSC 2019 - 7th IFAC Symposium on Systems Structure and Control, Sep 2019, Sinaia, Romania. ⟨10.1016/j.ifacol.2019.11.031⟩
...
hal-00992634v1  Conference papers
Yacine BouzidiSylvain LazardGuillaume MorozMarc PougetFabrice Rouillier. Improved algorithm for computing separating linear forms for bivariate systems
ISSAC - 39th International Symposium on Symbolic and Algebraic Computation, Jul 2014, Kobe, Japan
...
hal-01485536v1  Book sections
Yacine BouzidiAdrien PoteauxAlban Quadrat. A symbolic computation approach to the asymptotic stability analysis of differential systems with commensurate delays
Giorgio Valmorbida; Alexandre Seuret; Islam Boussaada; Rifat Sipahi. Delays and Interconnections: Methodology, Algorithms and Applications, Advances in Delays and Dynamics, 10, Springer, pp.16, 2019, ⟨10.1007/978-3-030-11554-8_11⟩
...
hal-01415294v1  Conference papers
Guillaume RanceYacine BouzidiAlban QuadratArnaud Quadrat. A symbolic-numeric method for the parametric H$\infty$ loop-shaping design problem
22nd International Symposium on Mathematical Theory of Networks and Systems (MTNS) , Jul 2016, Minneapolis, United States. pp.8