2024
|
Lanza, Lukas; Dennstädt, Dario; Worthmann, Karl; Schmitz, Philipp; Sen, Gökcen Devlet; Trenn, Stephan; Schaller, Manuel Sampled-data funnel control and its use for safe continual learning Journal Article In: Systems & Control Letters, vol. 192, no. 105892, pp. 1-12, 2024, (open access). @article{LanzDann24,
title = {Sampled-data funnel control and its use for safe continual learning},
author = {Lukas Lanza and Dario Dennstädt and Karl Worthmann and Philipp Schmitz and Gökcen Devlet Sen and Stephan Trenn and Manuel Schaller},
url = {https://stephantrenn.net/wp-content/uploads/2024/09/LanzDenn24.pdf, Paper
https://arxiv.org/abs/2303.00523, arXiv},
doi = {10.1016/j.sysconle.2024.105892},
year = {2024},
date = {2024-08-09},
urldate = {2024-08-09},
journal = {Systems & Control Letters},
volume = {192},
number = {105892},
pages = {1-12},
abstract = {We propose a novel sampled-data output-feedback controller for nonlinear systems of arbitrary relative degree that ensures reference tracking within prescribed error bounds. We provide explicit bounds on the maximum input signal and the required uniform sampling time. A key strength of this approach is its capability to serve as a safety filter for various learning-based controller designs, enabling the use of learning techniques in safety- critical applications. We illustrate its versatility by integrating it with two different controllers: a reinforcement learning controller and a non-parametric predictive controller based on Willems et al.’s fundamental lemma. Numerical simulations illustrate effectiveness of the combined controller design.},
note = {open access},
keywords = {discrete-time, funnel-control, input-constraints, relative-degree},
pubstate = {published},
tppubtype = {article}
}
We propose a novel sampled-data output-feedback controller for nonlinear systems of arbitrary relative degree that ensures reference tracking within prescribed error bounds. We provide explicit bounds on the maximum input signal and the required uniform sampling time. A key strength of this approach is its capability to serve as a safety filter for various learning-based controller designs, enabling the use of learning techniques in safety- critical applications. We illustrate its versatility by integrating it with two different controllers: a reinforcement learning controller and a non-parametric predictive controller based on Willems et al.’s fundamental lemma. Numerical simulations illustrate effectiveness of the combined controller design. |
2023
|
Lee, Jin Gyu; Berger, Thomas; Trenn, Stephan; Shim, Hyungbo Edge-wise funnel output synchronization of heterogeneous agents with relative degree one Journal Article In: Automatica, vol. 156, no. 111204, pp. 1-10, 2023, (open access). @article{LeeBerg23,
title = {Edge-wise funnel output synchronization of heterogeneous agents with relative degree one},
author = {Jin Gyu Lee and Thomas Berger and Stephan Trenn and Hyungbo Shim},
url = {https://stephantrenn.net/wp-content/uploads/2024/02/LeeBerg23.pdf, Paper
https://arxiv.org/abs/2110.05330, ArXiV},
doi = {10.1016/j.automatica.2023.111204},
year = {2023},
date = {2023-10-01},
urldate = {2023-10-01},
journal = {Automatica},
volume = {156},
number = {111204},
pages = {1-10},
abstract = {When a group of heterogeneous node dynamics are diffusively coupled with a high coupling gain, the group exhibits a collective emergent behavior which is governed by a simple algebraic average of the node dynamics called the blended dynamics. This finding has been utilized for designing heterogeneous multi-agent systems by building the desired blended dynamics first and then splitting it into the node dynamics. However, to compute the magnitude of the coupling gain, each agent needs to know global information such as the number of participating nodes, the graph structure, and so on, which prevents a fully decentralized design of the node dynamics in conjunction with the coupling laws. To resolve this issue, the idea of funnel control, which is a method for adaptive gain selection, can be exploited for a node-wise coupling, but the price to pay is that the collective emergent behavior is no longer governed by a simple average of the node dynamics. Our analysis reveals that this drawback can be avoided by an edge-wise design premise, which is the idea that we present in this paper. After all, we gain benefits such as a fully decentralized design without global information, collective emergent behavior being governed by the blended dynamics, and the plug-and-play operation based on edge-wise handshaking between two nodes.},
note = {open access},
keywords = {funnel-control, networks, nonlinear, relative-degree, synchronization},
pubstate = {published},
tppubtype = {article}
}
When a group of heterogeneous node dynamics are diffusively coupled with a high coupling gain, the group exhibits a collective emergent behavior which is governed by a simple algebraic average of the node dynamics called the blended dynamics. This finding has been utilized for designing heterogeneous multi-agent systems by building the desired blended dynamics first and then splitting it into the node dynamics. However, to compute the magnitude of the coupling gain, each agent needs to know global information such as the number of participating nodes, the graph structure, and so on, which prevents a fully decentralized design of the node dynamics in conjunction with the coupling laws. To resolve this issue, the idea of funnel control, which is a method for adaptive gain selection, can be exploited for a node-wise coupling, but the price to pay is that the collective emergent behavior is no longer governed by a simple average of the node dynamics. Our analysis reveals that this drawback can be avoided by an edge-wise design premise, which is the idea that we present in this paper. After all, we gain benefits such as a fully decentralized design without global information, collective emergent behavior being governed by the blended dynamics, and the plug-and-play operation based on edge-wise handshaking between two nodes. |
Yin, Hao; Jayawardhana, Bayu; Trenn, Stephan Stability of switched systems with multiple equilibria: a mixed stable-unstable subsystem case Journal Article In: Systems & Control Letters, vol. 180, no. 105622, pp. 1-9, 2023, (open access). @article{YinJaya23b,
title = {Stability of switched systems with multiple equilibria: a mixed stable-unstable subsystem case},
author = {Hao Yin and Bayu Jayawardhana and Stephan Trenn},
url = {https://stephantrenn.net/wp-content/uploads/2024/02/YinJaya23b.pdf, Paper},
doi = {10.1016/j.sysconle.2023.105622},
year = {2023},
date = {2023-10-01},
urldate = {2023-10-01},
journal = {Systems & Control Letters},
volume = {180},
number = {105622},
pages = {1-9},
abstract = {This paper studies the stability of switched systems that are composed of a mixture of stable and unstable modes with multiple equilibria. The main results of this paper include some sufficient conditions concerning set convergence of switched nonlinear systems. We show that under suitable dwell-time and leave-time switching laws, trajectories converge to an initial set and then stay in a convergent set. Based on these conditions, Linear Matrix Inequality (LMI) conditions are derived that allow for numerical validation of the practical stability of switched affine systems, which include those with all unstable modes. Two examples are provided to verify the theoretical results.},
note = {open access},
keywords = {LMIs, Lyapunov, stability, switched-systems},
pubstate = {published},
tppubtype = {article}
}
This paper studies the stability of switched systems that are composed of a mixture of stable and unstable modes with multiple equilibria. The main results of this paper include some sufficient conditions concerning set convergence of switched nonlinear systems. We show that under suitable dwell-time and leave-time switching laws, trajectories converge to an initial set and then stay in a convergent set. Based on these conditions, Linear Matrix Inequality (LMI) conditions are derived that allow for numerical validation of the practical stability of switched affine systems, which include those with all unstable modes. Two examples are provided to verify the theoretical results. |
Hu, Jiaming; Trenn, Stephan; Zhu, Xiaojin A novel two stages funnel controller limiting the error derivative Journal Article In: Systems & Control Letters, vol. 179, no. 105601, pp. 1-10, 2023, (open access). @article{HuTren23,
title = {A novel two stages funnel controller limiting the error derivative},
author = {Jiaming Hu and Stephan Trenn and Xiaojin Zhu},
url = {https://stephantrenn.net/wp-content/uploads/2024/02/HuTren23.pdf, Paper},
doi = {10.1016/j.sysconle.2023.105601},
year = {2023},
date = {2023-09-01},
urldate = {2023-09-01},
journal = {Systems & Control Letters},
volume = {179},
number = {105601},
pages = {1-10},
abstract = {As a powerful adaptive control method for the output tracking problem, funnel control has attracted considerable attention in theoretical research and engineering practice. The funnel control strategy can guarantee both transient behavior and arbitrary good accuracy. A noticeable shortcoming is however that the derivative of the tracking error may become unnecessarily large resulting in a bouncing behavior of the tracking error between the funnel boundaries. To avoid this phenomenon, we present a novel two stages funnel control scheme to solve the output-tracking control problem for uncertain nonlinear systems with relative degree one and stable internal dynamics. This new scheme defines the control input in terms of a desired error derivative while still ensuring that the tracking error evolves within the prescribed funnel. In particular, we can quantify the range of the error derivative with a derivative funnel in terms of the known bounds of the system dynamics. Furthermore, we extend our approach to the situation where input saturations are present and extend the control law outside the funnel to ensure well-defined behavior in case the input saturations are too restrictive to keep the error within the funnel.},
note = {open access},
keywords = {funnel-control, input-constraints, nonlinear, relative-degree},
pubstate = {published},
tppubtype = {article}
}
As a powerful adaptive control method for the output tracking problem, funnel control has attracted considerable attention in theoretical research and engineering practice. The funnel control strategy can guarantee both transient behavior and arbitrary good accuracy. A noticeable shortcoming is however that the derivative of the tracking error may become unnecessarily large resulting in a bouncing behavior of the tracking error between the funnel boundaries. To avoid this phenomenon, we present a novel two stages funnel control scheme to solve the output-tracking control problem for uncertain nonlinear systems with relative degree one and stable internal dynamics. This new scheme defines the control input in terms of a desired error derivative while still ensuring that the tracking error evolves within the prescribed funnel. In particular, we can quantify the range of the error derivative with a derivative funnel in terms of the known bounds of the system dynamics. Furthermore, we extend our approach to the situation where input saturations are present and extend the control law outside the funnel to ensure well-defined behavior in case the input saturations are too restrictive to keep the error within the funnel. |
Hossain, Sumon; Trenn, Stephan Reduced realization for switched linear systems with known mode sequence Journal Article In: Automatica, vol. 154, no. 111065, pp. 1-9, 2023, (open access). @article{HossTren23a,
title = {Reduced realization for switched linear systems with known mode sequence},
author = {Sumon Hossain and Stephan Trenn},
url = {https://stephantrenn.net/wp-content/uploads/2024/02/HossTren23a.pdf, Paper
https://doi.org/10.5281/zenodo.6410136, Matlab sources},
doi = {10.1016/j.automatica.2023.111065},
year = {2023},
date = {2023-08-01},
urldate = {2023-08-01},
journal = {Automatica},
volume = {154},
number = {111065},
pages = {1-9},
abstract = {We consider switched linear systems with mode-dependent state-dimensions and/or state jumps and propose a method to obtain a switched system of reduced size with identical input-output behavior. Our approach is based in considering time-dependent reachability and unobservability spaces as well as suitable extended reachability and restricted unobservability spaces together with the notion of a weak Kalman decomposition. A key feature of our approach is that only the mode sequence of the switching signal needs to be known and not the exact switching times. However, the size of a minimal realization will in general depend on the mode durations, hence it cannot be expected that our method always leads to minimal realization. Nevertheless, we show that our method is optimal in the sense that a repeated application doesn’t lead to a further reduction and we also highlight a practically relevant special case, where minimality is achieved.},
note = {open access},
keywords = {controllability, model-reduction, observability, switched-systems},
pubstate = {published},
tppubtype = {article}
}
We consider switched linear systems with mode-dependent state-dimensions and/or state jumps and propose a method to obtain a switched system of reduced size with identical input-output behavior. Our approach is based in considering time-dependent reachability and unobservability spaces as well as suitable extended reachability and restricted unobservability spaces together with the notion of a weak Kalman decomposition. A key feature of our approach is that only the mode sequence of the switching signal needs to be known and not the exact switching times. However, the size of a minimal realization will in general depend on the mode durations, hence it cannot be expected that our method always leads to minimal realization. Nevertheless, we show that our method is optimal in the sense that a repeated application doesn’t lead to a further reduction and we also highlight a practically relevant special case, where minimality is achieved. |
2022
|
Chen, Yahao; Trenn, Stephan Impulse-free jump solutions of nonlinear differential-algebraic equations Journal Article In: Nonlinear Analysis: Hybrid Systems, vol. 46, no. 101238, pp. 1-17, 2022, (open access). @article{ChenTren22a,
title = {Impulse-free jump solutions of nonlinear differential-algebraic equations},
author = {Yahao Chen and Stephan Trenn},
url = {https://stephantrenn.net/wp-content/uploads/2024/02/ChenTren22a.pdf, Paper},
doi = {10.1016/j.nahs.2022.101238},
year = {2022},
date = {2022-11-01},
urldate = {2022-11-01},
journal = {Nonlinear Analysis: Hybrid Systems},
volume = {46},
number = {101238},
pages = {1-17},
abstract = {In this paper, we propose a novel notion called impulse-free jump solution for nonlinear differential-algebraic equations (DAEs) of the form E(x)x' = F(x) with inconsistent initial values. The term “impulse-free” means that there are no Dirac impulses caused by jumps from inconsistent initial values, i.e., the directions of jumps stay in ker E(x). We find that the existence and uniqueness of impulse-free jumps are closely related to the notion of geometric index-1 and the involutivity of the distribution defined by ker E(x). Moreover, a singular perturbed system approximation is proposed for nonlinear DAEs; we show that solutions of the perturbed system approximate both impulse-free jump solutions and C1-solutions of nonlinear DAEs. Finally, we show by some examples that our results of impulse-free jumps are useful for the problems like consistent initializations of nonlinear DAEs and transient behavior simulations of electric circuits.},
note = {open access},
keywords = {DAEs, nonlinear},
pubstate = {published},
tppubtype = {article}
}
In this paper, we propose a novel notion called impulse-free jump solution for nonlinear differential-algebraic equations (DAEs) of the form E(x)x' = F(x) with inconsistent initial values. The term “impulse-free” means that there are no Dirac impulses caused by jumps from inconsistent initial values, i.e., the directions of jumps stay in ker E(x). We find that the existence and uniqueness of impulse-free jumps are closely related to the notion of geometric index-1 and the involutivity of the distribution defined by ker E(x). Moreover, a singular perturbed system approximation is proposed for nonlinear DAEs; we show that solutions of the perturbed system approximate both impulse-free jump solutions and C1-solutions of nonlinear DAEs. Finally, we show by some examples that our results of impulse-free jumps are useful for the problems like consistent initializations of nonlinear DAEs and transient behavior simulations of electric circuits. |
Hossain, Sumon; Sutrisno,; Trenn, Stephan A time-varying approach for model reduction of singular linear switched systems in discrete time Miscellaneous Extended Abstracts of the 25th International Symposium on Mathematical Theory of Networks and Systems, 2022. @misc{HossSutr22m,
title = {A time-varying approach for model reduction of singular linear switched systems in discrete time},
author = {Sumon Hossain and Sutrisno and Stephan Trenn},
url = {https://epub.uni-bayreuth.de/id/eprint/6809/, Book of Extended Abstracts
https://stephantrenn.net/wp-content/uploads/2023/01/HossSutr22m.pdf, Extended Abtract},
year = {2022},
date = {2022-09-12},
urldate = {2023-01-23},
abstract = {We propose a model reduction approach for singular linear switched systems in discrete time with a fixed mode sequence based on a balanced truncation reduction method for linear time-varying discrete-time systems. The key idea is to use the one-step map to find an equivalent time-varying system with an identical input-output behavior, and then adapt available balance truncation methods for (discrete) time-varying systems. The proposed method is illustrated with a low-dimensional academic example.},
howpublished = {Extended Abstracts of the 25th International Symposium on Mathematical Theory of Networks and Systems},
keywords = {controllability, DAEs, discrete-time, model-reduction, observability, switched-DAEs, switched-systems},
pubstate = {published},
tppubtype = {misc}
}
We propose a model reduction approach for singular linear switched systems in discrete time with a fixed mode sequence based on a balanced truncation reduction method for linear time-varying discrete-time systems. The key idea is to use the one-step map to find an equivalent time-varying system with an identical input-output behavior, and then adapt available balance truncation methods for (discrete) time-varying systems. The proposed method is illustrated with a low-dimensional academic example. |
Wijnbergen, Paul; Trenn, Stephan Linear quadratic optimal control of switched differential algebraic equations Miscellaneous Extended Abstracts of the 25th International Symposium on Mathematical Theory of Networks and Systems, 2022. @misc{WijnTren22mb,
title = {Linear quadratic optimal control of switched differential algebraic equations},
author = {Paul Wijnbergen and Stephan Trenn},
url = {https://epub.uni-bayreuth.de/id/eprint/6809/, Book of Extended Abstracts
https://stephantrenn.net/wp-content/uploads/2023/01/WijnTren22mb.pdf, Extended Abstract},
year = {2022},
date = {2022-09-12},
urldate = {2022-09-12},
abstract = {In this abstract the finite horizon linear quadratic optimal control problem with constraints on the terminal state for switched differential algebraic equations is considered. Furthermore, we seek for an optimal solution that is impulse-free. In order to solve the problem, a non standard finite horizon problem for non-switched DAEs is considered. Necessary and sufficient conditions on the initial value x0 for solvability of this non standard problem are stated. Based on these results a sequence of subspaces can be defined which lead to necessary and sufficient conditions for solvability of the finite horizon optimal control problem for switched DAEs.},
howpublished = {Extended Abstracts of the 25th International Symposium on Mathematical Theory of Networks and Systems},
keywords = {DAEs, optimal-control, switched-DAEs, switched-systems},
pubstate = {published},
tppubtype = {misc}
}
In this abstract the finite horizon linear quadratic optimal control problem with constraints on the terminal state for switched differential algebraic equations is considered. Furthermore, we seek for an optimal solution that is impulse-free. In order to solve the problem, a non standard finite horizon problem for non-switched DAEs is considered. Necessary and sufficient conditions on the initial value x0 for solvability of this non standard problem are stated. Based on these results a sequence of subspaces can be defined which lead to necessary and sufficient conditions for solvability of the finite horizon optimal control problem for switched DAEs. |
Berger, Thomas; Ilchmann, Achim; Trenn, Stephan Quasi feedback forms for differential-algebraic systems Journal Article In: IMA Journal of Mathematical Control and Information, vol. 39, iss. 2, pp. 533-563, 2022, (open access, published online October 2021). @article{BergIlch22,
title = {Quasi feedback forms for differential-algebraic systems},
author = {Thomas Berger and Achim Ilchmann and Stephan Trenn},
url = {https://stephantrenn.net/wp-content/uploads/2023/01/BergIlch22.pdf, Paper
https://arxiv.org/abs/2102.12713, arXiv:2102.12713},
doi = {10.1093/imamci/dnab030},
year = {2022},
date = {2022-06-01},
urldate = {2022-06-01},
journal = {IMA Journal of Mathematical Control and Information},
volume = {39},
issue = {2},
pages = {533-563},
abstract = {We investigate feedback forms for linear time-invariant systems described by differential-algebraic equations. Feedback forms are representatives of certain equivalence classes. For example state space transformations, invertible transformations from the left, and proportional state feedback constitute an equivalence relation. The representative of such an equivalence class, which we call proportional feedback form for the above example, allows to read off relevant system theoretic properties. Our main contribution is to derive a quasi proportional feedback form. This form is advantageous since it provides some geometric insight and is simple to compute, but still allows to read off the relevant structural properties of the control system. We also derive a quasi proportional and derivative feedback form. Similar advantages hold.},
note = {open access, published online October 2021},
keywords = {controllability, DAEs, normal-forms},
pubstate = {published},
tppubtype = {article}
}
We investigate feedback forms for linear time-invariant systems described by differential-algebraic equations. Feedback forms are representatives of certain equivalence classes. For example state space transformations, invertible transformations from the left, and proportional state feedback constitute an equivalence relation. The representative of such an equivalence class, which we call proportional feedback form for the above example, allows to read off relevant system theoretic properties. Our main contribution is to derive a quasi proportional feedback form. This form is advantageous since it provides some geometric insight and is simple to compute, but still allows to read off the relevant structural properties of the control system. We also derive a quasi proportional and derivative feedback form. Similar advantages hold. |
Mostacciuolo, Elisa; Trenn, Stephan; Vasca, Francesco A smooth model for periodically switched descriptor systems Journal Article In: Automatica, vol. 136, no. 110082, pp. 1-8, 2022, (open access). @article{MostTren22a,
title = {A smooth model for periodically switched descriptor systems},
author = {Elisa Mostacciuolo and Stephan Trenn and Francesco Vasca},
url = {https://stephantrenn.net/wp-content/uploads/2021/09/Preprint-MTV210921.pdf, Preprint},
doi = {10.1016/j.automatica.2021.110082},
year = {2022},
date = {2022-02-01},
urldate = {2022-02-01},
journal = {Automatica},
volume = {136},
number = {110082},
pages = {1-8},
abstract = {Switched descriptor systems characterized by a repetitive finite sequence of modes can exhibit state discontinuities at the switching time instants. The amplitudes of these discontinuities depend on the consistency projectors of the modes. A switched ordinary differential equations model whose continuous state evolution approximates the state of the original system is proposed. Sufficient conditions based on linear matrix inequalities on the modes projectors ensure that the approximation error is of linear order of the switching period. The theoretical findings are applied to a switched capacitor circuit and numerical results illustrate the practical usefulness of the proposed model.},
note = {open access},
keywords = {averaging, DAEs, switched-DAEs, switched-systems},
pubstate = {published},
tppubtype = {article}
}
Switched descriptor systems characterized by a repetitive finite sequence of modes can exhibit state discontinuities at the switching time instants. The amplitudes of these discontinuities depend on the consistency projectors of the modes. A switched ordinary differential equations model whose continuous state evolution approximates the state of the original system is proposed. Sufficient conditions based on linear matrix inequalities on the modes projectors ensure that the approximation error is of linear order of the switching period. The theoretical findings are applied to a switched capacitor circuit and numerical results illustrate the practical usefulness of the proposed model. |
2021
|
Hossain, Sumon; Trenn, Stephan Minimality of Linear Switched Systems with known switching signal Proceedings Article In: Proceedings in Applied Mathematics and Mechanics, pp. 1-3, 2021, (open access). @inproceedings{HossTren21a,
title = {Minimality of Linear Switched Systems with known switching signal},
author = {Sumon Hossain and Stephan Trenn},
url = {https://stephantrenn.net/wp-content/uploads/2022/08/HossTren21a.pdf, Paper},
doi = {10.1002/pamm.202100067},
year = {2021},
date = {2021-12-14},
urldate = {2021-12-14},
booktitle = {Proceedings in Applied Mathematics and Mechanics},
volume = {21},
number = {e202100067},
pages = {1-3},
abstract = {Minimal realization is discussed for linear switched systems with a given switching signal. We propose a consecutive forward and backward approach for the time-interval of interest. The forward approach refers to extending the reachable subspace at each switching time by taking into account the nonzero reachable space from the previous mode. Afterwards, the backward approach extends the observable subspace of the current mode by taking observability information from the next mode into account. This results in an overall reduced switched system which is minimal and has the same input-output behavior as original system. Some examples are provided to illustrate the approach.},
note = {open access},
keywords = {controllability, model-reduction, observability, switched-systems},
pubstate = {published},
tppubtype = {inproceedings}
}
Minimal realization is discussed for linear switched systems with a given switching signal. We propose a consecutive forward and backward approach for the time-interval of interest. The forward approach refers to extending the reachable subspace at each switching time by taking into account the nonzero reachable space from the previous mode. Afterwards, the backward approach extends the observable subspace of the current mode by taking observability information from the next mode into account. This results in an overall reduced switched system which is minimal and has the same input-output behavior as original system. Some examples are provided to illustrate the approach. |
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. |
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. |
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. |
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. |
Wijnbergen, Paul; Jeeninga, Mark; Trenn, Stephan On stabilizability of switched differential algebraic equations Proceedings Article In: IFAC-PapersOnLine 53-2, pp. 4304-4309, 2020, (Proc. IFAC World Congress 2020, Berlin, Germany. Open access.). @inproceedings{WijnJeen20,
title = {On stabilizability of switched differential algebraic equations},
author = {Paul Wijnbergen and Mark Jeeninga and Stephan Trenn},
url = {https://stephantrenn.net/wp-content/uploads/2021/06/WijnJeen20.pdf, Paper},
doi = {10.1016/j.ifacol.2020.12.2580},
year = {2020},
date = {2020-07-06},
booktitle = {IFAC-PapersOnLine 53-2},
pages = {4304-4309},
abstract = {This paper considers stabilizability of switched differential algebraic equations (DAEs). We first introduce the notion of interval stabilizability and show that under a certain uniformity assumption, stabilizability can be concluded from interval stabilizability. A geometric approach is taken to find necessary and sufficient conditions for interval stabilizability. This geometric approach can also be utilized to derive a novel characterization of controllability.},
note = {Proc. IFAC World Congress 2020, Berlin, Germany. Open access.},
keywords = {DAEs, stability, switched-DAEs, switched-systems},
pubstate = {published},
tppubtype = {inproceedings}
}
This paper considers stabilizability of switched differential algebraic equations (DAEs). We first introduce the notion of interval stabilizability and show that under a certain uniformity assumption, stabilizability can be concluded from interval stabilizability. A geometric approach is taken to find necessary and sufficient conditions for interval stabilizability. This geometric approach can also be utilized to derive a novel characterization of controllability. |
Hossain, Sumon; Trenn, Stephan A time-varying Gramian based model reduction approach for Linear Switched Systems Proceedings Article In: IFAC PapersOnline 53-2, pp. 5629-5634, 2020, (Proc. IFAC World Congress 2020, Berlin, Germany. Open access.). @inproceedings{HossTren20a,
title = {A time-varying Gramian based model reduction approach for Linear Switched Systems},
author = {Sumon Hossain and Stephan Trenn},
url = {https://stephantrenn.net/wp-content/uploads/2021/06/HossTren20a.pdf, Paper (open access)},
doi = {10.1016/j.ifacol.2020.12.1580},
year = {2020},
date = {2020-07-05},
urldate = {2020-07-05},
booktitle = {IFAC PapersOnline 53-2},
pages = {5629-5634},
abstract = {We propose a model reduction approach for switched linear system based on a balanced truncation reduction method for linear time-varying systems. The key idea is to approximate the piecewise-constant coefficient matrices with continuous time-varying coefficients and then apply available balance truncation methods for (continuous) time-varying systems. The proposed method is illustrated with a low dimensional academic example.},
note = {Proc. IFAC World Congress 2020, Berlin, Germany. Open access.},
keywords = {model-reduction, switched-systems},
pubstate = {published},
tppubtype = {inproceedings}
}
We propose a model reduction approach for switched linear system based on a balanced truncation reduction method for linear time-varying systems. The key idea is to approximate the piecewise-constant coefficient matrices with continuous time-varying coefficients and then apply available balance truncation methods for (continuous) time-varying systems. The proposed method is illustrated with a low dimensional academic example. |