Showing 1–14 of 14 results for author: Wirth, F R

Predictability and Fairness in Load Aggregation and Operations of Virtual Power Plants

Authors: Jakub Marecek, Michal Roubalik, Ramen Ghosh, Robert N. Shorten, Fabian R. Wirth

Abstract: In power systems, one wishes to regulate the aggregate demand of an ensemble of distributed energy resources (DERs), such as controllable loads and battery energy storage systems. We suggest a notion of predictability and fairness, which suggests that the long-term averages of prices or incentives offered should be independent of the initial states of the operators of the DER, the aggregator, and… ▽ More In power systems, one wishes to regulate the aggregate demand of an ensemble of distributed energy resources (DERs), such as controllable loads and battery energy storage systems. We suggest a notion of predictability and fairness, which suggests that the long-term averages of prices or incentives offered should be independent of the initial states of the operators of the DER, the aggregator, and the power grid. We show that this notion cannot be guaranteed with many traditional controllers used by the load aggregator, including the usual proportional-integral (PI) controller. We show that even considering the non-linearity of the alternating-current model, this notion of predictability and fairness can be guaranteed for incrementally input-to-state stable (iISS) controllers, under mild assumptions. △ Less

Submitted 6 October, 2021; originally announced October 2021.

Journal ref: Automatica, Volume 147, January 2023, 110743

A relaxed small-gain theorem for infinite networks

Authors: Navid Noroozi, Andrii Mironchenko, Fabian R. Wirth

Abstract: Motivated by the scalability problem in large networks, we study stability of a network of infinitely many finite-dimensional subsystems. We develop a so-called relaxed small-gain theorem for input-to-state stability (ISS) with respect to a closed set and show that every exponentially input-to-state stable system necessarily satisfies the proposed small-gain condition. Following our bottom-up appr… ▽ More Motivated by the scalability problem in large networks, we study stability of a network of infinitely many finite-dimensional subsystems. We develop a so-called relaxed small-gain theorem for input-to-state stability (ISS) with respect to a closed set and show that every exponentially input-to-state stable system necessarily satisfies the proposed small-gain condition. Following our bottom-up approach, we study the well-posedness of the interconnection based on the behavior of the individual subsystems. Finally, we over-approximate large-but-finite networks by infinite networks and show that all the stability properties and the performance indices obtained for the infinite system can be transferred to the original finite one if each subsystem of the infinite network is individually ISS. Interestingly, the size of the truncated network does not need to be known. The effectiveness of our small-gain theorem is verified by application to an urban traffic network. △ Less

Submitted 21 November, 2020; originally announced November 2020.

Control of discrete-time nonlinear systems via finite-step control Lyapunov functions

Authors: Navid Noroozi, Roman Geiselhart, Lars Grüne, Fabian R. Wirth

Abstract: In this work, we establish different control design approaches for discrete-time systems, which build upon the notion of finite-step control Lyapunov functions (fs-CLFs). The design approaches are formulated as optimization problems and solved in a model predictive control (MPC) fashion. In particular, we establish contractive multi-step MPC with and without reoptimization and compare it to classi… ▽ More In this work, we establish different control design approaches for discrete-time systems, which build upon the notion of finite-step control Lyapunov functions (fs-CLFs). The design approaches are formulated as optimization problems and solved in a model predictive control (MPC) fashion. In particular, we establish contractive multi-step MPC with and without reoptimization and compare it to classic MPC. The idea behind these approaches is to use the fs-CLF as running cost. These new design approaches are particularly relevant in situations where information exchange between plant and controller cannot be ensured at all time instants. An example shows the different behavior of the proposed controller design approaches. △ Less

Submitted 26 August, 2019; originally announced August 2019.

On the Ergodic Control of Ensembles

Authors: Andre R. Fioravanti, Jakub Marecek, Robert N. Shorten, Matheus Souza, Fabian R. Wirth

