Skip to Main content Skip to Navigation


...
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
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-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-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-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
...
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-03070702v2  Conference papers
Elisa HubertAxel BarrauYacine BouzidiRoudy DagherAlban Quadrat. On a rank factorisation problem arising in gearbox vibration analysis
IFAC 2020 - 21st World Congress, Jul 2020, Berlin / Virtual, Germany
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-03070677v1  Book sections
Yacine BouzidiThomas CluzeauAlban QuadratFabrice Rouillier. On the effective computation of stabilizing controllers of 2D systems
Jürgen Gerhard, Ilias Kotsireas. Maple in Mathematics Education and Research, Maple in Mathematics Education and Research, Springer, pp.30-49, 2020, 978-3-030-41257-9
...
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
...
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⟩
...
hal-02907338v1  Book sections
Yacine BouzidiFabrice Rouillier. Symbolic Methods for Solving Algebraic Systems of Equations and Applications for Testing the Structural Stability
Alban Quadrat; Eva Zerz. Algebraic and Symbolic Computation Methods in Dynamical Systems, Springer, pp.203-237, 2020, ⟨10.1007/978-3-030-38356-5_8⟩