-
On the distributed backward reachability problem for large scale systems
Authors:
Davide Liuzza,
Paolo Falcone,
Massimo Tipaldi,
Luigi Glielmo
Abstract:
Backward reachability (also termed controllability) has been extensively studied in control theory, and tools for a wide class of systems have been developed. Nevertheless, assessing a backward reachability analysis or synthesis remains challenging as the system dimension grows. In this paper we study the backward reachability problem for large scale networked nonlinear systems with coupled dynami…
▽ More
Backward reachability (also termed controllability) has been extensively studied in control theory, and tools for a wide class of systems have been developed. Nevertheless, assessing a backward reachability analysis or synthesis remains challenging as the system dimension grows. In this paper we study the backward reachability problem for large scale networked nonlinear systems with coupled dynamics and subject to states and inputs nonlinear constraints. We propose a theory for completely general nonlinear constrained large scale controllability problems. We demonstrate that it is always possible to recast such problems for the overall large scale system into an equivalent distributed form where, without introducing any conservativeness, each node of the network iteratively solves a local reachability subproblem by exchanging information with the adjacent nodes. Although the proposed algorithm is completely decentralized, the solution of the backward reachability problem for the overall system is equivalently determined by the local ones and satisfies all the given constraints. Not being linked to any specific assumption on the system dynamics nor static constraints, the proposed results hold irrespectively of any possible analytical/numerical solver to be adopted for backward reachability computation.
△ Less
Submitted 10 September, 2021;
originally announced September 2021.
-
$PI^hD^{n-1}$ synchronization of higher-order nonlinear systems with a recursive Lyapunov approach
Authors:
Davide Liuzza,
Dimos V. Dimarogonas,
Karl H. Johansson
Abstract:
This paper investigates the problem of synchronization for nonlinear systems. Following a Lyapunov approach, we firstly study global synchronization of nonlinear systems in canonical control form with both distributed proportional-derivative and proportional-integral-derivative control actions of any order. To do so, we develop a constructive methodology and generate in an iterative way inequality…
▽ More
This paper investigates the problem of synchronization for nonlinear systems. Following a Lyapunov approach, we firstly study global synchronization of nonlinear systems in canonical control form with both distributed proportional-derivative and proportional-integral-derivative control actions of any order. To do so, we develop a constructive methodology and generate in an iterative way inequality constraints on the coupling matrices which guarantee the solvability of the problem or, in a dual form, provide the nonlinear weights on the coupling links between the agents such that the network synchronizes. The same methodology allows to include a possible distributed integral action of any order to enhance the rejection of heterogeneous disturbances.The considered approach does not require any dynamic cancellation, thus preserving the original nonlinear dynamics of the agents. The results are then extended to linear and nonlinear systems admitting a canonical control transformation. Numerical simulations validate the theoretical results.
△ Less
Submitted 4 April, 2017;
originally announced April 2017.
-
Convergence and synchronization in heterogeneous networks of smooth and piecewise smooth systems
Authors:
Pietro DeLellis,
Mario di Bernardo,
Davide Liuzza
Abstract:
This paper presents a framework for the study of convergence when the nodes' dynamics may be both piecewise smooth and/or nonidentical across the network. Specifically, we derive sufficient conditions for global convergence of all node trajectories towards the same bounded region of their state space. The analysis is based on the use of set-valued Lyapunov functions and bounds are derived on the m…
▽ More
This paper presents a framework for the study of convergence when the nodes' dynamics may be both piecewise smooth and/or nonidentical across the network. Specifically, we derive sufficient conditions for global convergence of all node trajectories towards the same bounded region of their state space. The analysis is based on the use of set-valued Lyapunov functions and bounds are derived on the minimum coupling strength required to make all nodes in the network converge towards each other. We also provide an estimate of the asymptotic bound $ε$ on the mismatch between the node states at steady state. The analysis is performed both for linear and nonlinear coupling protocols. The theoretical analysis is extensively illustrated and validated via its application to a set of representative numerical examples.
△ Less
Submitted 7 April, 2014;
originally announced April 2014.
-
Contraction analysis of switched systems: the case of Caratheodory Systems and Networks
Authors:
Mario di Bernardo,
Davide Liuzza,
Giovanni Russo
Abstract:
In this paper we extend to a generic class of piecewise smooth dynamical systems a fundamental tool for the analysis of convergence of smooth dynamical systems: contraction theory. We focus on switched systems satisfying Caratheodory conditions for the existence and unicity of a solution. After generalizing the classical definition of contraction to this class of dynamical systems, we give suffici…
▽ More
In this paper we extend to a generic class of piecewise smooth dynamical systems a fundamental tool for the analysis of convergence of smooth dynamical systems: contraction theory. We focus on switched systems satisfying Caratheodory conditions for the existence and unicity of a solution. After generalizing the classical definition of contraction to this class of dynamical systems, we give sufficient conditions for global exponential convergence of their trajectories. The theoretical results are then applied to solve a set of representative problems including proving global asymptotic stability of switched linear systems, giving conditions for incremental stability of piecewise smooth systems, and analyzing the convergence of networked switched linear systems.
△ Less
Submitted 4 October, 2011;
originally announced October 2011.
