Source author record

Claudio De Persis

Claudio De Persis appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

40works
4topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

40 published item(s)

preprint2022arXiv

Event-triggered Control From Data

We present a data-based approach to design event-triggered state-feedback controllers for unknown continuous-time linear systems affected by disturbances. By an event, we mean state measurements transmission from the sensors to the controller over a digital network. By exploiting a sufficiently rich finite set of noisy state measurements and inputs collected off-line, we first design a data-driven state-feedback controller to ensure an input-to-state stability property for the closed-loop system ignoring the network. We then take into account sampling induced by the network and we present robust data-driven triggering strategies to (approximately) preserve this stability property. The approach is general in the sense that it allows deriving data-based versions of various popular triggering rules of the literature. In all cases, the designed transmission policies ensure the existence of a (global) strictly positive minimum inter-event times thereby excluding Zeno phenomenon despite disturbances. These results can be viewed as a step towards plug-and-play control for networked control systems, i.e., mechanisms that automatically learn to control and to communicate over a network.

preprint2022arXiv

Learning Controllers from Data via Approximate Nonlinearity Cancellation

We introduce a method to deal with the data-driven control design of nonlinear systems. We derive conditions to design controllers via (approximate) nonlinearity cancellation. These conditions take the compact form of data-dependent semi-definite programs. The method returns controllers that can be certified to stabilize the system even when data are perturbed and disturbances affect the dynamics of the system during the execution of the control task, in which case an estimate of the robustly positively invariant set is provided.

preprint2021arXiv

Data-driven control via Petersen's lemma

We address the problem of designing a stabilizing closed-loop control law directly from input and state measurements collected in an open-loop experiment. In the presence of noise in data, we have that a set of dynamics could have generated the collected data and we need the designed controller to stabilize such set of data-consistent dynamics robustly. For this problem of data-driven control with noisy data, we advocate the use of a popular tool from robust control, Petersen's lemma. In the cases of data generated by linear and polynomial systems, we conveniently express the uncertainty captured in the set of data-consistent dynamics through a matrix ellipsoid, and we show that a specific form of this matrix ellipsoid makes it possible to apply Petersen's lemma to all of the mentioned cases. In this way, we obtain necessary and sufficient conditions for data-driven stabilization of linear systems through a linear matrix inequality. The matrix ellipsoid representation enables insights and interpretations of the designed control laws. In the same way, we also obtain sufficient conditions for data-driven stabilization of polynomial systems through (convex) sum-of-squares programs. The findings are illustrated numerically.

preprint2020arXiv

Controller design for robust invariance from noisy data

For an unknown linear system, starting from noisy open-loop input-state data collected during a finite-length experiment, we directly design a linear feedback controller that guarantees robust invariance of a given polyhedral set of the state in the presence of disturbances. The main result is a necessary and sufficient condition for the existence of such a controller, and amounts to the solution of a linear program. The benefits of large and rich data sets for the solution of the problem are discussed. A numerical example about a simplified platoon of two vehicles illustrates the method.

preprint2020arXiv

Data-driven Linear Quadratic Regulation via Semidefinite Programming

This paper studies the finite-horizon linear quadratic regulation problem where the dynamics of the system are assumed to be unknown and the state is accessible. Information on the system is given by a finite set of input-state data, where the input injected in the system is persistently exciting of a sufficiently high order. Using data, the optimal control law is then obtained as the solution of a suitable semidefinite program. The effectiveness of the approach is illustrated via numerical examples.

preprint2020arXiv

Low-complexity Learning of Linear Quadratic Regulators from Noisy Data

This paper considers the Linear Quadratic Regulator problem for linear systems with unknown dynamics, a central problem in data-driven control and reinforcement learning. We propose a method that uses data to directly return a controller without estimating a model of the system. Sufficient conditions are given under which this method returns a stabilizing controller with guaranteed relative error when the data used to design the controller are affected by noise. This method has low complexity as it only requires a finite number of samples of the system response to a sufficiently exciting input, and can be efficiently implemented as a semi-definite program. Further, the method does not require assumptions on the noise statistics, and the relative error nicely scales with the noise magnitude.

preprint2020arXiv

Willems' Fundamental Lemma for State-space Systems and its Extension to Multiple Datasets

