Showing 1–50 of 91 results for author: van der Schaft, A

Singular networks and ultrasensitive terminal behaviors

Authors: Alessio Franci, Bart Besselink, Arjan van der Schaft

Abstract: Negative conductance elements are key to shape the input-output behavior at the terminals of a network through localized positive feedback amplification. The balance of positive and negative differential conductances creates singularities at which rich, intrinsically nonlinear, and ultrasensitive terminal behaviors emerge. Motivated by neuromorphic engineering applications, in this note we extend… ▽ More Negative conductance elements are key to shape the input-output behavior at the terminals of a network through localized positive feedback amplification. The balance of positive and negative differential conductances creates singularities at which rich, intrinsically nonlinear, and ultrasensitive terminal behaviors emerge. Motivated by neuromorphic engineering applications, in this note we extend a recently introduced nonlinear network graphical modeling framework to include negative conductance elements. We use this extended framework to define the class of singular networks and to characterize their ultra-sensitive input/output behaviors at given terminals. Our results are grounded in the Lyapunov-Schmidt reduction method, which is shown to fully characterize the singularities and bifurcations of the input-output behavior at the network terminals, including when the underlying input-output relation is not explicitly computable through other reduction methods. △ Less

Submitted 10 April, 2025; originally announced April 2025.

Symmetry in linear physical systems

Authors: Arjan van der Schaft, Rodolphe Sepulchre, Tom Chaffey

Abstract: Physical systems with symmetry arise abundantly in applications, and are endowed with interesting mathematical structures. The present paper focusses on linear reciprocal and input-output Hamiltonian systems. Their characterization is studied from an input-output as well as from a state point of view. Geometrically, it turns out that they both define Lagrangian subspaces with corresponding generat… ▽ More Physical systems with symmetry arise abundantly in applications, and are endowed with interesting mathematical structures. The present paper focusses on linear reciprocal and input-output Hamiltonian systems. Their characterization is studied from an input-output as well as from a state point of view. Geometrically, it turns out that they both define Lagrangian subspaces with corresponding generating functionals. Furthermore, the relations with time reversibility are analyzed. The system classes under consideration are expected to admit scalable control laws, and to be important building blocks in design. △ Less

Submitted 4 April, 2025; v1 submitted 2 April, 2025; originally announced April 2025.

Maximum Power Transfer for Nonlinear State Space Systems

Authors: Arjan van der Schaft

Abstract: The classical Maximum Power Transfer theorem of linear electrical network theory is generalized to the setting of a nonlinear state space system connected to a source. This yields a state space version of the input-output operator results of Wyatt (1988). Key tool in the analysis is the formulation of a Hamiltonian input-output system, which is closely related to Pontryagin's Maximum principle. Th… ▽ More The classical Maximum Power Transfer theorem of linear electrical network theory is generalized to the setting of a nonlinear state space system connected to a source. This yields a state space version of the input-output operator results of Wyatt (1988). Key tool in the analysis is the formulation of a Hamiltonian input-output system, which is closely related to Pontryagin's Maximum principle. The adjoint variational system incorporated in this system defines an optimal load. The structure of such an optimal load is investigated for classes of physical systems. △ Less

Submitted 16 February, 2025; originally announced February 2025.

Port-Hamiltonian nonlinear systems

Authors: Arjan van der Schaft

Abstract: Control theory often takes the mathematical model of the to-be-control-led system for granted. In contrast, port-Hamiltonian systems theory bridges the gap between modelling and control for physical systems. It provides a unified framework for the modelling of complex multiphysics systems. At the same time it offers powerful tools for analysis and control by identifying the underlying physical str… ▽ More Control theory often takes the mathematical model of the to-be-control-led system for granted. In contrast, port-Hamiltonian systems theory bridges the gap between modelling and control for physical systems. It provides a unified framework for the modelling of complex multiphysics systems. At the same time it offers powerful tools for analysis and control by identifying the underlying physical structure, as reflected in, e.g., energy balance and other conserved quantities. This leads to control schemes that \emph{exploit} the physical structure, instead of compensating for it. As a result, the derived control laws tend to be simple, physically interpretable, and robust with respect to physical parameter variations. In this paper, after introducing port-Hamiltonian systems, the focus is on 'control by interconnection' for set-point stabilization of nonlinear physical systems. Most of this theory is well-established, but novel developments using 'energy ports' instead of 'power ports' are also included. △ Less

Submitted 27 December, 2024; originally announced December 2024.

Comments: 19 pages, 1 figure

Port-Hamiltonian systems with energy and power ports

Authors: Kaja Krhac, Bernhard Maschke, Arjan van der Schaft

Abstract: We extend the port-Hamiltonian framework defined with respect to a Lagrangian submanifold and a Dirac structure by augmenting the Lagrangian submanifold with the space of external variables. The new pair of conjugated variables is called energy port. We show that in the most general case, the extension describes constrained Hamiltonian systems whose Hamiltonian function depends on inputs. We extend the port-Hamiltonian framework defined with respect to a Lagrangian submanifold and a Dirac structure by augmenting the Lagrangian submanifold with the space of external variables. The new pair of conjugated variables is called energy port. We show that in the most general case, the extension describes constrained Hamiltonian systems whose Hamiltonian function depends on inputs. △ Less

Submitted 2 May, 2024; originally announced May 2024.

Comments: 6 pages

MSC Class: 93A99 (Primary) 53D12; 70H45 (Secondary)

Segmented Model-Based Hydrogen Delivery Control for PEM Fuel Cells: a Port-Hamiltonian Approach

Authors: Lalitesh Kumar, Jian Chen, Chengshuai Wu, Yuzhu Chen, Arjan van der Schaft

Abstract: This paper proposes an extended interconnection and damping assignment passivity-based control technique (IDA-PBC) to control the pressure dynamics in the fuel delivery subsystem (FDS) of proton exchange membrane fuel cells. The fuel cell stack is a distributed parameter model which can be modeled by partial differential equations PDEs). In this paper, the segmentation concept is used to approxima… ▽ More This paper proposes an extended interconnection and damping assignment passivity-based control technique (IDA-PBC) to control the pressure dynamics in the fuel delivery subsystem (FDS) of proton exchange membrane fuel cells. The fuel cell stack is a distributed parameter model which can be modeled by partial differential equations PDEs). In this paper, the segmentation concept is used to approximate the PDEs model by ordinary differential equations (ODEs) model. Therefore, each segments are having multiple ODEs to obtain the lump-sum model of the segments. Subsequently, a generalized multi-input multi-output lumped parameters model is developed in port-Hamiltonian framework based on mass balance to minimize the modeling error. The modeling errors arises due to the difference between spatially distributed pressures in FDS segments, and also due to the difference between the actual stack pressure and the measured output pressure of the anode. The segments interconnection feasibilities are ensured by maintaining passivity of each segment. With consideration of re-circulation and bleeding of the anode in the modeling, an extended energy-shaping and output tracking IDA-PBC based state-feedback controller is proposed to control the spatially distributed pressure dynamics in the anode. Furthermore, a sliding mode observer of high order is designed to estimate the unmeasurable pressures in FDS with known disturbances. Performance recovery of output feedback control is accomplished with explicit stability analysis. The effectiveness of the proposed IDA-PBC approach is validated by the simulation results. △ Less

Submitted 18 April, 2024; originally announced April 2024.

Comments: 12 pages, 11 Figures

Kron reduction of nonlinear networks

Authors: Arjan van der Schaft, Bart Besselink, Anne-Men Huijzer

Abstract: Kron reduction is concerned with the elimination of interior nodes of physical network systems such as linear resistor electrical circuits. In this paper it is shown how this can be extended to networks with nonlinear static relations between the variables associated to the edges of the underlying directed graph. Kron reduction is concerned with the elimination of interior nodes of physical network systems such as linear resistor electrical circuits. In this paper it is shown how this can be extended to networks with nonlinear static relations between the variables associated to the edges of the underlying directed graph. △ Less

