2025
|
Sutrisno,; Thuan, Do Duc; Ha, Phi; Munadi,; Trenn, Stephan Discrete-time switched descriptor systems: How to solve them? Unpublished 2025, (submitted). @unpublished{SutrThua25pp,
title = {Discrete-time switched descriptor systems: How to solve them?},
author = {Sutrisno and Do Duc Thuan and Phi Ha and Munadi and Stephan Trenn},
url = {https://stephantrenn.net/wp-content/uploads/2025/04/Preprint-STHMT250314.pdf, Preprint},
year = {2025},
date = {2025-03-14},
urldate = {2025-03-14},
abstract = {We study the solution theory of singular linear switched systems with inputs (also known as switched descriptor systems). These systems are highly relevant in many applications; in particular, in economics the well known dynamic Leontief model with changing coefficient matrices falls into this class. Theorem 5.1 in the paper by Anh et al. (2019) stated that if a singular linear switched system is jointly index-1 then there exists an explicit surrogate switched system having identical solution behavior for all switching signals. However, it was not clear yet whether the jointly index-1 condition is a necessary and sufficient condition for the existence and uniqueness of a solution. Furthermore, it was also not clear what conditions are actually required to guarantee existence and uniqueness of solutions for particular switching signals only. In this article, we provide necessary and sufficient conditions for existence and uniqueness of solutions for singular linear switched systems with respect to fixed switching signals (both mode sequences and switching times are fixed), fixed mode sequences (switching times are arbitrary), and arbitrary switching signals (both mode sequences and switching times are arbitrary). In all three cases we provide an explicit surrogate system with the same solution set; our approach improves the results presented in Anh et al. (2019) as the coefficient matrices describing the transition from x(k) to x(k+1) only depend on original system matrices at time k and k+1 and not on k-1 as in Anh et al. (2019). We illustrate the theoreticals findings with the dynamic Leontief model and investigate the solvability properties of discretizations of continuous-time singular systems.},
note = {submitted},
keywords = {DAEs, discrete-time, solution-theory, switched-DAEs, switched-systems},
pubstate = {published},
tppubtype = {unpublished}
}
We study the solution theory of singular linear switched systems with inputs (also known as switched descriptor systems). These systems are highly relevant in many applications; in particular, in economics the well known dynamic Leontief model with changing coefficient matrices falls into this class. Theorem 5.1 in the paper by Anh et al. (2019) stated that if a singular linear switched system is jointly index-1 then there exists an explicit surrogate switched system having identical solution behavior for all switching signals. However, it was not clear yet whether the jointly index-1 condition is a necessary and sufficient condition for the existence and uniqueness of a solution. Furthermore, it was also not clear what conditions are actually required to guarantee existence and uniqueness of solutions for particular switching signals only. In this article, we provide necessary and sufficient conditions for existence and uniqueness of solutions for singular linear switched systems with respect to fixed switching signals (both mode sequences and switching times are fixed), fixed mode sequences (switching times are arbitrary), and arbitrary switching signals (both mode sequences and switching times are arbitrary). In all three cases we provide an explicit surrogate system with the same solution set; our approach improves the results presented in Anh et al. (2019) as the coefficient matrices describing the transition from x(k) to x(k+1) only depend on original system matrices at time k and k+1 and not on k-1 as in Anh et al. (2019). We illustrate the theoreticals findings with the dynamic Leontief model and investigate the solvability properties of discretizations of continuous-time singular systems. |
2024
|
Chen, Yahao; Trenn, Stephan Solution concepts for linear piecewise affine differential-algebraic equations Proceedings Article In: Proc. 63rd IEEE Conf. Decision Control (CDC 2024), IEEE Milan, Italy, 2024, (to appear). @inproceedings{ChenTren24,
title = {Solution concepts for linear piecewise affine differential-algebraic equations},
author = {Yahao Chen and Stephan Trenn},
url = {https://stephantrenn.net/wp-content/uploads/2024/09/Preprint-CT240911.pdf, Preprint},
year = {2024},
date = {2024-12-16},
urldate = {2024-12-16},
booktitle = {Proc. 63rd IEEE Conf. Decision Control (CDC 2024)},
address = {Milan, Italy},
organization = {IEEE},
abstract = {In this paper, we introduce a definition of solu- tions for linear piecewise affine differential-algebraic equations (PWA-DAEs). Firstly, to address the conflict between projector-based jump rule and active regions, we propose a concept called state-dependent jump path. Unlike the conventional perspective that treats jumps as discrete-time dynamics, we interpret them as continuous dynamics, parameterized by a virtual time-variable. Secondly, by adapting the hybrid time-domain solution theory for continuous-discrete hybrid systems, we define the concept of jump-flow solutions for PWA-DAEs with the help of Filippov solutions for differential inclusions. Subsequently, we study various boundary behaviors of jump-flow solutions. Finally, we apply the proposed solution concepts in simulating a state-dependent switching circuit.},
note = {to appear},
keywords = {DAEs, piecewise-smooth-distributions, solution-theory, switched-DAEs, switched-systems},
pubstate = {published},
tppubtype = {inproceedings}
}
In this paper, we introduce a definition of solu- tions for linear piecewise affine differential-algebraic equations (PWA-DAEs). Firstly, to address the conflict between projector-based jump rule and active regions, we propose a concept called state-dependent jump path. Unlike the conventional perspective that treats jumps as discrete-time dynamics, we interpret them as continuous dynamics, parameterized by a virtual time-variable. Secondly, by adapting the hybrid time-domain solution theory for continuous-discrete hybrid systems, we define the concept of jump-flow solutions for PWA-DAEs with the help of Filippov solutions for differential inclusions. Subsequently, we study various boundary behaviors of jump-flow solutions. Finally, we apply the proposed solution concepts in simulating a state-dependent switching circuit. |
Sutrisno,; Trenn, Stephan Switched linear singular systems in discrete time: Solution theory and observability notions Journal Article In: Systems & Control Letters, vol. 183, no. 105674, pp. 1-11, 2024, (open access). @article{SutrTren24,
title = {Switched linear singular systems in discrete time: Solution theory and observability notions},
author = {Sutrisno and Stephan Trenn},
url = {https://stephantrenn.net/wp-content/uploads/2023/11/SutrTren24.pdf, Paper},
doi = {10.1016/j.sysconle.2023.105674},
year = {2024},
date = {2024-01-15},
urldate = {2024-01-01},
journal = {Systems & Control Letters},
volume = {183},
number = {105674},
pages = {1-11},
abstract = {We study the solution theory of linear switched singular systems. In a recent paper by Anh et al. (2019), it was highlighted that the common assumption that each mode of the switched system is index-1 is not sufficient to guarantee existence and uniqueness of solutions of the corresponding switched system and the notion of “jointly index-1” was introduced. However, until now it was not clear what conditions are actually required to guarantee existence and uniqueness of solutions if the switching signal is not considered arbitrary. In particular, we study the two relevant situations where the mode sequence is fixed (and the switching times are arbitrary) and where the whole switching signal is fixed. In both cases, we provide conditions in terms of the original system matrices which ensure existence and uniqueness of solutions. We also extend the idea of the one-step map introduced by Anh et al. (2019) to these two cases. It turns out that in the case of a fixed switching signal, the index-1 condition for the individual modes is also not necessary (in addition to not being sufficient). Furthermore, we utilize the established solution theory to provide characterizations of observability and determinability of switched singular systems.},
note = {open access},
keywords = {DAEs, discrete-time, observability, solution-theory, switched-DAEs, switched-systems},
pubstate = {published},
tppubtype = {article}
}
We study the solution theory of linear switched singular systems. In a recent paper by Anh et al. (2019), it was highlighted that the common assumption that each mode of the switched system is index-1 is not sufficient to guarantee existence and uniqueness of solutions of the corresponding switched system and the notion of “jointly index-1” was introduced. However, until now it was not clear what conditions are actually required to guarantee existence and uniqueness of solutions if the switching signal is not considered arbitrary. In particular, we study the two relevant situations where the mode sequence is fixed (and the switching times are arbitrary) and where the whole switching signal is fixed. In both cases, we provide conditions in terms of the original system matrices which ensure existence and uniqueness of solutions. We also extend the idea of the one-step map introduced by Anh et al. (2019) to these two cases. It turns out that in the case of a fixed switching signal, the index-1 condition for the individual modes is also not necessary (in addition to not being sufficient). Furthermore, we utilize the established solution theory to provide characterizations of observability and determinability of switched singular systems. |
2023
|
Sutrisno,; Trenn, Stephan Inhomogeneous singular linear switched systems in discrete time: Solvability, reachability, and controllability Characterizations Proceedings Article In: Proc. 62nd IEEE Conf. Decision Control, pp. 5869-5874, IEEE, Singapore, 2023. @inproceedings{SutrTren23c,
title = {Inhomogeneous singular linear switched systems in discrete time: Solvability, reachability, and controllability Characterizations},
author = {Sutrisno and Stephan Trenn},
url = {https://stephantrenn.net/wp-content/uploads/2023/11/Preprint-ST230915.pdf, Preprint},
doi = {10.1109/CDC49753.2023.10384306},
year = {2023},
date = {2023-12-14},
urldate = {2023-12-14},
booktitle = {Proc. 62nd IEEE Conf. Decision Control},
pages = {5869-5874},
publisher = {IEEE},
address = {Singapore},
abstract = {In this paper we study a novel solvability notion for discrete-time singular linear switched systems with inputs. We consider the existence and uniqueness of a solution on arbitrary finite time intervals with arbitrary inputs and arbitrary switching signals, and furthermore, we pay special attention to strict causality, i.e. the current state is only allowed to depend on past values of the state and the input. A necessary and sufficient condition for this solvability notion is then established. Furthermore, a surrogate switched system (an ordinary switched system that has equivalent input-output behavior) is derived for any solvable system. By utilizing those surrogate systems, we are able to characterize the reachability and controllability properties of the original singular systems using a geometric approach.},
keywords = {controllability, DAEs, discrete-time, solution-theory, switched-DAEs, switched-systems},
pubstate = {published},
tppubtype = {inproceedings}
}
In this paper we study a novel solvability notion for discrete-time singular linear switched systems with inputs. We consider the existence and uniqueness of a solution on arbitrary finite time intervals with arbitrary inputs and arbitrary switching signals, and furthermore, we pay special attention to strict causality, i.e. the current state is only allowed to depend on past values of the state and the input. A necessary and sufficient condition for this solvability notion is then established. Furthermore, a surrogate switched system (an ordinary switched system that has equivalent input-output behavior) is derived for any solvable system. By utilizing those surrogate systems, we are able to characterize the reachability and controllability properties of the original singular systems using a geometric approach. |
Sutrisno,; Yin, Hao; Trenn, Stephan; Jayawardhana, Bayu Nonlinear singular switched systems in discrete-time: solution theory and incremental stability under restricted switching signals Proceedings Article In: Proc. 62nd IEEE Conf. Decision Control, pp. 914-919, IEEE, Singapore, 2023. @inproceedings{SutrYin23,
title = {Nonlinear singular switched systems in discrete-time: solution theory and incremental stability under restricted switching signals},
author = {Sutrisno and Hao Yin and Stephan Trenn and Bayu Jayawardhana},
url = {https://stephantrenn.net/wp-content/uploads/2023/11/Preprint-SYTJ230914.pdf, Preprint},
doi = {10.1109/CDC49753.2023.10383278},
year = {2023},
date = {2023-12-13},
urldate = {2023-09-14},
booktitle = {Proc. 62nd IEEE Conf. Decision Control},
pages = {914-919},
publisher = {IEEE},
address = {Singapore},
abstract = {In this article the solvability analysis of discrete-time nonlinear singular switched systems with restricted switching signals is studied. We provide necessary and sufficient conditions for the solvability analysis under fixed switching signals and fixed mode sequences. The so-called surrogate systems (ordinary systems that have the equivalent behavior to the original switched systems) are introduced for solvable switched systems. Incremental stability, which ensures that all solution trajectories converge with each other, is then studied by utilizing these surrogate systems. Sufficient (and necessary) conditions are provided for this stability analysis using single and switched Lyapunov function approaches.},
keywords = {DAEs, discrete-time, nonlinear, solution-theory, stability, switched-DAEs, switched-systems},
pubstate = {published},
tppubtype = {inproceedings}
}
In this article the solvability analysis of discrete-time nonlinear singular switched systems with restricted switching signals is studied. We provide necessary and sufficient conditions for the solvability analysis under fixed switching signals and fixed mode sequences. The so-called surrogate systems (ordinary systems that have the equivalent behavior to the original switched systems) are introduced for solvable switched systems. Incremental stability, which ensures that all solution trajectories converge with each other, is then studied by utilizing these surrogate systems. Sufficient (and necessary) conditions are provided for this stability analysis using single and switched Lyapunov function approaches. |
Sutrisno,; Trenn, Stephan Nonlinear switched singular systems in discrete-time: The one-step map and stability under arbitrary switching signals Journal Article In: European Journal of Control, vol. 74, no. 100852, pp. 1-7, 2023, (presented at the 2023 European Control Conference, Bucharest, Rumania; open access). @article{SutrTren23a,
title = {Nonlinear switched singular systems in discrete-time: The one-step map and stability under arbitrary switching signals},
author = {Sutrisno and Stephan Trenn},
url = {https://stephantrenn.net/wp-content/uploads/2024/02/SutrTren23a.pdf, Paper},
doi = {10.1016/j.ejcon.2023.100852},
year = {2023},
date = {2023-11-01},
urldate = {2023-11-01},
journal = {European Journal of Control},
volume = {74},
number = {100852},
pages = {1-7},
abstract = {The solvability of nonlinear nonswitched and switched singular systems in discrete time is studied. We provide necessary and sufficient conditions for solvability. The one-step map that generates equivalent nonlinear (ordinary) systems for solvable nonlinear singular systems under arbitrary switching signals is introduced. Moreover, the stability is studied by utilizing this one-step map. A sufficient condition for stability is provided in terms of (switched) Lyapunov functions.},
note = {presented at the 2023 European Control Conference, Bucharest, Rumania; open access},
keywords = {DAEs, discrete-time, nonlinear, solution-theory, stability, switched-DAEs, switched-systems},
pubstate = {published},
tppubtype = {article}
}
The solvability of nonlinear nonswitched and switched singular systems in discrete time is studied. We provide necessary and sufficient conditions for solvability. The one-step map that generates equivalent nonlinear (ordinary) systems for solvable nonlinear singular systems under arbitrary switching signals is introduced. Moreover, the stability is studied by utilizing this one-step map. A sufficient condition for stability is provided in terms of (switched) Lyapunov functions. |
Chen, Yahao; Trenn, Stephan On impulse-free solutions and stability of switched nonlinear differential-algebraic equations Journal Article In: Automatica, vol. 156, no. 111208, pp. 1-14, 2023. @article{ChenTren23,
title = {On impulse-free solutions and stability of switched nonlinear differential-algebraic equations},
author = {Yahao Chen and Stephan Trenn},
url = {https://stephantrenn.net/wp-content/uploads/2023/06/Preprint-CT230602.pdf, Preprint},
doi = {10.1016/j.automatica.2023.111208},
year = {2023},
date = {2023-10-01},
urldate = {2023-06-02},
journal = {Automatica},
volume = {156},
number = {111208},
pages = {1-14},
abstract = {In this paper, we investigate solutions and stability properties of switched nonlinear differential– algebraic equations (DAEs). We introduce a novel concept of solutions, called impulse-free (jump-flow) solutions, and provide a geometric characterization that establishes their existence and uniqueness. This characterization builds upon the impulse-free condition utilized in previous works such as Liberzon and Trenn (2009, 2012), which focused on linear DAEs. However, our formulation extends this condition to nonlinear DAEs. Subsequently, we demonstrate that the stability conditions based on common Lyapunov functions, previously proposed in our work (Chen and Trenn, 2022) (distinct from those in Liberzon and Trenn (2012)), can be effectively applied to switched nonlinear DAEs with high-index models. It is important to note that these models do not conform to the nonlinear Weierstrass form. Additionally, we extend the commutativity stability conditions presented in Mancilla-Aguilar (2000) from switched nonlinear ordinary differential equations to the case of switched nonlinear DAEs. To illustrate the efficacy of the proposed stability conditions, we present simulation results involving switching electrical circuits and provide numerical examples. These examples serve to demonstrate the practical utility of the developed stability criteria in analyzing and understanding the behavior of switched nonlinear DAEs.},
keywords = {DAEs, Lyapunov, nonlinear, normal-forms, solution-theory, stability, switched-DAEs, switched-systems},
pubstate = {published},
tppubtype = {article}
}
In this paper, we investigate solutions and stability properties of switched nonlinear differential– algebraic equations (DAEs). We introduce a novel concept of solutions, called impulse-free (jump-flow) solutions, and provide a geometric characterization that establishes their existence and uniqueness. This characterization builds upon the impulse-free condition utilized in previous works such as Liberzon and Trenn (2009, 2012), which focused on linear DAEs. However, our formulation extends this condition to nonlinear DAEs. Subsequently, we demonstrate that the stability conditions based on common Lyapunov functions, previously proposed in our work (Chen and Trenn, 2022) (distinct from those in Liberzon and Trenn (2012)), can be effectively applied to switched nonlinear DAEs with high-index models. It is important to note that these models do not conform to the nonlinear Weierstrass form. Additionally, we extend the commutativity stability conditions presented in Mancilla-Aguilar (2000) from switched nonlinear ordinary differential equations to the case of switched nonlinear DAEs. To illustrate the efficacy of the proposed stability conditions, we present simulation results involving switching electrical circuits and provide numerical examples. These examples serve to demonstrate the practical utility of the developed stability criteria in analyzing and understanding the behavior of switched nonlinear DAEs. |
2022
|
Chen, Yahao; Trenn, Stephan Stability analysis of switched nonlinear differential-algebraic equations via nonlinear Weierstrass form Proceedings Article In: Proceedings of the 2022 European Control Conference (ECC), pp. 1091-1096, London, 2022. @inproceedings{ChenTren22b,
title = {Stability analysis of switched nonlinear differential-algebraic equations via nonlinear Weierstrass form},
author = {Yahao Chen and Stephan Trenn},
url = {https://stephantrenn.net/wp-content/uploads/2022/03/Preprint-CT220329.pdf, Preprint},
doi = {10.23919/ECC55457.2022.9838148},
year = {2022},
date = {2022-07-12},
urldate = {2022-07-12},
booktitle = {Proceedings of the 2022 European Control Conference (ECC)},
pages = {1091-1096},
address = {London},
abstract = {In this paper, we propose some sufficient conditions for checking the asymptotic stability of switched nonlinear differential-algebraic equations (DAEs) under arbitrary switch- ing signal. We assume that each model of a given switched DAE is externally equivalent to a nonlinear Weierstrass form. With the help of this form, we can define nonlinear consistency projectors and jump-flow solutions for switched nonlinear DAEs. Then we use a different approach from the paper [12] to study the stability of switched DAEs via a novel notion called the jump-flow explicitation, which attaches a nonlinear control system to a given nonlinear DAE and can be used to simplify the common Lyapunov function conditions for both the flow and the jump dynamics of switched nonlinear DAEs. At last, a numerical example is given to illustrate how to check the stability of a switched nonlinear DAE by constructing a common Lyapunov function.
},
keywords = {DAEs, nonlinear, solution-theory, stability, switched-DAEs, switched-systems},
pubstate = {published},
tppubtype = {inproceedings}
}
In this paper, we propose some sufficient conditions for checking the asymptotic stability of switched nonlinear differential-algebraic equations (DAEs) under arbitrary switch- ing signal. We assume that each model of a given switched DAE is externally equivalent to a nonlinear Weierstrass form. With the help of this form, we can define nonlinear consistency projectors and jump-flow solutions for switched nonlinear DAEs. Then we use a different approach from the paper [12] to study the stability of switched DAEs via a novel notion called the jump-flow explicitation, which attaches a nonlinear control system to a given nonlinear DAE and can be used to simplify the common Lyapunov function conditions for both the flow and the jump dynamics of switched nonlinear DAEs. At last, a numerical example is given to illustrate how to check the stability of a switched nonlinear DAE by constructing a common Lyapunov function.
|
Sutrisno,; Trenn, Stephan The one-step function for discrete-time nonlinear switched singular systems Miscellaneous Book of Abstracts - 41th Benelux Meeting on Systems and Control, 2022. @misc{SutrTren22m,
title = {The one-step function for discrete-time nonlinear switched singular systems},
author = {Sutrisno and Stephan Trenn},
editor = {Alain Vande Wouwer and Michel Kinnaert and Emanuele Garone and Laurent Dewasme and Guilherme A. Pimentel},
url = {https://stephantrenn.net/wp-content/uploads/2022/08/SutrTren22.pdf, Abstract
https://www.beneluxmeeting.nl/2022/uploads/images/2022/boa_BeneluxMeeting2022_Web_betaV12_withChairs.pdf, Book of Abstracts},
year = {2022},
date = {2022-07-07},
urldate = {2022-07-07},
howpublished = {Book of Abstracts - 41th Benelux Meeting on Systems and Control},
keywords = {discrete-time, nonlinear, solution-theory, switched-DAEs, switched-systems},
pubstate = {published},
tppubtype = {misc}
}
|
Xu, Teke; Water, Alden; Trenn, Stephan Dynamical boundary conditions for the water hammer problem Miscellaneous Book of Abstracts - XVIII International Conference on Hyperbolic Problems: Theory, Numerics, and Applications (HYP 2022), 2022. @misc{XuWate22m,
title = {Dynamical boundary conditions for the water hammer problem},
author = {Teke Xu and Alden Water and Stephan Trenn},
url = {https://stephantrenn.net/wp-content/uploads/2023/02/XuWate22m.pdf, Extended Abstract},
year = {2022},
date = {2022-06-24},
howpublished = {Book of Abstracts - XVIII International Conference on Hyperbolic Problems: Theory, Numerics, and Applications (HYP 2022)},
keywords = {PDEs, solution-theory, switched-systems},
pubstate = {published},
tppubtype = {misc}
}
|
2021
|
Trenn, Stephan Distributional restriction impossible to define Journal Article In: Examples and Counterexamples, vol. 1, no. 100023, pp. 1-4, 2021, (open access). @article{Tren21,
title = {Distributional restriction impossible to define},
author = {Stephan Trenn},
url = {https://stephantrenn.net/wp-content/uploads/2020/09/Preprint-Tre200901.pdf, Preprint},
doi = {10.1016/j.exco.2021.100023},
year = {2021},
date = {2021-11-30},
urldate = {2021-11-30},
journal = {Examples and Counterexamples},
volume = {1},
number = {100023},
pages = {1-4},
abstract = {A counterexample is presented showing that it is not possible to define a restriction for distributions.},
note = {open access},
keywords = {piecewise-smooth-distributions, solution-theory},
pubstate = {published},
tppubtype = {article}
}
A counterexample is presented showing that it is not possible to define a restriction for distributions. |
Hossain, Sumon; Trenn, Stephan Minimal realization for linear switched systems with a single switch Proceedings Article In: Proc. European Control Conference (ECC21), pp. 1168-1173, Rotterdam, Netherlands, 2021. @inproceedings{HossTren21b,
title = {Minimal realization for linear switched systems with a single switch},
author = {Sumon Hossain and Stephan Trenn},
url = {https://stephantrenn.net/wp-content/uploads/2021/04/Preprint-HT210406.pdf, Preprint},
doi = {10.23919/ECC54610.2021.9654948},
year = {2021},
date = {2021-06-29},
urldate = {2021-06-29},
booktitle = {Proc. European Control Conference (ECC21)},
pages = {1168-1173},
address = {Rotterdam, Netherlands},
abstract = {We discuss the problem of minimal realization for linear switched systems with a given switching signal and present some preliminary results for the single switch case. The key idea is to extend the reachable subspace of the second mode to include nonzero initial values (resulting from the first mode) and also extend the observable subspace of the first mode by taking information from the second mode into account. We provide some simple examples to illustrate the approach.},
keywords = {controllability, normal-forms, observability, solution-theory, switched-systems},
pubstate = {published},
tppubtype = {inproceedings}
}
We discuss the problem of minimal realization for linear switched systems with a given switching signal and present some preliminary results for the single switch case. The key idea is to extend the reachable subspace of the second mode to include nonzero initial values (resulting from the first mode) and also extend the observable subspace of the first mode by taking information from the second mode into account. We provide some simple examples to illustrate the approach. |
Chen, Yahao; Trenn, Stephan; Respondek, Witold Normal forms and internal regularization of nonlinear differential-algebraic control systems Journal Article In: International Journal of Robust and Nonlinear Control, vol. 2021, no. 31, pp. 6562-6584, 2021, (open access). @article{ChenTren21d,
title = {Normal forms and internal regularization of nonlinear differential-algebraic control systems},
author = {Yahao Chen and Stephan Trenn and Witold Respondek},
url = {https://stephantrenn.net/wp-content/uploads/2021/06/ChenTren21d.pdf, Paper},
doi = {10.1002/rnc.5623},
year = {2021},
date = {2021-04-13},
urldate = {2021-04-13},
journal = {International Journal of Robust and Nonlinear Control},
volume = {2021},
number = {31},
pages = {6562-6584},
abstract = {In this paper, we propose two normal forms for nonlinear differential-algebraic control systems (DACSs) under external feedback equivalence, using a notion called maximal controlled invariant submanifold. The two normal forms simplify the system structures and facilitate understanding the various roles of variables for nonlinear DACSs. Moreover, we study when a given nonlinear DACS is internally regularizable, i.e., when there exists a state feedback transforming the DACS into a differential-algebraic equation (DAE) with internal regularity, the latter notion is closely related to the existence and uniqueness of solutions of DAEs. We also revise a commonly used method in DAE solution theory, called the geometric reduction method. We apply this method to DACSs and formulate it as an algorithm, which is used to construct maximal controlled invariant submanifolds and to find internal regularization feedbacks. Two examples of mechanical systems are used to illustrate the proposed normal forms and to show how to internally regularize DACSs.},
note = {open access},
keywords = {DAEs, nonlinear, normal-forms, solution-theory},
pubstate = {published},
tppubtype = {article}
}
In this paper, we propose two normal forms for nonlinear differential-algebraic control systems (DACSs) under external feedback equivalence, using a notion called maximal controlled invariant submanifold. The two normal forms simplify the system structures and facilitate understanding the various roles of variables for nonlinear DACSs. Moreover, we study when a given nonlinear DACS is internally regularizable, i.e., when there exists a state feedback transforming the DACS into a differential-algebraic equation (DAE) with internal regularity, the latter notion is closely related to the existence and uniqueness of solutions of DAEs. We also revise a commonly used method in DAE solution theory, called the geometric reduction method. We apply this method to DACSs and formulate it as an algorithm, which is used to construct maximal controlled invariant submanifolds and to find internal regularization feedbacks. Two examples of mechanical systems are used to illustrate the proposed normal forms and to show how to internally regularize DACSs. |
Chen, Yahao; Trenn, Stephan On geometric and differentiation index of nonlinear differential-algebraic equations Proceedings Article In: IFAC-PapersOnLine (Proceedings of the MTNS 2020/21), pp. 186-191, IFAC Elsevier, 2021, (open access). @inproceedings{ChenTren21b,
title = {On geometric and differentiation index of nonlinear differential-algebraic equations},
author = {Yahao Chen and Stephan Trenn},
url = {https://stephantrenn.net/wp-content/uploads/2022/03/ChenTren21b.pdf, Paper},
doi = {10.1016/j.ifacol.2021.06.075},
year = {2021},
date = {2021-04-06},
urldate = {2021-04-06},
booktitle = {IFAC-PapersOnLine (Proceedings of the MTNS 2020/21)},
volume = {54},
number = {9},
pages = {186-191},
publisher = {Elsevier},
organization = {IFAC},
abstract = {We discuss two notions of index, i.e., the geometric index and the differentiation index for nonlinear differential-algebraic equations (DAEs). First, we analyze solutions of nonlinear DAEs by revising a geometric reduction method (see e.g. Rabier and Rheinboldt (2002),Riaza (2008)). Then we show that although both of the geometric index and the differentiation index serve as a measure of difficulties for solving DAEs, they are actually related to the existence and uniqueness of solutions in a different manner. It is claimed in (Campbell and Gear, 1995) that the two indices coincide when sufficient smoothness and assumptions are satisfied, we elaborate this claim and show that the two indices indeed coincide if and only if a condition of uniqueness of solutions is satisfied (under certain constant rank assumptions). Finally, an example of a pendulum system is used to illustrate our results on the two indices.},
note = {open access},
keywords = {DAEs, nonlinear, solution-theory},
pubstate = {published},
tppubtype = {inproceedings}
}
We discuss two notions of index, i.e., the geometric index and the differentiation index for nonlinear differential-algebraic equations (DAEs). First, we analyze solutions of nonlinear DAEs by revising a geometric reduction method (see e.g. Rabier and Rheinboldt (2002),Riaza (2008)). Then we show that although both of the geometric index and the differentiation index serve as a measure of difficulties for solving DAEs, they are actually related to the existence and uniqueness of solutions in a different manner. It is claimed in (Campbell and Gear, 1995) that the two indices coincide when sufficient smoothness and assumptions are satisfied, we elaborate this claim and show that the two indices indeed coincide if and only if a condition of uniqueness of solutions is satisfied (under certain constant rank assumptions). Finally, an example of a pendulum system is used to illustrate our results on the two indices. |
Iervolino, Raffaele; Trenn, Stephan; Vasca, Francesco Asymptotic stability of piecewise affine systems with Filippov solutions via discontinuous piecewise Lyapunov functions Journal Article In: IEEE Transactions on Automatic Control, vol. 66, no. 4, pp. 1513-1528, 2021. @article{IervTren21,
title = {Asymptotic stability of piecewise affine systems with Filippov solutions via discontinuous piecewise Lyapunov functions},
author = {Raffaele Iervolino and Stephan Trenn and Francesco Vasca},
url = {https://stephantrenn.net/wp-content/uploads/2020/02/Preprint-ITV200204.pdf, Preprint},
doi = {10.1109/TAC.2020.2996597},
year = {2021},
date = {2021-04-01},
urldate = {2021-04-01},
journal = {IEEE Transactions on Automatic Control},
volume = {66},
number = {4},
pages = {1513-1528},
abstract = {Asymptotic stability of continuous-time piecewise affine systems defined over a polyhedral partition of the state space, with possible discontinuous vector field on the boundaries, is considered. In the first part of the paper the feasible Filippov solution concept is introduced by characterizing single-mode Caratheodory, sliding mode and forward Zeno behaviors. Then, a global asymptotic stability result through a (possibly discontinuous) piecewise Lyapunov function is presented. The sufficient conditions are based on pointwise classifications of the trajectories which allow the identification of crossing, unreachable and Caratheodory boundaries. It is shown that the sign and jump conditions of the stability theorem can be expressed in terms of linear matrix inequalities by particularizing to piecewise quadratic Lyapunov functions and using the cone-copositivity approach. Several examples illustrate the theoretical arguments and the effectiveness of the stability result.},
keywords = {LMIs, Lyapunov, nonlinear, solution-theory, stability, switched-systems},
pubstate = {published},
tppubtype = {article}
}
Asymptotic stability of continuous-time piecewise affine systems defined over a polyhedral partition of the state space, with possible discontinuous vector field on the boundaries, is considered. In the first part of the paper the feasible Filippov solution concept is introduced by characterizing single-mode Caratheodory, sliding mode and forward Zeno behaviors. Then, a global asymptotic stability result through a (possibly discontinuous) piecewise Lyapunov function is presented. The sufficient conditions are based on pointwise classifications of the trajectories which allow the identification of crossing, unreachable and Caratheodory boundaries. It is shown that the sign and jump conditions of the stability theorem can be expressed in terms of linear matrix inequalities by particularizing to piecewise quadratic Lyapunov functions and using the cone-copositivity approach. Several examples illustrate the theoretical arguments and the effectiveness of the stability result. |
Chen, Yahao; Trenn, Stephan An approximation for nonlinear differential-algebraic equations via singular perturbation theory Proceedings Article In: Proceedings of 7th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS21), IFAC-PapersOnLine, pp. 187-192, Brussels, Belgium, 2021, (open access). @inproceedings{ChenTren21c,
title = {An approximation for nonlinear differential-algebraic equations via singular perturbation theory},
author = {Yahao Chen and Stephan Trenn},
url = {https://stephantrenn.net/wp-content/uploads/2022/03/ChenTren21c.pdf, Paper
},
doi = {10.1016/j.ifacol.2021.08.496},
year = {2021},
date = {2021-03-26},
urldate = {2021-03-26},
booktitle = {Proceedings of 7th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS21), IFAC-PapersOnLine},
volume = {54},
number = {5},
pages = {187-192},
address = {Brussels, Belgium},
abstract = {In this paper, we study the jumps of nonlinear DAEs caused by inconsistent initial values. First, we propose a simple normal form called the index-1 nonlinear Weierstrass form (INWF) for nonlinear DAEs. Then we generalize the notion of consistency projector introduced in Liberzon and Trenn (2009) for linear DAEs to the nonlinear case. By an example, we compare our proposed nonlinear consistency projectors with two existing consistent initialization methods (one is from the paper Liberzon and Trenn (2012) and the other is given by a MATLAB function) to show that the two existing methods are not coordinate-free, i.e., the consistent points calculated by the two methods are not invariant under nonlinear coordinates transformations. Next we propose a singular perturbed system approximation for nonlinear DAEs, which is an ordinary differential equation (ODE) with a small perturbation parameter and we show that the solutions of the proposed perturbation system approximate both the jumps resulting from the nonlinear consistency projectors and the C1-solutions of the DAE. At last, we use a numerical simulation of a nonlinear DAE model arising from an electric circuit to illustrate the effectiveness of the proposed singular perturbed system approximation of DAEs.},
note = {open access},
keywords = {DAEs, nonlinear, normal-forms, solution-theory},
pubstate = {published},
tppubtype = {inproceedings}
}
In this paper, we study the jumps of nonlinear DAEs caused by inconsistent initial values. First, we propose a simple normal form called the index-1 nonlinear Weierstrass form (INWF) for nonlinear DAEs. Then we generalize the notion of consistency projector introduced in Liberzon and Trenn (2009) for linear DAEs to the nonlinear case. By an example, we compare our proposed nonlinear consistency projectors with two existing consistent initialization methods (one is from the paper Liberzon and Trenn (2012) and the other is given by a MATLAB function) to show that the two existing methods are not coordinate-free, i.e., the consistent points calculated by the two methods are not invariant under nonlinear coordinates transformations. Next we propose a singular perturbed system approximation for nonlinear DAEs, which is an ordinary differential equation (ODE) with a small perturbation parameter and we show that the solutions of the proposed perturbation system approximate both the jumps resulting from the nonlinear consistency projectors and the C1-solutions of the DAE. At last, we use a numerical simulation of a nonlinear DAE model arising from an electric circuit to illustrate the effectiveness of the proposed singular perturbed system approximation of DAEs. |
Trenn, Stephan; Unger, Benjamin Unimodular transformations for DAE initial trajectory problems Proceedings Article In: PAMM · Proc. Appl. Math. Mech., pp. e202000322, Wiley-VCH GmbH, 2021, (Open Access.). @inproceedings{TrenUnge20,
title = {Unimodular transformations for DAE initial trajectory problems},
author = {Stephan Trenn and Benjamin Unger},
url = {https://stephantrenn.net/wp-content/uploads/2021/01/pamm.202000322.pdf, Paper},
doi = {10.1002/pamm.202000322},
year = {2021},
date = {2021-01-26},
booktitle = {PAMM · Proc. Appl. Math. Mech.},
volume = {20},
number = {1},
pages = {e202000322},
publisher = {Wiley-VCH GmbH},
abstract = {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.},
note = {Open Access.},
keywords = {DAEs, piecewise-smooth-distributions, solution-theory},
pubstate = {published},
tppubtype = {inproceedings}
}
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. |
2020
|
Borsche, Raul; Kocoglu, Damla; Trenn, Stephan A distributional solution framework for linear hyperbolic PDEs coupled to switched DAEs Journal Article In: Mathematics of Control, Signals, and Systems (MCSS), vol. 32, pp. 455-487, 2020, (Open Access). @article{BorsKoco20,
title = {A distributional solution framework for linear hyperbolic PDEs coupled to switched DAEs},
author = {Raul Borsche and Damla Kocoglu and Stephan Trenn},
url = {https://stephantrenn.net/wp-content/uploads/2020/11/23-MCSS2020.pdf, Paper},
doi = {10.1007/s00498-020-00267-7},
year = {2020},
date = {2020-11-18},
urldate = {2020-11-18},
journal = {Mathematics of Control, Signals, and Systems (MCSS)},
volume = {32},
pages = {455-487},
abstract = {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.},
note = {Open Access},
keywords = {DAEs, delay, networks, PDEs, piecewise-smooth-distributions, solution-theory, switched-DAEs},
pubstate = {published},
tppubtype = {article}
}
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. |
Chen, Yahao; Trenn, Stephan On geometric and differentiation index of nonlinear differential algebraic equations Miscellaneous Book of Abstracts - 39th Benelux Meeting on Systems and Control, 2020. @misc{ChenTren20m,
title = {On geometric and differentiation index of nonlinear differential algebraic equations},
author = {Yahao Chen and Stephan Trenn},
editor = {Raffaella Carloni and Bayu Jayawardhana and Erjen Lefeber},
url = {https://www.beneluxmeeting.nl/2020/uploads/papers/boa.pdf, Book of Abstracts
https://stephantrenn.net/wp-content/uploads/2021/03/ChenTren20.pdf, Extended Abstract},
year = {2020},
date = {2020-03-12},
howpublished = {Book of Abstracts - 39th Benelux Meeting on Systems and Control},
keywords = {DAEs, nonlinear, solution-theory},
pubstate = {published},
tppubtype = {misc}
}
|
Trenn, Stephan The Laplace transform and inconsistent initial values Miscellaneous Extended Abstract, 2020, (accepted for cancelled MTNS 20/21, presented at MTNS 2022). @misc{Tren20m,
title = {The Laplace transform and inconsistent initial values},
author = {Stephan Trenn},
url = {https://stephantrenn.net/wp-content/uploads/2020/01/Preprint-Tre200122.pdf, Extended Abstract},
year = {2020},
date = {2020-01-22},
urldate = {2020-01-22},
abstract = {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.},
howpublished = {Extended Abstract},
note = {accepted for cancelled MTNS 20/21, presented at MTNS 2022},
keywords = {DAEs, piecewise-smooth-distributions, solution-theory, switched-DAEs},
pubstate = {published},
tppubtype = {misc}
}
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. |
2019
|
Trenn, Stephan; Unger, Benjamin Delay regularity of differential-algebraic equations Proceedings Article In: Proc. 58th IEEE Conf. Decision Control (CDC) 2019, pp. 989-994, Nice, France, 2019. @inproceedings{TrenUnge19,
title = {Delay regularity of differential-algebraic equations},
author = {Stephan Trenn and Benjamin Unger},
url = {https://stephantrenn.net/wp-content/uploads/2019/03/Preprint-TU190910.pdf, Preprint},
doi = {10.1109/CDC40024.2019.9030146},
year = {2019},
date = {2019-12-12},
booktitle = {Proc. 58th IEEE Conf. Decision Control (CDC) 2019},
pages = {989-994},
address = {Nice, France},
abstract = {We study linear time-invariant delay differential-algebraic equations (DDAEs). Such equations can arise if a feedback controller is applied to a descriptor system and the controller requires some time to measure the state and to compute the feedback resulting in the time-delay. We present an existence and uniqueness result for DDAEs within the space of piecewise-smooth distributions and an algorithm to determine whether a DDAE is delay-regular.},
keywords = {DAEs, delay, solution-theory},
pubstate = {published},
tppubtype = {inproceedings}
}
We study linear time-invariant delay differential-algebraic equations (DDAEs). Such equations can arise if a feedback controller is applied to a descriptor system and the controller requires some time to measure the state and to compute the feedback resulting in the time-delay. We present an existence and uniqueness result for DDAEs within the space of piecewise-smooth distributions and an algorithm to determine whether a DDAE is delay-regular. |
Anh, Pham Ky; Linh, Pham Thi; Thuan, Do Duc; Trenn, Stephan The one-step-map for switched singular systems in discrete-time Proceedings Article In: Proc. 58th IEEE Conf. Decision Control (CDC) 2019, pp. 605-610, Nice, France, 2019. @inproceedings{AnhLinh19,
title = {The one-step-map for switched singular systems in discrete-time},
author = {Pham Ky Anh and Pham Thi Linh and Do Duc Thuan and Stephan Trenn},
url = {https://stephantrenn.net/wp-content/uploads/2019/03/Preprint-ALTT190910.pdf, Preprint},
doi = {10.1109/CDC40024.2019.9030154},
year = {2019},
date = {2019-12-11},
urldate = {2019-12-11},
booktitle = {Proc. 58th IEEE Conf. Decision Control (CDC) 2019},
pages = {605-610},
address = {Nice, France},
abstract = {We study switched singular systems in discrete time and first highlight that in contrast to continuous time regularity of the corresponding matrix pairs is not sufficient to ensure a solution behavior which is causal with respect to the switching signal. With a suitable index-1 assumption for the whole switched system, we are able to define a one-step- map which can be used to provide explicit solution formulas for general switching signals.},
keywords = {discrete-time, solution-theory, switched-systems},
pubstate = {published},
tppubtype = {inproceedings}
}
We study switched singular systems in discrete time and first highlight that in contrast to continuous time regularity of the corresponding matrix pairs is not sufficient to ensure a solution behavior which is causal with respect to the switching signal. With a suitable index-1 assumption for the whole switched system, we are able to define a one-step- map which can be used to provide explicit solution formulas for general switching signals. |
2018
|
Kausar, Rukhsana; Trenn, Stephan Water hammer modeling for water networks via hyperbolic PDEs and switched DAEs Proceedings Article 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). @inproceedings{KausTren18,
title = {Water hammer modeling for water networks via hyperbolic PDEs and switched DAEs},
author = {Rukhsana Kausar and Stephan Trenn},
editor = {Christian Klingenberg and Michael Westdickenberg},
url = {https://stephantrenn.net/wp-content/uploads/2017/09/Preprint-KT170418.pdf, Preprint},
doi = {10.1007/978-3-319-91548-7_9},
isbn = {978-3-319-91548-7},
year = {2018},
date = {2018-06-27},
urldate = {2018-06-27},
booktitle = {Theory, Numerics and Applications of Hyperbolic Problems II},
pages = {123-135},
publisher = {Springer},
address = {Cham},
abstract = {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.},
note = {Presented at XVI International Conference on Hyperbolic Problems (HYP2016), Aachen},
keywords = {application, DAEs, nonlinear, PDEs, piecewise-smooth-distributions, solution-theory, switched-DAEs, switched-systems},
pubstate = {published},
tppubtype = {inproceedings}
}
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. |
2017
|
Kausar, Rukhsana; Trenn, Stephan Impulses in structured nonlinear switched DAEs Proceedings Article In: Proc. 56th IEEE Conf. Decis. Control, pp. 3181 - 3186, Melbourne, Australia, 2017. @inproceedings{KausTren17b,
title = {Impulses in structured nonlinear switched DAEs},
author = {Rukhsana Kausar and Stephan Trenn},
url = {http://stephantrenn.net/wp-content/uploads/2017/09/Preprint-KT170920.pdf, Preprint},
doi = {10.1109/CDC.2017.8264125},
year = {2017},
date = {2017-12-14},
booktitle = {Proc. 56th IEEE Conf. Decis. Control},
pages = {3181 - 3186},
address = {Melbourne, Australia},
abstract = { 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.},
keywords = {application, DAEs, nonlinear, piecewise-smooth-distributions, solution-theory, switched-DAEs, switched-systems},
pubstate = {published},
tppubtype = {inproceedings}
}
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. |
Kall, Jochen; Kausar, Rukhsana; Trenn, Stephan Modeling water hammers via PDEs and switched DAEs with numerical justification Proceedings Article In: Proc. 20th IFAC World Congress 2017, pp. 5349 - 5354, Toulouse, France, 2017, ISSN: 2405-8963. @inproceedings{KallKaus17,
title = {Modeling water hammers via PDEs and switched DAEs with numerical justification},
author = {Jochen Kall and Rukhsana Kausar and Stephan Trenn},
url = {http://stephantrenn.net/wp-content/uploads/2017/09/Preprint-KKT170324.pdf, Preprint},
doi = {10.1016/j.ifacol.2017.08.927},
issn = {2405-8963},
year = {2017},
date = {2017-03-23},
booktitle = {Proc. 20th IFAC World Congress 2017},
journal = {IFAC-PapersOnLine},
volume = {50},
number = {1},
pages = {5349 - 5354},
address = {Toulouse, France},
abstract = {In water distribution networks instantaneous changes in valve and pump settings may introduces jumps and peaks in the pressure. In particular, a well known phenomenon in response to the sudden closing of a valve is the so called water hammer, which (if not taken into account properly) may destroy parts of the water network. It is classically modeled as a system of hyperbolic partial differential equations (PDEs). After discussing this PDE model we propose a simplified model using switched differential-algebraic equations (DAEs). Switched DAEs are known to be able to produce infinite peaks in response to sudden structural changes. These peaks (in the mathematical form of Dirac impulses) can easily be predicted and may allow for a simpler analysis of complex water networks in the future. As a first step toward that goal, we verify the novel modeling approach by comparing these two modeling techniques numerically for a simple set up consisting of two reservoirs, a pipe and a valve.},
keywords = {application, DAEs, nonlinear, PDEs, solution-theory, switched-DAEs, switched-systems},
pubstate = {published},
tppubtype = {inproceedings}
}
In water distribution networks instantaneous changes in valve and pump settings may introduces jumps and peaks in the pressure. In particular, a well known phenomenon in response to the sudden closing of a valve is the so called water hammer, which (if not taken into account properly) may destroy parts of the water network. It is classically modeled as a system of hyperbolic partial differential equations (PDEs). After discussing this PDE model we propose a simplified model using switched differential-algebraic equations (DAEs). Switched DAEs are known to be able to produce infinite peaks in response to sudden structural changes. These peaks (in the mathematical form of Dirac impulses) can easily be predicted and may allow for a simpler analysis of complex water networks in the future. As a first step toward that goal, we verify the novel modeling approach by comparing these two modeling techniques numerically for a simple set up consisting of two reservoirs, a pipe and a valve. |
2016
|
Camlibel, Kanat; Iannelli, Luigi; Tanwani, Aneel; Trenn, Stephan Differential-algebraic inclusions with maximal monotone operators Proceedings Article In: Proc. 55th IEEE Conf. Decis. Control, Las Vegas, USA, pp. 610–615, 2016. @inproceedings{CamlIann16,
title = {Differential-algebraic inclusions with maximal monotone operators},
author = {Kanat Camlibel and Luigi Iannelli and Aneel Tanwani and Stephan Trenn},
url = {http://stephantrenn.net/wp-content/uploads/2017/09/Preprint-CITT160923.pdf, Preprint},
doi = {10.1109/CDC.2016.7798336},
year = {2016},
date = {2016-12-01},
booktitle = {Proc. 55th IEEE Conf. Decis. Control, Las Vegas, USA},
pages = {610--615},
abstract = {The term differential-algebraic inclusions (DAIs) not only describes the dynamical relations using set-valued mappings, but also includes the static algebraic inclusions, and this paper considers the problem of existence of solutions for a class of such dynamical systems described by the inclusion ddt Px in -M(x) for a symmetric positive semi-definite matrix P in R^(n x n), and a maximal monotone operator M:R^n => R^n. The existence of solutions is proved using the tools from the theory of maximal monotone operators. The class of solutions that we study in the paper have the property that, instead of the whole state, only Px is absolutely continuous and unique. This framework, in particular, is useful for studying passive differential-algebraic equations (DAEs) coupled with maximal monotone relations. Certain class of irregular DAEs are also covered within the proposed general framework. Applications from electrical circuits are included to provide a practical motivation.},
keywords = {DAEs, nonlinear, solution-theory},
pubstate = {published},
tppubtype = {inproceedings}
}
The term differential-algebraic inclusions (DAIs) not only describes the dynamical relations using set-valued mappings, but also includes the static algebraic inclusions, and this paper considers the problem of existence of solutions for a class of such dynamical systems described by the inclusion ddt Px in -M(x) for a symmetric positive semi-definite matrix P in R^(n x n), and a maximal monotone operator M:R^n => R^n. The existence of solutions is proved using the tools from the theory of maximal monotone operators. The class of solutions that we study in the paper have the property that, instead of the whole state, only Px is absolutely continuous and unique. This framework, in particular, is useful for studying passive differential-algebraic equations (DAEs) coupled with maximal monotone relations. Certain class of irregular DAEs are also covered within the proposed general framework. Applications from electrical circuits are included to provide a practical motivation. |
Gross, Tjorben B.; Trenn, Stephan; Wirsen, Andreas Solvability and stability of a power system DAE model Journal Article In: Syst. Control Lett., vol. 97, pp. 12–17, 2016. @article{GrosTren16,
title = {Solvability and stability of a power system DAE model},
author = {Tjorben B. Gross and Stephan Trenn and Andreas Wirsen},
url = {http://stephantrenn.net/wp-content/uploads/2017/09/Preprint-GTW160816.pdf, Preprint},
doi = {10.1016/j.sysconle.2016.08.003},
year = {2016},
date = {2016-11-01},
journal = {Syst. Control Lett.},
volume = {97},
pages = {12--17},
abstract = {The dynamic model of a power system is the combination of the power flow equations and the dynamic description of the generators (the swing equations) resulting in a differential–algebraic equation (DAE). For general DAEs solvability is not guaranteed in general, in the linear case the coefficient matrices have to satisfy a certain regularity condition. We derive a solvability characterization for the linearized power system DAE solely in terms of the network topology. As an extension to previous result we allow for higher order generator dynamics. Furthermore, we show that any solvable power system DAE is automatically of index one, which means that it is also numerically well posed. Finally, we show that any solvable power system DAE is stable but not asymptotically stable.},
keywords = {application, DAEs, Lyapunov, networks, solution-theory, stability},
pubstate = {published},
tppubtype = {article}
}
The dynamic model of a power system is the combination of the power flow equations and the dynamic description of the generators (the swing equations) resulting in a differential–algebraic equation (DAE). For general DAEs solvability is not guaranteed in general, in the linear case the coefficient matrices have to satisfy a certain regularity condition. We derive a solvability characterization for the linearized power system DAE solely in terms of the network topology. As an extension to previous result we allow for higher order generator dynamics. Furthermore, we show that any solvable power system DAE is automatically of index one, which means that it is also numerically well posed. Finally, we show that any solvable power system DAE is stable but not asymptotically stable. |
2014
|
Gross, Tjorben B.; Trenn, Stephan; Wirsen, Andreas Topological solvability and index characterizations for a common DAE power system model Proceedings Article In: Proc. 2014 IEEE Conf. Control Applications (CCA), pp. 9–14, IEEE 2014. @inproceedings{GrosTren14,
title = {Topological solvability and index characterizations for a common DAE power system model},
author = {Tjorben B. Gross and Stephan Trenn and Andreas Wirsen},
url = {http://stephantrenn.net/wp-content/uploads/2017/09/Preprint-GTW140904.pdf, Preprint},
doi = {10.1109/CCA.2014.6981321},
year = {2014},
date = {2014-10-10},
booktitle = {Proc. 2014 IEEE Conf. Control Applications (CCA)},
pages = {9--14},
organization = {IEEE},
abstract = {For the widely-used power system model consisting of the generator swing equations and the power flow equations resulting in a system of differential algebraic equations (DAEs), we introduce a sufficient and necessary solvability condition for the linearized model. This condition is based on the topological structure of the power system. Furthermore we show sufficient conditions for the linearized DAE-system and a nonlinear version of the model to have differentiation index equal to one.},
keywords = {application, DAEs, networks, nonlinear, solution-theory},
pubstate = {published},
tppubtype = {inproceedings}
}
For the widely-used power system model consisting of the generator swing equations and the power flow equations resulting in a system of differential algebraic equations (DAEs), we introduce a sufficient and necessary solvability condition for the linearized model. This condition is based on the topological structure of the power system. Furthermore we show sufficient conditions for the linearized DAE-system and a nonlinear version of the model to have differentiation index equal to one. |
2013
|
Costantini, Giuliano; Trenn, Stephan; Vasca, Francesco Regularity and passivity for jump rules in linear switched systems Proceedings Article In: Proc. 52nd IEEE Conf. Decis. Control, Florence, Italy, pp. 4030–4035, 2013, ISSN: 0191-2216. @inproceedings{CostTren13,
title = {Regularity and passivity for jump rules in linear switched systems},
author = {Giuliano Costantini and Stephan Trenn and Francesco Vasca},
url = {http://stephantrenn.net/wp-content/uploads/2017/09/Preprint-CTV130906.pdf, Preprint},
doi = {10.1109/CDC.2013.6760506},
issn = {0191-2216},
year = {2013},
date = {2013-12-11},
booktitle = {Proc. 52nd IEEE Conf. Decis. Control, Florence, Italy},
pages = {4030--4035},
abstract = {A wide class of linear switched systems (LSS) can be represented by a sequence of modes each one described by a set of differential algebraic equations (DAEs). LSS can exhibit discontinuities in the state evolution, also called jumps, when the state at the end of a mode is not consistent with the DAEs of the successive mode. Then the problem of defining a proper state jump rule arises when an inconsistent initial condition is given. Regularity and passivity conditions provide two conceptually different jump maps respectively. In this paper, after proving some preliminary result on the jump analysis within the regularity framework, it is shown the equivalence of regularity-based and passivity-based jump rules. A switched capacitor electrical circuit is used to numerically confirm the theoretical result.},
keywords = {DAEs, solution-theory, switched-DAEs, switched-systems},
pubstate = {published},
tppubtype = {inproceedings}
}
A wide class of linear switched systems (LSS) can be represented by a sequence of modes each one described by a set of differential algebraic equations (DAEs). LSS can exhibit discontinuities in the state evolution, also called jumps, when the state at the end of a mode is not consistent with the DAEs of the successive mode. Then the problem of defining a proper state jump rule arises when an inconsistent initial condition is given. Regularity and passivity conditions provide two conceptually different jump maps respectively. In this paper, after proving some preliminary result on the jump analysis within the regularity framework, it is shown the equivalence of regularity-based and passivity-based jump rules. A switched capacitor electrical circuit is used to numerically confirm the theoretical result. |
Berger, Thomas; Trenn, Stephan Addition to ``The quasi-Kronecker form for matrix pencils'' Journal Article In: SIAM J. Matrix Anal. & Appl., vol. 34, no. 1, pp. 94–101, 2013. @article{BergTren13,
title = {Addition to ``The quasi-Kronecker form for matrix pencils''},
author = {Thomas Berger and Stephan Trenn},
url = {http://stephantrenn.net/wp-content/uploads/2017/09/BergTren13.pdf, Paper},
doi = {10.1137/120883244},
year = {2013},
date = {2013-02-11},
journal = {SIAM J. Matrix Anal. & Appl.},
volume = {34},
number = {1},
pages = {94--101},
abstract = {We refine a result concerning singular matrix pencils and the Wong sequences. In our recent paper [T. Berger and S. Trenn, SIAM J. Matrix Anal. Appl., 33 (2012), pp. 336--368] we have shown that the Wong sequences are sufficient to obtain a quasi-Kronecker form. However, we applied the Wong sequences again on the regular part to decouple the regular matrix pencil corresponding to the finite and infinite eigenvalues. The current paper is an addition to [T. Berger and S. Trenn, SIAM J. Matrix Anal. Appl., 33 (2012), pp. 336--368], which shows that the decoupling of the regular part can be done already with the help of the Wong sequences of the original matrix pencil. Furthermore, we show that the complete Kronecker canonical form can be obtained with the help of the Wong sequences.},
keywords = {DAEs, normal-forms, solution-theory},
pubstate = {published},
tppubtype = {article}
}
We refine a result concerning singular matrix pencils and the Wong sequences. In our recent paper [T. Berger and S. Trenn, SIAM J. Matrix Anal. Appl., 33 (2012), pp. 336--368] we have shown that the Wong sequences are sufficient to obtain a quasi-Kronecker form. However, we applied the Wong sequences again on the regular part to decouple the regular matrix pencil corresponding to the finite and infinite eigenvalues. The current paper is an addition to [T. Berger and S. Trenn, SIAM J. Matrix Anal. Appl., 33 (2012), pp. 336--368], which shows that the decoupling of the regular part can be done already with the help of the Wong sequences of the original matrix pencil. Furthermore, we show that the complete Kronecker canonical form can be obtained with the help of the Wong sequences. |
Trenn, Stephan Solution concepts for linear DAEs: a survey Book Section In: Ilchmann, Achim; Reis, Timo (Ed.): Surveys in Differential-Algebraic Equations I, pp. 137–172, Springer-Verlag, Berlin-Heidelberg, 2013. @incollection{Tren13a,
title = {Solution concepts for linear DAEs: a survey},
author = {Stephan Trenn},
editor = {Achim Ilchmann and Timo Reis},
url = {https://stephantrenn.net/wp-content/uploads/2017/09/Preprint-Tre121015.pdf, Preprint},
doi = {10.1007/978-3-642-34928-7_4},
year = {2013},
date = {2013-01-01},
urldate = {2013-01-01},
booktitle = {Surveys in Differential-Algebraic Equations I},
pages = {137--172},
publisher = {Springer-Verlag},
address = {Berlin-Heidelberg},
series = {Differential-Algebraic Equations Forum},
abstract = {This survey aims at giving a comprehensive overview of the solution theory of linear differential-algebraic equations (DAEs). For classical solutions a complete solution characterization is presented including explicit solution formulas similar to the ones known for linear ordinary differential equations (ODEs). The problem of inconsistent initial values is treated and different approaches are discussed. In particular, the common Laplace-transform approach is discussed in the light of more recent distributional solution frameworks.},
keywords = {DAEs, solution-theory, survey},
pubstate = {published},
tppubtype = {incollection}
}
This survey aims at giving a comprehensive overview of the solution theory of linear differential-algebraic equations (DAEs). For classical solutions a complete solution characterization is presented including explicit solution formulas similar to the ones known for linear ordinary differential equations (ODEs). The problem of inconsistent initial values is treated and different approaches are discussed. In particular, the common Laplace-transform approach is discussed in the light of more recent distributional solution frameworks. |
2012
|
Berger, Thomas; Trenn, Stephan The quasi-Kronecker form for matrix pencils Journal Article In: SIAM J. Matrix Anal. & Appl., vol. 33, no. 2, pp. 336–368, 2012. @article{BergTren12,
title = {The quasi-Kronecker form for matrix pencils},
author = {Thomas Berger and Stephan Trenn},
url = {http://stephantrenn.net/wp-content/uploads/2017/09/BergTren12.pdf, Paper},
doi = {10.1137/110826278},
year = {2012},
date = {2012-05-03},
journal = {SIAM J. Matrix Anal. & Appl.},
volume = {33},
number = {2},
pages = {336--368},
abstract = {We study singular matrix pencils and show that the so-called Wong sequences yield a quasi-Kronecker form. This form decouples the matrix pencil into an underdetermined part, a regular part, and an overdetermined part. This decoupling is sufficient to fully characterize the solution behavior of the differential-algebraic equations associated with the matrix pencil. Furthermore, we show that the minimal indices of the pencil can be determined with only the Wong sequences and that the Kronecker canonical form is a simple corollary of our result; hence, in passing, we also provide a new proof for the Kronecker canonical form. The results are illustrated with an example given by a simple electrical circuit.},
keywords = {DAEs, normal-forms, solution-theory},
pubstate = {published},
tppubtype = {article}
}
We study singular matrix pencils and show that the so-called Wong sequences yield a quasi-Kronecker form. This form decouples the matrix pencil into an underdetermined part, a regular part, and an overdetermined part. This decoupling is sufficient to fully characterize the solution behavior of the differential-algebraic equations associated with the matrix pencil. Furthermore, we show that the minimal indices of the pencil can be determined with only the Wong sequences and that the Kronecker canonical form is a simple corollary of our result; hence, in passing, we also provide a new proof for the Kronecker canonical form. The results are illustrated with an example given by a simple electrical circuit. |
Liberzon, Daniel; Trenn, Stephan Switched nonlinear differential algebraic equations: Solution theory, Lyapunov functions, and stability Journal Article In: Automatica, vol. 48, no. 5, pp. 954–963, 2012. @article{LibeTren12,
title = {Switched nonlinear differential algebraic equations: Solution theory, Lyapunov functions, and stability},
author = {Daniel Liberzon and Stephan Trenn},
url = {http://stephantrenn.net/wp-content/uploads/2017/09/Preprint-LT111011.pdf, Preprint},
doi = {10.1016/j.automatica.2012.02.041},
year = {2012},
date = {2012-05-01},
journal = {Automatica},
volume = {48},
number = {5},
pages = {954--963},
abstract = {We study switched nonlinear differential algebraic equations (DAEs) with respect to existence and nature of solutions as well as stability. We utilize piecewise-smooth distributions introduced in earlier work for linear switched DAEs to establish a solution framework for switched nonlinear DAEs. In particular, we allow induced jumps in the solutions. To study stability, we first generalize Lyapunov’s direct method to non-switched DAEs and afterwards obtain Lyapunov criteria for asymptotic stability of switched DAEs. Developing appropriate generalizations of the concepts of a common Lyapunov function and multiple Lyapunov functions for DAEs, we derive sufficient conditions for asymptotic stability under arbitrary switching and under sufficiently slow average dwell-time switching, respectively.},
keywords = {DAEs, nonlinear, solution-theory, stability, switched-DAEs, switched-systems},
pubstate = {published},
tppubtype = {article}
}
We study switched nonlinear differential algebraic equations (DAEs) with respect to existence and nature of solutions as well as stability. We utilize piecewise-smooth distributions introduced in earlier work for linear switched DAEs to establish a solution framework for switched nonlinear DAEs. In particular, we allow induced jumps in the solutions. To study stability, we first generalize Lyapunov’s direct method to non-switched DAEs and afterwards obtain Lyapunov criteria for asymptotic stability of switched DAEs. Developing appropriate generalizations of the concepts of a common Lyapunov function and multiple Lyapunov functions for DAEs, we derive sufficient conditions for asymptotic stability under arbitrary switching and under sufficiently slow average dwell-time switching, respectively. |
Trenn, Stephan Switched differential algebraic equations Book Section 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. @incollection{Tren12,
title = {Switched differential algebraic equations},
author = {Stephan Trenn},
editor = {Francesco Vasca and Luigi Iannelli},
url = {https://stephantrenn.net/wp-content/uploads/2017/09/Preprint-Tre110830.pdf, Preprint},
doi = {10.1007/978-1-4471-2885-4_6},
year = {2012},
date = {2012-01-01},
booktitle = {Dynamics and Control of Switched Electronic Systems - Advanced Perspectives for Modeling, Simulation and Control of Power Converters},
pages = {189--216},
publisher = {Springer},
address = {London},
chapter = {6},
abstract = {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.},
keywords = {DAEs, piecewise-smooth-distributions, solution-theory, switched-DAEs, switched-systems},
pubstate = {published},
tppubtype = {incollection}
}
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. |
Berger, Thomas; Ilchmann, Achim; Trenn, Stephan The quasi-Weierstraß form for regular matrix pencils Journal Article In: Linear Algebra Appl., vol. 436, no. 10, pp. 4052–4069, 2012, (published online February 2010). @article{BergIlch12a,
title = {The quasi-Weierstraß form for regular matrix pencils},
author = {Thomas Berger and Achim Ilchmann and Stephan Trenn},
url = {http://stephantrenn.net/wp-content/uploads/2017/09/Preprint-BIT091017.pdf, Preprint
http://dx.doi.org/10.1016/S0024-3795(11)00688-4, Corrections (see Paragraph 6 of Note to Editors)},
doi = {10.1016/j.laa.2009.12.036},
year = {2012},
date = {2012-01-01},
journal = {Linear Algebra Appl.},
volume = {436},
number = {10},
pages = {4052--4069},
abstract = {Regular linear matrix pencils A- E d in K^{n x n}[d], where K=Q, R or C, and the associated differential algebraic equation (DAE) E x' = A x are studied. The Wong sequences of subspaces are investigate and invoked to decompose the K^n into V* + W*, where any bases of the linear spaces V* and W* transform the matrix pencil into the Quasi-Weierstraß form. The Quasi-Weierstraß form of the matrix pencil decouples the original DAE into the underlying ODE and the pure DAE or, in other words, decouples the set of initial values into the set of consistent initial values V* and ``pure'' inconsistent initial values W* - {0}. Furthermore, V* and W* are spanned by the generalized eigenvectors at the finite and infinite eigenvalues, resp. The Quasi-Weierstraß form is used to show how chains of generalized eigenvectors at finite and infinite eigenvalues of A- E d lead to the well-known Weierstraß form. So the latter can be viewed as a generalized Jordan form. Finally, it is shown how eigenvector chains constitute a basis for the solution space of E x' = A x.},
note = {published online February 2010},
keywords = {DAEs, normal-forms, solution-theory},
pubstate = {published},
tppubtype = {article}
}
Regular linear matrix pencils A- E d in K^{n x n}[d], where K=Q, R or C, and the associated differential algebraic equation (DAE) E x' = A x are studied. The Wong sequences of subspaces are investigate and invoked to decompose the K^n into V* + W*, where any bases of the linear spaces V* and W* transform the matrix pencil into the Quasi-Weierstraß form. The Quasi-Weierstraß form of the matrix pencil decouples the original DAE into the underlying ODE and the pure DAE or, in other words, decouples the set of initial values into the set of consistent initial values V* and ``pure'' inconsistent initial values W* - {0}. Furthermore, V* and W* are spanned by the generalized eigenvectors at the finite and infinite eigenvalues, resp. The Quasi-Weierstraß form is used to show how chains of generalized eigenvectors at finite and infinite eigenvalues of A- E d lead to the well-known Weierstraß form. So the latter can be viewed as a generalized Jordan form. Finally, it is shown how eigenvector chains constitute a basis for the solution space of E x' = A x. |
2009
|
Trenn, Stephan Regularity of distributional differential algebraic equations Journal Article In: Math. Control Signals Syst., vol. 21, no. 3, pp. 229–264, 2009. @article{Tren09b,
title = {Regularity of distributional differential algebraic equations},
author = {Stephan Trenn},
url = {http://stephantrenn.net/wp-content/uploads/2017/09/Preprint-Tre090806.pdf, Preprint},
doi = {10.1007/s00498-009-0045-4},
year = {2009},
date = {2009-12-01},
journal = {Math. Control Signals Syst.},
volume = {21},
number = {3},
pages = {229--264},
abstract = {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.},
keywords = {DAEs, piecewise-smooth-distributions, solution-theory},
pubstate = {published},
tppubtype = {article}
}
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. |
Trenn, Stephan Impulse free solutions for switched differential algebraic equations Miscellaneous 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.). @misc{Tren09m,
title = {Impulse free solutions for switched differential algebraic equations},
author = {Stephan Trenn},
url = {https://www.tu-ilmenau.de/fileadmin/media/math/Preprints/2009/09_03_trenn.pdf, TU-Ilmenau Preprint Server
https://stephantrenn.net/wp-content/uploads/2021/03/Preprint-Tre090123.pdf, Preprint},
year = {2009},
date = {2009-01-23},
abstract = {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.},
howpublished = {Preprint},
note = {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.},
keywords = {piecewise-smooth-distributions, solution-theory, switched-DAEs, switched-systems},
pubstate = {published},
tppubtype = {misc}
}
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. |
Trenn, Stephan Distributional differential algebraic equations PhD Thesis Institut für Mathematik, Technische Universität Ilmenau, 2009. @phdthesis{Tren09d,
title = {Distributional differential algebraic equations},
author = {Stephan Trenn},
url = {https://stephantrenn.net/wp-content/uploads/2017/09/Diss090804.pdf, Download
https://stephantrenn.net/wp-content/uploads/2017/09/Cover_Diss.jpg, Book Cover
http://www.db-thueringen.de/servlets/DocumentServlet?id=13581, Publication-Website
https://stephantrenn.net/wp-content/uploads/2021/11/Corrigenda211122.pdf, Corrigenda},
year = {2009},
date = {2009-01-01},
urldate = {2009-01-01},
address = {Universitätsverlag Ilmenau, Germany},
school = {Institut für Mathematik, Technische Universität Ilmenau},
abstract = {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},
keywords = {DAEs, piecewise-smooth-distributions, solution-theory, switched-DAEs, switched-systems},
pubstate = {published},
tppubtype = {phdthesis}
}
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 |
2008
|
Trenn, Stephan Distributional solution theory for linear DAEs Proceedings Article In: PAMM - Proc. Appl. Math. Mech., pp. 10077–10080, WILEY-VCH Verlag, 2008, ISSN: 1617--7061. @inproceedings{Tren08b,
title = {Distributional solution theory for linear DAEs},
author = {Stephan Trenn},
url = {http://stephantrenn.net/wp-content/uploads/2017/09/Preprint-Tre080424.pdf, Preprint},
doi = {10.1002/pamm.200810077},
issn = {1617--7061},
year = {2008},
date = {2008-05-01},
booktitle = {PAMM - Proc. Appl. Math. Mech.},
volume = {8},
number = {1},
pages = {10077--10080},
publisher = {WILEY-VCH Verlag},
abstract = {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.},
keywords = {DAEs, piecewise-smooth-distributions, solution-theory},
pubstate = {published},
tppubtype = {inproceedings}
}
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. |
