Below you find an interactive list of all my publications, which can be filtered by keywords, year, publication type and coauthors. There are also static lists of my books/book-chapters as well as journal-, conference-, and submitted publications.
Distributional restriction impossible to define Journal Article
In: Examples and Counterexamples, vol. 1, no. 100023, pp. 1-4, 2021, (open access).
A counterexample is presented showing that it is not possible to define a restriction for distributions.
Trenn, Stephan; Unger, Benjamin
In: PAMM · Proc. Appl. Math. Mech., pp. e202000322, Wiley-VCH GmbH, 2021, (Open Access.).
We consider linear time-invariant differential-algebraic equations (DAEs). For high-index DAEs, it is often the first step to perform an index reduction, which can be realized with a unimodular matrix. In this contribution, we illustrate the effect of unimodular transformations on initial trajectory problems associated with DAEs.
Wijnbergen, Paul; Trenn, Stephan
In: Systems & Control Letters, vol. 149, pp. 104870.1-10, 2021, (Open Access.).
In this paper stabilization of switched differential algebraic equations is considered, where Dirac impulses in both the input and the state trajectory are to be avoided during the stabilization process. First it is shown that stabilizability of a switched DAE and the existence of impulse-free solutions are merely necessary conditions for impulse-free stabilizability. Then necessary and sufficient conditions for the existence of impulse-free solutions are given, which motivate the definition of (impulse-free) interval-stabilization on a finite interval. Under a uniformity assumption, which can be verified for a broad class of switched systems, stabilizability on an infinite interval can be concluded based on interval-stabilizability. As a result a characterization of impulse-free interval stabilizability is given and as a corollary we provide a novel impulse-free null-controllability characterization. Finally, the results are compared to results on interval-stabilizability where Dirac impulses are allowed in the input and state trajectory.
Borsche, Raul; Kocoglu, Damla; Trenn, Stephan
In: Mathematics of Control, Signals, and Systems (MCSS), vol. 32, pp. 455-487, 2020, (Open Access).
A distributional solution framework is developed for systems consisting of linear hyperbolic partial differential equations (PDEs) and switched differential-algebraic equations (DAEs) which are coupled via boundary conditions. The unique solvability is then characterize in terms of a switched delay DAE. The theory is illustrated with an example of electric power lines modeled by the telegraph equations which are coupled via a switching transformer where simulations confirm the predicted impulsive solutions.
Wijnbergen, Paul; Trenn, Stephan
In: Proc. European Control Conference (ECC 2020), pp. 1561-1566, Saint Petersburg, Russia, 2020.
This paper addresses impulse controllability of switched DAEs on a finite interval. First we present a forward approach where we define certain subspaces forward in time. These subpsaces are then used to provide a sufficient condition for impulse controllability. In order to obtain a full characterization we present afterwards a backward approach, where a sequence of subspaces is defined backwards in time. With the help of the last element of this backward sequence, we are able to fully characterize impulse controllability. All results are geometric results and thus independent of a coordinate system.
The Laplace transform and inconsistent initial values Miscellaneous
Extended Abstract, 2020, (accepted for cancelled MTNS 20/21).
Switches in electrical circuits may lead to Dirac impulses in the solution; a real word example utilizing this effect is the spark plug. Treating these Dirac impulses in a mathematically rigorous way is surprisingly challenging. This is in particular true for arguments made in the frequency domain in connection with the Laplace transform. A survey will be given on how inconsistent initials values have been treated in the past and how these approaches can be justified in view of the now available solution theory based on piecewise-smooth distributions.
Tanwani, Aneel; Trenn, Stephan
In: Automatica, vol. 99, pp. 289-300, 2019.
This paper studies detectability for switched linear differential–algebraic equations (DAEs) and its application to the synthesis of observers, which generate asymptotically converging state estimates. Equating detectability to asymptotic stability of zero-output-constrained state trajectories, and building on our work on interval-wise observability, we propose the notion of interval-wise detectability: If the output of the system is constrained to be identically zero over an interval, then the norm of the corresponding state trajectories scales down by a certain factor at the end of that interval. Conditions are provided under which the interval-wise detectability leads to asymptotic stability of zero-output-constrained state trajectories. An application is demonstrated in designing state estimators. Decomposing the state into observable and unobservable components, we show that if the observable component of the system is reset appropriately and persistently, then the estimation error converges to zero asymptotically under the interval-wise detectability assumption.
Kausar, Rukhsana; Trenn, Stephan
In: Klingenberg, Christian; Westdickenberg, Michael (Ed.): Theory, Numerics and Applications of Hyperbolic Problems II, pp. 123-135, Springer, Cham, 2018, ISBN: 978-3-319-91548-7, (Presented at XVI International Conference on Hyperbolic Problems (HYP2016), Aachen).
In water distribution network instantaneous changes in valve and pump settings introduce jumps and sometimes impulses. In particular, a particular impulsive phenomenon which occurs due to sudden closing of valve is the so called water hammer. It is classically modeled as a system of hyperbolic partial differential equations (PDEs). We observed that under some suitable assumptions the PDEs usually used to describe water flows can be simplified to differential algebraic equations (DAEs). The idea is to model water hammer phenomenon in the switched DAEs framework due to its special feature of studying such impulsive effects. To compare these two modeling techniques, a system of hyperbolic PDE model and the switched DAE model for a simple set up consisting of two reservoirs, six pipes and three valve is presented. The aim of this contribution is to present results of both models as motivation for the claim that a switched DAE modeling framework is suitable for describing a water hammer.
Kausar, Rukhsana; Trenn, Stephan
Impulses in structured nonlinear switched DAEs Inproceedings
In: Proc. 56th IEEE Conf. Decis. Control, pp. 3181 - 3186, Melbourne, Australia, 2017.
Switched nonlinear differential algebraic equations (DAEs) occur in mathematical modeling of sudden transients in various physical phenomenons. Hence, it is important to investigate them with respect to the nature of their solutions. The few existing solvability results for switched nonlinear DAEs exclude Dirac impulses by definition; however, in many cases this is too restrictive. For example, in water distribution networks the water hammer effect can only be studied when allowing Dirac impulses in a nonlinear switched DAE description. We investigate existence and uniqueness of solutions with impulses for a general class of nonlinear switched DAEs, where we exploit a certain sparse structure of the nonlinearity.
Küsters, Ferdinand; Trenn, Stephan; Wirsen, Andreas
Switch observability for homogeneous switched DAEs Inproceedings
In: Proc. 20th IFAC World Congress 2017, pp. 9355 - 9360, Toulouse, France, 2017, ISSN: 2405-8963.
We introduce the notions of switching time observability and switch observability for homogeneous switched differential-algebraic equations (DAEs). In contrast to mode detection, they do not require observability of the individual modes and are thus more suitable for fault detection and identification. Based on results in (Küsters and Trenn, 2017) for switched ordinary differential equations (ODEs), we characterize these notions for homogeneous switched DAEs and propose an observer for switch observable systems.
Tanwani, Aneel; Trenn, Stephan
In: Proc. 20th IFAC World Congress 2017, pp. 2953 - 2958, Toulouse, France, 2017, ISSN: 2405-8963.
This paper studies detectability for switched linear differential-algebraic equations (DAEs) and its application in synthesis of observers. Equating detectability to asymptotic stability of zero-output-constrained state trajectories, and building on our work on interval-wise observability, we propose the notion of interval-wise detectability: If the output of the system is constrained to be identically zero over an interval, then the norm of the corresponding state trajectories scales down by a certain factor over that interval. Conditions are provided under which the interval-wise detectability leads to asymptotic stability of zero-output-constrained state trajectories. An application is demonstrated in designing state estimators. Decomposing the state into observable and unobservable components, we show that if the observable component in the estimator is reset appropriately and persistently, then the estimation error converges to zero asymptotically under the interval-wise detectability assumption.
Tanwani, Aneel; Trenn, Stephan
In: Automatica, vol. 76, pp. 17–31, 2017, ISSN: 0005-1098.
The problem of state reconstruction and estimation is considered for a class of switched dynamical systems whose subsystems are modeled using linear differential–algebraic equations (DAEs). Since this system class imposes time-varying dynamic and static (in the form of algebraic constraints) relations on the evolution of state trajectories, an appropriate notion of observability is presented which accommodates these phenomena. Based on this notion, we first derive a formula for the reconstruction of the state of the system where we explicitly obtain an injective mapping from the output to the state. In practice, such a mapping may be difficult to realize numerically and hence a class of estimators is proposed which ensures that the state estimate converges asymptotically to the real state of the system.
Küsters, Ferdinand; Trenn, Stephan
Duality of switched DAEs Journal Article
In: Math. Control Signals Syst., vol. 28, no. 3, pp. 25, 2016.
We present and discuss the definition of the adjoint and dual of a switched differential-algebraic equation (DAE). For a proper duality definition, it is necessary to extend the class of switched DAEs to allow for additional impact terms. For this switched DAE with impacts, we derive controllability/reachability/determinability/observability characterizations for a given switching signal. Based on this characterizations, we prove duality between controllability/reachability and determinability/observability for switched DAEs.
Distributional averaging of switched DAEs with two modes Inproceedings
In: Proc. 54th IEEE Conf. Decis. Control, Osaka, Japan, pp. 3616–3620, 2015.
The averaging technique is a powerful tool for the analysis and control of switched systems. Recently, classical averaging results were generalized to the class of switched differential algebraic equations (switched DAEs). These results did not consider the possible Dirac impulses in the solutions of switched DAEs and it was believed that the presence of Dirac impulses does not prevent convergence towards an average model and can therefore be neglected. It turns out that the first claim (convergence) is indeed true, but nevertheless the Dirac impulses cannot be neglected, they play an important role for the resulting limit. This note first shows with a simple example how the presence of Dirac impulses effects the convergence towards an averaged model and then a formal proof of convergence in the distributional sense for switched DAEs with two modes is given.
Tanwani, Aneel; Trenn, Stephan
In: Proc. 52nd IEEE Conf. Decis. Control, Florence, Italy, pp. 5981–5986, 2013.
Based on our previous work dealing with geometric characterization of observability for switched differential-algebraic equations (switched DAEs), we propose an observer design for switched DAEs that generates an asymptotically convergent state estimate. Without assuming the observability of individual modes, the central idea in constructing the observer is to filter out the maximal information from the output of each of the active subsystems and combine it with the previously extracted information to obtain a good estimate of the state after a certain time has passed. In general, observability only holds when impulses in the output are taken into account, hence our observer incorporates the knowledge of impulses in the output. This is a distinguishing feature of our observer design compared to observers for switched ordinary differential equations.
Trenn, Stephan; Willems, Jan C.
Switched behaviors with impulses - a unifying framework Inproceedings
In: Proc. 51st IEEE Conf. Decis. Control, Maui, USA, pp. 3203-3208, 2012, ISSN: 0743-1546.
We present a new framework to describe and study switched behaviors. We allow for jumps and impulses in the trajectories induced either implicitly by the dynamics after the switch or explicitly by “impacts”. With some examples from electrical circuit we motivate that the dynamical equations before and after the switch already uniquely define the “dynamics” at the switch, i.e. jumps and impulses. On the other hand, we also allow for external impacts resulting in jumps and impulses not induced by the internal dynamics. As a first theoretical result in this new framework we present a characterization for autonomy of a switched behavior.
Switched differential algebraic equations Incollection
In: Vasca, Francesco; Iannelli, Luigi (Ed.): Dynamics and Control of Switched Electronic Systems - Advanced Perspectives for Modeling, Simulation and Control of Power Converters, pp. 189–216, Springer, London, 2012.
In this chapter an electrical circuit with switches is modeled as a switched differential algebraic equation (switched DAE), i.e. each mode is described by a DAE of the form $Ex'=Ax+Bu$ where $E$ is, in general, a singular matrix and $u$ is the input. The resulting time-variance follows from the action of the switches present in the circuit, but can also be induced by faults occurring in the circuit. In general, switches or component faults induce jumps in certain state-variables, and it is common to define additional jump-maps based on physical arguments. However, it turns out that the formulation as a switched DAE already implicitly defines these jumps, no additional jump map must be given. In fact, an easy way to calculate these jumps will be presented in terms of the consistency projectors.
It turns out that general switched DAEs can have not only jumps in the solutions but also Dirac impulses and/or their derivatives. In order to capture this impulsive behavior the space of piecewise-smooth distributions is used as an underlying solution space. With this underlying solution space it is possible to show existence and uniqueness of solutions of switched DAEs (including the uniqueness of the jumps induced by the switches).
With the help of the consistency projector a condition is formulated whether a switch (or fault) can induce jumps or even Dirac impulses in the solutions. Furthermore, stability of the switched DAE is studied; again the consistency projectors play an important role.
Domínguez-García, Alejandro D.; Trenn, Stephan
In: Proc. 49th IEEE Conf. Decis. Control, Atlanta, USA, pp. 5662–5667, 2010.
This paper presents an analytical framework for detecting the presence of jumps and impulses in the solutions of switched differential algebraic equations (switched DAEs). The framework can be applied in the early design stage of fault-tolerant power electronics systems to identify design flaws that could jeopardize its reliability. The system is described by a switched differential algebraic equation, accounting for both fault-free system configurations and the configurations that arise after component faults, where each configuration p is defined by a pair of matrices (Ep;Ap). For each configuration p, the so called consistency projector is obtained from the pair (Ep;Ap). Based on the consistency projectors of all possible configurations, conditions for impulse-free and jump-free solutions of the switched DAE are established. A case-study of a dual redundant buck converter is presented to illustrate the framework.
Tanwani, Aneel; Trenn, Stephan
In: Proc. 49th IEEE Conf. Decis. Control, Atlanta, USA, pp. 5656–5661, 2010.
We investigate observability of switched differential algebraic equations. The article primarily focuses on a class of switched systems comprising of two modes and a switching signal with a single switching instant. We provide a necessary and sufficient condition under which it is possible to recover the value of state trajectory (globally in time) with the help of switching phenomenon, even though the constituent subsystems may not be observable. In case the switched system is not globally observable, we discuss the concept of forward observability which deals with the recovery of state trajectory after the switching. A necessary and sufficient condition that characterizes forward observability is presented.
Regularity of distributional differential algebraic equations Journal Article
In: Math. Control Signals Syst., vol. 21, no. 3, pp. 229–264, 2009.
Time-varying differential algebraic equations (DAEs) of the form E x' = A x + f are considered. The solutions x and the inhomogeneities f are assumed to be distributions (generalized functions). As a new approach, distributional entries in the time-varying coefficient matrices E and A are allowed as well. Since a multiplication for general distributions is not possible, the smaller space of piecewise-smooth distributions is introduced. This space consists of distributions which could be written as the sum of a piecewise-smooth function and locally finite Dirac impulses and derivatives of Dirac impulses. A restriction can be defined for the space of piecewise-smooth distributions, this restriction is used to study DAEs with inconsistent initial values; basically, it is assumed that some past trajectory for x is given and the DAE is activated at some initial time. If this initial trajectory problem has a unique solution for all initial trajectories and all inhomogeneities, then the DAE is called regular. This generalizes the regularity for classical DAEs (i.e. a DAE with constant coefficients). Sufficient and necessary conditions for the regularity of distributional DAEs are given.
Preprint, 2009, (After the initial submission, I decided not to revise this manuscript and instead included most of the content in the paper "Switched nonlinear differential algebraic equations: Solution theory, Lyapunov functions, and stability" (joint work with Daniel Liberzon), which appeared 2012 in Automatica.).
Linear switched differential algebraic equations (switched DAEs) are studied. First, a suitable solution space is introduced, the space of so called piecewise-smooth distributions. Secondly, sufficient conditions are given which ensure that all solutions of the switched DAE are impulse and/or jump free. These conditions are easy to check and are expressed directly in the systems original data. As an example a simple electrical circuit with a switch is analyzed.
Institut für Mathematik, Technische Universität Ilmenau, 2009.
Linear implicit differential equations of the form Ex'=Ax+f are studied. If the matrix E is not invertible, these equations contain differential as well as algebraic equations. Hence Ex'=Ax+f is called differential algebraic equation (DAE).
A main goal of this dissertation is the consideration of certain distributions (or generalized functions) as solutions and studying time-varying DAEs, whose coefficient matrices have jumps. Therefore, a suitable solution space is derived. This solution space allows to study the important class of switched DAEs. The space of piecewise-smooth distributions is introduced as the solution space. For this space of distributions, it is possible to define a multiplication, hence DAEs can be studied whose coefficient matrices have also distributional entries. A distributional DAE is an equation of the form Ex'=Ax+f where the matrices E and A contain piecewise-smooth distributions as entries and the solutions x as well as the inhomogeneities f are also piecewise-smooth distributions. For distributional DAEs, existence and uniqueness of solutions are studied, therefore, the concept of regularity for distributional DAEs is introduced. Necessary and sufficient conditions for existence and uniqueness of solutions are derived. As special cases, the equations x'=Ax+f (distributional ODEs) and Nx'=x+f (pure distributional DAE) are studied and explicit solution formulae are given.
Switched DAEs are distributional DAEs with piecewise constant coefficient matrices. Sufficient conditions are given which ensure that all solutions of a switched DAE are impulse free. Furthermore, it is studied which conditions ensure that arbitrary switching between stable subsystems yield a stable overall system. Finally, controllability and observability for distributional DAEs are studied. For this, it is accounted for the fact that input signals can contain impulses, hence an ``instantaneous'' control is theoretically possible. For a DAE of the form Nx'=x+bu
Distributional solution theory for linear DAEs Inproceedings
In: PAMM - Proc. Appl. Math. Mech., pp. 10077–10080, WILEY-VCH Verlag, 2008, ISSN: 1617--7061.
A solution theory for switched linear differential–algebraic equations (DAEs) is developed. To allow for non–smooth coordinate transformation, the coefficients matrices may have distributional entries. Since also distributional solutions are considered it is necessary to define a suitable multiplication for distribution. This is achieved by restricting the space of distributions to the smaller space of piecewise–smooth distributions. Solution formulae for two special DAEs, distributional ordinary differential equations (ODEs) and pure distributional DAEs, are given.