Submitted 9 May, 2024; v1 submitted 1 March, 2024; originally announced March 2024.

Reciprocity of nonlinear systems

Authors: Arjan van der Schaft

Abstract: One of the key contributions of the 1972 seminal paper by Willems was the analysis of symmetry (also called reciprocity) of input-state-output systems, both from an external (input-output) and internal (state) point of view. The developed theory also included the combination of reciprocity with passivity, and the consideration of relaxation systems, which are passive reciprocal systems without any… ▽ More One of the key contributions of the 1972 seminal paper by Willems was the analysis of symmetry (also called reciprocity) of input-state-output systems, both from an external (input-output) and internal (state) point of view. The developed theory also included the combination of reciprocity with passivity, and the consideration of relaxation systems, which are passive reciprocal systems without any oscillatory behavior. The paper was motivated from a fundamental system-theoretic point of view (how is external structure reflected into internal structure), as well as by a wide range of application areas, including electrical network synthesis, thermodynamics, and viscoelastic materials. On the other hand, the obtained results are for linear systems, and the extension to the nonlinear case, even for subclasses of nonlinear systems, is far from trivial. The present paper aims at taking some steps into this direction. △ Less

Submitted 30 December, 2023; originally announced January 2024.

Comments: 31 pages

Linear Boundary Port-Hamiltonian Systems with Implicitly Defined Energy

Authors: Bernhard Maschke, Arjan van der Schaft

Abstract: In this paper we extend the previously introduced class of boundary port-Hamiltonian systems to boundary control systems where the variational derivative of the Hamiltonian functional is replaced by a pair of reciprocal differential operators. In physical systems modelling, these differential operators naturally represent the constitutive relations associated with the implicitly defined energy of… ▽ More In this paper we extend the previously introduced class of boundary port-Hamiltonian systems to boundary control systems where the variational derivative of the Hamiltonian functional is replaced by a pair of reciprocal differential operators. In physical systems modelling, these differential operators naturally represent the constitutive relations associated with the implicitly defined energy of the system and obey Maxwell's reciprocity conditions. On top of the boundary variables associated with the Stokes-Dirac structure, this leads to additional boundary port variables and to the new notion of a Stokes-Lagrange subspace. This extended class of boundary port-Hamiltonian systems is illustrated by a number of examples in the modelling of elastic rods with local and non-local elasticity relations. Finally it shown how a Hamiltonian functional on an extended state space can be associated with the Stokes-Lagrange subspace, and how this leads to an energy balance equation involving the boundary variables of the Stokes-Dirac structure as well as of the Stokes-Lagrange subspace. △ Less

Submitted 1 December, 2023; v1 submitted 23 May, 2023; originally announced May 2023.

Comments: 23 pages

MSC Class: 37L05; 37K06; 93C05; 93-10; 93C20

Angle-based formation stabilization and maneuvers in port-Hamiltonian form with bearing and velocity measurements

Authors: Ningbo Li, Pablo Borja, Arjan van der Schaft, Jacquelien M. A. Scherpen

Abstract: This paper proposes a port-Hamiltonian framework for angle-based formation stabilization and maneuvers using bearing and velocity measurements with an underlying triangulated Laman graph. The corresponding port-Hamiltonian controller is designed using virtual couplings on the errors of angle constraints in angle space and then the angle constraints and agent actuators are mapped by the constraint… ▽ More This paper proposes a port-Hamiltonian framework for angle-based formation stabilization and maneuvers using bearing and velocity measurements with an underlying triangulated Laman graph. The corresponding port-Hamiltonian controller is designed using virtual couplings on the errors of angle constraints in angle space and then the angle constraints and agent actuators are mapped by the constraint Jacobian, which can be applied to other formation constraints. In addition, due to the fact that the port-Hamiltonian model allows for complex and heterogeneous agent dynamics, our framework can be extended to networks with different agent dynamics and formation constraints. To avoid unavailable distance terms in the control law, an estimator is designed based on port-Hamiltonian theory and the property that energy is coordinate-free for different sensor modalities using bearing and velocity measurements, which permits our framework to inject damping for the formation maneuvers. Furthermore, several maneuvers are analyzed under both considerations of stabilization and transient performance. Simulations are performed to illustrate the effectiveness of the approach. △ Less

Submitted 17 May, 2023; originally announced May 2023.

A port-Hamiltonian framework for displacement-based and rigid formation tracking

Authors: Ningbo Li, Zhiyong Sun, Arjan van der Schaft, Jacquelien M. A. Scherpen

Abstract: This paper proposes a passivity-based port-Hamiltonian (pH) framework for multi-agent displacement-based and rigid formation control and velocity tracking. The control law consists of two parts, where the internal feedback is to track the velocity and the external feedback is to achieve formation stabilization by steering variables of neighboring agents that prescribe the desired geometric shape.… ▽ More This paper proposes a passivity-based port-Hamiltonian (pH) framework for multi-agent displacement-based and rigid formation control and velocity tracking. The control law consists of two parts, where the internal feedback is to track the velocity and the external feedback is to achieve formation stabilization by steering variables of neighboring agents that prescribe the desired geometric shape. Regarding the external feedback, a general framework is proposed for all kinds of formations by means of the advantage that the pH model is energy-based and coordinate-free. To solve the issue that the incidence matrix is not of full column rank over cyclic graphs, the matrix property is used to prove the convergence to the target sets for the displacement-based formation, while for rigid formations, the algebraic conditions of infinitesimal rigidity are investigated to achieve asymptotic local stability. Furthermore, the rigid formation with heterogeneous constraints is further investigated under this framework and the asymptotic local stability is proved under a mild assumption. Simulations are performed to illustrate the effectiveness of the framework. △ Less

Submitted 17 May, 2023; originally announced May 2023.

Comparison of Non-deterministic Linear Systems by $(γ,δ)$-Similarity

Authors: Armin Pirastehzad, Arjan van der Schaft, Bart Besselink

Abstract: We introduce $(γ,δ)$-similarity, a notion of system comparison that measures to what extent two stable linear dynamical systems behave similarly in an input-output sense. This behavioral similarity is characterized by measuring the sensitivity of the difference between the two output trajectories in terms of the external inputs to the two potentially non-deterministic systems. As such, $(γ,δ)$-sim… ▽ More We introduce $(γ,δ)$-similarity, a notion of system comparison that measures to what extent two stable linear dynamical systems behave similarly in an input-output sense. This behavioral similarity is characterized by measuring the sensitivity of the difference between the two output trajectories in terms of the external inputs to the two potentially non-deterministic systems. As such, $(γ,δ)$-similarity is a notion that characterizes \emph{approximation} of input-output behavior, whereas existing notions of simulation target equivalence. Next, as this approximation is specified in terms of the $L_2$ signal norm, $(γ,δ)$-similarity allows for integration with existing methods for analysis and synthesis of control systems, in particular, robust control techniques. We characterize the notion of $(γ,δ)$-similarity as a linear matrix inequality feasibility problem and derive its interpretation in terms of transfer matrices. Our study on the compositional properties of $(γ,δ)$-similarity shows that the notion is preserved through series and feedback interconnections. This highlights its potential application in compositional reasoning, namely abstraction and modular synthesis of large-scale interconnected dynamical systems. We further illustrate our results in an electrical network example. △ Less

Submitted 19 December, 2023; v1 submitted 20 March, 2023; originally announced March 2023.

Linear port-Hamiltonian DAE systems revisited

Authors: Arjan van der Schaft, Volker Mehrmann