Willems et al.'s fundamental lemma asserts that all trajectories of a linear system can be obtained from a single given one, assuming that a persistency of excitation condition holds. This result has profound implications for system identification and data-driven control, and has seen a revival over the last few years. The purpose of this paper is to extend Willems' lemma to the situation where multiple (possibly short) system trajectories are given instead of a single long one. To this end, we introduce a notion of collective persistency of excitation. We will then show that all trajectories of a linear system can be obtained from a given finite number of trajectories, as long as these are collectively persistently exciting. We will demonstrate that this result enables the identification of linear systems from data sets with missing data samples. Additionally, we show that the result is of practical significance in data-driven control of unstable systems.

preprint2018arXiv

A feedback control algorithm to steer networks to a Cournot-Nash equilibrium

We propose a distributed feedback control that steers a dynamical network to a prescribed equilibrium corresponding to the so-called Cournot-Nash equilibrium. The network dynamics considered here are a class of passive nonlinear second-order systems, where production and demands act as external inputs to the systems. While productions are assumed to be controllable at each node, the demand is determined as a function of local prices according to the utility of the consumers. Using reduced information on the demand, the proposed controller guarantees the convergence of the closed loop system to the optimal equilibrium point dictated by the Cournot-Nash competition.

preprint2018arXiv

Robust Decentralized Secondary Frequency Control in Power Systems: Merits and Trade-Offs

Frequency restoration in power systems is conventionally performed by broadcasting a centralized signal to local controllers. As a result of the energy transition, technological advances, and the scientific interest in distributed control and optimization methods, a plethora of distributed frequency control strategies have been proposed recently that rely on communication amongst local controllers. In this paper we propose a fully decentralized leaky integral controller for frequency restoration that is derived from a classic lag element. We study steady-state, asymptotic optimality, nominal stability, input-to-state stability, noise rejection, transient performance, and robustness properties of this controller in closed loop with a nonlinear and multivariable power system model. We demonstrate that the leaky integral controller can strike an acceptable trade-off between performance and robustness as well as between asymptotic disturbance rejection and transient convergence rate by tuning its DC gain and time constant. We compare our findings to conventional decentralized integral control and distributed-averaging-based integral control in theory and simulations.

preprint2017arXiv

A power consensus algorithm for DC microgrids

A novel power consensus algorithm for DC microgrids is proposed and analyzed. DC microgrids are networks composed of DC sources, loads, and interconnecting lines. They are represented by differential-algebraic equations connected over an undirected weighted graph that models the electrical circuit. A second graph represents the communication network over which the source nodes exchange information about the instantaneous powers, which is used to adjust the injected current accordingly. This give rise to a nonlinear consensus-like system of differential-algebraic equations that is analyzed via Lyapunov functions inspired by the physics of the system. We establish convergence to the set of equilibria consisting of weighted consensus power vectors as well as preservation of the weighted geometric mean of the source voltages. The results apply to networks with constant impedance, constant current and constant power loads.

preprint2017arXiv

Exponential convergence under distributed averaging integral frequency control

We investigate the performance and robustness of distributed averaging integral controllers used in the optimal frequency regulation of power networks. We construct a strict Lyapunov function that allows us to quantify the exponential convergence rate of the closed-loop system. As an application, we study the stability of the system in the presence of disruptions to the controllers' communication network, and investigate how the convergence rate is affected by these disruptions.

preprint2016arXiv

A Communication-Free Master-Slave Microgrid with Power Sharing

In this paper a design of a master-slave microgrid consisting of grid-supporting current source inverters and a synchronous generator is proposed. The inverters are following the frequency of the grid imposed by the synchronous generator. Hence, the proposed structure of the microgrid is steadily synchronized. We show that the method achieves power sharing without the need of communication. Furthermore, no change in operation mode is needed during transitions of the microgrid between islanded and grid-connected modes.

preprint2016arXiv

A Jamming-resilient Algorithm for Self-triggered Network Coordination

