2024
|
Chang, Hamin; Song, Donghyeon; Trenn, Stephan; Shim, Hyungbo Disturbance observer with switched output redefinition for robust stabilization of non-minimum phase linear systems Proceedings Article In: Proc. 63rd IEEE Conf. Decision Control (CDC 2024), IEEE Milan, Italy, 2024, (to appear). @inproceedings{ChanSong24,
title = {Disturbance observer with switched output redefinition for robust stabilization of non-minimum phase linear systems},
author = {Hamin Chang and Donghyeon Song and Stephan Trenn and Hyungbo Shim},
url = {https://stephantrenn.net/wp-content/uploads/2024/09/Preprint-CSTS240909.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 = {Q-filter-based disturbance observer (DOB) has emerged as a powerful robust control technique renowned for its effectiveness in mitigating disturbances and addressing plant uncertainties. Despite its advantage, a key limitation of the Q-filter-based DOB lies in its requirement for plants to be of minimum phase. In this paper, we introduce an approach allowing the utilization of the Q-filter-based DOB as a stabilizing controller for non-minimum phase linear systems based on switched output redefinition of the systems. By redefining the output of systems to be controlled periodically, the approach stabilizes unstable internal dynamics of the systems as well as the original output. The proposed method is verified by an illustrative example.},
note = {to appear},
keywords = {observer, relative-degree, switched-systems},
pubstate = {published},
tppubtype = {inproceedings}
}
Q-filter-based disturbance observer (DOB) has emerged as a powerful robust control technique renowned for its effectiveness in mitigating disturbances and addressing plant uncertainties. Despite its advantage, a key limitation of the Q-filter-based DOB lies in its requirement for plants to be of minimum phase. In this paper, we introduce an approach allowing the utilization of the Q-filter-based DOB as a stabilizing controller for non-minimum phase linear systems based on switched output redefinition of the systems. By redefining the output of systems to be controlled periodically, the approach stabilizes unstable internal dynamics of the systems as well as the original output. The proposed method is verified by an illustrative example. |
Karimi-Pour, Atiyeh; Trenn, Stephan Funnel control for impulsive switched systems Proceedings Article In: Proc. 63rd IEEE Conf. Decision Control (CDC 2024), IEEE Milan, Italy, 2024, (to appear). @inproceedings{KariTren24,
title = {Funnel control for impulsive switched systems},
author = {Atiyeh Karimi-Pour and Stephan Trenn},
url = {https://stephantrenn.net/wp-content/uploads/2024/09/Preprint-KT240913.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 = {Impulsive switched systems encompass various modes, each exhibiting distinct behaviours. Typically, a switching sequence orchestrates transitions between these modes, where state jumps may occur, potentially undermining output tracking performance or system stability. This work introduces a funnel controller tailored for relative degree one nonlinear impulsive switched systems. Notably, this controller operates solely based on system output without necessitating knowledge of system dynamics. Unlike classical funnel controllers with fixed boundaries, the proposed method dynamically adjusts the funnel boundary for each approaching jump, aiming to preserve adherence to the original boundary. No precise knowledge of jump instances or maps is required; approximate jump intervals and an upper bound for maximum jump height suffice. Theoretical analysis establishes that the error remains within the funnel, facilitating successful reference signal tracking. Performance validation is demonstrated via numerical simulation.},
note = {to appear},
keywords = {funnel-control, nonlinear, relative-degree, switched-systems},
pubstate = {published},
tppubtype = {inproceedings}
}
Impulsive switched systems encompass various modes, each exhibiting distinct behaviours. Typically, a switching sequence orchestrates transitions between these modes, where state jumps may occur, potentially undermining output tracking performance or system stability. This work introduces a funnel controller tailored for relative degree one nonlinear impulsive switched systems. Notably, this controller operates solely based on system output without necessitating knowledge of system dynamics. Unlike classical funnel controllers with fixed boundaries, the proposed method dynamically adjusts the funnel boundary for each approaching jump, aiming to preserve adherence to the original boundary. No precise knowledge of jump instances or maps is required; approximate jump intervals and an upper bound for maximum jump height suffice. Theoretical analysis establishes that the error remains within the funnel, facilitating successful reference signal tracking. Performance validation is demonstrated via numerical simulation. |
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. |
2023
|
Chang, Hamin; Trenn, Stephan Design of Q-filter-based disturbance observer for differential algebraic equations and a robust stability condition: Zero relative degree case Proceedings Article In: Proc. 62nd IEEE Conf. Decision Control, pp. 8489-8494, IEEE, 2023. @inproceedings{ChanTren23,
title = {Design of Q-filter-based disturbance observer for differential algebraic equations and a robust stability condition: Zero relative degree case},
author = {Hamin Chang and Stephan Trenn},
url = {https://stephantrenn.net/wp-content/uploads/2023/11/Preprint-CT230915.pdf, Preprint},
doi = {10.1109/CDC49753.2023.10383698},
year = {2023},
date = {2023-12-15},
urldate = {2023-12-15},
booktitle = {Proc. 62nd IEEE Conf. Decision Control},
pages = {8489-8494},
publisher = {IEEE},
abstract = {While the disturbance observer (DOB)-based controller is widely utilized in various practical applications, there has been a lack of extension of its use to differential algebraic equations (DAEs). In this paper, we introduce several lemmas that establish necessary and/or sufficient conditions for specifying the relative degree of DAEs. Using these lemmas, we also figure out that there is a class of DAEs which can be viewed as linear systems with zero relative degree. For the class of DAEs, we propose a design of Q-filter-based DOB as well as a robust stability condition for systems controlled by the DOB through time domain analysis using singular perturbation theory. The proposed stability condition is verified by an illustrative example.},
keywords = {DAEs, observer, relative-degree, stability},
pubstate = {published},
tppubtype = {inproceedings}
}
While the disturbance observer (DOB)-based controller is widely utilized in various practical applications, there has been a lack of extension of its use to differential algebraic equations (DAEs). In this paper, we introduce several lemmas that establish necessary and/or sufficient conditions for specifying the relative degree of DAEs. Using these lemmas, we also figure out that there is a class of DAEs which can be viewed as linear systems with zero relative degree. For the class of DAEs, we propose a design of Q-filter-based DOB as well as a robust stability condition for systems controlled by the DOB through time domain analysis using singular perturbation theory. The proposed stability condition is verified by an illustrative example. |
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. |
2021
|
Wijnbergen, Paul; Trenn, Stephan Optimal control of DAEs with unconstrained terminal costs Proceedings Article In: Proc. 60th IEEE Conf. Decision and Control (CDC 2021), pp. 5275-5280, 2021. @inproceedings{WijnTren21b,
title = {Optimal control of DAEs with unconstrained terminal costs},
author = {Paul Wijnbergen and Stephan Trenn},
url = {https://stephantrenn.net/wp-content/uploads/2021/09/Preprint-WT210927.pdf, Preprint},
doi = {10.1109/CDC45484.2021.9682950},
year = {2021},
date = {2021-09-27},
urldate = {2021-09-27},
booktitle = {Proc. 60th IEEE Conf. Decision and Control (CDC 2021)},
pages = {5275-5280},
abstract = {This paper is concerned with the linear quadratic optimal control problem for impulse controllable differential algebraic equations on a bounded half open interval. Regarding the cost functional, a general positive semi-definite weight matrix is considered in the terminal cost. It is shown that for this problem, there generally does not exist an input that minimizes the cost functional. First it is shown that the problem can be reduced to finding an input to an index-1 DAE that minimizes a different quadratic cost functional. Second, necessary and sufficient conditions in terms of matrix equations are given for the existence of an optimal control.},
keywords = {DAEs, optimal-control, switched-DAEs, switched-systems},
pubstate = {published},
tppubtype = {inproceedings}
}
This paper is concerned with the linear quadratic optimal control problem for impulse controllable differential algebraic equations on a bounded half open interval. Regarding the cost functional, a general positive semi-definite weight matrix is considered in the terminal cost. It is shown that for this problem, there generally does not exist an input that minimizes the cost functional. First it is shown that the problem can be reduced to finding an input to an index-1 DAE that minimizes a different quadratic cost functional. Second, necessary and sufficient conditions in terms of matrix equations are given for the existence of an optimal control. |
Sutrisno,; Trenn, Stephan Observability and Determinability Characterizations for Linear Switched Systems in Discrete Time Proceedings Article In: Proc. 60th IEEE Conf. Decision and Control (CDC 2021), pp. 2474-2479, 2021. @inproceedings{SutrTren21b,
title = {Observability and Determinability Characterizations for Linear Switched Systems in Discrete Time},
author = {Sutrisno and Stephan Trenn},
url = {https://stephantrenn.net/wp-content/uploads/2021/09/Preprint-ST210907.pdf, Preprint},
doi = {10.1109/CDC45484.2021.9682894},
year = {2021},
date = {2021-09-07},
urldate = {2021-09-07},
booktitle = {Proc. 60th IEEE Conf. Decision and Control (CDC 2021)},
pages = {2474-2479},
abstract = {In this article, we study the observability and determinability for discrete-time linear switched systems. Studies for the observability for this system class are already available in literature, however, we use assume here that the switching signal is known. This leads to less conservative observability conditions (e.g. observability of each individual mode is not necessary for the overall switched system to be observable); in particular, the dependencies of observability on the switching times and the mode sequences are derived; these results are currently not available in the literature on discrete-time switched systems. In addition to observability (which is concerned with recovering the state from the initial time onwards), we also investigate the determinability which is concerned with the ability to reconstruct the state value at the end of the observation interval. We provide several simple examples to illustrate novel features not seen in the continuous time case or for unswitched systems.},
keywords = {discrete-time, observability, switched-systems},
pubstate = {published},
tppubtype = {inproceedings}
}
In this article, we study the observability and determinability for discrete-time linear switched systems. Studies for the observability for this system class are already available in literature, however, we use assume here that the switching signal is known. This leads to less conservative observability conditions (e.g. observability of each individual mode is not necessary for the overall switched system to be observable); in particular, the dependencies of observability on the switching times and the mode sequences are derived; these results are currently not available in the literature on discrete-time switched systems. In addition to observability (which is concerned with recovering the state from the initial time onwards), we also investigate the determinability which is concerned with the ability to reconstruct the state value at the end of the observation interval. We provide several simple examples to illustrate novel features not seen in the continuous time case or for unswitched systems. |
2019
|
Lee, Jin Gyu; Trenn, Stephan Asymptotic tracking via funnel control Proceedings Article In: Proc. 58th IEEE Conf. Decision Control (CDC) 2019, pp. 4228-4233, Nice, France, 2019. @inproceedings{LeeTren19,
title = {Asymptotic tracking via funnel control},
author = {Jin Gyu Lee and Stephan Trenn},
url = {https://stephantrenn.net/wp-content/uploads/2019/03/Preprint-LT190910.pdf, Preprint},
doi = {10.1109/CDC40024.2019.9030274},
year = {2019},
date = {2019-12-13},
booktitle = {Proc. 58th IEEE Conf. Decision Control (CDC) 2019},
pages = {4228-4233},
address = {Nice, France},
abstract = {Funnel control is a powerful and simple method to solve the output tracking problem without the need of a good system model, without identification and without knowledge how the reference signal is produced, but transient behavior as well as arbitrary good accuracy can be guaranteed. Until recently, it was believed that the price to pay for these very nice properties is that only practical tracking and not asymptotic tracking can be achieved. Surprisingly, this is not true! We will prove that funnel control – without any further assumptions – can achieve asymptotic tracking.},
keywords = {funnel-control},
pubstate = {published},
tppubtype = {inproceedings}
}
Funnel control is a powerful and simple method to solve the output tracking problem without the need of a good system model, without identification and without knowledge how the reference signal is produced, but transient behavior as well as arbitrary good accuracy can be guaranteed. Until recently, it was believed that the price to pay for these very nice properties is that only practical tracking and not asymptotic tracking can be achieved. Surprisingly, this is not true! We will prove that funnel control – without any further assumptions – can achieve asymptotic tracking. |
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. |
2017
|
Iervolino, Raffaele; Trenn, Stephan; Vasca, Francesco Stability of piecewise affine systems through discontinuous piecewise quadratic Lyapunov functions Proceedings Article In: Proc. 56th IEEE Conf. Decis. Control, pp. 5894 - 5899, Melbourne, Australia, 2017. @inproceedings{IervTren17,
title = {Stability of piecewise affine systems through discontinuous piecewise quadratic Lyapunov functions},
author = {Raffaele Iervolino and Stephan Trenn and Francesco Vasca},
url = {https://stephantrenn.net/wp-content/uploads/2017/09/Preprint-ITV170909.pdf, Preprint},
doi = {10.1109/CDC.2017.8264551},
year = {2017},
date = {2017-12-15},
urldate = {2017-12-15},
booktitle = {Proc. 56th IEEE Conf. Decis. Control},
pages = {5894 - 5899},
address = {Melbourne, Australia},
abstract = {State-dependent switched systems characterized by piecewise affine (PWA) dynamics in a polyhedral partition of the state space are considered. Sufficient conditions on the vectors fields such that the solution crosses the common boundaries of the polyhedra are expressed in terms of quadratic inequalities constrained to the polyhedra intersections. A piecewise quadratic (PWQ) function, not necessarily continuous, is proposed as a candidate Lyapunov function (LF). The sign conditions and the negative jumps at the boundaries are expressed in terms of linear matrix inequalities (LMIs) via cone-copositivity. A sufficient condition for the asymptotic stability of the PWA system is then obtained by finding a PWQ-LF through the solution of a set LMIs. Numerical results with a conewise linear system and an opinion dynamics model show the effectiveness of the proposed approach.},
keywords = {LMIs, stability, switched-systems},
pubstate = {published},
tppubtype = {inproceedings}
}
State-dependent switched systems characterized by piecewise affine (PWA) dynamics in a polyhedral partition of the state space are considered. Sufficient conditions on the vectors fields such that the solution crosses the common boundaries of the polyhedra are expressed in terms of quadratic inequalities constrained to the polyhedra intersections. A piecewise quadratic (PWQ) function, not necessarily continuous, is proposed as a candidate Lyapunov function (LF). The sign conditions and the negative jumps at the boundaries are expressed in terms of linear matrix inequalities (LMIs) via cone-copositivity. A sufficient condition for the asymptotic stability of the PWA system is then obtained by finding a PWQ-LF through the solution of a set LMIs. Numerical results with a conewise linear system and an opinion dynamics model show the effectiveness of the proposed approach. |
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. |
Küsters, Ferdinand; Patil, Deepak; Trenn, Stephan Switch observability for a class of inhomogeneous switched DAEs Proceedings Article In: Proc. 56th IEEE Conf. Decis. Control, pp. 3175 - 3180, Melbourne, Australia, 2017. @inproceedings{KustPati17b,
title = {Switch observability for a class of inhomogeneous switched DAEs},
author = {Ferdinand Küsters and Deepak Patil and Stephan Trenn},
url = {http://stephantrenn.net/wp-content/uploads/2017/09/Preprint-KPT170919.pdf, Preprint},
doi = {10.1109/CDC.2017.8264124},
year = {2017},
date = {2017-12-13},
booktitle = {Proc. 56th IEEE Conf. Decis. Control},
pages = {3175 - 3180},
address = {Melbourne, Australia},
abstract = {Necessary and sufficient conditions for switching time and switch observability of a class of inhomogeneous switched differential algebraic equations (DAEs) are obtained. A characterization of initial states and inputs for which switched DAEs are switch unobservable is also provided by using the zeros of an augmented system obtained by combining the output of two modes suitably.},
keywords = {DAEs, observability, switched-DAEs, switched-systems},
pubstate = {published},
tppubtype = {inproceedings}
}
Necessary and sufficient conditions for switching time and switch observability of a class of inhomogeneous switched differential algebraic equations (DAEs) are obtained. A characterization of initial states and inputs for which switched DAEs are switch unobservable is also provided by using the zeros of an augmented system obtained by combining the output of two modes suitably. |
Küsters, Ferdinand; Trenn, Stephan; Wirsen, Andreas Switch-observer for switched linear systems Proceedings Article In: Proc. 56th IEEE Conf. Decis. Control, pp. 1749 - 1754, Melbourne, Australia, 2017. @inproceedings{KustTren17b,
title = {Switch-observer for switched linear systems},
author = {Ferdinand Küsters and Stephan Trenn and Andreas Wirsen},
url = {http://stephantrenn.net/wp-content/uploads/2017/09/Preprint-KTW170901.pdf, Preprint},
doi = {10.1109/CDC.2017.8263903},
year = {2017},
date = {2017-12-12},
booktitle = {Proc. 56th IEEE Conf. Decis. Control},
pages = {1749 - 1754},
address = {Melbourne, Australia},
abstract = {To determine the switching signal and the state of a switched linear system, one usually requires mode observability. This requires that all individual modes are observable and that the modes are distinguishable. In theory, it allows to determine the active mode in an arbitrarily short time. If one enlarges the observation to an interval that contains a switch, both assumptions (observability of each mode and clearly distinct dynamics) can be relaxed. In [Küsters and Trenn 2017] this concept, called switch observability, was formalized. It is of particular interest for fault identification. Based on switch observability, we propose an observer. This observer combines the information obtained before and after a switching instant to determine both the state and the switching signal. It is analyzed and illustrated in an example.},
keywords = {observability, observer, switched-systems},
pubstate = {published},
tppubtype = {inproceedings}
}
To determine the switching signal and the state of a switched linear system, one usually requires mode observability. This requires that all individual modes are observable and that the modes are distinguishable. In theory, it allows to determine the active mode in an arbitrarily short time. If one enlarges the observation to an interval that contains a switch, both assumptions (observability of each mode and clearly distinct dynamics) can be relaxed. In [Küsters and Trenn 2017] this concept, called switch observability, was formalized. It is of particular interest for fault identification. Based on switch observability, we propose an observer. This observer combines the information obtained before and after a switching instant to determine both the state and the switching signal. It is analyzed and illustrated in an example. |
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. |
2015
|
Küsters, Ferdinand; Trenn, Stephan Duality of switched ODEs with jumps Proceedings Article In: Proc. 54th IEEE Conf. Decis. Control, Osaka, Japan, pp. 4879–4884, 2015. @inproceedings{KustTren15b,
title = {Duality of switched ODEs with jumps},
author = {Ferdinand Küsters and Stephan Trenn},
url = {http://stephantrenn.net/wp-content/uploads/2017/09/Preprint-KT150814.pdf, Preprint},
doi = {10.1109/CDC.2015.7402981},
year = {2015},
date = {2015-12-05},
booktitle = {Proc. 54th IEEE Conf. Decis. Control, Osaka, Japan},
pages = {4879--4884},
abstract = {Duality between controllability/reachability and determinability/observability of switched systems with jumps is proven. The duality result is based on the recent characterization of controllability for switched differential-algebraic equations (DAEs) which share many properties with switched ordinary differential equations (ODEs) with jumps. Here we view the switching signal as given and fixed, which makes the overall switched system time-varying, in particular controllability and reachability do not coincide anymore.},
keywords = {controllability, observability, switched-systems},
pubstate = {published},
tppubtype = {inproceedings}
}
Duality between controllability/reachability and determinability/observability of switched systems with jumps is proven. The duality result is based on the recent characterization of controllability for switched differential-algebraic equations (DAEs) which share many properties with switched ordinary differential equations (ODEs) with jumps. Here we view the switching signal as given and fixed, which makes the overall switched system time-varying, in particular controllability and reachability do not coincide anymore. |
Trenn, Stephan Distributional averaging of switched DAEs with two modes Proceedings Article In: Proc. 54th IEEE Conf. Decis. Control, Osaka, Japan, pp. 3616–3620, 2015. @inproceedings{Tren15,
title = {Distributional averaging of switched DAEs with two modes},
author = {Stephan Trenn},
url = {http://stephantrenn.net/wp-content/uploads/2017/09/Preprint-Tre150812.pdf, Preprint},
doi = {10.1109/CDC.2015.7402779},
year = {2015},
date = {2015-12-04},
booktitle = {Proc. 54th IEEE Conf. Decis. Control, Osaka, Japan},
pages = {3616--3620},
abstract = {The averaging technique is a powerful tool for the analysis and control of switched systems. Recently, classical averaging results were generalized to the class of switched differential algebraic equations (switched DAEs). These results did not consider the possible Dirac impulses in the solutions of switched DAEs and it was believed that the presence of Dirac impulses does not prevent convergence towards an average model and can therefore be neglected. It turns out that the first claim (convergence) is indeed true, but nevertheless the Dirac impulses cannot be neglected, they play an important role for the resulting limit. This note first shows with a simple example how the presence of Dirac impulses effects the convergence towards an averaged model and then a formal proof of convergence in the distributional sense for switched DAEs with two modes is given.},
keywords = {averaging, DAEs, piecewise-smooth-distributions, switched-DAEs, switched-systems},
pubstate = {published},
tppubtype = {inproceedings}
}
The averaging technique is a powerful tool for the analysis and control of switched systems. Recently, classical averaging results were generalized to the class of switched differential algebraic equations (switched DAEs). These results did not consider the possible Dirac impulses in the solutions of switched DAEs and it was believed that the presence of Dirac impulses does not prevent convergence towards an average model and can therefore be neglected. It turns out that the first claim (convergence) is indeed true, but nevertheless the Dirac impulses cannot be neglected, they play an important role for the resulting limit. This note first shows with a simple example how the presence of Dirac impulses effects the convergence towards an averaged model and then a formal proof of convergence in the distributional sense for switched DAEs with two modes is given. |
Tanwani, Aneel; Trenn, Stephan On detectability of switched linear differential-algebraic equations Proceedings Article In: Proc. 54th IEEE Conf. Decis. Control, Osaka, Japan, pp. 2957–2962, 2015. @inproceedings{TanwTren15,
title = {On detectability of switched linear differential-algebraic equations},
author = {Aneel Tanwani and Stephan Trenn},
url = {http://stephantrenn.net/wp-content/uploads/2017/09/Preprint-TT150904.pdf, Preprint},
doi = {10.1109/CDC.2015.7402666},
year = {2015},
date = {2015-12-03},
booktitle = {Proc. 54th IEEE Conf. Decis. Control, Osaka, Japan},
pages = {2957--2962},
abstract = {This paper addresses the notion of detectability for continuous-time switched systems comprising linear differential-algebraic equations (DAEs). It relates to studying asymptotic stability of the set of state trajectories corresponding to zero input and zero output, with a fixed switching signal. Due to the nature of solutions of switched DAEs, the problem reduces to analyzing stability of the trajectories emanating from a non-vanishing unobservable subspace, for which we first derive a geometric expression. The stability of state trajectories starting from that subspace can then be checked in two possible ways. In the first case, detectability of switched DAE is shown to be equivalent to the asymptotic stability of a reduced order discrete-time switched system. In the second approach, the solutions from a non-vanishing unobservable subspace are mapped to the solutions of a reduced order continuous system with time-varying switching ordinary differential equations (ODEs). As a special case of the later approach, the reduced order switched system is time-invariant if the unobservable subspace is invariant for all subsystems},
keywords = {DAEs, observability, stability, switched-DAEs, switched-systems},
pubstate = {published},
tppubtype = {inproceedings}
}
This paper addresses the notion of detectability for continuous-time switched systems comprising linear differential-algebraic equations (DAEs). It relates to studying asymptotic stability of the set of state trajectories corresponding to zero input and zero output, with a fixed switching signal. Due to the nature of solutions of switched DAEs, the problem reduces to analyzing stability of the trajectories emanating from a non-vanishing unobservable subspace, for which we first derive a geometric expression. The stability of state trajectories starting from that subspace can then be checked in two possible ways. In the first case, detectability of switched DAE is shown to be equivalent to the asymptotic stability of a reduced order discrete-time switched system. In the second approach, the solutions from a non-vanishing unobservable subspace are mapped to the solutions of a reduced order continuous system with time-varying switching ordinary differential equations (ODEs). As a special case of the later approach, the reduced order switched system is time-invariant if the unobservable subspace is invariant for all subsystems |
Mostacciuolo, Elisa; Trenn, Stephan; Vasca, Francesco Averaging for non-homogeneous switched DAEs Proceedings Article In: Proc. 54th IEEE Conf. Decis. Control, Osaka, Japan, pp. 2951–2956, 2015. @inproceedings{MostTren15b,
title = {Averaging for non-homogeneous switched DAEs},
author = {Elisa Mostacciuolo and Stephan Trenn and Francesco Vasca},
url = {http://stephantrenn.net/wp-content/uploads/2017/09/Preprint-MTV150901.pdf, Preprint},
doi = {10.1109/CDC.2015.7402665},
year = {2015},
date = {2015-12-02},
booktitle = {Proc. 54th IEEE Conf. Decis. Control, Osaka, Japan},
pages = {2951--2956},
abstract = {Averaging is widely used for approximating the dynamics of switched systems. The validity of an averaged model typically depends on the switching frequency and on some technicalities regarding the switched system structure. For homogeneous linear switched differential algebraic equations it is known that an averaged model can be obtained. In this paper an averaging result for non-homogeneous switched systems is presented. A switched electrical circuit illustrates the practical interest of the result.},
keywords = {application, averaging, DAEs, switched-DAEs, switched-systems},
pubstate = {published},
tppubtype = {inproceedings}
}
Averaging is widely used for approximating the dynamics of switched systems. The validity of an averaged model typically depends on the switching frequency and on some technicalities regarding the switched system structure. For homogeneous linear switched differential algebraic equations it is known that an averaged model can be obtained. In this paper an averaging result for non-homogeneous switched systems is presented. A switched electrical circuit illustrates the practical interest of the result. |
Shim, Hyungbo; Trenn, Stephan A preliminary result on synchronization of heterogeneous agents via funnel control Proceedings Article In: Proc. 54th IEEE Conf. Decis. Control, Osaka, Japan, pp. 2229–2234, 2015. @inproceedings{ShimTren15,
title = {A preliminary result on synchronization of heterogeneous agents via funnel control},
author = {Hyungbo Shim and Stephan Trenn},
url = {http://stephantrenn.net/wp-content/uploads/2017/09/Preprint-ST150902.pdf, Preprint},
doi = {10.1109/CDC.2015.7402538},
year = {2015},
date = {2015-12-01},
booktitle = {Proc. 54th IEEE Conf. Decis. Control, Osaka, Japan},
pages = {2229--2234},
abstract = {We propose a new approach to achieve practical synchronization for heterogeneous agents. Our approach is based on the observation that a sufficiently large (but constant) gain for diffusive coupling leads to practical synchronization. In the classical setup of high-gain adaptive control, the funnel controller gained popularity in the last decade, because it is very simple and only structural knowledge of the underlying dynamical system is needed. We illustrate with simulations that “funnel synchronization” may be a promising approach to achieve practical synchronization of heterogeneous agents without the need to know the individual dynamics and the algebraic connectivity of the network (i.e., the second smallest eigenvalue of the Laplacian matrix). For a special case we provide a proof, but the proof for the general case is ongoing research.},
keywords = {funnel-control, networks, nonlinear, stability, synchronization},
pubstate = {published},
tppubtype = {inproceedings}
}
We propose a new approach to achieve practical synchronization for heterogeneous agents. Our approach is based on the observation that a sufficiently large (but constant) gain for diffusive coupling leads to practical synchronization. In the classical setup of high-gain adaptive control, the funnel controller gained popularity in the last decade, because it is very simple and only structural knowledge of the underlying dynamical system is needed. We illustrate with simulations that “funnel synchronization” may be a promising approach to achieve practical synchronization of heterogeneous agents without the need to know the individual dynamics and the algebraic connectivity of the network (i.e., the second smallest eigenvalue of the Laplacian matrix). For a special case we provide a proof, but the proof for the general case is ongoing research. |
2013
|
Tanwani, Aneel; Trenn, Stephan An observer for switched differential-algebraic equations based on geometric characterization of observability Proceedings Article In: Proc. 52nd IEEE Conf. Decis. Control, Florence, Italy, pp. 5981–5986, 2013. @inproceedings{TanwTren13,
title = {An observer for switched differential-algebraic equations based on geometric characterization of observability},
author = {Aneel Tanwani and Stephan Trenn},
url = {http://stephantrenn.net/wp-content/uploads/2017/09/Preprint-TT130909.pdf, Preprint},
doi = {10.1109/CDC.2013.6760833},
year = {2013},
date = {2013-12-12},
booktitle = {Proc. 52nd IEEE Conf. Decis. Control, Florence, Italy},
pages = {5981--5986},
abstract = {Based on our previous work dealing with geometric characterization of observability for switched differential-algebraic equations (switched DAEs), we propose an observer design for switched DAEs that generates an asymptotically convergent state estimate. Without assuming the observability of individual modes, the central idea in constructing the observer is to filter out the maximal information from the output of each of the active subsystems and combine it with the previously extracted information to obtain a good estimate of the state after a certain time has passed. In general, observability only holds when impulses in the output are taken into account, hence our observer incorporates the knowledge of impulses in the output. This is a distinguishing feature of our observer design compared to observers for switched ordinary differential equations.},
keywords = {DAEs, observability, observer, piecewise-smooth-distributions, switched-DAEs, switched-systems},
pubstate = {published},
tppubtype = {inproceedings}
}
Based on our previous work dealing with geometric characterization of observability for switched differential-algebraic equations (switched DAEs), we propose an observer design for switched DAEs that generates an asymptotically convergent state estimate. Without assuming the observability of individual modes, the central idea in constructing the observer is to filter out the maximal information from the output of each of the active subsystems and combine it with the previously extracted information to obtain a good estimate of the state after a certain time has passed. In general, observability only holds when impulses in the output are taken into account, hence our observer incorporates the knowledge of impulses in the output. This is a distinguishing feature of our observer design compared to observers for switched ordinary differential equations. |
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. |
Iannelli, Luigi; Pedicini, Carmen; Trenn, Stephan; Vasca, Francesco An averaging result for switched DAEs with multiple modes Proceedings Article In: Proc. 52nd IEEE Conf. Decis. Control, Florence, Italy, pp. 1378 - 1383, 2013. @inproceedings{IannPedi13b,
title = {An averaging result for switched DAEs with multiple modes},
author = {Luigi Iannelli and Carmen Pedicini and Stephan Trenn and Francesco Vasca},
url = {http://stephantrenn.net/wp-content/uploads/2017/09/Preprint-IPTV130911.pdf, Preprint},
doi = {10.1109/CDC.2013.6760075},
year = {2013},
date = {2013-12-10},
booktitle = {Proc. 52nd IEEE Conf. Decis. Control, Florence, Italy},
pages = {1378 - 1383},
abstract = {The major motivation of the averaging technique for switched systems is the construction of a smooth average system whose state trajectory approximates in some sense the state trajectory of the switched system. Averaging of dynamic systems represented by switched ordinary differential equations (ODEs) has been widely analyzed in the literature. The averaging approach can be useful also for the analysis of switched differential algebraic equations (DAEs). Indeed by analyzing the evolution of the switched DAEs state it is possible to conjecture the existence of an average model. However a trivial generalization of the ODE case is not possible due to the presence of state jumps. In this paper we discuss the averaging approach for switched DAEs and an approximation result is derived for homogenous switched linear DAE with periodic switching signals commuting among several modes. This approximation result extends a recent averaging result for switched DAEs with only two modes. Numerical simulations confirm the validity of the averaging approach for switched DAEs.},
keywords = {averaging, DAEs, switched-DAEs, switched-systems},
pubstate = {published},
tppubtype = {inproceedings}
}
The major motivation of the averaging technique for switched systems is the construction of a smooth average system whose state trajectory approximates in some sense the state trajectory of the switched system. Averaging of dynamic systems represented by switched ordinary differential equations (ODEs) has been widely analyzed in the literature. The averaging approach can be useful also for the analysis of switched differential algebraic equations (DAEs). Indeed by analyzing the evolution of the switched DAEs state it is possible to conjecture the existence of an average model. However a trivial generalization of the ODE case is not possible due to the presence of state jumps. In this paper we discuss the averaging approach for switched DAEs and an approximation result is derived for homogenous switched linear DAE with periodic switching signals commuting among several modes. This approximation result extends a recent averaging result for switched DAEs with only two modes. Numerical simulations confirm the validity of the averaging approach for switched DAEs. |
2012
|
Trenn, Stephan; Willems, Jan C. Switched behaviors with impulses - a unifying framework Proceedings Article In: Proc. 51st IEEE Conf. Decis. Control, Maui, USA, pp. 3203-3208, 2012, ISSN: 0743-1546. @inproceedings{TrenWill12,
title = {Switched behaviors with impulses - a unifying framework},
author = {Stephan Trenn and Jan C. Willems},
url = {http://stephantrenn.net/wp-content/uploads/2017/09/Preprint-TW120813.pdf, Preprint},
doi = {10.1109/CDC.2012.6426883},
issn = {0743-1546},
year = {2012},
date = {2012-12-13},
booktitle = {Proc. 51st IEEE Conf. Decis. Control, Maui, USA},
pages = {3203-3208},
abstract = {We present a new framework to describe and study switched behaviors. We allow for jumps and impulses in the trajectories induced either implicitly by the dynamics after the switch or explicitly by “impacts”. With some examples from electrical circuit we motivate that the dynamical equations before and after the switch already uniquely define the “dynamics” at the switch, i.e. jumps and impulses. On the other hand, we also allow for external impacts resulting in jumps and impulses not induced by the internal dynamics. As a first theoretical result in this new framework we present a characterization for autonomy of a switched behavior.},
keywords = {DAEs, piecewise-smooth-distributions, switched-DAEs, switched-systems},
pubstate = {published},
tppubtype = {inproceedings}
}
We present a new framework to describe and study switched behaviors. We allow for jumps and impulses in the trajectories induced either implicitly by the dynamics after the switch or explicitly by “impacts”. With some examples from electrical circuit we motivate that the dynamical equations before and after the switch already uniquely define the “dynamics” at the switch, i.e. jumps and impulses. On the other hand, we also allow for external impacts resulting in jumps and impulses not induced by the internal dynamics. As a first theoretical result in this new framework we present a characterization for autonomy of a switched behavior. |
Trenn, Stephan; Wirth, Fabian Linear switched DAEs: Lyapunov exponents, a converse Lyapunov theorem, and Barabanov norms Proceedings Article In: Proc. 51st IEEE Conf. Decis. Control, Maui, USA, pp. 2666–2671, 2012, ISSN: 0191-2216. @inproceedings{TrenWirt12b,
title = {Linear switched DAEs: Lyapunov exponents, a converse Lyapunov theorem, and Barabanov norms},
author = {Stephan Trenn and Fabian Wirth},
url = {http://stephantrenn.net/wp-content/uploads/2017/09/Preprint-TW120901.pdf, Preprint},
doi = {10.1109/CDC.2012.6426245},
issn = {0191-2216},
year = {2012},
date = {2012-12-12},
booktitle = {Proc. 51st IEEE Conf. Decis. Control, Maui, USA},
pages = {2666--2671},
abstract = {For linear switched differential algebraic equations (DAEs) we consider the problem of characterizing the maximal exponential growth rate of solutions. It is shown that a finite exponential growth rate exists if and only if the set of consistency projectors associated to the family of DAEs is product bounded. This result may be used to derive a converse Lyapunov theorem for switched DAEs. Under the assumption of irreducibility we show that a construction reminiscent of the construction of Barabanov norms is feasible as well.},
keywords = {DAEs, Lyapunov, stability, switched-DAEs, switched-systems},
pubstate = {published},
tppubtype = {inproceedings}
}
For linear switched differential algebraic equations (DAEs) we consider the problem of characterizing the maximal exponential growth rate of solutions. It is shown that a finite exponential growth rate exists if and only if the set of consistency projectors associated to the family of DAEs is product bounded. This result may be used to derive a converse Lyapunov theorem for switched DAEs. Under the assumption of irreducibility we show that a construction reminiscent of the construction of Barabanov norms is feasible as well. |
Tanwani, Aneel; Trenn, Stephan Observability of switched differential-algebraic equations for general switching signals Proceedings Article In: Proc. 51st IEEE Conf. Decis. Control, Maui, USA, pp. 2648–2653, 2012. @inproceedings{TanwTren12,
title = {Observability of switched differential-algebraic equations for general switching signals},
author = {Aneel Tanwani and Stephan Trenn},
url = {http://stephantrenn.net/wp-content/uploads/2017/09/Preprint-TT120822.pdf, Preprint},
doi = {10.1109/CDC.2012.6427087},
year = {2012},
date = {2012-12-11},
booktitle = {Proc. 51st IEEE Conf. Decis. Control, Maui, USA},
pages = {2648--2653},
abstract = {We study observability of switched differential-algebraic equations (DAEs) for arbitrary switching. We present a characterization of observability and a related property called determinability. These characterizations utilize the results for the single-switch case recently obtained by the authors. Furthermore, we study observability conditions when only the mode sequence of the switching signal (and not the switching times) are known. This leads to necessary and sufficient conditions for observability and determinability. We illustrate the results with illustrative examples.},
keywords = {DAEs, observability, switched-DAEs, switched-systems},
pubstate = {published},
tppubtype = {inproceedings}
}
We study observability of switched differential-algebraic equations (DAEs) for arbitrary switching. We present a characterization of observability and a related property called determinability. These characterizations utilize the results for the single-switch case recently obtained by the authors. Furthermore, we study observability conditions when only the mode sequence of the switching signal (and not the switching times) are known. This leads to necessary and sufficient conditions for observability and determinability. We illustrate the results with illustrative examples. |
2011
|
Liberzon, Daniel; Trenn, Stephan; Wirth, Fabian Commutativity and asymptotic stability for linear switched DAEs Proceedings Article In: Proc. 50th IEEE Conf. Decis. Control and European Control Conf. ECC 2011, Orlando, USA, pp. 417–422, 2011. @inproceedings{LibeTren11,
title = {Commutativity and asymptotic stability for linear switched DAEs},
author = {Daniel Liberzon and Stephan Trenn and Fabian Wirth},
url = {http://stephantrenn.net/wp-content/uploads/2017/09/Preprint-LTW110816.pdf, Preprint},
doi = {10.1109/CDC.2011.6160335},
year = {2011},
date = {2011-12-01},
booktitle = {Proc. 50th IEEE Conf. Decis. Control and European Control Conf. ECC 2011, Orlando, USA},
pages = {417--422},
abstract = {For linear switched ordinary differential equations with asymptotically stable constituent systems, it is well known that commutativity of the coefficient matrices implies asymptotic stability of the switched system under arbitrary switching. This result is generalized to linear switched differential algebraic equations (DAEs). Although the solutions of a switched DAE can exhibit jumps it turns out that it suffices to check commutativity of the “flow” matrices. As in the ODE case we are also able to construct a common quadratic Lyapunov function.},
keywords = {DAEs, Lyapunov, stability, switched-DAEs, switched-systems},
pubstate = {published},
tppubtype = {inproceedings}
}
For linear switched ordinary differential equations with asymptotically stable constituent systems, it is well known that commutativity of the coefficient matrices implies asymptotic stability of the switched system under arbitrary switching. This result is generalized to linear switched differential algebraic equations (DAEs). Although the solutions of a switched DAE can exhibit jumps it turns out that it suffices to check commutativity of the “flow” matrices. As in the ODE case we are also able to construct a common quadratic Lyapunov function. |
2010
|
Domínguez-García, Alejandro D.; Trenn, Stephan Detection of impulsive effects in switched DAEs with applications to power electronics reliability analysis Proceedings Article In: Proc. 49th IEEE Conf. Decis. Control, Atlanta, USA, pp. 5662–5667, 2010. @inproceedings{DomiTren10,
title = {Detection of impulsive effects in switched DAEs with applications to power electronics reliability analysis},
author = {Alejandro D. Domínguez-García and Stephan Trenn},
url = {http://stephantrenn.net/wp-content/uploads/2017/09/Preprint-DT100810.pdf, Preprint},
doi = {10.1109/CDC.2010.5717011},
year = {2010},
date = {2010-12-17},
booktitle = {Proc. 49th IEEE Conf. Decis. Control, Atlanta, USA},
pages = {5662--5667},
abstract = {This paper presents an analytical framework for detecting the presence of jumps and impulses in the solutions of switched differential algebraic equations (switched DAEs). The framework can be applied in the early design stage of fault-tolerant power electronics systems to identify design flaws that could jeopardize its reliability. The system is described by a switched differential algebraic equation, accounting for both fault-free system configurations and the configurations that arise after component faults, where each configuration p is defined by a pair of matrices (Ep;Ap). For each configuration p, the so called consistency projector is obtained from the pair (Ep;Ap). Based on the consistency projectors of all possible configurations, conditions for impulse-free and jump-free solutions of the switched DAE are established. A case-study of a dual redundant buck converter is presented to illustrate the framework.},
keywords = {application, DAEs, piecewise-smooth-distributions, switched-DAEs, switched-systems},
pubstate = {published},
tppubtype = {inproceedings}
}
This paper presents an analytical framework for detecting the presence of jumps and impulses in the solutions of switched differential algebraic equations (switched DAEs). The framework can be applied in the early design stage of fault-tolerant power electronics systems to identify design flaws that could jeopardize its reliability. The system is described by a switched differential algebraic equation, accounting for both fault-free system configurations and the configurations that arise after component faults, where each configuration p is defined by a pair of matrices (Ep;Ap). For each configuration p, the so called consistency projector is obtained from the pair (Ep;Ap). Based on the consistency projectors of all possible configurations, conditions for impulse-free and jump-free solutions of the switched DAE are established. A case-study of a dual redundant buck converter is presented to illustrate the framework. |
Tanwani, Aneel; Trenn, Stephan On observability of switched differential-algebraic equations Proceedings Article In: Proc. 49th IEEE Conf. Decis. Control, Atlanta, USA, pp. 5656–5661, 2010. @inproceedings{TanwTren10,
title = {On observability of switched differential-algebraic equations},
author = {Aneel Tanwani and Stephan Trenn},
url = {http://stephantrenn.net/wp-content/uploads/2017/09/Preprint-TT100821.pdf, Preprint},
doi = {10.1109/CDC.2010.5717685},
year = {2010},
date = {2010-12-16},
booktitle = {Proc. 49th IEEE Conf. Decis. Control, Atlanta, USA},
pages = {5656--5661},
abstract = {We investigate observability of switched differential algebraic equations. The article primarily focuses on a class of switched systems comprising of two modes and a switching signal with a single switching instant. We provide a necessary and sufficient condition under which it is possible to recover the value of state trajectory (globally in time) with the help of switching phenomenon, even though the constituent subsystems may not be observable. In case the switched system is not globally observable, we discuss the concept of forward observability which deals with the recovery of state trajectory after the switching. A necessary and sufficient condition that characterizes forward observability is presented.},
keywords = {DAEs, observability, piecewise-smooth-distributions, switched-DAEs, switched-systems},
pubstate = {published},
tppubtype = {inproceedings}
}
We investigate observability of switched differential algebraic equations. The article primarily focuses on a class of switched systems comprising of two modes and a switching signal with a single switching instant. We provide a necessary and sufficient condition under which it is possible to recover the value of state trajectory (globally in time) with the help of switching phenomenon, even though the constituent subsystems may not be observable. In case the switched system is not globally observable, we discuss the concept of forward observability which deals with the recovery of state trajectory after the switching. A necessary and sufficient condition that characterizes forward observability is presented. |
Liberzon, Daniel; Trenn, Stephan The bang-bang funnel controller Proceedings Article In: Proc. 49th IEEE Conf. Decis. Control, Atlanta, USA, pp. 690–695, 2010. @inproceedings{LibeTren10,
title = {The bang-bang funnel controller},
author = {Daniel Liberzon and Stephan Trenn},
url = {http://stephantrenn.net/wp-content/uploads/2017/09/Preprint-LT100806.pdf, Preprint
http://stephantrenn.net/wp-content/uploads/2017/09/Preprint-LT100806longVersion.pdf, Preprint (long version)},
doi = {10.1109/CDC.2010.5717742},
year = {2010},
date = {2010-12-15},
booktitle = {Proc. 49th IEEE Conf. Decis. Control, Atlanta, USA},
pages = {690--695},
abstract = {A bang-bang controller is proposed which is able to ensure reference signal tracking with prespecified time-varying error bounds (the funnel) for nonlinear systems with relative degree one or two. For the design of the controller only the knowledge of the relative degree is needed. The controller is guaranteed to work when certain feasibility assumptions are fulfilled, which are explicitly given in the main results. Linear systems with relative degree one or two are feasible if the system is minimum phase and the control values are large enough.},
keywords = {funnel-control, input-constraints, nonlinear, relative-degree},
pubstate = {published},
tppubtype = {inproceedings}
}
A bang-bang controller is proposed which is able to ensure reference signal tracking with prespecified time-varying error bounds (the funnel) for nonlinear systems with relative degree one or two. For the design of the controller only the knowledge of the relative degree is needed. The controller is guaranteed to work when certain feasibility assumptions are fulfilled, which are explicitly given in the main results. Linear systems with relative degree one or two are feasible if the system is minimum phase and the control values are large enough. |
Liberzon, Daniel; Trenn, Stephan The Bang-Bang Funnel Controller (long version) Miscellaneous Extended Conference Manuscript, 2010, (long version of corresponding CDC paper). @misc{LibeTren10m,
title = {The Bang-Bang Funnel Controller (long version)},
author = {Daniel Liberzon and Stephan Trenn},
url = {https://stephantrenn.net/wp-content/uploads/2017/09/Preprint-LT100806longVersion.pdf, Long version of corresponding CDC-paper},
year = {2010},
date = {2010-08-06},
abstract = {A bang-bang controller is proposed which is able to ensure reference signal tracking with prespecified time-varying error bounds (the funnel) for nonlinear systems with relative degree one or two. For the design of the controller only the knowledge of the relative degree is needed. The controller is guaranteed to work when certain feasibility assumptions are fulfilled, which are explicitly given in the main results. Linear systems with relative degree one or two are feasible if the system is minimum phase and the control values are large enough.},
howpublished = {Extended Conference Manuscript},
note = {long version of corresponding CDC paper},
keywords = {funnel-control, input-constraints, switched-systems},
pubstate = {published},
tppubtype = {misc}
}
A bang-bang controller is proposed which is able to ensure reference signal tracking with prespecified time-varying error bounds (the funnel) for nonlinear systems with relative degree one or two. For the design of the controller only the knowledge of the relative degree is needed. The controller is guaranteed to work when certain feasibility assumptions are fulfilled, which are explicitly given in the main results. Linear systems with relative degree one or two are feasible if the system is minimum phase and the control values are large enough. |
2009
|
Liberzon, Daniel; Trenn, Stephan On stability of linear switched differential algebraic equations Proceedings Article In: Proc. Joint 48th IEEE Conf. Decis. Control and 28th Chinese Control Conf., pp. 2156–2161, 2009. @inproceedings{LibeTren09,
title = {On stability of linear switched differential algebraic equations},
author = {Daniel Liberzon and Stephan Trenn},
url = {http://stephantrenn.net/wp-content/uploads/2017/09/Preprint-LT090903.pdf, Preprint},
doi = {10.1109/CDC.2009.5400076},
year = {2009},
date = {2009-12-01},
booktitle = {Proc. Joint 48th IEEE Conf. Decis. Control and 28th Chinese Control Conf.},
pages = {2156--2161},
abstract = {This paper studies linear switched differential algebraic equations (DAEs), i.e., systems defined by a finite family of linear DAE subsystems and a switching signal that governs the switching between them. We show by examples that switching between stable subsystems may lead to instability, and that the presence of algebraic constraints leads to a larger variety of possible instability mechanisms compared to those observed in switched systems described by ordinary differential equations (ODEs). We prove two sufficient conditions for stability of switched DAEs based on the existence of suitable Lyapunov functions. The first result states that a common Lyapunov function guarantees stability under arbitrary switching when an additional condition involving consistency projectors holds (this extra condition is not needed when there are no jumps, as in the case of switched ODEs). The second result shows that stability is preserved under switching with sufficiently large dwell time.},
keywords = {DAEs, Lyapunov, stability, switched-DAEs, switched-systems},
pubstate = {published},
tppubtype = {inproceedings}
}
This paper studies linear switched differential algebraic equations (DAEs), i.e., systems defined by a finite family of linear DAE subsystems and a switching signal that governs the switching between them. We show by examples that switching between stable subsystems may lead to instability, and that the presence of algebraic constraints leads to a larger variety of possible instability mechanisms compared to those observed in switched systems described by ordinary differential equations (ODEs). We prove two sufficient conditions for stability of switched DAEs based on the existence of suitable Lyapunov functions. The first result states that a common Lyapunov function guarantees stability under arbitrary switching when an additional condition involving consistency projectors holds (this extra condition is not needed when there are no jumps, as in the case of switched ODEs). The second result shows that stability is preserved under switching with sufficiently large dwell time. |
2005
|
French, Mark; Trenn, Stephan lp gain bounds for switched adaptive controllers Proceedings Article In: Proc. 44th IEEE Conf. Decis. Control and European Control Conf. (ECC), pp. 2865–2870, 2005. @inproceedings{FrenTren05,
title = {l^{p} gain bounds for switched adaptive controllers},
author = {Mark French and Stephan Trenn},
url = {http://stephantrenn.net/wp-content/uploads/2017/09/Preprint-FT050913.pdf, Preprint},
doi = {10.1109/CDC.2005.1582598},
year = {2005},
date = {2005-12-01},
booktitle = {Proc. 44th IEEE Conf. Decis. Control and European Control Conf. (ECC)},
pages = {2865--2870},
abstract = {A class of discrete plants controlled by a switching adaptive strategy is considered, and l^p bounds, 1 ≤ p ≤ ∞, are obtained for the closed loop gain relating input and output disturbances to internal signals.},
keywords = {stability, switched-systems},
pubstate = {published},
tppubtype = {inproceedings}
}
A class of discrete plants controlled by a switching adaptive strategy is considered, and l^p bounds, 1 ≤ p ≤ ∞, are obtained for the closed loop gain relating input and output disturbances to internal signals. |