Abstract: Port-Hamiltonian systems theory provides a systematic methodology for the modeling, simulation and control of multi-physics systems. The incorporation of algebraic constraints has led to a multitude of definitions of port-Hamiltonian differential-algebraic equations (DAE) systems. This paper presents extensions of results in Gernandt, Haller & Reis (2021) and Mehrmann & Van der Schaft (2022) in th… ▽ More Port-Hamiltonian systems theory provides a systematic methodology for the modeling, simulation and control of multi-physics systems. The incorporation of algebraic constraints has led to a multitude of definitions of port-Hamiltonian differential-algebraic equations (DAE) systems. This paper presents extensions of results in Gernandt, Haller & Reis (2021) and Mehrmann & Van der Schaft (2022) in the context of maximally monotone structures and shows that any such space can be written as composition of a Dirac and a resistive structure. Furthermore, appropriate coordinate representations are presented as well as explicit expressions for the associated transfer functions. △ Less

Submitted 12 November, 2022; originally announced November 2022.

Comments: 13 pages

MSC Class: 93C05; 34A09; 37J06

Series composition of simulation-based assume-guarantee contracts for linear dynamical systems

Authors: B. M. Shali, H. M. Heidema, A. J. van der Schaft, B. Besselink

Abstract: We present assume-guarantee contracts for continuous-time linear dynamical systems with inputs and outputs. These contracts are used to express specifications on the dynamic behaviour of a system. Contrary to existing approaches, we use simulation to compare the dynamic behaviour of two systems. This has the advantage of being supported by efficient numerical algorithms for verification as well as… ▽ More We present assume-guarantee contracts for continuous-time linear dynamical systems with inputs and outputs. These contracts are used to express specifications on the dynamic behaviour of a system. Contrary to existing approaches, we use simulation to compare the dynamic behaviour of two systems. This has the advantage of being supported by efficient numerical algorithms for verification as well as being related to the rich literature on (bi)simulation based techniques for verification and control, such as those based on (discrete) abstractions. Using simulation, we define contract implementation and a notion of contract refinement. We also define a notion of series composition for contracts, which allows us to reason about the series interconnection of systems on the basis of the contracts on its components. Together, the notions of refinement and composition allow contracts to be used for modular design and analysis of interconnected systems. △ Less

Submitted 5 September, 2022; originally announced September 2022.

Differential-algebraic systems with dissipative Hamiltonian structure

Authors: V. Mehrmann, A. J. van der Schaft

Abstract: Different representations of dissipative Hamiltonian and port-Hamiltonian differential-algebraic equations (DAE) systems are presented and compared. Using global geometric and algebraic points of view, translations between the different representations are presented. Characterizations are also derived when a general DAE system can be transformed into one of these structured representations. Approa… ▽ More Different representations of dissipative Hamiltonian and port-Hamiltonian differential-algebraic equations (DAE) systems are presented and compared. Using global geometric and algebraic points of view, translations between the different representations are presented. Characterizations are also derived when a general DAE system can be transformed into one of these structured representations. Approaches for computing the structural information and the described transformations are derived that can be directly implemented as numerical methods. The results are demonstrated with a large number of examples. △ Less

Submitted 8 February, 2023; v1 submitted 4 August, 2022; originally announced August 2022.

MSC Class: 15A18; 15A21; 15A22

Port-Hamiltonian systems and monotonicity

Authors: M. Kanat Camlibel, Arjan van der Schaft

Abstract: The relationships between port-Hamiltonian systems modeling and the notion of monotonicity are explored. The earlier introduced notion of incrementally port-Hamiltonian systems is extended to maximal cyclically monotone relations, together with their generating functions. This gives rise to new classes of incrementally port-Hamiltonian systems, with examples stemming from physical systems modeling… ▽ More The relationships between port-Hamiltonian systems modeling and the notion of monotonicity are explored. The earlier introduced notion of incrementally port-Hamiltonian systems is extended to maximal cyclically monotone relations, together with their generating functions. This gives rise to new classes of incrementally port-Hamiltonian systems, with examples stemming from physical systems modeling as well as from convex optimization. An in-depth treatment is given of the composition of maximal monotone and maximal cyclically monotone relations, where in the latter case the resulting maximal cyclically monotone relation is shown to be computable through the use of generating functions. Furthermore, connections are discussed with incremental versions of passivity, and it is shown how incrementally port-Hamiltonian systems with strictly convex Hamiltonians are (maximal) equilibrium independent passive. Finally, the results on compositionality of monotone relations are employed for a convex optimization approach to the computation of the equilibrium of interconnected incrementally port-Hamiltonian systems. △ Less

Submitted 18 June, 2022; originally announced June 2022.

A Lagrange subspace approach to dissipation inequalities

Authors: Arjan van der Schaft, Volker Mehrmann

Abstract: The standard dissipation inequality for passivity is extended from storage functions to general Lagrange subspaces. This is shown to have some interesting consequences. A classical factorization result for passive systems is extended to this generalized case, making use of the newly defined concept of the Hamiltonian lift of a DAE system. The standard dissipation inequality for passivity is extended from storage functions to general Lagrange subspaces. This is shown to have some interesting consequences. A classical factorization result for passive systems is extended to this generalized case, making use of the newly defined concept of the Hamiltonian lift of a DAE system. △ Less

Submitted 25 March, 2022; originally announced March 2022.

Comments: 6 pages

Indirect Adaptive Control of Nonlinearly Parameterized Nonlinear Dissipative Systems

Authors: Romeo Ortega, Rafael Cisneros, Lei Wang, Arjan van der Schaft

Abstract: In this note we address the problem of indirect adaptive (regulation or tracking) control of nonlinear, input affine dissipative systems. It is assumed that the supply rate, the storage and the internal dissipation functions may be expressed as nonlinearly parameterized regression equations where the mappings (depending on the unknown parameters) satisfy a monotonicity condition -- this encompasse… ▽ More In this note we address the problem of indirect adaptive (regulation or tracking) control of nonlinear, input affine dissipative systems. It is assumed that the supply rate, the storage and the internal dissipation functions may be expressed as nonlinearly parameterized regression equations where the mappings (depending on the unknown parameters) satisfy a monotonicity condition -- this encompasses a large class of physical systems, including passive systems. We propose to estimate the system parameters using the "power-balance" equation, which is the differential version of the classical dissipation inequality, with a new estimator that ensures global, exponential, parameter convergence under the very weak assumption of interval excitation of the power-balance equation regressor. To design the indirect adaptive controller we make the standard assumption of existence of an asymptotically stabilizing controller that depends -- possibly nonlinearly -- on the unknown plant parameters, and apply a certainty-equivalent control law. The benefits of the proposed approach, with respect to other existing solutions, are illustrated with examples. △ Less

Submitted 14 January, 2022; originally announced January 2022.

Comments: 14 pg, 4 fig

Behavioural assume-guarantee contracts for linear dynamical systems

Authors: B. M. Shali, A. J. van der Schaft, B. Besselink

Abstract: Motivated by the growing requirements on the operation of complex engineering systems, we present contracts as specifications for continuous-time linear dynamical systems with inputs and outputs. A contract is defined as a pair of assumptions and guarantees, both characterized in a behavioural framework. The assumptions encapsulate the available information about the dynamic behaviour of the envir… ▽ More Motivated by the growing requirements on the operation of complex engineering systems, we present contracts as specifications for continuous-time linear dynamical systems with inputs and outputs. A contract is defined as a pair of assumptions and guarantees, both characterized in a behavioural framework. The assumptions encapsulate the available information about the dynamic behaviour of the environment in which the system is supposed to operate, while the guarantees express the desired dynamic behaviour of the system when interconnected with relevant environments. In addition to defining contracts, we characterize contract implementation, and we find necessary conditions for the existence of an implementation. We also characterize contract refinement, which is used to characterize contract conjunction in two special cases. These concepts are then illustrated by an example of a vehicle following system. △ Less

Submitted 16 September, 2021; originally announced September 2021.