The issue of cyber-security has become ever more prevalent in the analysis and design of cyber-physical systems. In this paper, we investigate self-triggered consensus networks in the presence of communication failures caused by Denialof- Service (DoS) attacks. A general framework is considered in which the network links can fail independent of each other. By introducing a notion of Persistency-of-Communication (PoC), we provide an explicit characterization of DoS frequency and duration under which consensus can be preserved by suitably designing time-varying control and communication policies. An explicit characterization of the effects of DoS on the consensus time is also provided. The considered notion of PoC is compared with classic average connectivity conditions that are found in pure continuous-time consensus networks. Finally, examples are given to substantiate the analysis.

preprint2016arXiv

A Novel Reduced Model for Electrical Networks with Constant Power Loads

We consider a network-preserved model of power networks with proper algebraic constraints resulting from constant power loads. Both for the linear and the nonlinear differential algebraic model of the network, we derive explicit reduced models which are fully expressed in terms of ordinary differential equations. For deriving these reduced models, we introduce the "projected incidence" matrix which yields a novel decomposition of the reduced Laplacian matrix. With the help of this new matrix, we provide a complementary approach to Kron reduction which is able to cope with constant power loads and nonlinear power flow equations.

preprint2016arXiv

A unifying energy-based approach to optimal frequency and market regulation in power grids

In this paper we provide a unifying energy-based approach to the modeling, analysis and control of power systems and markets, which is based on the port-Hamiltonian framework. Using a primal-dual gradient method applied to the social welfare problem, a distributed dynamic pricing algorithm in port-Hamiltonian form is obtained. By interconnection with the physical model a closed-loop port-Hamiltonian system is obtained, whose properties are exploited to prove asymptotic stability to the optimal points. This result is extended such that also general nodal power constraints are included into the social welfare problem. Additionally, the cases of line congestion and power transmission cost in (a)cyclic networks considering (non)linear power flow models are covered as well. Finally, we provide port-Hamiltonian descriptions and analysis of the well studied distributed averaging proportional integral (DAPI) and certain internal-model-based controllers, which solve an optimal frequency regulation problem.

preprint2016arXiv

A unifying energy-based approach to stability of power grids with market dynamics

In this paper a unifying energy-based approach is provided to the modeling and stability analysis of power systems coupled with market dynamics. We consider a standard model of the power network with a third-order model for the synchronous generators involving voltage dynamics. By applying the primal-dual gradient method to a social welfare optimization, a distributed dynamic pricing algorithm is obtained, which can be naturally formulated in port-Hamiltonian form. By interconnection with the physical model a closed-loop port-Hamiltonian system is obtained, whose properties are exploited to prove asymptotic stability to the set of optimal points. This result is extended to the case that also general nodal power constraints are included into the social welfare problem. Additionally, the case of line congestion and power transmission costs in acyclic networks is covered. Finally, a dynamic pricing algorithm is proposed that does not require knowledge about the power supply and demand.

preprint2016arXiv

Bregman storage functions for microgrid control

In this paper we contribute a theoretical framework that sheds a new light on the problem of microgrid analysis and control. The starting point is an energy function comprising the kinetic energy associated with the elements that emulate the rotating machinery and terms taking into account the reactive power stored in the lines and dissipated on shunt elements. We then shape this energy function with the addition of an adjustable voltage-dependent term, and construct incremental storage functions satisfying suitable dissipation inequalities. Our choice of the voltage-dependent term depends on the voltage dynamics/controller under investigation. Several microgrids dynamics that have similarities or coincide with dynamics already considered in the literature are captured in our incremental energy analysis framework. The twist with respect to existing results is that our incremental storage functions allow for a large signal analysis of the coupled microgrid obviating the need for simplifying linearization techniques and for the restrictive decoupling assumption in which the frequency dynamics is fully separated from the voltage one. A complete Lyapunov stability analysis of the various systems is carried out along with a discussion on their active and reactive power sharing properties.

preprint2016arXiv

Nonlinear Analysis of an Improved Swing Equation

In this paper, we investigate the properties of an improved swing equation model for synchronous generators. This model is derived by omitting the main simplifying assumption of the conventional swing equation, and requires a novel analysis for the stability and frequency regulation. We consider two scenarios. First we study the case that a synchronous generator is connected to a constant load. Second, we inspect the case of the single machine connected to an infinite bus. Simulations verify the results.

preprint2016arXiv

Optimal power dispatch in networks of high-dimensional models of synchronous machines

