2024
Journal articles
Nicolas Augier, Didier Henrion, Milan Korda, Victor Magron. Symmetry reduction and recovery of trajectories of optimal control problems via measure relaxations. ESAIM: Control, Optimisation and Calculus of Variations, 2024, 30, pp.63. ⟨10.1051/cocv/2024053⟩. ⟨hal-04694171v2⟩
Conference papers
Saroj Prasad Chhatoi, Aneel Tanwani, Didier Henrion. Optimal Control of Nonsmooth Dynamical Systems using Measure Relaxations. IEEE Conference on Decision and Control, IEEE, Dec 2024, Milan (Italie), Italy. ⟨hal-04701838⟩
Preprints, Working Papers, ...
Didier Henrion, Jean-Bernard Lasserre. An infinite-dimensional Christoffel function and detection of abnormal trajectories. 2023. ⟨hal-04631100⟩
Didier Henrion, Jean Bernard Lasserre. Approximate D-optimal design and equilibrium measure *. 2024. ⟨hal-04688534⟩
Didier Henrion, Adrien Le Franc, Victor Magron. Slow convergence of the moment-SOS hierarchy for an elementary polynomial optimization problem. 2024. ⟨hal-04500960v2⟩
Saroj Prasad Chhatoi, Aneel Tanwani, Didier Henrion. Evolution of Measures in Nonsmooth Dynamical Systems: Formalisms and Computation. 2024. ⟨hal-04570185⟩
Didier Henrion, Mauricio Junca, Mauricio Velasco. Moment-SOS hierarchy and exit location of stochastic processes. 2024. ⟨hal-03110452v3⟩
Didier Henrion, Alessandro Rudi. Solving moment and polynomial optimization problems on Sobolev spaces. 2024. ⟨hal-04393205⟩
Didier Henrion. Infinite-dimensional Christoffel-Darboux polynomial kernels on Hilbert spaces. 2024. ⟨hal-04628265⟩
Jared Miller, Matteo Tacchi, Didier Henrion, Mario Sznaier. Unsafe Probabilities and Risk Contours for Stochastic Processes using Convex Optimization. 2023. ⟨hal-04382156⟩
2023
Journal articles
Matteo Tacchi, Jean Bernard Lasserre, Didier Henrion. Stokes, Gibbs and volume computation of semi-algebraic sets. Discrete and Computational Geometry, 2023, 69 (1), pp.260-283. ⟨10.1007/s00454-022-00462-0⟩. ⟨hal-02947268v3⟩
Marianne Souaiby, Aneel Tanwani, Didier Henrion. Ensemble Approximations for Constrained Dynamical Systems using Liouville Equation. Automatica, 2023, 149, pp.110836. ⟨10.1016/j.automatica.2022.110836⟩. ⟨hal-03167458v3⟩
Didier Henrion, Felix Kirschner, Etienne de Klerk, Milan Korda, Jean-Bernard Lasserre, et al.. Revisiting semidefinite programming approaches to options pricing: complexity and computational perspectives. INFORMS Journal on Computing, 2023, 35 (2), pp.265-517. ⟨10.1287/ijoc.2022.1220⟩. ⟨hal-03429272v2⟩
Preprints, Working Papers, ...
Didier Henrion, Simone Naldi, Mohab Safey El Din. Algebraic certificates for the truncated moment problem. 2023. ⟨hal-03987123⟩
Didier Henrion. Geometry of exactness of moment-SOS relaxations for polynomial optimization. 2023. ⟨hal-04258249v3⟩
Didier Henrion, Maria Infusino, Salma Kuhlmann, Victor Vinnikov. Infinite-dimensional moment-SOS hierarchy for nonlinear partial differential equations. 2023. ⟨hal-04117218⟩
Didier Henrion, Milan Korda, Jean-Bernard Lasserre. POLYNOMIAL ARGMIN FOR RECOVERY AND APPROXIMATION OF MULTIVARIATE DISCONTINUOUS FUNCTIONS. 2023. ⟨hal-03986252v2⟩
Didier Henrion, Milan Korda, Martin Kružík, Rodolfo Rios-Zertuche. Occupation measure relaxations in variational problems: the role of convexity. 2023. ⟨hal-04118080⟩
2022
Journal articles
Marianne Souaiby, Aneel Tanwani, Didier Henrion. Cone-Copositive Lyapunov Functions for Complementarity Systems: Converse Result and Polynomial Approximation. IEEE Transactions on Automatic Control, 2022, 67 (3), pp.1253 - 1268. ⟨10.1109/TAC.2021.3061557⟩. ⟨hal-02565283v2⟩
Didier Henrion, Jean B Lasserre. Graph Recovery From Incomplete Moment Information. Constructive Approximation, 2022, 6, pp.165-187. ⟨10.1007/s00365-022-09563-8⟩. ⟨hal-02990825v2⟩
Pavel Trutman, Mohab Safey El Din, Didier Henrion, Tomas Pajdla. Globally Optimal Solution to Inverse Kinematics of 7DOF Serial Manipulator. IEEE Robotics and Automation Letters, 2022, 7 (3), pp.6012 - 6019. ⟨10.1109/LRA.2022.3163444⟩. ⟨hal-02905816v2⟩
Book sections
Milan Korda, Didier Henrion, Jean-Bernard Lasserre. Moments and convex optimization for analysis and control of nonlinear partial differential equations. Elsevier. Handbook of Numerical Analysis, 23, Elsevier, pp.339--366, 2022. ⟨hal-01771699⟩
Preprints, Working Papers, ...
Antonio Bellon, Didier Henrion, Vyacheslav Kungurtsev, Jakub Mareček. Time-Varying Semidefinite Programming: Geometry of the Trajectory of Solutions. 2022. ⟨hal-03196925v2⟩
2021
Journal articles
Matteo Tacchi, Tillmann Weisser, Jean-Bernard Lasserre, Didier Henrion. Exploiting Sparsity for Semi-Algebraic Set Volume Computation. Foundations of Computational Mathematics, 2021, 22, pp.161--209. ⟨10.1007/s10208-021-09508-w⟩. ⟨hal-02010175v2⟩
Paul Rousse, Pierre-Loïc Garoche, Didier Henrion. Parabolic Set Simulation for Reachability Analysis of Linear Time Invariant Systems with Integral Quadratic Constraint. European Journal of Control, 2021, 58, pp.152-167. ⟨10.1016/j.ejcon.2020.08.002⟩. ⟨hal-02049158v2⟩
Jared Miller, Didier Henrion, Mario Sznaier. Peak Estimation Recovery and Safety Analysis. IEEE Control Systems Letters, 2021, 5 (6), pp.1982-1987. ⟨10.1109/LCSYS.2020.3047591⟩. ⟨hal-03177567⟩
Didier Henrion, Simone Naldi, Mohab Safey El Din. Exact algorithms for semidefinite programs with degenerate feasible set. Journal of Symbolic Computation, 2021, 104, pp.942 - 959. ⟨10.1016/j.jsc.2020.11.001⟩. ⟨hal-03121215⟩
Marek Tyburec, Jan Zeman, Martin Kružík, Didier Henrion. Global optimality in minimum compliance topology optimization of frames and shells by moment-sum-of-squares hierarchy. Structural and Multidisciplinary Optimization, 2021, 64 (4), pp.1963-1981. ⟨10.1007/s00158-021-02957-5⟩. ⟨hal-02949791⟩
Yohann de Castro, Fabrice Gamboa, Didier Henrion, Jean B Lasserre. Dual optimal design and the Christoffel-Darboux polynomial. Optimization Letters, 2021, 15, pp.3-8. ⟨10.1007/s11590-020-01680-2⟩. ⟨hal-02931534v2⟩
Milan Korda, Didier Henrion, Igor Mezic. Convex computation of extremal invariant measures of nonlinear dynamical systems and Markov processes. Journal of Nonlinear Science, 2021, 31 (14), ⟨10.1007/s00332-020-09658-1⟩. ⟨hal-01841989v2⟩
Swann Marx, Edouard Pauwels, Tillmann Weisser, Didier Henrion, Jean B Lasserre. Semi-algebraic approximation using Christoffel-Darboux kernel. Constructive Approximation, 2021, 54 (3), pp.391-429. ⟨10.1007/s00365-021-09535-4⟩. ⟨hal-02085835v3⟩
Conference papers
Daniel Wagner, Didier Henrion, Martin Hromčík. Measures and LMIs for Validation of an Aircraft with MRAC and Uncertain Actuator Dynamics. AIAA SciTech Forum, Jan 2021, Virtual event, France. ⟨hal-02943045⟩
Marek Tyburec, Jan Zeman, Martin Kružík, Didier Henrion. Global optimality in minimum compliance topology optimization of frames and shells by moment-sum-of-squares hierarchy. 14th World Congress of Structural and Multidisciplinary Optimization (WCSMO 14), Jun 2021, Boulder, Colorado, United States. ⟨hal-03765998⟩
Jared Miller, Didier Henrion, Mario Sznaier, Milan Korda. Peak Estimation for Uncertain and Switched Systems. IEEE Conference on Decision and Control 2021 (CDC 2021), Dec 2021, Austin, Texas, United States. ⟨10.1109/CDC45484.2021.9683778⟩. ⟨hal-03181056⟩
2020
Journal articles
Swann Marx, Tillmann Weisser, Didier Henrion, Jean B Lasserre. A moment approach for entropy solutions to nonlinear hyperbolic PDEs *. Mathematical Control and Related Fields, 2020, 10 (1), pp.113-140. ⟨10.3934/mcrf.2019032⟩. ⟨hal-01830870⟩
Didier Henrion, Simone Naldi, Mohab Safey El Din. Real root finding for low rank linear matrices. Applicable Algebra in Engineering, Communication and Computing, 2020, 31, pp.101-133. ⟨10.1007/s00200-019-00396-w⟩. ⟨hal-01159210v2⟩
Books
Didier Henrion, Milan Korda, Jean-Bernard Lasserre. The Moment-SOS Hierarchy. World Scientific. World Scientific Publishing Europe Ltd., 4, 248p., 2020, Optimization and its Applications, 978-1-78634-853-1. ⟨10.1142/q0252⟩. ⟨hal-03009026⟩
Conference papers
Didier Henrion, Matteo Tacchi, Carmen Cardozo, Jean B Lasserre. Approximating regions of attraction of a sparse polynomial differential system *. IFAC World Congress, Jul 2020, virtual, Germany. pp.3266-3271, ⟨10.1016/j.ifacol.2020.12.1488⟩. ⟨hal-02367689v2⟩
Marianne Souaiby, Aneel Tanwani, Didier Henrion. Computation of Lyapunov Functions under State Constraints using Semidefinite Programming Hierarchies. 21st IFAC World Congress, Jul 2020, Berlin virtual), Germany. ⟨10.1016/j.ifacol.2020.12.1746⟩. ⟨hal-02937714v2⟩
Daniel Wagner, Didier Henrion, Martin Hromčík. Measures and LMIs for Lateral F-16 MRAC Validation. American Control Conference (ACC 2020), Jul 2020, Denver (online), United States. ⟨10.23919/ACC45564.2020.9147855⟩. ⟨hal-02517022⟩
Preprints, Working Papers, ...
Jared Miller, Didier Henrion, Mario Sznaier. Peak Estimation and Recovery with Occupation Measures. 2020. ⟨hal-02937464⟩
Daniel Wagner, Didier Henrion, Martin Hromčík. Measures and Linear Matrix Inequalities for Verification and Validation of a Flexible Aircraft with Adaptive Control. 2020. ⟨hal-02939504⟩
2019
Journal articles
Didier Henrion, Simone Naldi, Mohab Safey El Din. SPECTRA – a Maple library for solving linear matrix inequalities in exact arithmetic. Optimization Methods and Software, 2019, 34 (1), pp.62-78. ⟨10.1080/10556788.2017.1341505⟩. ⟨hal-01393022v3⟩
Yohann de Castro, Fabrice Gamboa, Didier Henrion, Roxana Hess, Jean-Bernard Lasserre. Approximate Optimal Designs for Multivariate Polynomial Regression. Annals of Statistics, 2019, 47 (1), pp.127-155. ⟨10.1214/18-AOS1683⟩. ⟨hal-01483490v2⟩
Victor Magron, Pierre-Loïc Garoche, Didier Henrion, Xavier Thirioux. Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems. SIAM Journal on Control and Optimization, 2019, 57 (4), pp.2799-2820. ⟨10.1137/17M1121044⟩. ⟨hal-01490897⟩
Antoine Oustry, Matteo Tacchi, Didier Henrion. Inner approximations of the maximal positively invariant set for polynomial dynamical systems. IEEE Control Systems Letters, 2019. ⟨hal-02064440v3⟩
Didier Henrion, Martin Kružík, Tillmann Weisser. Optimal control problems with oscillations, concentrations and discontinuities. Automatica, 2019, 103, pp.159-165. ⟨10.1016/j.automatica.2019.01.030⟩. ⟨hal-01802883v2⟩
Victor Magron, Marcelo Forets, Didier Henrion. Semidefinite Approximations of Invariant Measures for Polynomial Systems. Discrete and Continuous Dynamical Systems - Series B, 2019, 24 (12), pp.6745-6770. ⟨10.3934/dcdsb.2019165⟩. ⟨hal-01828443⟩
Conference papers
Marek Tyburec, Jan Zeman, Martin Kružík, Didier Henrion. On optimum design of frame structures. Nano and Macro Mechanics Conference, Sep 2019, Prague, Czech Republic. ⟨hal-02290530⟩
Antoine Oustry, Carmen Cardozo, Patrick Panciatici, Didier Henrion. Maximal Positively Invariant Set Determination for Transient Stability Assessment in Power Systems. IEEE 58th Conference on Decision and Control (CDC), Dec 2019, Nice, France. ⟨10.1109/CDC40024.2019.9029422⟩. ⟨hal-01923135v2⟩
Daniel Wagner, Didier Henrion, Martin Hromčík. Measures and LMIs for Adaptive Control Validation. IEEE 58th Conference on Decision and Control (CDC 2019 ), Dec 2019, Nice, France. ⟨10.1109/CDC40024.2019.9029254⟩. ⟨hal-02612057⟩
Other documents
Dimitri Peaucelle, Marie-José Huguet, Yannick Pencolé, Christian Artigues, Emmanuel Hébrard, et al.. Bilan et prospectives 2019 du département Décision & Optimisation du LAAS-CNRS. Rapport LAAS n° 19270. 2019. ⟨hal-02295816⟩
2018
Conference papers
Didier Henrion, Simone Naldi, Mohab Safey El Din. Exact algorithms for semidefinite programs with degenerate feasible set. ISSAC 2018 - 43rd International Symposium on Symbolic and Algebraic Computation, Jul 2018, New York City, United States. 17p., ⟨10.1145/3208976.3209022⟩. ⟨hal-01705590v2⟩
Guillaume Davy, Eric Féron, Pierre-Loïc Garoche, Didier Henrion. Experiments in Verification of Linear Model Predictive Control: Automatic Generation and Formal Verification of an Interior Point Method Algorithm. 22nd International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR-22), Nov 2018, Awassa, Ethiopia. 17p., ⟨10.29007/qt5j⟩. ⟨hal-02384908v3⟩
2017
Journal articles
Milan Korda, Didier Henrion, Colin N. Jones. Convergence rates of moment-sum-of-squares hierarchies for optimal control problems. Systems and Control Letters, 2017, 100, pp.1-5. ⟨hal-01362456⟩
Mathieu Claeys, Didier Henrion, Martin Kružík. Semi-definite relaxations for optimal control problems with oscillation and concentration effects. ESAIM: Control, Optimisation and Calculus of Variations, 2017, 23 (1), pp.95-117. ⟨hal-01078217⟩
Fabrizio Dabbene, Didier Henrion, Constantino Lagoa. Simple Approximations of Semialgebraic Sets and their Applications to Control. Automatica, 2017, 78, pp.110-118. ⟨hal-01198948⟩
Yohann de Castro, Fabrice Gamboa, Didier Henrion, Jean-Bernard Lasserre. Exact solutions to Super Resolution on semi-algebraic domains in higher dimensions. IEEE Transactions on Information Theory, 2017, 63 (1), pp. 621-630. ⟨10.1109/TIT.2016.2619368⟩. ⟨hal-01114328v2⟩
Book sections
Edouard Pauwels, Didier Henrion, Jean-Bernard Lasserre. Positivity certificates in optimal control. Springer. Geometric and Numerical Foundations of Movements, 117, Springer, pp.113-131, 2017, Springer Tracts in Advanced Robotics, 978-3-319-51546-5. ⟨hal-01311874⟩
Didier Henrion, Edouard Pauwels. Linear conic optimization for nonlinear optimal control. Terlaky, Tamas; Anjos, Miguel; Ahmed, Shabbir. Advances and Trends in Optimization with Engineering Applications, Chapitre 10, SIAM, pp.121-133, 2017, 978-1-61197-467-6. ⟨10.1137/1.9781611974683.ch10⟩. ⟨hal-03109262v2⟩
Proceedings
Denis D. Dochain, Didier Henrion, Dimitri Peaucelle. 20th IFAC World Congress Toulouse, France, 9–14 July 2017 PROCEEDINGS. IFAC World Congress, Jul 2017, Toulouse, France. 50 (1), , 2017, IFAC-PapersOnLine. ⟨hal-01762813⟩
2016
Journal articles
Milan Korda, Didier Henrion, Colin N. Jones. Controller design and value function approximation for nonlinear dynamical systems. Automatica, 2016, 67 (5), pp.54-66. ⟨hal-01136669⟩
Roxana Hess, Didier Henrion, Jean-Bernard Lasserre, Tien Son Pham. Semidefinite approximations of the polynomial abscissa. SIAM Journal on Control and Optimization, 2016, 54 (3), pp. 1633-1656. ⟨hal-01181623⟩
Didier Henrion, Simone Naldi, Mohab Safey El Din. Real root finding for determinants of linear matrices. Journal of Symbolic Computation, 2016, 74, pp.205-238. ⟨10.1016/j.jsc.2015.06.010⟩. ⟨hal-01077888v3⟩
Mathieu Claeys, Jamal Daafouz, Didier Henrion. Modal occupation measures and LMI relaxations for nonlinear switched systems control. Automatica, 2016, 64, pp.143-154. ⟨10.1016/j.automatica.2015.11.003⟩. ⟨hal-00980355v2⟩
Cédric Josz, Didier Henrion. Strong duality in Lasserre's hierarchy for polynomial optimization. Optimization Letters, 2016, 10 (1), pp.3-10. ⟨10.1007/s11590-015-0868-5⟩. ⟨hal-00997726v2⟩
Timothy Wang, Romain Jobredeaux, Marc Pantel, Pierre-Loïc Garoche, Eric Féron, et al.. Credible Autocoding of Convex Optimization Algorithms. Optimization and Engineering, 2016, 17 (4), pp.781-812. ⟨10.1007/s11081-016-9320-7⟩. ⟨hal-00961133⟩
Edouard Pauwels, Didier Henrion, Jean-Bernard Lasserre. Linear conic optimization for inverse optimal control. SIAM Journal on Control and Optimization, 2016, 54 (3), pp.1798-1825. ⟨10.1137/14099454X⟩. ⟨hal-01080428v3⟩
Didier Henrion, Simone Naldi, Mohab Safey El Din. Exact algorithms for linear matrix inequalities. SIAM Journal on Optimization, 2016, 26 (4), pp.2512-2539. ⟨10.1137/15M1036543⟩. ⟨hal-01184320v2⟩
Preprints, Working Papers, ...
Milan Korda, Didier Henrion. Convergence rates of moment-sum-of-squares hierarchies for volume approximation of semialgebraic sets. 2016. ⟨hal-01415327v2⟩
2015
Journal articles
Florian Bugarin, Didier Henrion, Jean-Bernard Lasserre. Minimizing the sum of many rational functions. Mathematical Programming Computation, 2015, 8 (1), pp. 83-111. ⟨10.1007/s12532-015-0089-z⟩. ⟨hal-00569067v2⟩
Victor Magron, Didier Henrion, Jean-Bernard Lasserre. Semidefinite approximations of projections and polynomial images of semialgebraic sets. SIAM Journal on Optimization, 2015, 25 (4), pp. 2143-2164. ⟨hal-01075343v2⟩
Florian Bugarin, Adrien Bartoli, Didier Henrion, Jean-Bernard Lasserre, Jean-José Orteu, et al.. Rank-constrained fundamental matrix estimation by polynomial global optimization versus the eight-point algorithm. Journal of Mathematical Imaging and Vision, 2015, 53 (1), pp.42-60. ⟨hal-00723015v2⟩
Book sections
Didier Henrion. Optimization based robust control. Baillieul, John, Samad, Tariq (Eds.). Encyclopedia of Systems and Control, Springer, 2015, 978-1-4471-5057-2. ⟨hal-00967051⟩
Didier Henrion. Convexity. Edited by Nicholas J. Higham. The Princeton Companion to Applied Mathematics, Princeton University Press, Part II.8 ; pp.89-90, 2015, 9780691150390. ⟨hal-01184243⟩
Conference papers
Fabrizio Dabbene, Didier Henrion, Constantino Lagoa, Pavel Shcherbakov. Randomized Approximations of the Image Set of Nonlinear Mappings with Applications to Filtering. IFAC Symposium on Robust Control Design (ROCOND 2015), Jul 2015, Bratislava, Russia. ⟨hal-01180735⟩
Didier Henrion, Simone Naldi, Mohab Safey El Din. Real root finding for rank defects in linear Hankel matrices. International Symposium on Symbolic and Algebraic Computation (ISSAC), Jul 2015, Bath, United Kingdom. pp.221-228, ⟨10.1145/2755996.2756667⟩. ⟨hal-01114378⟩
2014
Journal articles
Didier Henrion, Milan Korda. Convex computation of the region of attraction of polynomial control systems. IEEE Transactions on Automatic Control, 2014, 59 (2), pp. 297-312. ⟨hal-00723019v2⟩
Sergio Galeani, Didier Henrion, Alain Jacquemard, Luca Zaccarian. Design of Marx generators as a structured eigenvalue assignment. Automatica, 2014, 50 (10), pp. 2709-2717. ⟨hal-00783183v2⟩
Didier Henrion, Jean-Bernard Lasserre, Martin Mevissen. Mean squared error minimization for inverse moment problems. Applied Mathematics and Optimization, 2014, 70 (1), pp. 83-110. ⟨hal-00725977⟩
Victor Magron, Didier Henrion, Jean-Bernard Lasserre. Approximating Pareto Curves using Semidefinite Relaxations. Operations Research Letters, 2014, 42 (6-7), pp.432-437. ⟨hal-00980625v2⟩
Milan Korda, Didier Henrion, Colin N. Jones. Convex computation of the maximum controlled invariant set for polynomial control systems. SIAM Journal on Control and Optimization, 2014, 52 (5), pp.2944-2969. ⟨hal-00804816⟩
Conference papers
Fabrizio Dabbene, Didier Henrion, Constantino Lagoa. Uniform sample generation in semialgebraic sets. IEEE Conference on Decision and Control ( CDC ), Dec 2014, Los Angeles, United States. pp. 5177-5182. ⟨hal-00961074⟩
Edouard Pauwels, Didier Henrion, Jean-Bernard Lasserre. Inverse optimal control with polynomial optimization. IEEE Conference on Decision and Control ( CDC ), Dec 2014, Los Angeles, United States. pp.5581-5586. ⟨hal-00961722⟩
Stefan Streif, Didier Henrion, Rolf Findeisen. Probabilistic and Set-based Model Invalidation and Estimation using LMIs. 19th World Congress of the International Federation of Automatic Control (IFAC 2014), Aug 2014, Le Cap, South Africa. 15p. ; Paper TuB14.3. ⟨hal-00910264⟩
Jan Heller, Didier Henrion, Tomas Pajdla. Hand-Eye and Robot-World Calibration by Global Polynomial Optimization. IEEE International Conference on Robotics and Automation (ICRA 2014), May 2014, Hong Kong, China. 18p. ⟨hal-00946579⟩
Milan Korda, Didier Henrion, Colin N. Jones. Controller design and region of attraction estimation for nonlinear dynamical systems. 19th World Congress of the International Federation of Automatic Control (IFAC 2014), Aug 2014, Le Cap, South Africa. 20p., Paper MoC13.6. ⟨hal-00871051v2⟩
Other documents
Jan Heller, Didier Henrion, Tomas Pajdla. Stable radial distortion calibration by polynomial matrix inequalities programming. Asian Conference on Computer Vision (ACCV°, Nov 2014, Singapour, Singapore. ⟨hal-01066168⟩
Preprints, Working Papers, ...
Olivier Bachelier, Didier Henrion, Nima Yeganefar, Driss Mehdi. On the solutions to complex parameter-dependent LMIs involved in the stability analysis of 2D discrete models. 2014. ⟨hal-01064115v2⟩