Abstract: Across smart-grid and smart-city application domains, there are many problems where an ensemble of agents is to be controlled such that both the aggregate behaviour and individual-level perception of the system's performance are acceptable. In many applications, traditional PI control is used to regulate aggregate ensemble performance. Our principal contribution in this note is to demonstrate that… ▽ More Across smart-grid and smart-city application domains, there are many problems where an ensemble of agents is to be controlled such that both the aggregate behaviour and individual-level perception of the system's performance are acceptable. In many applications, traditional PI control is used to regulate aggregate ensemble performance. Our principal contribution in this note is to demonstrate that PI control may not be always suitable for this purpose, and in some situations may lead to a loss of ergodicity for closed-loop systems. Building on this observation, a theoretical framework is proposed to both analyse and design control systems for the regulation of large scale ensembles of agents with a probabilistic intent. Examples are given to illustrate our results. △ Less

Submitted 23 June, 2019; v1 submitted 9 July, 2018; originally announced July 2018.

Comments: Journal version of Fioravanti et al. [arXiv:1703.07308, CDC 2017]

Journal ref: Automatica, Volume 108, October 2019

On Classical Control and Smart Cities

Authors: Andre R. Fioravanti, Jakub Marecek, Robert N. Shorten, Matheus Souza, Fabian R. Wirth

Abstract: We discuss the applicability of classical control theory to problems in smart grids and smart cities. We use tools from iterated function systems to identify controllers with desirable properties. In particular, controllers are identified that can be used to design not only stable closed-loop systems, but also to regulate large-scale populations of agents in a predictable manner. We also illustrat… ▽ More We discuss the applicability of classical control theory to problems in smart grids and smart cities. We use tools from iterated function systems to identify controllers with desirable properties. In particular, controllers are identified that can be used to design not only stable closed-loop systems, but also to regulate large-scale populations of agents in a predictable manner. We also illustrate by means of an example and associated theory that many classical controllers are not be suitable for deployment in these applications. △ Less

Submitted 21 March, 2017; originally announced March 2017.

Journal ref: The 56th IEEE Annual Conference on Decision and Control (CDC 2017), pp. 1413-1420

Non-coercive Lyapunov functions for infinite-dimensional systems

Authors: Andrii Mironchenko, Fabian R. Wirth

Abstract: We show that the existence of a non-coercive Lyapunov function is sufficient for uniform global asymptotic stability (UGAS) of infinite-dimensional systems with external disturbances provided the speed of decay is measured in terms of the norm of the state and an additional mild assumption is satisfied. For evolution equations in Banach spaces with Lipschitz continuous nonlinearities these additio… ▽ More We show that the existence of a non-coercive Lyapunov function is sufficient for uniform global asymptotic stability (UGAS) of infinite-dimensional systems with external disturbances provided the speed of decay is measured in terms of the norm of the state and an additional mild assumption is satisfied. For evolution equations in Banach spaces with Lipschitz continuous nonlinearities these additional assumptions become especially simple. The results encompass some recent results on linear switched systems on Banach spaces. Finally, we derive new non-coercive converse Lyapunov theorems and give some examples showing the necessity of our assumptions. △ Less

Submitted 20 February, 2017; v1 submitted 20 December, 2016; originally announced December 2016.

Comments: 26 pages

Non-conservative discrete-time ISS small-gain conditions for closed sets

Authors: Navid Noroozi, Roman Geiselhart, Lars Grüne, Björn S. Rüffer, Fabian R. Wirth

Abstract: This paper presents a unification and a generalization of the small-gain theory subsuming a wide range of existing small-gain theorems. In particular, we introduce small-gain conditions that are necessary and sufficient to ensure input-to-state stability (ISS) with respect to closed sets. Toward this end, we first develop a Lyapunov characterization of $ω$ISS via finite-step $ω$ISS Lyapunov functi… ▽ More This paper presents a unification and a generalization of the small-gain theory subsuming a wide range of existing small-gain theorems. In particular, we introduce small-gain conditions that are necessary and sufficient to ensure input-to-state stability (ISS) with respect to closed sets. Toward this end, we first develop a Lyapunov characterization of $ω$ISS via finite-step $ω$ISS Lyapunov functions. Then, we provide the small-gain conditions to guarantee $ω$ISS of a network of systems. Finally, applications of our results to partial input-to-state stability, ISS of time-varying systems, synchronization problems, incremental stability, and distributed observers are given. △ Less

Submitted 21 August, 2017; v1 submitted 12 December, 2016; originally announced December 2016.

Relaxed ISS Small-Gain Theorems for Discrete-Time Systems