This paper investigates the problem of optimal frequency regulation of multi-machine power networks where each synchronous machine is described by a sixth order model. By analyzing the physical energy stored in the network and the generators, a port-Hamiltonian representation of the multi-machine system is obtained. Moreover, it is shown that the open-loop system is passive with respect to its steady states which implies that passive controllers can be used to control the multi-machine network. As a special case, a distributed consensus based controller is designed that regulates the frequency and minimizes a global quadratic generation cost in the presence of a constant unknown demand. In addition, the proposed controller allows freedom in choosing any desired connected undirected weighted communication graph.

preprint2016arXiv

Optimized Thermal-Aware Job Scheduling and Control of Data Centers

Analyzing data centers with thermal-aware optimization techniques is a viable approach to reduce energy consumption of data centers. By taking into account thermal consequences of job placements among the servers of a data center, it is possible to reduce the amount of cooling necessary to keep the servers below a given safe temperature threshold. We set up an optimization problem to analyze and characterize the optimal setpoints for the workload distribution and the supply temperature of the cooling equipment. Furthermore under mild assumptions we design and analyze controllers that drive the data center to the optimal state without knowledge of the current total workload to be handled by the data center. The response of our controller is validated by simulations and convergence to the optimal setpoints is achieved under varying workload conditions.

preprint2016arXiv

Quasi-Optimal Regulation of FlowNetworks with Input Constraints

In this work we consider a flow network for which the goal is to solve a practical optimal regulation problem in the presence of input saturation. Based on Lyapunov arguments we propose distributed controllers which guarantee global convergence to an arbitrarily small neighborhood of the desired optimal steady state while fulfilling the constraints. As a case study we apply our distributed controller to a district heating network.

preprint2016arXiv

Stability Analysis of Networked Systems Containing Damped and Undamped Nodes

This paper answers the question if a qualitatively heterogeneous passive networked system containing damped and undamped nodes shows consensus in the output of the nodes in the long run. While a standard Lyapunov analysis shows that the damped nodes will always converge to a steady-state value, the convergence of the undamped nodes is much more delicate and depends on the parameter values of the network as well as on the topology of the graph. A complete stability analysis is presented based on an eigenvector analysis involving the mass values and the topology of both the original graph and the reduced graph obtained by a Kron reduction that eliminates the damped nodes.

preprint2015arXiv

A Port-Hamiltonian Approach to Optimal Frequency Regulation in Power Grids

This paper studies the problem of frequency regulation in power grids, while maximizing the social welfare. Two price-based controllers are proposed; the first one an internal-model-based controller and the second one based on a continuous gradient method for optimization. Both controllers can be implemented in a fully distributed fashion, with freedom in choosing a controller communication network. As a result, two real-time dynamic pricing models described by port- Hamiltonian systems are obtained. By coupling with the port- Hamiltonian description of the physical network we obtain a closed-loop port-Hamiltonian system, whose properties are ex- ploited to prove asymptotic stability of the set of optimal points. Numerical results show the performance of both controllers in a simple case study.

preprint2015arXiv

Adaptation and Disturbance Rejection for Output Synchronization of Incrementally Output-feedback Passive Systems

This note addresses the output synchronization problem of incrementally output-feedback passive nonlinear systems in the presence of exogenous disturbances. Two kinds of distributed controllers are proposed; one placed at the nodes and the other placed at the edges. Each of them is synthesized based on the adaptive control method to cope with the shortage of passivity, and on the internal model principle to deal with the disturbances. The proposed controllers synchronize the outputs of the nonlinear systems when the solution of the closed-loop system is bounded. Based on this, we present a class of systems for which boundedness of the solutions is guaranteed. The analysis used in this note is also applicable to a case where systems are coupled via links modeled by dynamical systems. Simulation results of a network of Van der Pol oscillators show the effectiveness of the proposed methods.

preprint2015arXiv

An internal model approach to (optimal) frequency regulation in power grids with time-varying voltages

This paper studies the problem of frequency regulation in power grids under unknown and possible time-varying load changes, while minimizing the generation costs. We formulate this problem as an output agreement problem for distribution networks and address it using incremental passivity and distributed internal-model-based controllers. Incremental passivity enables a systematic approach to study convergence to the steady state with zero frequency deviation and to design the controller in the presence of time-varying voltages, whereas the internal-model principle is applied to tackle the uncertain nature of the loads.