Differential operator Dirac structures

Authors: Arjan van der Schaft, Bernhard Maschke

Abstract: As shown in earlier work, skew-adjoint linear differential operators, mapping efforts into flows, give rise to Dirac structures on a bounded spatial domain by a proper definition of boundary variables. In the present paper this is extended to pairs of linear differential operators defining a formally skew-adjoint relation between flows and efforts. Furthermore it is shown how the underlying repeat… ▽ More As shown in earlier work, skew-adjoint linear differential operators, mapping efforts into flows, give rise to Dirac structures on a bounded spatial domain by a proper definition of boundary variables. In the present paper this is extended to pairs of linear differential operators defining a formally skew-adjoint relation between flows and efforts. Furthermore it is shown how the underlying repeated integration by parts operation can be streamlined by the use of two-variable polynomial calculus. Dirac structures defined by formally skew adjoint operators and differential operator effort constraints are treated within the same framework. Finally it is sketched how the approach can be also used for Lagrangian subspaces on bounded domains. △ Less

Submitted 4 May, 2021; originally announced May 2021.

Comments: 7 pages

Towards Control by Interconnection of Port-Thermodynamic Systems

Authors: Arjan van der Schaft

Abstract: The power conserving interconnection of port-thermodynamic systems via their power ports results in another port-thermodynamic system, while the same holds for the rate of entropy increasing interconnection via their entropy flow ports. Control by interconnection of port-thermodynamic systems seeks to control a plant port-thermodynamic system by the interconnection with a controller port-thermodyn… ▽ More The power conserving interconnection of port-thermodynamic systems via their power ports results in another port-thermodynamic system, while the same holds for the rate of entropy increasing interconnection via their entropy flow ports. Control by interconnection of port-thermodynamic systems seeks to control a plant port-thermodynamic system by the interconnection with a controller port-thermodynamic system. The stability of the interconnected port-thermodynamic system is investigated by Lyapunov functions based on generating functions for the submanifold characterizing the state properties as well as additional conserved quantities. Crucial tool is the use of canonical point transformations on the symplectized thermodynamic phase space. △ Less

Submitted 13 April, 2021; originally announced April 2021.

Comments: 7 pages. arXiv admin note: text overlap with arXiv:2102.05493

Behavioural contracts for linear dynamical systems: input assumptions and output guarantees

Authors: B. M. Shali, A. J. van der Schaft, B. Besselink

Abstract: We introduce contracts for linear dynamical systems with inputs and outputs. Contracts are used to express formal specifications on the dynamic behaviour of such systems through two aspects: assumptions and guarantees. The assumptions are a linear system that captures the available knowledge about the dynamic behaviour of the environment in which the system is supposed to operate. The guarantees a… ▽ More We introduce contracts for linear dynamical systems with inputs and outputs. Contracts are used to express formal specifications on the dynamic behaviour of such systems through two aspects: assumptions and guarantees. The assumptions are a linear system that captures the available knowledge about the dynamic behaviour of the environment in which the system is supposed to operate. The guarantees are a linear system that captures the required dynamic behaviour of the system when interconnected with its environment. In addition to contracts, we also define and characterize notions of contract refinement and contract conjunction. Contract refinement allows one to determine if a contract expresses a stricter specifications than another contract. On the other hand, contract conjunction allows one to combine multiple contracts into a single contract that fuses the specifications they express. △ Less

Submitted 23 March, 2021; originally announced March 2021.

On Energy Conversion in Port-Hamiltonian Systems

Authors: Arjan Van der Schaft, Dimitri Jeltsema

Abstract: We study port-Hamiltonian systems with two external ports, and the strategies and limitations for conversion of energy from one port into the other. It turns out that, apart from the cyclo-passivity of port-Hamiltonian systems, this is related to the internal connection structure of port-Hamiltonian systems. A source of motivation for energy conversion is provided by thermodynamics, in particular… ▽ More We study port-Hamiltonian systems with two external ports, and the strategies and limitations for conversion of energy from one port into the other. It turns out that, apart from the cyclo-passivity of port-Hamiltonian systems, this is related to the internal connection structure of port-Hamiltonian systems. A source of motivation for energy conversion is provided by thermodynamics, in particular the Carnot theory of conversion of thermal into mechanical energy. This is extended to general port-Hamiltonian systems which are satisfying structural conditions on their topology; thus generalizing the Carnot-Clausius theory of heat engines. In particular, the operation of Carnot cycles is extended, which is illustrated by the example of a precursor to the Stirling engine, as well as an electromagnetic actuator. Furthermore, alternative energy conversion control schemes such as energy-routers are discussed. △ Less

Submitted 16 March, 2021; originally announced March 2021.

Comments: 7 pages, 5 figures

Liouville geometry of classical thermodynamics

Authors: Arjan van der Schaft

Abstract: In the contact-geometric formulation of classical thermodynamics distinction is made between the energy and entropy representation, which can be resolved by taking homogeneous coordinates for the intensive variables. This results in a geometric formulation on the cotangent bundle of the manifold of extensive variables, where all geometric objects are homogeneous in the cotangent variables. The res… ▽ More In the contact-geometric formulation of classical thermodynamics distinction is made between the energy and entropy representation, which can be resolved by taking homogeneous coordinates for the intensive variables. This results in a geometric formulation on the cotangent bundle of the manifold of extensive variables, where all geometric objects are homogeneous in the cotangent variables. The resulting geometry is studied in-depth. Additional homogeneity with respect to the extensive variables, corresponding to the classical Gibbs-Duhem relation, is treated within the same geometric framework. △ Less

Submitted 10 February, 2021; originally announced February 2021.

Comments: 27 pages

DC power grids with constant-power loads -- Part II: nonnegative power demands, conditions for feasibility, and high-voltage solutions

Authors: Mark Jeeninga, Claudio De Persis, Arjan van der Schaft

Abstract: In this two-part paper we develop a unifying framework for the analysis of the feasibility of the power flow equations for DC power grids with constant-power loads. Part II of this paper explores further implications of the results in Part I. In particular, we refine several results in Part I to obtain a necessary and sufficient condition for the feasibility of nonnegative power demands, which i… ▽ More In this two-part paper we develop a unifying framework for the analysis of the feasibility of the power flow equations for DC power grids with constant-power loads. Part II of this paper explores further implications of the results in Part I. In particular, we refine several results in Part I to obtain a necessary and sufficient condition for the feasibility of nonnegative power demands, which is cheaper to compute than the necessary and sufficient LMI condition in Part I. Moreover, we prove two novel sufficient conditions, which generalize known sufficient conditions for power flow feasibility in the literature. In addition, we prove that the unique long-term voltage semi-stable operating point associated to a feasible vector of power demands is a strict high-voltage solution. A parametrization of such operating points, which is dual to the parametrization in Part I, is also obtained, along with a parametrization of the boundary of the set of feasible power demands. △ Less

Submitted 18 November, 2020; originally announced November 2020.

Comments: Submitted to IEEE Transactions on Automatic Control

Classical Thermodynamics Revisited: A Systems and Control Perspective

Authors: Arjan van der Schaft

