-
arXiv:2403.14259 [pdf, ps, other]
Minimal covariance realization and system identification algorithm for a class of stochastic linear switched systems with i.i.d. switching
Abstract: In this paper, we consider stochastic realization theory of Linear Switched Systems (LSS) with i.i.d. switching. We characterize minimality of stochastic LSSs and show existence and uniqueness (up to isomorphism) of minimal LSSs in innovation form. We present a realization algorithm to compute a minimal LSS in innovation form from output and input covariances. Finally, based on this realization al… ▽ More
Submitted 4 April, 2024; v1 submitted 21 March, 2024; originally announced March 2024.
-
arXiv:2403.11012 [pdf, ps, other]
Towards stochastic realization theory for Generalized Linear Switched Systems with inputs: decomposition into stochastic and deterministic components and existence and uniqueness of innovation form
Abstract: In this paper, we study a class of stochastic Generalized Linear Switched System (GLSS), which includes subclasses of jump-Markov, piecewide-linear and Linear Parameter-Varying (LPV) systems. We prove that the output of such systems can be decomposed into deterministic and stochastic components. Using this decomposition, we show existence of state-space representation in innovation form, and we pr… ▽ More
Submitted 16 March, 2024; originally announced March 2024.
-
Loewner functions for bilinear systems
Abstract: This work brings together the moment matching approach based on Loewner functions and the classical Loewner framework based on the Loewner pencil in the case of bilinear systems. New Loewner functions are defined based on the bilinear Loewner framework, and a Loewner equivalent model is produced using these functions. This model is composed of infinite series that needs to be truncated in order to… ▽ More
Submitted 10 November, 2023; originally announced November 2023.
-
arXiv:2305.08508 [pdf, ps, other]
Minimal realizations of input-output behaviors by LPV state-space representations with affine dependency
Abstract: The paper makes the first steps towards a behavioral theory of LPV state-space representations with an affine dependency on scheduling, by characterizing minimality of such state-space representations. It is shown that minimality is equivalent to observability, and that minimal realizations of the same behavior are isomorphic.Finally, we establish a formal relationship between minimality of LPV st… ▽ More
Submitted 16 June, 2023; v1 submitted 15 May, 2023; originally announced May 2023.
-
arXiv:2212.14838 [pdf, ps, other]
PAC-Bayesian-Like Error Bound for a Class of Linear Time-Invariant Stochastic State-Space Models
Abstract: In this paper we derive a PAC-Bayesian-Like error bound for a class of stochastic dynamical systems with inputs, namely, for linear time-invariant stochastic state-space models (stochastic LTI systems for short). This class of systems is widely used in control engineering and econometrics, in particular, they represent a special case of recurrent neural networks. In this paper we 1) formalize the… ▽ More
Submitted 30 December, 2022; originally announced December 2022.
-
arXiv:2205.11989 [pdf, ps, other]
Realization Theory Of Recurrent Neural ODEs Using Polynomial System Embeddings
Abstract: In this paper we show that neural ODE analogs of recurrent (ODE-RNN) and Long Short-Term Memory (ODE-LSTM) networks can be algorithmically embeddeded into the class of polynomial systems. This embedding preserves input-output behavior and can suitably be extended to other neural DE architectures. We then use realization theory of polynomial systems to provide necessary conditions for an input-outp… ▽ More
Submitted 1 August, 2022; v1 submitted 24 May, 2022; originally announced May 2022.
Comments: 10 pages. Corrected typos and added references
Journal ref: Systems & Control Letters 173 (2023)
-
arXiv:2203.15409 [pdf, ps, other]
On minimal LPV state-space representations in innovation form: an algebraic characterization
Abstract: In this paper we will propose a definition of the concept of minimal state-space representations in innovation form for LPV. We also present algebraic conditions for a stochastic LPV state-space representation to be minimal in forward innovation form and discuss an algorithm for transforming any stochastic LPV state-space representation to a minimal one in innovation form.
Submitted 21 April, 2022; v1 submitted 29 March, 2022; originally announced March 2022.
-
Explicit construction of the minimum error variance estimator for stochastic LTI state-space systems
Abstract: In this short article, we showcase the derivation of the optimal (minimum error variance) estimator, when one part of the stochastic LTI system output is not measured but is able to be predicted from the measured system outputs. Similar derivations have been done before but not using state-space representation.
Submitted 1 January, 2023; v1 submitted 6 September, 2021; originally announced September 2021.
-
Application of robust control for CSR formalization and stakeholders interest
Abstract: In this paper, we propose a new definition of sustainability that includes dynamics and equity. We propose a theoretical framework that allows finding a fair equilibrium and sustainable strategies for all stakeholders. The goal is to propose a strategy such that in the long run the attributes get close to an equilibrium point which is Pareto-optimal for the stakeholders. In order to calculate a st… ▽ More
Submitted 3 September, 2021; originally announced September 2021.
-
arXiv:2104.10767 [pdf, ps, other]
Reduced-order modeling of LPV systems in the Loewner framework
Abstract: We propose a model reduction method for LPV systems. We consider LPV state-space representations with an affine dependence on the scheduling variables. The main idea behind the proposed method is to compute the reduced order model in such a manner that its frequency domain transfer function coincides with that of the original model for some frequencies. The proposed method uses Loewner-like matric… ▽ More
Submitted 21 April, 2021; originally announced April 2021.
Comments: 9 pages, 2 figures
MSC Class: 93C05; 93C10
-
Model reduction of linear hybrid systems
Abstract: The paper proposes a model reduction algorithm for linear hybrid systems, i.e., hybrid systems with externally induced discrete events, with linear continuous subsystems, and linear reset maps. The model reduction algorithm is based on balanced truncation. Moreover, the paper also proves an analytical error bound for the difference between the input-output behaviors of the original and the reduced… ▽ More
Submitted 17 March, 2020; originally announced March 2020.
-
arXiv:2002.01818 [pdf, ps, other]
Minimality and identifiability of discrete-time SARX systems
Abstract: The paper studies the problem of minimality and identifiability for Switched Auto-Regressive eXogenous (abbreviated by SARX) systems. We propose formal definitions of the concepts of identifiability and minimality for SARX models. Based on these formalizations, we derive conditions for minimality and identifiability of SARX systems. In particular, we show that polynomially parametrized SARX system… ▽ More
Submitted 5 February, 2020; originally announced February 2020.
-
arXiv:1903.05609 [pdf, ps, other]
Realization theory of recurrent neural networks and rational systems
Abstract: In this paper, we show that, under mild assumptions, input-output behavior of a continous-time recurrent neural network (RNN) can be represented by a rational or polynomial nonlinear system. The assumptions concern the activation function of RNNs, and it is satisfied by many classical activation functions such as the hyperbolic tangent. We also present an algorithm for constructing the polynomial… ▽ More
Submitted 18 March, 2019; v1 submitted 13 March, 2019; originally announced March 2019.
-
Data-driven model order reduction of linear switched systems
Abstract: The Loewner framework for model reduction is extended to the class of linear switched systems. One advantage of this framework is that it introduces a trade-off between accuracy and complexity. Moreover, through this procedure, one can derive state-space models directly from data which is related to the input-output behavior of the original system. Hence, another advantage of the framework is that… ▽ More
Submitted 15 December, 2017; originally announced December 2017.
Comments: 35 pages, 12 figures
MSC Class: 93A15 93A30 93B11 93C05 93C10
-
arXiv:1712.02158 [pdf, ps, other]
Balanced truncation for linear switched systems
Abstract: We propose a model order reduction approach for balanced truncation of linear switched systems. Such systems switch among a finite number of linear subsystems or modes. We compute pairs of controllability and observability Gramians corresponding to each active discrete mode by solving systems of coupled Lyapunov equations. Depending on the type, each such Gramian corresponds to the energy associ… ▽ More
Submitted 6 December, 2017; originally announced December 2017.
Comments: 35 pages, 5 figure, submitted to a special issue journal
MSC Class: 93A15; 93A30; 93B11; 93C05; 93C10
-
arXiv:1612.07962 [pdf, ps, other]
Rational observers of rational systems
Abstract: Rational observers are to be constructed for rational systems while polynomial observers are to be constructed for polynomial systems. An observer synthesis procedure is formulated. First an output-based rational realization is synthesized for the considered rational system. Then a perturbation technique creates an observer. Finite algebraic observability of the rational system impies the existenc… ▽ More
Submitted 23 December, 2016; originally announced December 2016.
Comments: This report is the original submission to the 55th IEEE Conference on Decision and Control held in December 2016. The proceedings of the conference contains the six page final version. The submission has 8 pages. The submission contains two more examples but less explicit results on the performance of the observer
-
Minimax Observers for Linear DAEs
Abstract: In this note we construct minimax observers for linear stationary DAEs with bounded uncertain inputs, given noisy measurements. We prove a new duality principle and show that a finite (infinite) horizon minimax observer exists if and only if the DAE is $\ell$-impulse observable ($\ell$-detectable) . Remarkably, the regularity of the DAE is not required.
Submitted 17 February, 2017; v1 submitted 29 August, 2016; originally announced August 2016.
Comments: The only difference with respect to the previous version is that a few typos have been corrected
-
arXiv:1607.04374 [pdf, ps, other]
Relationship between Granger non-causality and graph structure of state-space representations
Abstract: In this paper we present an equivalent form of Granger noncausality in state space representation. As a generalization of this result, necessary and sufficient conditions are provided for an output process to admit a particular minimal coordinated state space representation.
Submitted 14 July, 2016; originally announced July 2016.
-
Moment matching for bilinear systems with nice selections
Abstract: The paper develops a method for model reduction of bilinear control systems. It leans upon the observation that the input-output map of a bilinear system has a particularly simple Fliess series expansion. Subsequently, a model reduction algorithm is formulated such that the coefficients of Fliess series expansion for the original and reduced systems match up to certain predefined sets - nice selec… ▽ More
Submitted 14 May, 2016; originally announced May 2016.
Comments: Extended version of the conference paper accepted to NOLCOS 2016
-
arXiv:1601.02777 [pdf, ps, other]
Realization Theory for LPV State-Space Representations with Affine Dependence
Abstract: In this paper we present a Kalman-style realization theory for linear parameter-varying state-space representations whose matrices depend on the scheduling variables in an affine way (abbreviated as LPV-SSA representations). We deal both with the discrete-time and the continuous-time cases. We show that such a LPV-SSA representation is a minimal (in the sense of having the least number of state-va… ▽ More
Submitted 18 February, 2017; v1 submitted 12 January, 2016; originally announced January 2016.
Comments: The main difference with respect to the previous version is as follows: typos have been fixed
-
arXiv:1507.02246 [pdf, ps, other]
An Algorithm for System Identification of a Discrete-Time Polynomial System without Inputs
Abstract: A subalgebraic approximation algorithm is proposed to estimate from a set of time series the parameters of the observer representation of a discrete-time polynomial system without inputs which can generate an approximation of the observed time series. A major step of the algorithm is to construct a set of generators for the polynomial function from the past outputs to the future outputs. For this… ▽ More
Submitted 8 July, 2015; originally announced July 2015.
Comments: IFAC Symposium System Identification 2015. The arxiv report is equal to the initial conference submission, except for the last two words of the title
MSC Class: 93B30
-
arXiv:1412.5020 [pdf, ps, other]
Realization Theory of Stochastic Jump-Markov Linear Systems
Abstract: In this paper, we present a complete stochastic realization theory for stochastic jump-linear systems. We present necessary and sufficient conditions for the existence of a realization, along with a characterization of minimality in terms of reachability and observability. We also formulate a realization algorithm and argue that minimality can be checked algorithmically. The main tool for solving… ▽ More
Submitted 5 July, 2016; v1 submitted 16 December, 2014; originally announced December 2014.
Comments: This paper is partially based on the following conference paper: Mihaly Petreczky and Rene Vidal. Realization Theory of Stochastic Jump-Markov Linear Systems. 46th IEEE Conference on Decision and Control, 2007. In the new version some minor typos and mistakes have been corrected and Remark 9-10 were added
-
Solutions of differential-algebraic equations as outputs of LTI systems: application to LQ control problem
Abstract: In this paper we synthesize behavioral ideas with geometric control theory and propose a unified geometric framework for representing all solutions of a Linear Time Invariant Differential-Algebraic Equation (DAE-LTI) as outputs of classical Linear Time Invariant systems (ODE-LTI). An algorithm for computing an ODE-LTI that generates solutions of a given DAE-LTI is described. It is shown that two d… ▽ More
Submitted 31 October, 2016; v1 submitted 29 December, 2013; originally announced December 2013.
Comments: The main difference with respect to the previous version is that the supplementary files were included which were missing from the previous version. Note that part of the material of this report appeared in arXiv:1309.1235. A version of this paper was submitted to Automatica, first in January 2014 and then in November 2014, and then in November 2015
-
arXiv:1309.1235 [pdf, ps, other]
Infinite horizon control and minimax observer design for linear DAEs
Abstract: In this paper we construct an infinite horizon minimax state observer for a linear stationary differential-algebraic equation (DAE) with uncertain but bounded input and noisy output. We do not assume regularity or existence of a (unique) solution for any initial state of the DAE. Our approach is based on a generalization of Kalman's duality principle. The latter allows us to transform minimax stat… ▽ More
Submitted 13 September, 2013; v1 submitted 5 September, 2013; originally announced September 2013.
Comments: This is an extended version of the paper which is to appear in the proceedings of the 52nd IEEE Conference on Decision and Control, Florence, Italy, December 10-13, 2013
-
arXiv:1305.0441 [pdf, ps, other]
Local Nash Realizations
Abstract: In this paper we investigate realization theory of a class of non-linear systems, called Nash systems. Nash systems are non-linear systems whose vector fields and readout maps are analytic semi-algebraic functions. In this paper we will present a characterization of minimality in terms of observability and reachability and show that minimal Nash systems are isomorphic. The results are local in nat… ▽ More
Submitted 2 May, 2013; originally announced May 2013.
Comments: 8 pages, extended conference paper
MSC Class: 93B15; 93B05; 93B07
-
arXiv:1302.0221 [pdf, ps, other]
Balanced truncation for linear switched systems
Abstract: In this paper, we present a theoretical analysis of the model reduction algorithm for linear switched systems. This algorithm is a reminiscence of the balanced truncation method for linear parameter varying systems. Specifically in this paper, we provide a bound on the approximation error in L2 norm for continuous-time and l2 norm for discrete-time linear switched systems. We provide a system theo… ▽ More
Submitted 15 March, 2013; v1 submitted 1 February, 2013; originally announced February 2013.
Comments: We have corrected a number of typos and inconsistencies. In addition, we added new results in Theorem 3
-
arXiv:1209.0345 [pdf, ps, other]
Affine LPV systems: realization theory, input-output equations and relationship with linear switched systems
Abstract: We formulate a Kalman-style realization theory for discrete-time affine LPV systems. By an affine LPV system we mean an LPV system whose matrices are affine functions of the scheduling parameter. In this paper we characterize those input-output behaviors which exactly correspond to affine LPV systems. In addition, we characterize minimal affine LPV systems which realize a given input-output behavi… ▽ More
Submitted 28 September, 2013; v1 submitted 3 September, 2012; originally announced September 2012.
Comments: This paper is an extended version of Mihály Petreczky, Guillaume Mercère: Affine LPV systems: Realization theory, input-output equations and relationship with linear switched systems. CDC 2012: 4511-4516. 2012. The main difference with respect to the previous version is that some errors have been corrected, proofs and explanation were added. arXiv admin note: text overlap with arXiv:1103.1343 by other authors
-
Identification of Piecewise Linear Models of Complex Dynamical Systems
Abstract: The paper addresses the realization and identification problem or a subclass of piecewise-affine hybrid systems. The paper provides necessary and sufficient conditions for existence of a realization, a characterization of minimality, and an identification algorithm for this subclass of hybrid systems. The considered system class and the identification problem are motivated by applications in syste… ▽ More
Submitted 24 March, 2011; originally announced March 2011.
MSC Class: 93B15; 93B20; 93B25; 93C99
-
arXiv:1103.1349 [pdf, ps, other]
On the notion of persistence of excitation for linear switched systems
Abstract: The paper formulates the concept of persistence of excitation for discrete-time linear switched systems, and provides sufficient conditions for an input signal to be persistently exciting. Persistence of excitation is formulated as a property of the input signal, and it is not tied to any specific identification algorithm. The results of the paper rely on realization theory and on the notion of Ma… ▽ More
Submitted 7 March, 2011; originally announced March 2011.
MSC Class: 93B15; 93B20; 93B25; 93C99
-
arXiv:1010.5160 [pdf, ps, other]
Partial-realization theory and algorithms for linear switched systems: A formal power series approach
Abstract: The paper presents partial-realization theory and realization algorithms for linear switched systems. Linear switched systems are a particular subclass of hybrid systems. We formulate a notion of a partial realization and we present conditions for existence of a minimal partial realization. We propose two partial-realization algorithms and we show that under certain conditions they yield a complet… ▽ More
Submitted 25 October, 2010; originally announced October 2010.
MSC Class: 93B15; 93B20; 93B25; 93C99