preprint2015arXiv

Output agreement in networks with unmatched disturbances and algebraic constraints

This paper considers a problem of output agreement in heterogeneous networks with dynamics on the nodes as well as on the edges. The control and disturbance signals entering the nodal dynamics are "unmatched" meaning that some nodes are only subject to disturbances, and are deprived of actuating signals. To further enrich our model, we accommodate (solvable) algebraic constraints in a subset of nodal dynamics. We show that appropriate dynamic feedback controllers achieve output agreement on a desired vector. We also investigate the case of an optimal steady-state control over the network. The proposed results are applied to a heterogeneous microgrid.

preprint2015arXiv

Self-triggered Coordination over a Shared Network under Denial-of-Service

The issue of security has become ever more prevalent in the analysis and design of cyber-physical systems. In this paper, we analyze a consensus network in the presence of Denial-of-Service (DoS) attacks, namely attacks that prevent communication among the network agents. By introducing a notion of Persistency-of-Communication (PoC), we provide a characterization of DoS frequency and duration such that consensus is not destroyed. An example is given to substantiate the analysis.

preprint2014arXiv

A Lyapunov redesign of coordination algorithms for cyberphysical systems

The objective is to design distributed coordination strategies for a network of agents in a cyber-physical environment. In particular, we concentrate on the rendez-vous of agents having double-integrator dynamics with the addition of a damping term in the velocity dynamics. We start with distributed controllers that solve the problem in continuous-time, and we then explain how to implement these using event-based sampling. The idea is to define a triggering rule per edge using a clock variable which only depends on the local variables. The triggering laws are designed to compensate for the perturbative term introduced by the sampling, a technique that reminds of Lyapunov-based control redesign. We first present an event-triggered solution which requires continuous measurement of the relative position and we then explain how to convert it to a self-triggered policy. The latter only requires the measurements of the relative position and velocity at the last transmission instants, which is useful to reduce both the communication and the computation costs. The strategies guarantee the existence of a uniform minimum amount of times between any two edge events. The analysis is carried out using an invariance principle for hybrid systems.

preprint2014arXiv

On Resilient Control of Nonlinear Systems under Denial-of-Service

We analyze and design a control strategy for nonlinear systems under Denial-of-Service attacks. Based on an ISS-Lyapunov function analysis, we provide a characterization of the maximal percentage of time during which feedback information can be lost without resulting in the instability of the system. Motivated by the presence of a digital channel we consider event-based controllers for which a minimal inter-sampling time is explicitly characterized.

preprint2014arXiv

Optimal pricing control in distribution networks with time-varying supply and demand

This paper studies the problem of optimal flow control in dynamic inventory systems. A dynamic optimal distribution problem, including time-varying supply and demand, capacity constraints on the transportation lines, and convex flow cost functions of Legendre-type, is formalized and solved. The time-varying optimal flow is characterized in terms of the time-varying dual variables of a corresponding network optimization problem. A dynamic feedback controller is proposed that regulates the flows asymptotically to the optimal flows and achieves in addition a balancing of all storage levels.

preprint2013arXiv

Balancing time-varying demand-supply in distribution networks: an internal model approach

The problem of load balancing in a distribution network under unknown time- varying demand and supply is studied. A set of distributed controllers which regulate the amount of flow through the edges is designed to guarantee convergence of the solution to the steady state solution. The results are then extended to a class of nonlinear systems and compared with existing results. Incremental passivity and internal model are the main analytical tools.

preprint2013arXiv

Dynamic coupling design for nonlinear output agreement and time-varying flow control

This paper studies the problem of output agreement in networks of nonlinear dynamical systems under time-varying disturbances, using dynamic diffusive couplings. Necessary conditions are derived for general networks of nonlinear systems, and these conditions are explicitly interpreted as conditions relating the node dynamics and the network topology. For the class of incrementally passive systems, necessary and sufficient conditions for output agreement are derived. The approach proposed in the paper lends itself to solve flow control problems in distribution networks. As a first case study, the internal model approach is used for designing a controller that achieves an optimal routing and inventory balancing in a dynamic transportation network with storage and time-varying supply and demand. It is in particular shown that the time-varying optimal routing problem can be solved by applying an internal model controller to the dual variables of a certain convex network optimization problem. As a second case study, we show that droop-controllers in microgrids have also an interpretation as internal model controllers.