Abstract: The purpose of this paper is two-fold. First, to make clear (and de-mystify) the basic concepts of classical thermodynamics, and thus to enable the integration of thermodynamics within systems modeling and control. Second, to demonstrate that systems and control theory provides a natural context for the formulation and understanding of classical thermodynamics. This is not so surprising since clas… ▽ More The purpose of this paper is two-fold. First, to make clear (and de-mystify) the basic concepts of classical thermodynamics, and thus to enable the integration of thermodynamics within systems modeling and control. Second, to demonstrate that systems and control theory provides a natural context for the formulation and understanding of classical thermodynamics. This is not so surprising since classical thermodynamics, firmly rooted in engineering with questions such as the maximal efficiency of steam engines, deals from the very start with systems in interaction with their surrounding (by heat flow, mechanical work, flow of matter, etc.). In particular, it will be shown that dissipativity theory is key in the formulation and interpretation of the First and Second Law of thermodynamics. Also a geometric view on the state properties and the dynamics of thermodynamic systems will be emphasized, thereby unifying and simplifying different representations of thermodynamic systems. On the other hand, I will also argue that thermodynamics motivates paradigm shifts within systems and control; in particular, the use of non-minimal state space formulations, and a geometric view on them. Furthermore, while systems and control theory has been primarily based on linear systems with quadratic cost criteria, in line with basic system models in electrical and mechanical engineering (RLC-circuits, mass-spring-damper systems, etc.), thermodynamics necessitates to go beyond this linear-quadratic paradigm. △ Less

Submitted 8 October, 2020; originally announced October 2020.

DC power grids with constant-power loads -- Part I: A full characterization of power flow feasibility, long-term voltage stability and their correspondence

Authors: Mark Jeeninga, Claudio De Persis, Arjan van der Schaft

Abstract: In this two-part paper we develop a unifying framework for the analysis of the feasibility of the power flow equations for DC power grids with constant-power loads. In Part I of this paper we present a detailed introduction to the problem of power flow feasibility of such power grids, and the associated problem of selecting a desirable operating point which satisfies the power flow equations. We… ▽ More In this two-part paper we develop a unifying framework for the analysis of the feasibility of the power flow equations for DC power grids with constant-power loads. In Part I of this paper we present a detailed introduction to the problem of power flow feasibility of such power grids, and the associated problem of selecting a desirable operating point which satisfies the power flow equations. We introduce and identify all long-term voltage semi-stable operating points, and show that there exists a one-to-one correspondence between such operating points and the constant power demands for which the power flow equations are feasible. Such operating points can be found by solving an initial value problem, and a parametrization of these operating points is also obtained. In addition, we give a full characterization of the set of all feasible power demands, and give a novel proof for the convexity of this set. Moreover, we present a necessary and sufficient LMI condition for the feasibility of a vector of power demands under small perturbation, which extends a necessary condition in the literature. △ Less

Submitted 18 November, 2020; v1 submitted 2 October, 2020; originally announced October 2020.

Comments: Submitted to IEEE Transactions on Automatic Control

Memcapacitors and Meminductors are Overunity Systems!

Authors: Dimitri Jeltsema, Arjan van der Schaft

Abstract: It is rigorously proved that ideal memcapacitors and meminductors are not passive or lossless devices, nor are they satisfying the weaker notion of cyclo-passivity, which arises when dropping the requirement of non-negativity of the storage function. Equivalently, this implies that there exist excitation profiles that allow to extract more energy from the device than it is supplied with; so that t… ▽ More It is rigorously proved that ideal memcapacitors and meminductors are not passive or lossless devices, nor are they satisfying the weaker notion of cyclo-passivity, which arises when dropping the requirement of non-negativity of the storage function. Equivalently, this implies that there exist excitation profiles that allow to extract more energy from the device than it is supplied with; so that their energy conversion efficiency exceeds 100%. This means that ideal memcapacitors and meminductors constitute so-called overunity systems. An illustrative mechanical analogue is provided that explicitly confirms this property. Hence, the question arises if ideal memcapacitors and meminductors will just remain some mathematical toys or artefacts. △ Less

Submitted 11 August, 2020; v1 submitted 7 August, 2020; originally announced August 2020.

Comments: 4 figures

Journal ref: Scientific Reports 10, 16688 (2020)

Limits to Energy Conversion

Authors: Arjan van der Schaft, Dimitri Jeltsema

