Sufficient Conditions for Detectability of Approximately Discretized Nonlinear Systems

Fuente: arXiv
Enregistré dans:
Détails bibliographiques
Auteurs principaux: Siriya, Seth, Schiller, Julian D., Lopez, Victor G., Müller, Matthias A.
Format: Preprint
Publié: 2025
Sujets:
Accès en ligne:
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
_version_ 1866908376417435648
author Siriya, Seth
Schiller, Julian D.
Lopez, Victor G.
Müller, Matthias A.
author_facet Siriya, Seth
Schiller, Julian D.
Lopez, Victor G.
Müller, Matthias A.
contents In many sampled-data applications, observers are designed based on approximately discretized models of continuous-time systems, where usually only the discretized system is analyzed in terms of its detectability. In this paper, we show that if the continuous-time system satisfies certain linear matrix inequality (LMI) conditions, and the sampling period of the discretization scheme is sufficiently small, then the whole family of discretized systems (parameterized by the sampling period) satisfies analogous discrete-time LMI conditions that imply detectability. Our results are applicable to general discretization schemes, as long as they produce approximate models whose linearizations are in some sense consistent with the linearizations of the continuous-time ones. We explicitly show that the Euler and second-order Runge-Kutta methods satisfy this condition. A batch-reactor system example is provided to highlight the usefulness of our results from a practical perspective.
format Preprint
id arxiv_https___arxiv_org_abs_2505_17857
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle Sufficient Conditions for Detectability of Approximately Discretized Nonlinear Systems
Siriya, Seth
Schiller, Julian D.
Lopez, Victor G.
Müller, Matthias A.
Systems and Control
Optimization and Control
In many sampled-data applications, observers are designed based on approximately discretized models of continuous-time systems, where usually only the discretized system is analyzed in terms of its detectability. In this paper, we show that if the continuous-time system satisfies certain linear matrix inequality (LMI) conditions, and the sampling period of the discretization scheme is sufficiently small, then the whole family of discretized systems (parameterized by the sampling period) satisfies analogous discrete-time LMI conditions that imply detectability. Our results are applicable to general discretization schemes, as long as they produce approximate models whose linearizations are in some sense consistent with the linearizations of the continuous-time ones. We explicitly show that the Euler and second-order Runge-Kutta methods satisfy this condition. A batch-reactor system example is provided to highlight the usefulness of our results from a practical perspective.
title Sufficient Conditions for Detectability of Approximately Discretized Nonlinear Systems
topic Systems and Control
Optimization and Control
url https://arxiv.org/abs/2505.17857