loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Author: Sigurdur Freyr Hafstein

Affiliation: University of Iceland, Iceland

Keyword(s): Simplicial Complex, Triangulation, Algorithm, Lyapunov Function, Nonlinear System, Discrete-time System.

Related Ontology Subjects/Areas/Topics: Formal Methods ; Mathematical Simulation ; Non-Linear Systems ; Optimization Issues ; Performance Analysis ; Simulation and Modeling ; Simulation Tools and Platforms

Abstract: Several algorithms have been suggested to parameterize continuous and piecewise affine Lyapunov functions for nonlinear systems in various settings. In these algorithms linear constraints are formulated for the values of a Lyapunov function at all vertices of a simplicial complex. They are then either solved using convex optimization or computed by other means and then verified. Originally these algorithms were designed for continuous-time systems and their adaptation to discrete-time systems and control systems poses some challenges in designing and implementing efficient algorithms and data structures for simplicial complexes. In this paper we discuss several of these and give efficient implementations in C++

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 54.196.248.93

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Freyr Hafstein, S. (2017). Efficient Algorithms for Simplicial Complexes Used in the Computation of Lyapunov Functions for Nonlinear Systems. In Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - SIMULTECH; ISBN 978-989-758-265-3; ISSN 2184-2841, SciTePress, pages 398-409. DOI: 10.5220/0006480003980409

@conference{simultech17,
author={Sigurdur {Freyr Hafstein}.},
title={Efficient Algorithms for Simplicial Complexes Used in the Computation of Lyapunov Functions for Nonlinear Systems},
booktitle={Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - SIMULTECH},
year={2017},
pages={398-409},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006480003980409},
isbn={978-989-758-265-3},
issn={2184-2841},
}

TY - CONF

JO - Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - SIMULTECH
TI - Efficient Algorithms for Simplicial Complexes Used in the Computation of Lyapunov Functions for Nonlinear Systems
SN - 978-989-758-265-3
IS - 2184-2841
AU - Freyr Hafstein, S.
PY - 2017
SP - 398
EP - 409
DO - 10.5220/0006480003980409
PB - SciTePress