Bibliography

Major publications by the team in recent years

• 1F. Boulier, C. Chen, F. Lemaire, M. Moreno-Maza.
  
  Real root isolation of regular chains, in: Computer Mathematics, 2014, pp. 33–38.
• 2F. Boulier, F. Lemaire, J. Lallemand, G. Regensburger, M. Rosenkranz.
  
  Additive normal forms and integration of differential fractions, in: Journal of Symbolic Computation, 2016, vol. 77, pp. 16–38.
• 3F. Boulier, F. Lemaire, M. Rosenkranz, R. Ushirobira, N. Verdière.
  
  On symbolic approaches to integro-differential equations, Springer, 2019, pp. 165–184.
• 4Y. Bouzidi, S. Lazard, G. Moroz, M. Pouget, F. Rouillier.
  
  Separating linear forms and rational univariate representations of bivariate systems, in: Journal of Symbolic Computation, 2015, vol. 68, pp. 84–119.
• 5Y. Bouzidi, A. Poteaux, A. Quadrat.
  
  A symbolic computation approach towards the asymptotic stability analysis of differential systems with commensurate delays, in: Delays and Interconnections: Methodology, Algorithms and Applications, Advances in Delays and Dynamics (ADD), Springer, 2018.
• 6Y. Bouzidi, A. Quadrat, F. Rouillier.
  
  Certified Non-conservative Tests for the Structural Stability of Discrete Multidimensional Systems, in: Multidimensional Systems and Signal Processing, June 2018.
  
  https://hal.inria.fr/hal-01951765
• 7F. Chyzak, A. Quadrat, D. Robertz.
  
  Effective algorithms for parametrizing linear control systems over Ore algebras, in: Applicable Algebra in Engineering, Communications and Computing, 2005, vol. 16, pp. 319–376.
• 8T. Cluzeau, A. Quadrat.
  
  Factoring and decomposing a class of linear functional systems, in: Linear Algebra and Its Applications, 2008, vol. 428, pp. 324–381.
• 9A. Poteaux, M. Rybowicz.
  
  Good reduction of Puiseux series and applications, in: Journal of Symbolic Computation, 2012, vol. 47, pp. 32–63.
• 10A. Poteaux, M. Rybowicz.
  
  Improving complexity bounds for the computation of Puiseux series over finite fields, in: ISSAC, 2015, pp. 299–306.
• 11A. Quadrat, A. Quadrat.
  
  Delay effects in visual tracking problems for an optronic sighting system, in: Low-Complexity Controllers for Time-Delay Systems, Advances in Delays and Dynamics (ADD), Springer, 2014, vol. 2, pp. 77–92.
