-
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.
-
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.
-
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.
-
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.
-
Equivalence Notions for Discrete-Time Stochastic Linear Control Systems
Authors:
Giordano Pola,
Costanzo Manes,
Arjan J. van der Schaft,
Maria Domenica Di Benedetto
Abstract:
In this paper we propose definitions of equivalence via stochastic bisimulation and of equivalence of stochastic external behavior for the class of discrete-time stochastic linear control systems with possibly degenerate normally distributed disturbances. The first notion is inspired by the notion of probabilistic bisimulation for probabilistic chains while the second one by the notion of equivale…
▽ More
In this paper we propose definitions of equivalence via stochastic bisimulation and of equivalence of stochastic external behavior for the class of discrete-time stochastic linear control systems with possibly degenerate normally distributed disturbances. The first notion is inspired by the notion of probabilistic bisimulation for probabilistic chains while the second one by the notion of equivalence of external behavior for (nonstochastic) behavioral systems. Geometric necessary and sufficient conditions for checking these notions are derived. Model reduction via Kalman-like decomposition is also proposed. Connections with stochastic linear realization theory and stochastic reachability are established.
△ Less
Submitted 25 November, 2016;
originally announced November 2016.
-
Stabilization of structure-preserving power networks with market dynamics
Authors:
Tjerk W. Stegink,
Claudio De Persis,
Arjan J. van der Schaft
Abstract:
This paper studies the problem of maximizing the social welfare while stabilizing both the physical power network as well as the market dynamics. For the physical power grid a third-order structure-preserving model is considered involving both frequency and voltage dynamics. By applying the primal-dual gradient method to the social welfare problem, a distributed dynamic pricing algorithm in port-H…
▽ More
This paper studies the problem of maximizing the social welfare while stabilizing both the physical power network as well as the market dynamics. For the physical power grid a third-order structure-preserving model is considered involving both frequency and voltage dynamics. By applying the primal-dual gradient method to the social welfare problem, a distributed dynamic pricing algorithm in port-Hamiltonian form is obtained. After interconnection with the physical system a closed-loop port-Hamiltonian system of differential-algebraic equations is obtained, whose properties are exploited to prove local asymptotic stability of the optimal points.
△ Less
Submitted 23 April, 2017; v1 submitted 15 November, 2016;
originally announced November 2016.
-
Modeling of Physical Network Systems
Authors:
A. J. van der Schaft
Abstract:
Conservation laws and balance equations for physical network systems typically can be described with the aid of the incidence matrix of a directed graph, and an associated symmetric Laplacian matrix. Some basic examples are discussed, and the extension to $k$-complexes is indicated. Physical distribution networks often involve a non-symmetric Laplacian matrix. It is shown how, in case the connecte…
▽ More
Conservation laws and balance equations for physical network systems typically can be described with the aid of the incidence matrix of a directed graph, and an associated symmetric Laplacian matrix. Some basic examples are discussed, and the extension to $k$-complexes is indicated. Physical distribution networks often involve a non-symmetric Laplacian matrix. It is shown how, in case the connected components of the graph are strongly connected, such systems can be converted into a form with balanced Laplacian matrix by constructive use of Kirchhoff's Matrix Tree theorem, giving rise to a port-Hamiltonian description. Application to the dual case of asymmetric consensus algorithms is given. Finally it is shown how the minimal storage function for physical network systems with controlled flows can be explicitly computed.
△ Less
Submitted 16 October, 2015;
originally announced October 2015.
-
Consensus problems with arbitrary sign-preserving nonlinearities
Authors:
J. Wei,
A. R. F. Everts,
M. K. Camlibel,
A. J. van der Schaft
Abstract:
This paper studies consensus problems for multi-agent systems defined on directed graphs where the consensus dynamics involves nonlinear and discontinuous functions. Sufficient conditions, involving the nonlinear functions and the topology of the underlying graph, for the agents to converge to consensus are provided. For a special case, namely the multi-agent system defined on a strongly connected…
▽ More
This paper studies consensus problems for multi-agent systems defined on directed graphs where the consensus dynamics involves nonlinear and discontinuous functions. Sufficient conditions, involving the nonlinear functions and the topology of the underlying graph, for the agents to converge to consensus are provided. For a special case, namely the multi-agent system defined on a strongly connected graph with continuous functions, we show the convergence by using a port-Hamiltonian formulation.
△ Less
Submitted 13 May, 2017; v1 submitted 9 August, 2015;
originally announced August 2015.
-
A graphic condition for the stability of dynamical distribution networks with flow constraints
Authors:
Jieqiang Wei,
Arjan J. van der Schaft
Abstract:
We consider a basic model of a dynamical distribution network, modeled as a directed graph with storage variables corresponding to every vertex and flow inputs corresponding to every edge, subject to unknown but constant inflows and outflows. In [1] we showed how a distributed proportionalintegral controller structure, associating with every edge of the graph a controller state, regulates the stat…
▽ More
We consider a basic model of a dynamical distribution network, modeled as a directed graph with storage variables corresponding to every vertex and flow inputs corresponding to every edge, subject to unknown but constant inflows and outflows. In [1] we showed how a distributed proportionalintegral controller structure, associating with every edge of the graph a controller state, regulates the state variables of the vertices, irrespective of the unknown constant inflows and outflows, in the sense that the storage variables converge to the same value (load balancing or consensus). In many practical cases, the flows on the edges are constrained. The main result of [1] is a sufficient and necessary condition, which only depend on the structure of the network, for load balancing for arbitrary constraint intervals of which the intersection has nonempty interior. In this paper, we will consider the question about how to decide the steady states of the same model as in [1] with given network structure and constraint intervals. We will derive a graphic condition, which is sufficient and necessary, for load balancing. This will be proved by a Lyapunov function and the analysis the kernel of incidence matrix of the network. Furthermore, we will show that by modified PI controller, the storage variable on the nodes can be driven to an arbitrary point of admissible set.
△ Less
Submitted 20 March, 2014;
originally announced March 2014.
-
Constrained proportional integral control of dynamical distribution networks with state constraints
Authors:
Jieqiang Wei,
Arjan J. van der Schaft
Abstract:
This paper studies a basic model of a dynamical distribution network, where the network topology is given by a directed graph with storage variables corresponding to the vertices and flow inputs corresponding to the edges. We aim at regulating the system to consensus, while the storage variables remain greater or equal than a given lower bound. The problem is solved by using a distributed PI contr…
▽ More
This paper studies a basic model of a dynamical distribution network, where the network topology is given by a directed graph with storage variables corresponding to the vertices and flow inputs corresponding to the edges. We aim at regulating the system to consensus, while the storage variables remain greater or equal than a given lower bound. The problem is solved by using a distributed PI controller structure with constraints which vary in time. It is shown how the constraints can be obtained by solving an optimization problem.
△ Less
Submitted 12 November, 2014; v1 submitted 20 March, 2014;
originally announced March 2014.
-
Load balancing of dynamical distribution networks with flow constraints and unknown in/outflows
Authors:
J. Wei,
A. J. van der Schaft
Abstract:
We consider a basic model of a dynamical distribution network, modeled as a directed graph with storage variables corresponding to every vertex and flow inputs corresponding to every edge, subject to unknown but constant inflows and outflows. As a preparatory result it is shown how a distributed proportional-integral controller structure, associating with every edge of the graph a controller state…
▽ More
We consider a basic model of a dynamical distribution network, modeled as a directed graph with storage variables corresponding to every vertex and flow inputs corresponding to every edge, subject to unknown but constant inflows and outflows. As a preparatory result it is shown how a distributed proportional-integral controller structure, associating with every edge of the graph a controller state, will regulate the state variables of the vertices, irrespective of the unknown constant inflows and outflows, in the sense that the storage variables converge to the same value (load balancing or consensus). This will be proved by identifying the closed-loop system as a port-Hamiltonian system, and modifying the Hamiltonian function into a Lyapunov function, dependent on the value of the vector of constant inflows and outflows. In the main part of the paper the same problem will be addressed for the case that the input flow variables are {\it constrained} to take value in an interval. We will derive sufficient and necessary conditions for load balancing, which only depend on the structure of the network in relation with the flow constraints.
△ Less
Submitted 19 March, 2013;
originally announced March 2013.
-
Port-Hamiltonian systems on graphs
Authors:
A. J. van der Schaft,
B. M. Maschke
Abstract:
In this paper we present a unifying geometric and compositional framework for modeling complex physical network dynamics as port-Hamiltonian systems on open graphs. Basic idea is to associate with the incidence matrix of the graph a Dirac structure relating the flow and effort variables associated to the edges, internal vertices, as well as boundary vertices of the graph, and to formulate energy-s…
▽ More
In this paper we present a unifying geometric and compositional framework for modeling complex physical network dynamics as port-Hamiltonian systems on open graphs. Basic idea is to associate with the incidence matrix of the graph a Dirac structure relating the flow and effort variables associated to the edges, internal vertices, as well as boundary vertices of the graph, and to formulate energy-storing or energy-dissipating relations between the flow and effort variables of the edges and internal vertices. This allows for state variables associated to the edges, and formalizes the interconnection of networks. Examples from different origins such as consensus algorithms are shown to share the same structure. It is shown how the identified Hamiltonian structure offers systematic tools for the analysis of the resulting dynamics.
△ Less
Submitted 6 September, 2012; v1 submitted 11 July, 2011;
originally announced July 2011.
-
Parametrization of the regular equivalences of the canonical controller and its applications
Authors:
A. A. Julius,
J. W. Polderman,
A. J. van der Schaft
Abstract:
We study control problems for linear systems in the behavioral framework. Our focus is a class of regular controllers that are equivalent to the canonical controller. The canonical controller is a particular controller that is guaranteed to be a solution whenever a solution exists. However, it has been shown that in most cases, the canonical controller is not regular. The main result of the pape…
▽ More
We study control problems for linear systems in the behavioral framework. Our focus is a class of regular controllers that are equivalent to the canonical controller. The canonical controller is a particular controller that is guaranteed to be a solution whenever a solution exists. However, it has been shown that in most cases, the canonical controller is not regular. The main result of the paper is a parametrization of all regular controllers that are equivalent to the canonical controller. The parametrization is then used to solve two control problems. The first problem is related to designing a regular controller that uses as few control channels as possible. The second problem is to design a regular controller that satisfies a predefined input-output partitioning constraint. In both problems, based on the parametrization, we present algorithms that does the controller design.
△ Less
Submitted 24 September, 2007; v1 submitted 9 August, 2007;
originally announced August 2007.