Authors: Roman Geiselhart, Fabian R. Wirth

Abstract: In this paper ISS small-gain theorems for discrete-time systems are stated, which do not require input-to-state stability (ISS) of each subsystem. This approach weakens conservatism in ISS small-gain theory, and for the class of exponentially ISS systems we are able to prove that the proposed relaxed small-gain theorems are non-conservative in a sense to be made precise. The proofs of the small-ga… ▽ More In this paper ISS small-gain theorems for discrete-time systems are stated, which do not require input-to-state stability (ISS) of each subsystem. This approach weakens conservatism in ISS small-gain theory, and for the class of exponentially ISS systems we are able to prove that the proposed relaxed small-gain theorems are non-conservative in a sense to be made precise. The proofs of the small-gain theorems rely on the construction of a dissipative finite-step ISS Lyapunov function which is introduced in this work. Furthermore, dissipative finite-step ISS Lyapunov functions, as relaxations of ISS Lyapunov functions, are shown to be sufficient and necessary to conclude ISS of the overall system. △ Less

Submitted 24 November, 2015; v1 submitted 12 June, 2014; originally announced June 2014.

Comments: input-to-state stability, Lyapunov methods, small-gain conditions, discrete-time non-linear systems, large-scale interconnections

Stability Criteria for SIS Epidemiological Models under Switching Policies

Authors: Mustapha Ait Rami, Vahid S. Bokharaie, Oliver Mason, Fabian R. Wirth

Abstract: We study the spread of disease in an SIS model. The model considered is a time-varying, switched model, in which the parameters of the SIS model are subject to abrupt change. We show that the joint spectral radius can be used as a threshold parameter for this model in the spirit of the basic reproduction number for time-invariant models. We also present conditions for persistence and the existence… ▽ More We study the spread of disease in an SIS model. The model considered is a time-varying, switched model, in which the parameters of the SIS model are subject to abrupt change. We show that the joint spectral radius can be used as a threshold parameter for this model in the spirit of the basic reproduction number for time-invariant models. We also present conditions for persistence and the existence of periodic orbits for the switched model and results for a stochastic switched model. △ Less

Submitted 17 April, 2014; v1 submitted 1 June, 2013; originally announced June 2013.

MSC Class: 92D30; 34D23; 37B25

Numerical Construction of LISS Lyapunov Functions under a Small Gain Condition

Authors: Roman Geiselhart, Fabian R. Wirth

Abstract: In the stability analysis of large-scale interconnected systems it is frequently desirable to be able to determine a decay point of the gain operator, i.e., a point whose image under the monotone operator is strictly smaller than the point itself. The set of such decay points plays a crucial role in checking, in a semi-global fashion, the local input-to-state stability of an interconnected system… ▽ More In the stability analysis of large-scale interconnected systems it is frequently desirable to be able to determine a decay point of the gain operator, i.e., a point whose image under the monotone operator is strictly smaller than the point itself. The set of such decay points plays a crucial role in checking, in a semi-global fashion, the local input-to-state stability of an interconnected system and in the numerical construction of a LISS Lyapunov function. We provide a homotopy algorithm that computes a decay point of a monotone op- erator. For this purpose we use a fixed point algorithm and provide a function whose fixed points correspond to decay points of the monotone operator. The advantage to an earlier algorithm is demonstrated. Furthermore an example is given which shows how to analyze a given perturbed interconnected system. △ Less

Submitted 8 February, 2012; v1 submitted 10 May, 2011; originally announced May 2011.

Comments: 30 pages, 7 figures, 4 tables

Journal ref: Mathematics of Control, Signals, and Systems (MCSS), Volume 24, Numbers 1-2 (2012), 3-32

Stability verification for monotone systems using homotopy algorithms

Authors: Björn S. Rüffer, Fabian R. Wirth

Abstract: A monotone self-map** of the nonnegative orthant induces a monotone discrete-time dynamical system which evolves on the same orthant. If with respect to this system the origin is attractive then there must exists points whose image under the monotone map is strictly smaller than the original point, in the component-wise partial ordering. Here it is shown how s… ▽ More A monotone self-map** of the nonnegative orthant induces a monotone discrete-time dynamical system which evolves on the same orthant. If with respect to this system the origin is attractive then there must exists points whose image under the monotone map is strictly smaller than the original point, in the component-wise partial ordering. Here it is shown how such points can be found numerically, leading to a recipe to compute order intervals that are contained in the region of attraction and where the monotone map acts essentially as a contraction. An important application is the numerical verification of so-called generalized small-gain conditions that appear in the stability theory of large-scale systems. △ Less