• 12G. Rance, Y. Bouzidi, A. Quadrat, A. Quadrat.
  
  $H_{\infty }$ parametric control via algebraic Riccati equations, in: 22nd International Symposium on Mathematical Theory of Networks and Systems (MTNS, 2016.
• 13R. Ushirobira, W. Perruquetti, M. Mboup.
  
  An algebraic continuous time parameter estimation for a sum of sinusoidal waveform signals, in: International Journal of Adaptive Control and Signal Processing, 2016, vol. 30, pp. 1689–1713.
• 14R. Ushirobira, A. Quadrat.
  
  Algebraic estimation of a biased and noisy continuous signal via orthogonal polynomials, in: 55th IEEE Conference on Decision and Control (CDC), 2016.

Publications of the year

Doctoral Dissertations and Habilitation Theses

• 15G. Rance.
  
  Parametric H∞ control and its application to gyrostabilized sights, Université Paris-Saclay, July 2018.
  
  https://tel.archives-ouvertes.fr/tel-01904086

Articles in International Peer-Reviewed Journals

• 16H. Ahmed, R. Ushirobira, D. Efimov.
  
  Robust global synchronization of Brockett oscillators, in: IEEE Transactions on Control of Network Systems, 2018, pp. 1-10. [ DOI : 10.1109/tcns.2018.2813927 ]
  
  https://hal.inria.fr/hal-01965539
• 17F. Boulier, F. Lemaire, A. Poteaux, M. Moreno Maza.
  
  An Equivalence Theorem For Regular Differential Chains, in: Journal of Symbolic Computation, 2018, pp. 1-27.
  
  https://hal.archives-ouvertes.fr/hal-01391768
• 18Y. M. Bouzidi, A. Quadrat, F. Rouillier.
  
  Certified Non-conservative Tests for the Structural Stability of Discrete Multidimensional Systems, in: Multidimensional Systems and Signal Processing, June 2018.
  
  https://hal.inria.fr/hal-01951765
• 19X. Deru, F. Lemaire, D. Nicolas.
  
  From Etaples to Pompei. Discussion about Metal Vessel in Roman Household, in: Herom, 2018, Définition d’un modèle à partir des données écrites et archéologiques du camp napoléonien d’Etaples, confrontation des données céramologiques romaines en Gaule et en Italie.
  
  https://hal.univ-lille3.fr/hal-01737593
• 20D. Efimov, R. Ushirobira, J. A. Moreno, W. Perruquetti.
  
  Homogeneous Lyapunov functions: from converse design to numerical implementation, in: SIAM Journal on Control and Optimization, December 2018.
  
  https://hal.inria.fr/hal-01851761
• 21J. G. Rueda-Escobedo, R. Ushirobira, D. Efimov, J. Moreno.
  
  Gramian-based uniform convergent observer for stable LTV systems with delayed measurements, in: International Journal of Control, 2018.
  
  https://hal.inria.fr/hal-01889193
• 22H. Silm, R. Ushirobira, D. Efimov, J.-P. Richard, W. Michiels.
  
  A note on distributed finite-time observers, in: IEEE Transactions on Automatic Control, May 2018. [ DOI : 10.1109/TAC.2018.2838042 ]
  
  https://hal.inria.fr/hal-01827041

International Conferences with Proceedings

• 23A. Barrau, G. Rance, Y. Bouzidi, A. Quadrat, A. Quadrat.
  
  Using symbolic computation to solve algebraic Riccati equations arising in invariant filtering, in: ECC2018 - European Control Conference, Limassol, Cyprus, June 2018.
  
  https://hal.inria.fr/hal-01667341
• 24P.-A. Bliman, D. Efimov, R. Ushirobira.
  
  A class of nonlinear adaptive observers for SIR epidemic model, in: ECC 2018 - European Control Conference, Limassol, Cyprus, June 2018, 6 p.
  
  https://hal.inria.fr/hal-01724989
• 25M. Nancel, S. Aranovskiy, R. Ushirobira, D. Efimov, S. Poulmane, N. Roussel, G. Casiez.
  
  Next-Point Prediction for Direct Touch Using Finite-Time Derivative Estimation, in: Proceedings of the ACM Symposium on User Interface Software and Technology (UIST 2018), Berlin, Germany, October 2018. [ DOI : 10.1145/3242587.3242646 ]
  
  https://hal.inria.fr/hal-01893310
• 26J. G. Rueda-Escobedo, R. Ushirobira, D. Efimov, J. Moreno.
  
  A Gramian-based observer with uniform convergence rate for delayed measurements, in: ECC 2018 - 16th annual European Control Conference, Limassol, Cyprus, June 2018.
  
  https://hal.inria.fr/hal-01895389
• 27H. Silm, R. Ushirobira, D. Efimov, W. Michiels, J.-P. Richard, E. Fridman.
  
  Comparison of the Time-Delay Margin of a Distributed and Centralized Observer, in: ECC 2018 - European Control Conference, Limassol, Cyprus, June 2018.
  
  https://hal.inria.fr/hal-01761390

Conferences without Proceedings

• 28F. Boulier.
  
  On the Parameter Estimation Problem for Integro-Differential Models, in: AADIOS @ ACA 2018, Santiago de Compostela, Spain, June 2018.
  
  https://hal.archives-ouvertes.fr/hal-01780909
• 29F. Boulier, H. Castel, N. Corson, V. Lanza, F. Lemaire, A. Poteaux, A. Quadrat, N. Verdière.
  
  Symbolic-Numeric Methods for Nonlinear Integro-Differential Modeling, in: CASC 2018 - The 20th International Workshop on Computer Algebra in Scientific Computing, Lille, France, September 2018.
  
  https://hal.archives-ouvertes.fr/hal-01765409

Other Publications

• 30F. Boulier.
  
  The Management of Parameters in the MAPLE DifferentialAlgebra Package, June 2018, working paper or preprint.
  
  https://hal.archives-ouvertes.fr/hal-01825191
• 31F. Boulier, F. Fages, O. Radulescu, S. S. Samal, A. Schuppert, W. M. Seiler, T. Sturm, S. Walcher, A. Weber.
  
  The SYMBIONT Project: Symbolic Methods for Biological Networks, August 2018, F1000Research 7:1341 (poster).
  
  https://hal.inria.fr/hal-01889825
• 32G. Perozzi.
  
  Optimization of the control effort for quadrotors using a varying-gain quasi-continuous sliding mode control influenced by a wind estimator, April 2018, working paper or preprint.
  
  https://hal.inria.fr/hal-01758112

References in notes

• 33S. S. Abhyankar.
  
  Irreducibility criterion for germs of analytic functions of two complex variable, in: Advances in Mathematics, 1989, vol. 74, pp. 190–257.
• 34J. Aczél.
  
  Lectures on Functional Equations and Their Applications, Academic Press, 1966.
• 35J. Aczél, J. Dhombres.
  
  Functional Equations in Several Variables, Cambridge University Press, 1989.
• 36M. Audin.
  
  Hamiltonian Systems and Their Integrability, American Mathematical Society, 2008.
• 37J. A. Ball, S. ter Horst.
  
  Robust control, multidimensional systems and multivariable Nevanlinna-Pick interpolation, Topics in operator theory. Volume 2. Systems and Mathematical Physics, Birkhäuser, 2010, pp. 13–88.
• 38J.-D. Bauch, E. Nart, H. Stainsby.
  
  Complexity of the OM factorizations of polynomials over local fields, in: LMS Journal of Computation and Mathematics, 2013, vol. 16, pp. 139–171.
• 39V. V. Bavula.
  
  The algebra of integro-differential operators on an affine line and its modules, in: J. Pure Appl. Algebra, 2013, vol. 217, pp. 495–529.
• 40T. Becker, V. Weispfenning.
  
  Gröbner Bases. A Computational Approach to Commutative Algebra, Springer, 1993.
• 41J. E. Björk.
  
  Rings of Differential Operators, North Holland, 1979.
• 42N. K. Bose.
  
  Multidimensional Systems Theory - Progress, Directions and Open Problems in Multidimensional Systems, Reidel Publishing Company, 1985.
• 43N. K. Bose.
  
  Multidimensional Systems Theory and Applications, Springer, 1995.
• 44F. Boulier.
  
  BLAD: Bibliothèques Lilloises d'Algèbre Différentielle, http://cristal.univ-lille.fr/~boulier/pmwiki/pmwiki.php/Main/BLAD.
• 45F. Boulier.
  
  An optimization of Seidenberg's elimination algorithm in differential algebra, in: Mathematics and Computers in Simulation, 1996, vol. 42, pp. 439–448.
• 46F. Boulier, D. Lazard, F. Ollivier, M. Petitot.
  
  Computing representations for radicals of finitely generated differential ideals, in: Appl. Algebra Engrg. Comm. Comput., 2009, vol. 20, pp. 73–121.
• 47Y. Bouzidi, T. Cluzeau, G. Moroz, A. Quadrat.
  
  Computing effectively stabilizing controllers for a class of $n$D systems, in: Proc. of the 20th World Congress of the International Federation of Automatic Control (IFAC'17), 9-14 July 2017, 2017.
• 48Y. Bouzidi, A. Quadrat, F. Rouillier.
  
  Computer algebra methods for testing the structural stability of multidimensional systems, in: IEEE 9th International Workshop on Multidimensional Systems (NDS), 2015.
• 49D. Bridges, R. Mines, F. Richman, P. Schuster.
  
  The polydisk Nullstellensatz, in: Proceedings of the American Mathematical Society, 2003, vol. 132, pp. 2133–2140.
• 50B. Buchberger.
  
  Gröbner bases: An algorithmic method in polynomial ideal theory, in: Multidimensional Systems Theory: Progress, Directions and Open Problems in Multidimensional Systems, N. K. Bose (editor), Reidel, 1985, pp. 184–232.
• 51E. Cartan.
  
  Les systèmes différentiels extérieurs et leurs applications géométriques, Hermann, 1971.
• 52X. Caruso, D. Roe, T. Vaccon.
  
  Division and slope factorization of $p$-adic polynomials, in: International Symposium on Symbolic and Algebraic Computation (ISSAC), 2016.
• 53A. Connes.
  
  Noncommutative Geometry, Academic Press, 1994.
• 54R. F. Curtain, H. J. Zwart.
  
  An Introduction to Infinite-Dimensional Linear Systems Theory, Springer, 1995.
• 55R. Dagher, A. Quadrat, G. Zheng.
  
  Auto-localisation par mesure de distances, Pattern FR1853553, Inria France, 2018.
• 56R. Dagher, A. Quadrat, G. Zheng.
  
  Algebraic solutions to the metric multidimensional unfolding. Application to the position self-calibration problem, in: Pattern under development, 2017.
• 57L. Denis–Vidal, G. Joly–Blanchard, C. Noiret.
  
  System identifiability (symbolic computation) and parameter estimation, in: Numerical Algorithms, 2003, vol. 34, pp. 282–-292.
• 58S. Diop.
  
  Elimination in control theory, in: Math. Control Signals Systems, 1991, vol. 4, pp. 17–32.
• 59S. Diop.
  
  Differential-algebraic decision methods and some applications to system theory, in: Theoret. Comput. Sci., 1992, vol. 98, pp. 137–161.
• 60J. P. Dreier, S. Major, A. Manning, J. Woitzik, C. Drenckhahn, J. Steinbrink, C. Tolias, A. I. Oliveira-Ferreira, M. Fabricius, J. A. Hartings, P. Vajkoczy, M. Lauritzen, U. Dirnagl, G. Bohner, A. J. Strong.
  
  Cortical spreading ischaemia is a novel process involved in ischaemic damage in patients with aneurysmal subarachnoid haemorrhage, in: Brain, 2009, vol. 132, pp. 1866–1881.
• 61D. Duval.
  
  Rational Puiseux expansions, in: Compositio Mathematica, 1989, vol. 70, pp. 119–154.
• 62A. Fabiańska, A. Quadrat.
  
  Applications of the Quillen-Suslin theorem to multidimensional systems theory, in: Gröbner Bases in Control Theory and Signal Processing, Radon Series on Computation and Applied Mathematics, d. Gruyter (editor), H. Park, G. Regensburger, 2007, vol. 3, pp. 23–106, http://chercheurs.lille.inria.fr/aquadrat/QuillenSuslin.html.
• 63M. Fliess, S. T. Glad.
  
  An algebraic approach to linear and nonlinear control, in: Essays on Control: Perspectives in the Theory and its Applications, Birkhaüser (editor), 1993, pp. 223–267.
• 64M. Fliess, H. Mounier.
  
  Controllability and observability of linear delay systems: an algebraic approach, in: ESAIM Control Optim. Calc. Var., 1998, vol. 3, pp. 301–314.
• 65M. Fliess, H. Sira-Ramírez.
  
  An algebraic framework for linear identification, in: ESAIM Control Optim. Calc. Variat., 2003, vol. 9, pp. 151–168.
• 66H. Gluesing-Luerssen.
  
  Linear Delay-Differential Systems with Commensurate Delays: An Algebraic Approach, Lecture Notes in Mathematics, Springer, 1995, vol. 1770.
• 67M. Gromov.
  
  Partial Differential Relations, Springer, 1986.
• 68J. Guàrdia, J. Montes, E. Nart.
  
  Newton polygons of higher order in algebraic number theory, in: Transactions of the American Mathematical Society, 2012, vol. 364, pp. 361–416.
• 69E. Hairer, G. Wanner.
  
  Solving Ordinary Differential Equations II: Stiff and Differential-Algebraic Problems, Springer Series in Computational Mathematics, Springer, 2010, vol. 14.
• 70J. K. Hale, S. M. V. Lunel.
  
  Introduction to Functional Differential Equations, Applied Mathematical Sciences, Springer, 1993, vol. 99.
• 71E. Hubert, A. Barrau, M. E. Badaoui.
  
  New multi-carrier demodulation method applied to gearbox vibration analysis, in: 2018 IEEE International Conference on Acoustics, Speech, and Signal, Calgary, 15-20/04/2018, 2018.
• 72E. Hubert.
  
  Notes on triangular sets and triangulation-decomposition algorithms II: Differential Systems, in: Symbolic and Numerical Scientific Computations, LNCS, Springer (editor), Springer, 2003, vol. 2630, pp. 40–87.
• 73T. Kailath.
  
  Linear Systems, Prentice-Hall, 1980.
• 74F. Kako, T. Sasaki.
  
  Solving multivariate algebraic equations by Hensel construction, in: Japan J. of Industrial and Applied Math., 1999, vol. 16, pp. 257–285.
• 75M. Kashiwara.
  
  Algebraic Study of Systems of Partial Differential Equation, Mémoires de la Société Mathématiques de France, 1995, vol. 63, Transl. from Japanese of his 1970 Master's Thesis.
• 76E. R. Kolchin.
  
  Differential Algebra and Algebraic Groups, Academic Press, 1973.
• 77T. Y. Lam.
  
  Serre's Problem on Projective Modules, Monograph in Mathematics, Springer, 2006.
• 78J. J. Loiseau.
  
  Algebraic tools for the control and stabilization of time-delay systems, in: IFAC Reviews, Annual Reviews in Control, 2000, vol. 24, pp. 135–149.
• 79J. C. McConnell, J. C. Robson.
  
  Noncommutative Noetherian Rings, American Mathematical Society, 2000..
• 80U. Oberst.
  
  Multidimensional constant linear systems, in: Acta Appl. Math., 1990, vol. 20, pp. 1–175.
• 81P. Olver.
  
  Applications of Lie Groups to Differential Equations, Springer, 1993.
• 82A. Parisa, A. Masoud, M. M. Maza.
  
  On the extended Hensel construction and its application to the computation of limit points, in: International Symposium on Symbolic and Algebraic Computation (ISSAC), 2017.
• 83J. W. Polderman, J. C. Willems.
  
  Introduction to Mathematical Systems Theory. A Behavioral Approach, TAM, Springer, 1998, vol. 26.
• 84J.-F. Pommaret.
  
  Partial Differential Control Theory. Volume II: Control Systems, Kluwer, 2001.
• 85J.-F. Pommaret.
  
  Systems of Partial Differential Equations and Lie Pseudogroups, Gordon and Breach, 1978.
• 86J.-F. Pommaret.
  
  Partial Differential Equations and Group Theory: New Perspectives for Applications, Kluwer, 1994.
• 87A. Poteaux.
  
  Calcul de développements de Puiseux et application au calcul du groupe de monodrmie d'une courbe algébrique plane, University of Limoges, 2008.
• 88A. Poteaux, M. Weimann.
  
  A dichotomic Newton-Puiseux algorithm using dynamic evaluation, in: Preprint available at https://hal.inria.fr/hal-01578214, 2017.
• 89A. Quadrat.
  
  The fractional representation approach to synthesis problems: an algebraic analysis viewpoint. Part I: (weakly) doubly coprime factorizations, Part II: internal stabilization, in: SIAM J. Control & Optimization, 2003, vol. 42, pp. 266–299, 300–320.
• 90A. Quadrat.
  
  A lattice approach to analysis and synthesis problems. On a generalization of the Youla-Ku$\check{\mathrm{c}}$era parametrization. Part II: The lattice approach to MIMO systems, in: Mathematics of Control, Signals, and Systems, 2006, vol. 18, pp. 147–186, 199–235.
• 91A. Quadrat.
  
  An introduction to constructive algebraic analysis and its applications, in: Les cours du CIRM, Journées Nationales de Calcul Formel, CIRM, 2010, vol. 1, pp. 281–471.
• 92A. Quadrat.
  
  Noncommutative geometric structures on stabilizable infinite-dimensional linear systems, in: European Control Conference, Strasbourg (France), 2014.
• 93A. Quadrat.
  
  A constructive algebraic analysis approach to Artstein's reduction of linear time-delay systems, in: Proceedings of 12th IFAC Workshop on Time Delay Systems (TDS), 2015.
• 94A. Quadrat.
  
  Towards an effective study of the algebraic parameter estimation problem, in: Proceedings of 20th World Congress of the International Federation of Automatic Control (IFAC'17), 2017.
• 95A. Quadrat, G. Regensburger.
  
  Computing polynomial solutions and annihilators of integro-differential operators with polynomial coefficients, in: Algebraic and Symbolic Computation Methods in Dynamical Systems, Springer, 2018, vol. 9, pp. 87–111.
• 96A. Quadrat, D. Robertz.
  
  Computation of bases of free modules over the Weyl algebras, in: Journal of Symbolic Computation, 2007, vol. 42, pp. 1113–1141.
• 97A. Quadrat, D. Robertz.
  
  A constructive study of the module structure of rings of partial differential operators, in: Acta Applicandæ Mathematicæ, 2014, vol. 133, pp. 187–243.
• 98G. Rance, Y. Bouzidi, A. Quadrat, A. Quadrat.
  
  Explicit $H_{\infty }$ controllers for 1st to 3rd order single-input single-output systems with parameters, in: Proceedings of IFAC 2017 Workshop Congress, 2017.
• 99G. Rance, Y. Bouzidi, A. Quadrat, A. Quadrat.
  
  Parametric sub-optimal $H_{\infty }$ controllers for an optro-mechanical system modeled by a time-delay 4th order system, in: 8th International Symposium on Optronics in Defence and Security, OPTRO2018, accepted, 2018.
• 100G. Rance, Y. Bouzidi, A. Quadrat, A. Quadrat, F. Rouillier.
  
  Explicit $H_{\infty }$ controllers for 4th order single-input single-output systems with parameters and their applications to the two mass-spring system with damping, in: Proceedings of IFAC 2017 Workshop Congress, 2017.
• 101J. F. Ritt.
  
  Differential Algebra, RI: Amer. Math. Soc., 1950.
• 102D. Robertz.
  
  Formal Algorithmic Elimination for PDEs, Lecture Notes in Mathematics, Springer, 2014, vol. 2121.
• 103J. J. Rotman.
  
  An Introduction to Homological Algebra, Academic Press, 1979.
• 104W. M. Seiler.
  
  Involution. The Formal Theory of Differential Equations and its Applications in Computer Algebra, Springer, 2010.
• 105J. T. Stafford.
  
  Module structure of Weyl algebras, in: J. London Math. Soc., 1978, vol. 18, pp. 429–442.
• 106T. Sánchez, J. A. Moreno.
  
  A constructive Lyapunov function design method for a class of homogeneous systems, in: 53rd IEEE Conference on Decision and Control, Los Angeles, 2014, pp. 5500–5505.
• 107T. Sánchez, J. A. Moreno.
  
  An SOS method for the design of continuous and discontinuous differentiators, in: International Journal of Control, 2017, vol. https://doi.org/10.1080/00207179.2017.1393564, pp. 1–18.
• 108R. Ushirobira, A. Quadrat.
  
  Algebraic estimation of a biased and noisy continuous signal via orthogonal polynomials, in: 55th IEEE Conference on Decision and Control, 2016.
• 109M. V. der Put, M. Singer.
  
  Galois Theory of Linear Differential Equations, Springer, 2002.