Abstract: A consequence of the Second Law of thermodynamics is that no thermodynamic system with a single heat source at constant temperature can convert heat into mechanical work in a recurrent manner. First we note that this is equivalent to cyclo-passivity at the mechanical port of the thermodynamic system, while the temperature at the thermal port of the system is kept constant. This leads to the genera… ▽ More A consequence of the Second Law of thermodynamics is that no thermodynamic system with a single heat source at constant temperature can convert heat into mechanical work in a recurrent manner. First we note that this is equivalent to cyclo-passivity at the mechanical port of the thermodynamic system, while the temperature at the thermal port of the system is kept constant. This leads to the general system-theoretic question which systems with two power ports have similar behavior: when is a system cyclo-passive at one of its ports, while the output variable at the other port (such as the temperature in the thermodynamic case) is kept constant? This property is called `one-port cyclo-passivity', and entails, whenever it holds, a fundamental limitation to energy transfer from one port (where the output is kept constant) to the other port. Sufficient conditions for one-port cyclo-passivity are derived for systems formulated in general port-Hamiltonian form. This is illustrated by a variety of examples from different {(multi-)}physical domains; from coupled inductors and capacitor microphones to synchronous machines. △ Less

Submitted 29 June, 2020; originally announced June 2020.

Comments: 11 pages, 7 figures

Port-Hamiltonian formulation of nonlinear electrical circuits

Authors: Hannes Gernandt, Frédéric Haller, Timo Reis Arjan van der Schaft

Abstract: We consider nonlinear electrical circuits for which we derive a port-Hamiltonian formulation. After recalling a framework for nonlinear port-Hamiltonian systems, we model each circuit component as an individual port-Hamiltonian system. The overall circuit model is then derived by considering a port-Hamiltonian interconnection of the components. We further compare this modelling approach with stand… ▽ More We consider nonlinear electrical circuits for which we derive a port-Hamiltonian formulation. After recalling a framework for nonlinear port-Hamiltonian systems, we model each circuit component as an individual port-Hamiltonian system. The overall circuit model is then derived by considering a port-Hamiltonian interconnection of the components. We further compare this modelling approach with standard formulations of nonlinear electrical circuits △ Less

Submitted 22 April, 2020; originally announced April 2020.

MSC Class: 94C05; 94C15; 34A09; 37J05

Cyclo-dissipativity revisited

Authors: Arjan van der Schaft

Abstract: Starting from a symmetrization and extension of the basic definitions and results of dissipativity theory we obtain new results on cyclo-dissipativity; in particular their external characterization and description of the set of storage functions. Starting from a symmetrization and extension of the basic definitions and results of dissipativity theory we obtain new results on cyclo-dissipativity; in particular their external characterization and description of the set of storage functions. △ Less

Submitted 23 March, 2020; originally announced March 2020.

Comments: 13 pages

A family of virtual contraction based controllers for tracking of flexible-joints port-Hamiltonian robots: theory and experiments

Authors: Rodolfo Reyes-Báez, Arjan van der Schaft, Bayu Jayawardhana, Le Pan

Abstract: In this work we present a constructive method to design a family of virtual contraction based controllers that solve the standard trajectory tracking problem of flexible-joint robots (FJRs) in the port-Hamiltonian (pH) framework. The proposed design method, called virtual contraction based control (v-CBC), combines the concepts of virtual control systems and contraction analysis. It is shown that… ▽ More In this work we present a constructive method to design a family of virtual contraction based controllers that solve the standard trajectory tracking problem of flexible-joint robots (FJRs) in the port-Hamiltonian (pH) framework. The proposed design method, called virtual contraction based control (v-CBC), combines the concepts of virtual control systems and contraction analysis. It is shown that under potential energy matching conditions, the closed-loop virtual system is contractive and exponential convergence to a predefined trajectory is guaranteed. Moreover, the closed-loop virtual system exhibits properties such as structure preservation, differential passivity and the existence of (incrementally) passive maps. △ Less

Submitted 4 February, 2020; originally announced February 2020.

Comments: 10 pages, 4 figures, journal paper

A graphic formulation of non-isothermal chemical reaction systems and the analysis of detailed balanced networks

Authors: Zhou Fang, Arjan van der Schaft, Chuanhou Gao

Abstract: In this paper, we provide a graphic formulation of non-isothermal reaction systems and show that a non-isothermal detailed balanced network system converges (locally) asymptotically to the unique equilibrium within the invariant manifold determined by the initial condition. To model thermal effects, the proposed modeling approach extends the classical chemical reaction network by adding two parame… ▽ More In this paper, we provide a graphic formulation of non-isothermal reaction systems and show that a non-isothermal detailed balanced network system converges (locally) asymptotically to the unique equilibrium within the invariant manifold determined by the initial condition. To model thermal effects, the proposed modeling approach extends the classical chemical reaction network by adding two parameters to each direct (reaction) edge, depicting, respectively, the instantaneous internal energy change after the firing of the reaction and the variation of the reaction rate with respect to the temperature. For systems possessing thermodynamic equilibria, our modeling approach provides a compact formulation of the dynamics where reaction topology and thermodynamic information are presented simultaneously. Finally, using this formulation and the Legendre transformation, we show that non-isothermal detailed balanced network systems admit some fundamental properties: dissipativeness, the detailed balancing of each equilibrium, the existence and uniqueness of the equilibrium, and the asymptotic stability of each equilibrium. In general, the analysis and results of this work provide insights into the research of non-isothermal chemical reaction systems. △ Less

Submitted 29 September, 2020; v1 submitted 17 November, 2019; originally announced November 2019.

Comments: 32 pages; Accepted to SIAM Journal on Applied Dynamical Systems

MSC Class: 34D20; 80A30; 80A50; 93C15

Dirac and Lagrange algebraic constraints in nonlinear port-Hamiltonian systems

Authors: Arjan van der Schaft, Bernhard Maschke

Abstract: After recalling standard nonlinear port-Hamiltonian systems and their algebraic constraint equations, called here Dirac algebraic constraints, an extended class of port-Hamiltonian systems is introduced. This is based on replacing the Hamiltonian function by a general Lagrangian submanifold of the cotangent bundle of the state space manifold, motivated by developments in Barbero-Linan et al., and… ▽ More After recalling standard nonlinear port-Hamiltonian systems and their algebraic constraint equations, called here Dirac algebraic constraints, an extended class of port-Hamiltonian systems is introduced. This is based on replacing the Hamiltonian function by a general Lagrangian submanifold of the cotangent bundle of the state space manifold, motivated by developments in Barbero-Linan et al., and extending the linear theory as developed in Van der Schaft et al., Beattie et al.. The resulting new type of algebraic constraints equations are called Lagrange constraints. It is shown how Dirac algebraic constraints can be converted into Lagrange algebraic constraints by the introduction of extra state variables, and, conversely, how Lagrange algebraic constraints can be converted into Dirac algebraic constraints by the use of Morse families. △ Less

Submitted 16 September, 2019; originally announced September 2019.

Comments: 11 pages

MSC Class: 34A09; 65L80; 53D12; 70B45; 93C10

Plug-and-play Solvability of the Power Flow Equations for Interconnected DC Microgrids with Constant Power Loads

Authors: Mark Jeeninga, Claudio De Persis, Arjan J. van der Schaft

Abstract: In this paper we study the DC power flow equations of a purely resistive DC power grid which consists of interconnected DC microgrids with constant-power loads. We present a condition on the power grid which guarantees the existence of a solution to the power flow equations. In addition, we present a condition for any microgrid in island mode which guarantees that the power grid remains feasible u… ▽ More In this paper we study the DC power flow equations of a purely resistive DC power grid which consists of interconnected DC microgrids with constant-power loads. We present a condition on the power grid which guarantees the existence of a solution to the power flow equations. In addition, we present a condition for any microgrid in island mode which guarantees that the power grid remains feasible upon interconnection. These conditions provide a method to determine if a power grid remains feasible after the interconnection with a specific microgrid with constant-power loads. Although the presented condition are more conservative than existing conditions in the literature, its novelty lies in its plug-and-play property. That is, the condition gives a restriction on the to-be-connected microgrid, but does not impose more restrictions on the rest of the power grid. △ Less

Submitted 18 April, 2019; originally announced April 2019.

Comments: 8 pages, 2 figures, submitted to IEEE Conference on Decision and Control 2019

MSC Class: 93A99

Geometry of Thermodynamic Processes

Authors: Arjan van der Schaft, Bernhard Maschke

Abstract: Since the 1970s contact geometry has been recognized as an appropriate framework for the geometric formulation of the state properties of thermodynamic systems, without, however, addressing the formulation of non-equilibrium thermodynamic processes. In Balian & Valentin (2001) it was shown how the symplectization of contact manifolds provides a new vantage point; enabling, among others, to switch… ▽ More Since the 1970s contact geometry has been recognized as an appropriate framework for the geometric formulation of the state properties of thermodynamic systems, without, however, addressing the formulation of non-equilibrium thermodynamic processes. In Balian & Valentin (2001) it was shown how the symplectization of contact manifolds provides a new vantage point; enabling, among others, to switch between the energy and entropy representations of a thermodynamic system. In the present paper this is continued towards the global geometric definition of a degenerate Riemannian metric on the homogeneous Lagrangian submanifold describing the state properties, which is overarching the locally defined metrics of Weinhold and Ruppeiner. Next, a geometric formulation is given of non-equilibrium thermodynamic processes, in terms of Hamiltonian dynamics defined by Hamiltonian functions that are homogeneous of degree one in the co-extensive variables and zero on the homogeneous Lagrangian submanifold. The correspondence between objects in contact geometry and their homogeneous counterparts in symplectic geometry, as already largely present in the literature, appears to be elegant and effective. This culminates in the definition of port-thermodynamic systems, and the formulation of interconnection ports. The resulting geometric framework is illustrated on a number of simple examples, already indicating its potential for analysis and control. △ Less

Submitted 10 November, 2018; originally announced November 2018.

Comments: 23 pages

Contracts as specifications for dynamical systems in driving variable form

Authors: Bart Besselink, Karl H. Johansson, Arjan van der Schaft

Abstract: This paper introduces assume/guarantee contracts on continuous-time control systems, hereby extending contract theories for discrete systems to certain new model classes and specifications. Contracts are regarded as formal characterizations of control specifications, providing an alternative to specifications in terms of dissipativity properties or set-invariance. The framework has the potential t… ▽ More This paper introduces assume/guarantee contracts on continuous-time control systems, hereby extending contract theories for discrete systems to certain new model classes and specifications. Contracts are regarded as formal characterizations of control specifications, providing an alternative to specifications in terms of dissipativity properties or set-invariance. The framework has the potential to capture a richer class of specifications more suitable for complex engineering systems. The proposed contracts are supported by results that enable the verification of contract implementation and the comparison of contracts. These results are illustrated by an example of a vehicle following system. △ Less

Submitted 15 March, 2019; v1 submitted 12 October, 2018; originally announced October 2018.

Comments: 8 pages, 2 figures; minor changes in the final version, as accepted for publication in the Proceedings of the 2019 European Control Conference, Naples, Italy

An energy-based analysis of reduced-order models of (networked) synchronous machines

Authors: T. W. Stegink, C. De Persis, A. J. van der Schaft

Abstract: Stability of power networks is an increasingly important topic because of the high penetration of renewable distributed generation units. This requires the development of advanced (typically model-based) techniques for the analysis and controller design of power networks. Although there are widely accepted reduced-order models to describe the dynamic behavior of power networks, they are commonly p… ▽ More Stability of power networks is an increasingly important topic because of the high penetration of renewable distributed generation units. This requires the development of advanced (typically model-based) techniques for the analysis and controller design of power networks. Although there are widely accepted reduced-order models to describe the dynamic behavior of power networks, they are commonly presented without details about the reduction procedure, hampering the understanding of the physical phenomena behind them. The present paper aims to provide a modular model derivation of multi-machine power networks. Starting from first-principle fundamental physics, we present detailed dynamical models of synchronous machines and clearly state the underlying assumptions which lead to some of the standard reduced-order multi-machine models, including the classical second-order swing equations. In addition, the energy functions for the reduced-order multi-machine models are derived, which allows to represent the multi-machine systems as port-Hamiltonian systems. Moreover, the systems are proven to be passive with respect to its steady states, which permits for a power-preserving interconnection with other passive components, including passive controllers. As a result, the corresponding energy function or Hamiltonian can be used to provide a rigorous stability analysis of advanced models for the power network without having to linearize the system. △ Less

Submitted 29 August, 2018; originally announced September 2018.

Comments: 34 pages. Submitted to Mathematical and Computer Modeling of Dynamical Systems

Generalized Port-Hamiltonian DAE Systems

Authors: Arjan van der Schaft, Bernhard Maschke

Abstract: Motivated by recent work in this area we expand on a generalization of port-Hamiltonian systems that is obtained by replacing the Hamiltonian function representing energy storage by a general Lagrangian subspace. This leads to a new class of algebraic constraints in physical systems modeling, and to an interesting class of DAE systems. It is shown how constant Dirac structures and Lagrangian subsp… ▽ More Motivated by recent work in this area we expand on a generalization of port-Hamiltonian systems that is obtained by replacing the Hamiltonian function representing energy storage by a general Lagrangian subspace. This leads to a new class of algebraic constraints in physical systems modeling, and to an interesting class of DAE systems. It is shown how constant Dirac structures and Lagrangian subspaces allow for similar representations, and how this leads to descriptions of the DAE systems entailing generalized Lagrange multipliers. △ Less

Submitted 6 August, 2018; originally announced August 2018.

Comments: 19 pages

Passivity based distributed tracking control of networked Euler-Lagrange systems

Authors: Rodolfo Reyes-Baez, Arjan van der Schaft, Bayu Jayawardhana

Abstract: In this paper we present three distributed control laws for the coordination of networked Euler-Lagrange (EL) systems. We first reformulate the passivity-based control design method in \cite{Arcak} by considering that each edge is associated with an \emph{artificial spring system} instead of the usual diffusive coupling among the communicating agents. With this configuration, the networked EL syst… ▽ More In this paper we present three distributed control laws for the coordination of networked Euler-Lagrange (EL) systems. We first reformulate the passivity-based control design method in \cite{Arcak} by considering that each edge is associated with an \emph{artificial spring system} instead of the usual diffusive coupling among the communicating agents. With this configuration, the networked EL system possesses a "symmetric" feedback structure which together with the strict passivity of both agents' and edges' dynamics lead to a strictly passive network dynamics. Subsequently we present the networked version of two different passivity-based tracking controllers %local controllers that are particular cases of our method and the one in \cite{Arcak}. Numerical simulation is presented to show the performance of the proposed methods. △ Less

Submitted 15 May, 2018; originally announced May 2018.

Comments: Submitted to Necsys2018, 7 pages, 1 figure

Tracking Control of Marine Craft in the port-Hamiltonian Framework: A Virtual Differential Passivity Approach

Authors: Rodolfo Reyes-Báez, Alejandro Donaire, Arjan van der Schaft, Bayu Jayawardhana, Tristan Perez

Abstract: In this work we propose a family of trajectory tracking controllers for marine craft in the port-Hamiltonian (pH) framework using virtual differential passivity based control (v-dPBC). Two pH models of marine craft are considered, one in a body frame and another in an inertial frame. The structure and workless forces of pH models are exploited to design two virtual control systems which are relate… ▽ More In this work we propose a family of trajectory tracking controllers for marine craft in the port-Hamiltonian (pH) framework using virtual differential passivity based control (v-dPBC). Two pH models of marine craft are considered, one in a body frame and another in an inertial frame. The structure and workless forces of pH models are exploited to design two virtual control systems which are related to the original marine craft's pH models. These virtual systems are rendered differentially passive with an imposed steady-state trajectory, both by means of a control scheme. Finally, the original marine craft pH models in closed-loop with above controllers solve the trajectory tracking problem. The performance of the closedloop system is evaluated on numerical simulations. △ Less

Submitted 21 March, 2018; originally announced March 2018.

Comments: Submitted to CDC 2018

Hybrid interconnection of iterative bidding and power network dynamics for frequency regulation and optimal dispatch

Authors: Tjerk Stegink, Ashish Cherukuri, Claudio De Persis, Arjan van der Schaft, Jorge Cortés

Abstract: This paper considers a real-time electricity market involving an independent system operator (ISO) and a group of strategic generators. The ISO operates a market where generators bid prices at which there are willing to provide power. The ISO makes power generation assignments with the goal of solving the economic dispatch problem and regulating the network frequency. We propose a multi-rate hybri… ▽ More This paper considers a real-time electricity market involving an independent system operator (ISO) and a group of strategic generators. The ISO operates a market where generators bid prices at which there are willing to provide power. The ISO makes power generation assignments with the goal of solving the economic dispatch problem and regulating the network frequency. We propose a multi-rate hybrid algorithm for bidding and market clearing that combines the discrete nature of iterative bidding with the continuous nature of the frequency evolution in the power network. We establish sufficient upper bounds on the inter-event times that guarantee that the proposed algorithm asymptotically converges to an equilibrium corresponding to an efficient Nash equilibrium and zero frequency deviation. Our technical analysis builds on the characterization of the robustness properties of the continuous-time version of the bidding update process interconnected with the power network dynamics via the identification of a novel LISS-Lyapunov function. Simulations on the IEEE 14-bus system illustrate our results. △ Less

Submitted 12 March, 2018; originally announced March 2018.

Comments: 12 pages, 6 figures

Power-Controlled Hamiltonian Systems: Application to Electrical Systems with Constant Power Loads

Authors: Pooya Monshizadeh, Juan E. Machado, Romeo Ortega, Arjan van der Schaft

Abstract: We study a type of port-Hamiltonian system, in which the controller or disturbance is not applied to the flow variables, but to the systems power, a scenario that appears in many practical applications. A suitable framework is provided to model these systems and to investigate their shifted passivity properties, based on which, a stability analysis is carried out. The applicability of the results… ▽ More We study a type of port-Hamiltonian system, in which the controller or disturbance is not applied to the flow variables, but to the systems power, a scenario that appears in many practical applications. A suitable framework is provided to model these systems and to investigate their shifted passivity properties, based on which, a stability analysis is carried out. The applicability of the results is illustrated with the important problem of stability analysis of electrical circuits with constant power loads. △ Less

Submitted 7 February, 2018; originally announced February 2018.

Frequency-driven market mechanisms for optimal dispatch in power networks

Authors: Tjerk Stegink, Ashish Cherukuri, Claudio De Persis, Arjan van der Schaft, Jorge Cortés

Abstract: This paper studies real-time bidding mechanisms for economic dispatch and frequency regulation in electrical power networks. We consider a market administered by an independent system operator (ISO) where a group of strategic generators participate in a Bertrand game of competition. Generators bid prices at which they are willing to produce electricity. Each generator aims to maximize their profit… ▽ More This paper studies real-time bidding mechanisms for economic dispatch and frequency regulation in electrical power networks. We consider a market administered by an independent system operator (ISO) where a group of strategic generators participate in a Bertrand game of competition. Generators bid prices at which they are willing to produce electricity. Each generator aims to maximize their profit, while the ISO seeks to minimize the total generation cost and to regulate the frequency of the system. We consider a continuous-time bidding process coupled with the swing dynamics of the network through the use of frequency as a feedback signal for the negotiation process. We analyze the stability of the resulting interconnected system, establishing frequency regulation and the convergence to a Nash equilibrium and optimal generation levels. The results are verified in the IEEE 14-bus benchmark case. △ Less

Submitted 30 December, 2017; originally announced January 2018.

Comments: 8 pages, submitted to IEEE Transactions on Automatic Control

The flow equations of linear resistive electrical networks

Authors: Arjan van der Schaft

Abstract: Resistive electrical networks constitute a beautiful example of open, interconnected, large-scale systems, giving rise to an elegant classical mathematical theory, still posing open problems and suggesting important extensions. Resistive electrical networks constitute a beautiful example of open, interconnected, large-scale systems, giving rise to an elegant classical mathematical theory, still posing open problems and suggesting important extensions. △ Less

Submitted 29 December, 2017; originally announced December 2017.

Comments: 15 pages

Conditions on Shifted Passivity of Port-Hamiltonian Systems

Authors: Nima Monshizadeh, Pooya Monshizadeh, Romeo Ortega, Arjan van der Schaft

Abstract: In this paper, we examine the shifted passivity property of port-Hamiltonian systems. Shifted passivity accounts for the fact that in many applications the desired steady-state values of the input and output variables are nonzero, and thus one is interested in passivity with respect to the shifted signals. We consider port-Hamiltonian systems with strictly convex Hamiltonian, and derive conditions… ▽ More In this paper, we examine the shifted passivity property of port-Hamiltonian systems. Shifted passivity accounts for the fact that in many applications the desired steady-state values of the input and output variables are nonzero, and thus one is interested in passivity with respect to the shifted signals. We consider port-Hamiltonian systems with strictly convex Hamiltonian, and derive conditions under which shifted passivity is guaranteed. In case the Hamiltonian is quadratic and state dependency appears in an affine manner in the dissipation and interconnection matrices, our conditions reduce to negative semidefiniteness of an appropriately constructed constant matrix. Moreover, we elaborate on how these conditions can be extended to the case when the shifted passivity property can be enforced via output feedback, thus paving the path for controller design. Stability of forced equilibria of the system is analyzed invoking the proposed passivity conditions. The utility and relevance of the results are illustrated with their application to a 6th order synchronous generator model as well as a controlled rigid body system. △ Less

Submitted 24 November, 2017; originally announced November 2017.

Comments: 11 pages, 1 figure

Virtual Differential Passivity based Control for Tracking of Flexible-joints Robots

Authors: Rodlfo Reyes-Báez, Arjan van der Schaft, Bayu Jayawardhana

Abstract: Based on recent advances in contraction methods in systems and control, in this paper we present the virtual differential passivity based control (v-dPBC) technique. This is a constructive design method that combines the concept of virtual systems and of differential passivity. We apply the method to the tracking control problem of flexible joints robots (FJRs) which are formulated in the port-Ham… ▽ More Based on recent advances in contraction methods in systems and control, in this paper we present the virtual differential passivity based control (v-dPBC) technique. This is a constructive design method that combines the concept of virtual systems and of differential passivity. We apply the method to the tracking control problem of flexible joints robots (FJRs) which are formulated in the port-Hamiltonian (pH) framework. Simulations on a single flexible joint link are presented for showing the performance of a controller obtained with this approach. △ Less

Submitted 1 November, 2017; v1 submitted 30 October, 2017; originally announced October 2017.

Comments: 8 pages, 2 figures, submitted to Workshop on Lagrangian and Hamiltonian Methods in Nonlinear Control 2018

Topological and Graph-coloring Conditions on the Parameter-independent Stability of Second-order Networked Systems

Authors: Filip Koerts, Mathias Bürger, Arjan van der Schaft, Claudio De Persis

Abstract: In this paper, we study parameter-independent stability in qualitatively heterogeneous passive networked systems containing damped and undamped nodes. Given the graph topology and a set of damped nodes, we ask if output consensus is achieved for all system parameter values. For given parameter values, an eigenspace analysis is used to determine output consensus. The extension to parameter-independ… ▽ More In this paper, we study parameter-independent stability in qualitatively heterogeneous passive networked systems containing damped and undamped nodes. Given the graph topology and a set of damped nodes, we ask if output consensus is achieved for all system parameter values. For given parameter values, an eigenspace analysis is used to determine output consensus. The extension to parameter-independent stability is characterized by a coloring problem, named the richly balanced coloring (RBC) problem. The RBC problem asks if all nodes of the graph can be colored red, blue and black in such a way that (i) every damped node is black, (ii) every black node has blue neighbors if and only if it has red neighbors, and (iii) not all nodes in the graph are black. Such a colored graph is referred to as a richly balanced colored graph. Parameter-independent stability is guaranteed if there does not exist a richly balanced coloring. The RBC problem is shown to cover another well-known graph coloring scheme known as zero forcing sets. That is, if the damped nodes form a zero forcing set in the graph, then a richly balanced coloring does not exist and thus, parameter-independent stability is guaranteed. However, the full equivalence of zero forcing sets and parameter-independent stability holds only true for tree graphs. For more general graphs with few fundamental cycles an algorithm, named chord node coloring, is proposed that significantly outperforms a brute-force search for solving the NP-complete RBC problem. △ Less

Submitted 8 September, 2017; originally announced September 2017.

Comments: 30 pages, accepted for publication in SICON

Passivity based design of sliding modes for optimal Load Frequency Control

Authors: Sebastian Trip, Michele Cucuzzella, Claudio De Persis, Arjan van der Schaft, Antonella Ferrara

Abstract: This paper proposes a distributed sliding mode control strategy for optimal Load Frequency Control (OLFC) in power networks, where besides frequency regulation also minimization of generation costs is achieved (economic dispatch). We study a nonlinear power network partitioned into control areas, where each area is modelled by an equivalent generator including voltage and second order turbine-gove… ▽ More This paper proposes a distributed sliding mode control strategy for optimal Load Frequency Control (OLFC) in power networks, where besides frequency regulation also minimization of generation costs is achieved (economic dispatch). We study a nonlinear power network partitioned into control areas, where each area is modelled by an equivalent generator including voltage and second order turbine-governor dynamics. The turbine-governor dynamics suggest the design of a sliding manifold, such that the turbine-governor system enjoys a suitable passivity property, once the sliding manifold is attained. This work offers a new perspective on OLFC by means of sliding mode control, and in comparison with existing literature, we relax required dissipation conditions on the generation side and assumptions on the system parameters. △ Less

Submitted 5 September, 2017; originally announced September 2017.

Comments: 11 pages

A Robust Consensus Algorithm for Current Sharing and Voltage Regulation in DC Microgrids

Authors: Michele Cucuzzella, Sebastian Trip, Claudio De Persis, Xiaodong Cheng, Antonella Ferrara, Arjan van der Schaft

Abstract: In this paper a novel distributed control algorithm for current sharing and voltage regulation in Direct Current (DC) microgrids is proposed. The DC microgrid is composed of several Distributed Generation units (DGUs), including Buck converters and current loads. The considered model permits an arbitrary network topology and is affected by unknown load demand and modelling uncertainties. The propo… ▽ More In this paper a novel distributed control algorithm for current sharing and voltage regulation in Direct Current (DC) microgrids is proposed. The DC microgrid is composed of several Distributed Generation units (DGUs), including Buck converters and current loads. The considered model permits an arbitrary network topology and is affected by unknown load demand and modelling uncertainties. The proposed control strategy exploits a communication network to achieve proportional current sharing using a consensus-like algorithm. Voltage regulation is achieved by constraining the system to a suitable manifold. Two robust control strategies of Sliding Mode (SM) type are developed to reach the desired manifold in a finite time. The proposed control scheme is formally analyzed, proving the achievement of proportional current sharing, while guaranteeing that the weighted average voltage of the microgrid is identical to the weighted average of the voltage references. △ Less

Submitted 29 April, 2018; v1 submitted 15 August, 2017; originally announced August 2017.

Comments: 12 pages