preprint2013arXiv

Formation control with binary information

In this paper, we study the problem of formation keeping of a network of strictly passive systems when very coarse information is exchanged. We assume that neighboring agents only know whether their relative position is larger or smaller than the prescribed one. This assumption results in very simple control laws that direct the agents closer or away from each other and take values in finite sets. We show that the task of formation keeping while tracking a desired trajectory and rejecting matched disturbances is still achievable under the very coarse information scenario. In contrast with other results of practical convergence with coarse or quantized information, here the control task is achieved exactly.

preprint2013arXiv

Internal models for nonlinear output agreement and optimal flow control

This paper studies the problem of output agreement in networks of nonlinear dynamical systems under time-varying disturbances. Necessary and sufficient conditions for output agreement are derived for the class of incrementally passive systems. Following this, it is shown that the optimal distribution problem in dynamic inventory systems with time-varying supply and demand can be cast as a special version of the output agreement problem. We show in particular that the time-varying optimal distribution problem can be solved by applying an internal model controller to the dual variables of a certain convex network optimization problem.

preprint2013arXiv

Resilient Control under Denial-of-Service

We investigate resilient control strategies for linear systems under Denial-of-Service (DoS) attacks. By DoS attacks we mean interruptions of communication on measurement (sensor-to-controller) and/or control (controller-to-actuator) channels carried out by an intelligent adversary. We characterize the duration of these interruptions under which stability of the closed-loop system is preserved. The resilient nature of the control descends from its ability to adapt the sampling rate to the occurrence of the DoS.

preprint2012arXiv

Robust self-triggered coordination with ternary controllers

This paper regards coordination of networked systems, which is studied in the framework of hybrid dynamical systems. We design a coordination scheme which combines the use of ternary controllers with a self-triggered communication policy. The communication policy requires the agents to collect, at each sampling time, relative measurements of their neighbors' states: the collected information is then used to update the control and determine the following sampling time. We prove that the proposed scheme ensures finite-time convergence to a neighborhood of a consensus state. We then study the robustness of the proposed self-triggered coordination system with respect to skews in the agents' local clocks, to delays, and to limited precision in communication. Furthermore, we present two significant variations of our scheme. First, we design a time-varying controller which asymptotically drives the system to consensus. Second, we adapt our framework to a communication model in which an agent does not poll all its neighbors simultaneously, but single neighbors instead. This communication policy actually leads to a self-triggered "gossip" coordination system.

preprint2011arXiv

Discontinuities and hysteresis in quantized average consensus

We consider continuous-time average consensus dynamics in which the agents' states are communicated through uniform quantizers. Solutions to the resulting system are defined in the Krasowskii sense and are proven to converge to conditions of "practical consensus". To cope with undesired chattering phenomena we introduce a hysteretic quantizer, and we study the convergence properties of the resulting dynamics by a hybrid system approach.

preprint2011arXiv

On a small-gain approach to distributed event-triggered control

In this paper the problem of stabilizing large-scale systems by distributed controllers, where the controllers exchange information via a shared limited communication medium is addressed. Event-triggered sampling schemes are proposed, where each system decides when to transmit new information across the network based on the crossing of some error thresholds. Stability of the interconnected large-scale system is inferred by applying a generalized small-gain theorem. Two variations of the event-triggered controllers which prevent the occurrence of the Zeno phenomenon are also discussed.

preprint2010arXiv

Control of one-dimensional guided formations using coarse information

Motivated by applications in intelligent highway systems, the paper studies the problem of guiding mobile agents in a one-dimensional formation to their desired relative positions. Only coarse information is used which is communicated from a guidance system that monitors in real time the agents' motions. The desired relative positions are defined by the given distance constraints between the agents under which the overall formation is rigid in shape and thus admits locally a unique realization. It is shown that even when the guidance system can only transmit at most four bits of information to each agent, it is still possible to design control laws to guide the agents to their desired positions. We further delineate the thin set of initial conditions for which the proposed control law may fail using the example of a three-agent formation. Tools from non-smooth analysis are utilized for the convergence analysis.