This paper addresses the identification of non–linear dynamic systems. A wide class of these systems can be described using non–linear time-invariant regression models, that can be approximated by means of piecewise affine prototypes with an arbitrary degree of accuracy. This work concerns the identification of piecewise affine model structure through input–output data acquired from a dynamic p...

In this paper, we describe a novel approach for checking safety specifications of a dynamical system with exogenous inputs over infinite time horizon. We introduce the notion of resolution completeness for analysis of safety falsification algorithms and present sampling-based resolution-complete algorithms for safety falsification of discrete-time linear time-invariant systems. Given a target r...

This paper deals with the state estimation of linear time-invariant systems for which measurements of the output are available sporadically. To solve the considered problem, we provide an observer with jumps triggered by incoming measurements, which is studied in a hybrid systems framework. Specifically, the resulting system is written in estimation error coordinates and augmented with a timer ...

In this paper, the Gaussian relay channel with linear time-invariant relay filtering is considered. Based on spectral theory for stationary processes, the maximum achievable rate for this subclass of linear Gaussian relay operation is obtained in finite-letter characterization. The maximum rate can be achieved by dividing the overall frequency band into at most eight subbands and by making the ...

A stability robustness test is developed for internally stable, nominal, linear time-invariant (LTI) feedback systems subject to structured, linear time-varying uncertainty. There exists (in the literature) a necessary and sufficient structured small gain condition that determines robust stability in such cases. In this paper, the structured small gain theorem is utilized to formulate a (suffic...

In this paper, we consider identifying Auto Regressive with eXternal input (ARX) models for both Linear Time-Invariant (LTI) and Linear Time-Variant (LTV) systems. We aim at doing the identification from the smallest possible number of observations. This is inspired by the field of Compressive Sensing (CS), and for this reason, we call this problem Compressive System Identification (CSI). In th...

Stability is an important concept in LTI systems theory because any (practical) signal processing system must be stable. Unstable systems have outputs which grow unbounded for a bounded input. Of course, real systems, having limited energy, outputs cannot grow to infinity. However they can move to one limit or another and stay there. For example in an electrical circuit the output voltage might...

In this paper we study the use of pseudorandom test techniques for linear and nonlinear devices, in particular Micro Electro Mechanical Systems (MEMS). These test techniques lead to practical BuiltIn-Self-Test techniques (BIST). We will first present the pseudorandom test technique for Linear Time Invariant (LTI) systems. Next, we will illustrate and evaluate the application of these techniques...

The direct applicability of SVD-based methods in model reduction of large linear systems is very limited. However, substructuring methods are a possibility to use these approaches. A method called Automated Multilevel Substructuring (AMLS) has been successfully applied to eigenvalue computations of very large systems. We present a similar substructuring approach for linear time-invariant (LTI) ...

The aim of this contribution is to revise and extend results about stability and stabilization of a retarded quasipolynomial and systems obtained using the Mikhaylov criterion in our papers earlier. Not only retarded linear time-invariant time-delay systems (LTI-TDS) are considered in this paper; neutral as well as distributeddelay systems are the matter of the research. A LTI-TDS system of ret...