Submitted 5 May, 2010; originally announced May 2010.

MSC Class: 93C55; 47H07; 65H20

Small gain theorems for large scale systems and construction of ISS Lyapunov functions

Authors: Sergey N. Dashkovskiy, Björn S. Rüffer, Fabian R. Wirth

Abstract: We consider interconnections of n nonlinear subsystems in the input-to-state stability (ISS) framework. For each subsystem an ISS Lyapunov function is given that treats the other subsystems as independent inputs. A gain matrix is used to encode the mutual dependencies of the systems in the network. Under a small gain assumption on the monotone operator induced by the gain matrix, a locally Lipsc… ▽ More We consider interconnections of n nonlinear subsystems in the input-to-state stability (ISS) framework. For each subsystem an ISS Lyapunov function is given that treats the other subsystems as independent inputs. A gain matrix is used to encode the mutual dependencies of the systems in the network. Under a small gain assumption on the monotone operator induced by the gain matrix, a locally Lipschitz continuous ISS Lyapunov function is obtained constructively for the entire network by appropriately scaling the individual Lyapunov functions for the subsystems. The results are obtained in a general formulation of ISS, the cases of summation, maximization and separation with respect to external gains are obtained as corollaries. △ Less

Submitted 3 November, 2009; v1 submitted 13 January, 2009; originally announced January 2009.

Comments: provisionally accepted by SIAM Journal on Control and Optimization

MSC Class: 93A15; 34D20; 47H07

Journal ref: SIAM J. Control Optim. 48 (6):4089-4118, 2010

An ISS Small-Gain Theorem for General Networks

Authors: Sergey Dashkovskiy, Björn S. Rüffer, Fabian R. Wirth

Abstract: We provide a generalized version of the nonlinear small-gain theorem for the case of more than two coupled input-to-state stable (ISS) systems. For this result the interconnection gains are described in a nonlinear gain matrix and the small-gain condition requires bounds on the image of this gain matrix. The condition may be interpreted as a nonlinear generalization of the requirement that the s… ▽ More We provide a generalized version of the nonlinear small-gain theorem for the case of more than two coupled input-to-state stable (ISS) systems. For this result the interconnection gains are described in a nonlinear gain matrix and the small-gain condition requires bounds on the image of this gain matrix. The condition may be interpreted as a nonlinear generalization of the requirement that the spectral radius of the gain matrix is less than one. We give some interpretations of the condition in special cases covering two subsystems, linear gains, linear systems and an associated artificial dynamical system. △ Less

Submitted 21 June, 2005; originally announced June 2005.

Comments: 26 pages, 3 figures, submitted to Mathematics of Control, Signals, and Systems (MCSS)

MSC Class: 93C10 (Primary); 34D05; 90B10; 93D09; 93D30 (Secondary)

Journal ref: Math. Control Signals Syst. (2007) 19:93-122

Asymptotic stability equals exponential stability, and ISS equals finite energy gain---if you twist your eyes

Authors: Lars Grüne, Eduardo D. Sontag, Fabian R. Wirth

Abstract: In this paper we show that uniformly global asymptotic stability for a family of ordinary differential equations is equivalent to uniformly global exponential stability under a suitable nonlinear change of variables. The same is shown for input-to-state stability and input-to-state exponential stability, and for input-to-state exponential stability and a nonlinear $H_\infty$ estimate. In this paper we show that uniformly global asymptotic stability for a family of ordinary differential equations is equivalent to uniformly global exponential stability under a suitable nonlinear change of variables. The same is shown for input-to-state stability and input-to-state exponential stability, and for input-to-state exponential stability and a nonlinear $H_\infty$ estimate. △ Less

Submitted 19 May, 1999; v1 submitted 23 December, 1998; originally announced December 1998.

Comments: 14 pages, several references added, remarks section added, clarified construction

Report number: Institute for Dynamical Systems, University of Bremen, Report 438 MSC Class: 34D05; 93D09