Lee, Jin Gyu; Trenn, Stephan Asymptotic tracking via funnel control Inproceedings Proc. 58th IEEE Conf. Decision Control (CDC) 2019, Nice, France, 2019, (to appear). @inproceedings{LeeTren19ppa, 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}, year = {2019}, date = {2019-09-10}, booktitle = {Proc. 58th IEEE Conf. Decision Control (CDC) 2019}, 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.}, note = {to appear}, keywords = {}, 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. |
Anh, Pham Ky; Linh, Pham Thi; Thuan, Do Duc; Trenn, Stephan The one-step-map for switched singular systems in discrete-time Inproceedings Proc. 58th IEEE Conf. Decision Control (CDC) 2019, Nice, France, 2019, (to appear). @inproceedings{AnhLinh19app, 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}, year = {2019}, date = {2019-09-10}, booktitle = {Proc. 58th IEEE Conf. Decision Control (CDC) 2019}, 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.}, note = {to appear}, keywords = {}, 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. |
Trenn, Stephan; Unger, Benjamin Delay regularity of differential-algebraic equations Inproceedings Proc. 58th IEEE Conf. Decision Control (CDC) 2019, Nice, France, 2019, (to appear). @inproceedings{TrenUnge19pp, 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}, year = {2019}, date = {2019-09-10}, booktitle = {Proc. 58th IEEE Conf. Decision Control (CDC) 2019}, 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.}, note = {to appear}, keywords = {}, 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. |
Lee, Jin Gyu; Trenn, Stephan; Shim, Hyungbo Synchronization with prescribed transient behavior: Heterogeneous multi-agent systems under funnel coupling Unpublished 2019, (submitted for publication). @unpublished{LeeTren19ppb, title = {Synchronization with prescribed transient behavior: Heterogeneous multi-agent systems under funnel coupling}, author = {Jin Gyu Lee and Stephan Trenn and Hyungbo Shim}, url = {https://stephantrenn.net/wp-content/uploads/2019/07/Preprint-LTS190719.pdf, Preprint}, year = {2019}, date = {2019-07-19}, abstract = {In this paper, we introduce a nonlinear time-varying coupling law, which can be designed in a fully decentralized manner and achieves approximate synchronization with arbitrary precision, under only mild assumptions on the individual vector fields and the underlying graph structure. The proposed coupling law is motivated by the funnel control studied in adaptive controls under the observation that arbitrary precision synchronization can be achieved for heterogeneous multi-agent systems by the high-gain coupling, and thus, we follow to call our coupling law as `(node-wise) funnel coupling.' By getting out of the conventional proof technique in the funnel control study, we now can obtain even asymptotic or finite-time synchronization with the same funnel coupling law. More interestingly, the emergent collective behavior that arises for a heterogeneous multi-agent system when enforcing arbitrary precision synchronization by the proposed funnel coupling law, has been analyzed in this paper. In particular, we introduce a single scalar dynamics called `emergent dynamics' that is capable of illustrating the emergent synchronized behavior by its solution trajectory. Characterization of the emergent dynamics is important because, for instance, one can design the emergent dynamics first such that the solution trajectory behaves as desired, and then, provide a design guideline to each agent so that the constructed vector fields yield the desired emergent dynamics. A particular example illustrating the utility of the emergent dynamics is given also in the paper as a distributed median solver.}, note = {submitted for publication}, keywords = {}, pubstate = {published}, tppubtype = {unpublished} } In this paper, we introduce a nonlinear time-varying coupling law, which can be designed in a fully decentralized manner and achieves approximate synchronization with arbitrary precision, under only mild assumptions on the individual vector fields and the underlying graph structure. The proposed coupling law is motivated by the funnel control studied in adaptive controls under the observation that arbitrary precision synchronization can be achieved for heterogeneous multi-agent systems by the high-gain coupling, and thus, we follow to call our coupling law as `(node-wise) funnel coupling.' By getting out of the conventional proof technique in the funnel control study, we now can obtain even asymptotic or finite-time synchronization with the same funnel coupling law. More interestingly, the emergent collective behavior that arises for a heterogeneous multi-agent system when enforcing arbitrary precision synchronization by the proposed funnel coupling law, has been analyzed in this paper. In particular, we introduce a single scalar dynamics called `emergent dynamics' that is capable of illustrating the emergent synchronized behavior by its solution trajectory. Characterization of the emergent dynamics is important because, for instance, one can design the emergent dynamics first such that the solution trajectory behaves as desired, and then, provide a design guideline to each agent so that the constructed vector fields yield the desired emergent dynamics. A particular example illustrating the utility of the emergent dynamics is given also in the paper as a distributed median solver. |
Anh, Pham Ky; Linh, Pham Thi; Thuan, Do Duc; Trenn, Stephan Stability analysis for switched discrete-time linear singular systems Unpublished 2019, (submitted for publication). @unpublished{AnhLinh19bpp, title = {Stability analysis for switched discrete-time linear singular systems}, author = {Pham Ky Anh and Pham Thi Linh and Do Duc Thuan and Stephan Trenn}, year = {2019}, date = {2019-04-18}, abstract = {The stability of arbitrarily switched discrete-time linear singular (SDLS) systems is studied. Our analysis builds on the recently introduced one-step-map for SDLS systems of index-1. Based on the joint spectral radius of a finite set of matrix pencils some necessary and sufficient conditions are established for exponential stability. Furthermore, sufficient conditions for exponential stability in terms of quadratic Lyapunov functions as well as certain commutativity conditions are presented. The theoretical findings are illustrated by several examples.}, note = {submitted for publication}, keywords = {}, pubstate = {published}, tppubtype = {unpublished} } The stability of arbitrarily switched discrete-time linear singular (SDLS) systems is studied. Our analysis builds on the recently introduced one-step-map for SDLS systems of index-1. Based on the joint spectral radius of a finite set of matrix pencils some necessary and sufficient conditions are established for exponential stability. Furthermore, sufficient conditions for exponential stability in terms of quadratic Lyapunov functions as well as certain commutativity conditions are presented. The theoretical findings are illustrated by several examples. |
Lee, Jin Gyu; Berger, Thomas; Trenn, Stephan; Shim, Hyungbo Utility of edge-wise funnel coupling for asymptotically solving distributed consensus optimization Unpublished 2019, (submitted for publication). @unpublished{LeeBerg19pp, title = {Utility of edge-wise funnel coupling for asymptotically solving distributed consensus optimization}, author = {Jin Gyu Lee and Thomas Berger and Stephan Trenn and Hyungbo Shim}, url = {https://stephantrenn.net/wp-content/uploads/2019/03/Preprint-LBTS190317.pdf, Preprint}, year = {2019}, date = {2019-03-17}, abstract = {A new approach to distributed consensus optimization is studied in this paper. The cost function to be minimized is a sum of local cost functions which are not necessarily convex as long as their sum is convex. This benefit is obtained from a recent observation that, with a large gain in the diffusive coupling, heterogeneous multi-agent systems behave like a single dynamics whose vector field is simply the average of all agents' vector fields. However, design of the large coupling gain requires global information such as network structure and individual agent dynamics. In this paper, we employ a nonlinear time-varying coupling of diffusive type, which we call `edge-wise funnel coupling.' This idea is borrowed from adaptive control study, which enables decentralized design of distributed optimizer without knowledge on global information. Interestingly, without a common internal model, each agent achieves asymptotic consensus to the optimal solution of the global cost. We illustrate this result by a network that asymptotically finds the least-squares solution of a linear equation in a distributed manner.}, note = {submitted for publication}, keywords = {}, pubstate = {published}, tppubtype = {unpublished} } A new approach to distributed consensus optimization is studied in this paper. The cost function to be minimized is a sum of local cost functions which are not necessarily convex as long as their sum is convex. This benefit is obtained from a recent observation that, with a large gain in the diffusive coupling, heterogeneous multi-agent systems behave like a single dynamics whose vector field is simply the average of all agents' vector fields. However, design of the large coupling gain requires global information such as network structure and individual agent dynamics. In this paper, we employ a nonlinear time-varying coupling of diffusive type, which we call `edge-wise funnel coupling.' This idea is borrowed from adaptive control study, which enables decentralized design of distributed optimizer without knowledge on global information. Interestingly, without a common internal model, each agent achieves asymptotic consensus to the optimal solution of the global cost. We illustrate this result by a network that asymptotically finds the least-squares solution of a linear equation in a distributed manner. |
Iervolino, Raffaele; Trenn, Stephan; Vasca, Francesco 2019, (submitted for publication). @unpublished{IervTren19pp, 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/2019/03/Preprint-ITV190315.pdf, Preprint}, year = {2019}, date = {2019-03-15}, 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.}, note = {submitted for publication}, keywords = {}, pubstate = {published}, tppubtype = {unpublished} } 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. |
Submitted
Asymptotic tracking via funnel control Inproceedings Proc. 58th IEEE Conf. Decision Control (CDC) 2019, Nice, France, 2019, (to appear). |
The one-step-map for switched singular systems in discrete-time Inproceedings Proc. 58th IEEE Conf. Decision Control (CDC) 2019, Nice, France, 2019, (to appear). |
Delay regularity of differential-algebraic equations Inproceedings Proc. 58th IEEE Conf. Decision Control (CDC) 2019, Nice, France, 2019, (to appear). |
Synchronization with prescribed transient behavior: Heterogeneous multi-agent systems under funnel coupling Unpublished 2019, (submitted for publication). |
Stability analysis for switched discrete-time linear singular systems Unpublished 2019, (submitted for publication). |
Utility of edge-wise funnel coupling for asymptotically solving distributed consensus optimization Unpublished 2019, (submitted for publication). |
2019, (submitted for publication). |