arXiv subjects

John Leth

Publications and source records attributed to John Leth.

24 records · Page 2Linked to original sources

arXiv2015

Model Reduction by Moment Matching for Linear Switched Systems

Two moment-matching methods for model reduction of linear switched systems (LSSs) are presented. The methods are similar to the Krylov subspace methods used for moment matching for linear systems. The more general one of the two methods, is based on the so called "nice selection" of some vectors in the reachability or observability space of the LSS. The underlying theory is closely related to the (partial) realization theory of LSSs. In this paper, the connection of the methods to the realization theory of LSSs is provided, and algorithms are developed for the purpose of model reduction. Conditions for applicability of the methods for model reduction are stated and finally the results are illustrated on numerical examples.

eess.SY↗

arXiv2015

Modeling Populations of Thermostatic Loads with Switching Rate Actuation

We model thermostatic devices using a stochastic hybrid description, and introduce an external actuation mechanism that creates random switch events in the discrete dynamics. We then conjecture the form of the Fokker-Planck equation and successfully verify it numerically using Monte Carlo simulations. The actuation mechanism and subsequent modeling result are relevant for power system operation.

eess.SY↗

arXiv2015

Stochastic Analysis of Synchronization in a Supermarket Refrigeration System

Display cases in supermarket systems often exhibit synchronization, in which the expansion valves in the display cases turn on and off at exactly the same time. The study of the influence of switching noise on synchronization in supermarket refrigeration systems is the subject matter of this work. For this purpose, we model it as a hybrid system, for which synchronization corresponds to a periodic trajectory. Subsequently, we investigate the influence of switching noise. We develop a statistical method for computing an intensity function, which measures how often the refrigeration system stays synchronized. By analyzing the intensity, we conclude that the increase in measurement uncertainty yields the decrease at the prevalence of synchronization.

eess.SY↗

arXiv2014

Model Reduction of Linear Switched Systems by Restricting Discrete Dynamics

We present a procedure for reducing the number of continuous states of discrete-time linear switched systems, such that the reduced system has the same behavior as the original system for a subset of switching sequences. The proposed method is expected to be useful for abstraction based control synthesis methods for hybrid systems.

eess.SY↗

arXiv2013

A Simple Stochastic Differential Equation with Discontinuous Drift

In this paper we study solutions to stochastic differential equations (SDEs) with discontinuous drift. We apply two approaches: The Euler-Maruyama method and the Fokker-Planck equation and show that a candidate density function based on the Euler-Maruyama method approximates a candidate density function based on the stationary Fokker-Planck equation. Furthermore, we introduce a smooth function which approximates the discontinuous drift and apply the Euler-Maruyama method and the Fokker-Planck equation with this input. The point of departure for this work is a particular SDE with discontinuous drift.

eess.SY↗

arXiv2013

Balanced truncation for linear switched systems

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 theoretic interpretation of grammians and their singular values. Furthermore, we show that the performance of bal- anced truncation depends only on the input-output map and not on the choice of the state-space representation. For a class of stable discrete-time linear switched systems (so called strongly stable systems), we define nice controllability and nice observability grammians, which are genuinely related to reachability and controllability of switched systems. In addition, we show that quadratic stability and LMI estimates of the L2 and l2 gains depend only on the input-output map.

math.OC↗