Peter Giesl

SN Comput. Sci., July, 2023

Common Lyapunov Functions for Switched Linear Systems: Linear Programming-Based Approach.

[BibT_eX]

[DOI]

Stefania Andersen

IEEE Control. Syst. Lett., 2023

Contraction Metrics by Numerical Integration and Quadrature: Uniform Error Estimate.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Informatics in Control, 2023

Positively Invariant Sets for ODEs and Numerical Integration.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Informatics in Control, 2023

2022

A Projected Subgradient Method for the Computation of Adapted Metrics for Dynamical Systems.

[BibT_eX]

[DOI]

SIAM J. Appl. Dyn. Syst., December, 2022

Robustness of Numerically Computed Contraction Metrics.

[BibT_eX]

[DOI]

SN Comput. Sci., 2022

Eigenpairs for the Analysis of Complete Lyapunov Functions.

[BibT_eX]

[DOI]

Complex., 2022

2021

ResEntSG: Restoration entropy estimation for dynamical systems via Riemannian metric optimization.

[BibT_eX]

[DOI]

Christoph Kawan

SoftwareX, 2021

A Subgradient Algorithm for Data-Rate Optimization in the Remote State Estimation Problem.

[BibT_eX]

[DOI]

Christoph Kawan

SIAM J. Appl. Dyn. Syst., 2021

Minimization with differential inequality constraints applied to complete Lyapunov functions.

[BibT_eX]

[DOI]

Math. Comput., 2021

Computation and verification of contraction metrics for exponentially stable equilibria.

[BibT_eX]

[DOI]

J. Comput. Appl. Math., 2021

Comparison of Different Radial Basis Functions in Dynamical Systems.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Simulation and Modeling Methodologies, 2021

Robustness of Contraction Metrics Computed by Radial Basis Functions.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Informatics in Control, 2021

Uniformly Regular Triangulations for Parameterizing Lyapunov Functions.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Informatics in Control, 2021

2020

Update (2.0) to LyapXool: Eigenpairs and new classification methods.

[BibT_eX]

[DOI]

SoftwareX, 2020

Automatic Determination of Connected Sublevel Sets of CPA Lyapunov Functions.

[BibT_eX]

[DOI]

Conor Osborne

SIAM J. Appl. Dyn. Syst., 2020

Simplicial complex with approximate rotational symmetry: A general class of simplicial complexes.

[BibT_eX]

[DOI]

J. Comput. Appl. Math., 2020

Evaluation of Lyapunov Function Candidates through Averaging Iterations.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Informatics in Control, 2020

2019

LyapXool - a program to compute complete Lyapunov functions.

[BibT_eX]

[DOI]

SoftwareX, 2019

Computation of a Contraction Metric for a Periodic Orbit Using Meshfree Collocation.

[BibT_eX]

[DOI]

SIAM J. Appl. Dyn. Syst., 2019

Middle Point Reduction of the Chain-recurrent Set.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Simulation and Modeling Methodologies, 2019

Clustering Algorithm for Generalized Recurrences using Complete Lyapunov Functions.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Informatics in Control, 2019

Improved estimation of the chain-recurrent set.

[BibT_eX]

[DOI]

Proceedings of the 17th European Control Conference, 2019

Computing Expected Runtimes for Constant Probability Programs.

[BibT_eX]

[DOI]

Jürgen Giesl

Marcel Hark

Proceedings of the Automated Deduction - CADE 27, 2019

2018

Kernel-Based Discretization for Solving Matrix-Valued PDEs.

[BibT_eX]

[DOI]

Holger Wendland

SIAM J. Numer. Anal., 2018

Iterative Construction of Complete Lyapunov Functions.

[BibT_eX]

[DOI]

Proceedings of 8th International Conference on Simulation and Modeling Methodologies, 2018

Combination of Refinement and Verification for the Construction of Lyapunov Functions using Radial Basis Functions.

[BibT_eX]

[DOI]

Najla Mohammed

Proceedings of the 15th International Conference on Informatics in Control, 2018

Construction of a Complete Lyapunov Function using Quadratic Programming.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Informatics in Control, 2018

Local Lyapunov Functions for Nonlinear Stochastic Differential Equations by Linearization.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Informatics in Control, 2018

Computation of Complete Lyapunov Functions for Three-Dimensional Systems.

[BibT_eX]

[DOI]

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

2017

Wendland Functions - A C++ Code to Compute Them.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, 2017

Analysing Dynamical Systems - Towards Computing Complete Lyapunov Functions.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, 2017

Complete Lyapunov Functions: Computation and Applications.

[BibT_eX]

[DOI]

Proceedings of the Simulation and Modeling Methodologies, Technologies and Applications, 2017

2015

Computation and Verification of Lyapunov Functions.

[BibT_eX]

[DOI]

SIAM J. Appl. Dyn. Syst., 2015

2014

Computation of continuous and piecewise affine Lyapunov functions by numerical approximations of the Massera construction.

[BibT_eX]

[DOI]

Johann Bjornsson

Christopher M. Kellett

Huijuan Li

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Implementation of a fan-like triangulation for the CPA method to compute Lyapunov functions.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2014

2008

Construction of a local and global Lyapunov function for discrete dynamical systems using radial basis functions.

[BibT_eX]

[DOI]

J. Approx. Theory, 2008

2007

Meshless Collocation: Error Estimates with Application to Dynamical Systems.

[BibT_eX]

[DOI]

Holger Wendland

SIAM J. Numer. Anal., 2007

2006

Stability Optimization of Juggling.

[BibT_eX]

[DOI]

Katja D. Mombaur