-
Design of Stochastic Quantizers for Privacy Preservation
Authors:
Le Liu,
Yu Kawano,
Ming Cao
Abstract:
In this paper, we examine the role of stochastic quantizers for privacy preservation. We first employ a static stochastic quantizer and investigate its corresponding privacy-preserving properties. Specifically, we demonstrate that a sufficiently large quantization step guarantees $(0, δ)$ differential privacy. Additionally, the degradation of control performance caused by quantization is evaluated…
▽ More
In this paper, we examine the role of stochastic quantizers for privacy preservation. We first employ a static stochastic quantizer and investigate its corresponding privacy-preserving properties. Specifically, we demonstrate that a sufficiently large quantization step guarantees $(0, δ)$ differential privacy. Additionally, the degradation of control performance caused by quantization is evaluated as the tracking error of output regulation. These two analyses characterize the trade-off between privacy and control performance, determined by the quantization step. This insight enables us to use quantization intentionally as a means to achieve the seemingly conflicting two goals of maintaining control performance and preserving privacy at the same time; towards this end, we further investigate a dynamic stochastic quantizer. Under a stability assumption, the dynamic stochastic quantizer can enhance privacy, more than the static one, while achieving the same control performance. We further handle the unstable case by additionally applying input Gaussian noise.
△ Less
Submitted 5 March, 2024;
originally announced March 2024.
-
Krasovskii Passivity for Sampled-data Stabilization and Output Consensus
Authors:
Yu Kawano,
Alessio Moreschini,
Michele Cucuzzella
Abstract:
In this paper, we establish the novel concept of Krasovskii passivity for sampled discrete-time nonlinear systems, enabling Krasovskii-passivity-based control design under sampling. We consider two separate control objectives: stabilization and output consensus, where the latter is studied under the presence of an unknown constant disturbance. Inspired by methodologies in the continuous-time case,…
▽ More
In this paper, we establish the novel concept of Krasovskii passivity for sampled discrete-time nonlinear systems, enabling Krasovskii-passivity-based control design under sampling. We consider two separate control objectives: stabilization and output consensus, where the latter is studied under the presence of an unknown constant disturbance. Inspired by methodologies in the continuous-time case, we develop sampled-data control schemes for each control objective based on Krasovskii passivity. The proposed sampled discrete-time controllers are respectively validated through simulations on a DC microgrid of boost converters and a DC microgrid of buck converters whose continuous-time models and their implicit midpoint discretizations are Krasovskii passive in each time scale.
△ Less
Submitted 16 June, 2023;
originally announced June 2023.
-
An LMI Framework for Contraction-based Nonlinear Control Design by Derivatives of Gaussian Process Regression
Authors:
Yu Kawano,
Kenji Kashima
Abstract:
Contraction theory formulates the analysis of nonlinear systems in terms of Jacobian matrices. Although this provides the potential to develop a linear matrix inequality (LMI) framework for nonlinear control design, conditions are imposed not on controllers but on their partial derivatives, which makes control design challenging. In this paper, we illustrate this so-called integrability problem ca…
▽ More
Contraction theory formulates the analysis of nonlinear systems in terms of Jacobian matrices. Although this provides the potential to develop a linear matrix inequality (LMI) framework for nonlinear control design, conditions are imposed not on controllers but on their partial derivatives, which makes control design challenging. In this paper, we illustrate this so-called integrability problem can be solved by a non-standard use of Gaussian process regression (GPR) for parameterizing controllers and then establish an LMI framework of contraction-based control design for nonlinear discrete-time systems, as an easy-to-implement tool. Later on, we consider the case where the drift vector fields are unknown and employ GPR for functional fitting as its standard use. GPR describes learning errors in terms of probability, and thus we further discuss how to incorporate stochastic learning errors into the proposed LMI framework.
△ Less
Submitted 19 January, 2023;
originally announced January 2023.
-
${\mathcal K}$-monotonicity and feedback synthesis for incrementally stable networks
Authors:
Yu Kawano,
Fulvio Forni
Abstract:
We discuss the role of monotonicity in enabling numerically tractable modular control design for networked nonlinear systems. We first show that the variational systems of monotone systems can be embedded into positive systems. Utilizing this embedding, we show how to solve a network stabilization problem by enforcing monotonicity and exponential dissipativity of the network sub-components. Such m…
▽ More
We discuss the role of monotonicity in enabling numerically tractable modular control design for networked nonlinear systems. We first show that the variational systems of monotone systems can be embedded into positive systems. Utilizing this embedding, we show how to solve a network stabilization problem by enforcing monotonicity and exponential dissipativity of the network sub-components. Such modular approach leads to a design algorithm based on a sequence of linear programming problems.
△ Less
Submitted 4 March, 2023; v1 submitted 20 July, 2022;
originally announced July 2022.
-
Krasovskii and Shifted Passivity Based Output Consensus
Authors:
Yu Kawano,
Michele Cucuzzella,
Shuai Feng,
Jacquelien M. A. Scherpen
Abstract:
Motivated by current sharing in power networks, we consider a class of output consensus (also called agreement) problems for nonlinear systems, where the consensus value is determined by external disturbances, e.g., power demand. This output consensus problem is solved by a simple distributed output feedback controller if a system is either Krasovskii or shifted passive, which is the only essentia…
▽ More
Motivated by current sharing in power networks, we consider a class of output consensus (also called agreement) problems for nonlinear systems, where the consensus value is determined by external disturbances, e.g., power demand. This output consensus problem is solved by a simple distributed output feedback controller if a system is either Krasovskii or shifted passive, which is the only essential requirement. The effectiveness of the proposed controller is shown in simulation on an islanded DC power network.
△ Less
Submitted 4 July, 2022;
originally announced July 2022.
-
Learning Stabilizable Deep Dynamics Models
Authors:
Kenji Kashima,
Ryota Yoshiuchi,
Yu Kawano
Abstract:
When neural networks are used to model dynamics, properties such as stability of the dynamics are generally not guaranteed. In contrast, there is a recent method for learning the dynamics of autonomous systems that guarantees global exponential stability using neural networks. In this paper, we propose a new method for learning the dynamics of input-affine control systems. An important feature is…
▽ More
When neural networks are used to model dynamics, properties such as stability of the dynamics are generally not guaranteed. In contrast, there is a recent method for learning the dynamics of autonomous systems that guarantees global exponential stability using neural networks. In this paper, we propose a new method for learning the dynamics of input-affine control systems. An important feature is that a stabilizing controller and control Lyapunov function of the learned model are obtained as well. Moreover, the proposed method can also be applied to solving Hamilton-Jacobi inequalities. The usefulness of the proposed method is examined through numerical examples.
△ Less
Submitted 17 March, 2022;
originally announced March 2022.
-
Controller Reduction for Nonlinear Systems by Generalized Differential Balancing
Authors:
Yu Kawano
Abstract:
In this paper, we aim at develo** computationally tractable methods for nonlinear model/controller reduction. Recently, model reduction by generalized differential (GD) balancing has been proposed for nonlinear systems with constant input-vector fields and linear output functions. First, we study incremental properties in the GD balancing framework. Next, based on these analyses, we provide GD L…
▽ More
In this paper, we aim at develo** computationally tractable methods for nonlinear model/controller reduction. Recently, model reduction by generalized differential (GD) balancing has been proposed for nonlinear systems with constant input-vector fields and linear output functions. First, we study incremental properties in the GD balancing framework. Next, based on these analyses, we provide GD LQG balancing and GD $H_\infty$-balancing as controller reduction methods for nonlinear systems by focusing on linear feedback and observer gains. Especially for GD $H_\infty$-balancing, we clarify when the closed-loop system consisting of the full-order system and a reduced-order controller is exponentially stable. All provided methods for controller reduction can be relaxed to linear matrix inequalities.
△ Less
Submitted 4 November, 2021;
originally announced November 2021.
-
Contraction Analysis of Discrete-time Stochastic Systems
Authors:
Yu Kawano,
Yohei Hosoe
Abstract:
In this paper, we develop a novel contraction framework for stability analysis of discrete-time nonlinear systems with parameters following stochastic processes. For general stochastic processes, we first provide a sufficient condition for uniform incremental exponential stability (UIES) in the first moment with respect to a Riemannian metric. Then, focusing on the Euclidean distance, we present a…
▽ More
In this paper, we develop a novel contraction framework for stability analysis of discrete-time nonlinear systems with parameters following stochastic processes. For general stochastic processes, we first provide a sufficient condition for uniform incremental exponential stability (UIES) in the first moment with respect to a Riemannian metric. Then, focusing on the Euclidean distance, we present a necessary and sufficient condition for UIES in the second moment. By virtue of studying general stochastic processes, we can readily derive UIES conditions for special classes of processes, e.g., i.i.d. processes and Markov processes, which is demonstrated as selected applications of our results.
△ Less
Submitted 10 June, 2021;
originally announced June 2021.
-
Scalable Control Design for K-positive Linear Systems
Authors:
Yu Kawano,
Fulvio Forni
Abstract:
Systems whose variable are constrained to be positive allow computationally efficient control design. We generalize these results to linear systems which leave a cone invariant. This is a wider class of systems than positive systems. We revisit classical results on stability and dissipativity of positive linear systems and show how scalable conditions on linear programming can be extended to cone…
▽ More
Systems whose variable are constrained to be positive allow computationally efficient control design. We generalize these results to linear systems which leave a cone invariant. This is a wider class of systems than positive systems. We revisit classical results on stability and dissipativity of positive linear systems and show how scalable conditions on linear programming can be extended to cone invariant linear systems. Our results are illustrated by scalable stabilizing controller design for mass-spring systems.
△ Less
Submitted 26 January, 2020;
originally announced January 2020.
-
Partial Exponential Stability Analysis of Slow-fast Systems via Periodic Averaging
Authors:
Yuzhen Qin,
Yu Kawano,
Brian D. O. Anderson,
Ming Cao
Abstract:
This paper presents some new criteria for partial exponential stability of a slow-fast nonlinear system with a fast scalar variable using periodic averaging methods. Unlike classical averaging techniques, we construct an averaged system by averaging over this fast scalar variable instead of the time variable. We then show that partial exponential stability of the averaged system implies partial ex…
▽ More
This paper presents some new criteria for partial exponential stability of a slow-fast nonlinear system with a fast scalar variable using periodic averaging methods. Unlike classical averaging techniques, we construct an averaged system by averaging over this fast scalar variable instead of the time variable. We then show that partial exponential stability of the averaged system implies partial exponential stability of the original one. As some intermediate results, we also obtain a new converse Lyapunov theorem and some perturbation theorems for partially exponentially stable systems. We then apply our established criteria to study remote synchronization of Kuramoto-Sakaguchi oscillators coupled by a star network with two peripheral nodes. We analytically show that detuning the natural frequency of the central mediating oscillator can increase the robustness of the remote synchronization against phase shifts.
△ Less
Submitted 16 October, 2019;
originally announced October 2019.
-
Krasovskii and Shifted Passivity Based Control
Authors:
Yu Kawano,
Krishna Chaitanya Kosaraju,
Jacquelien M. A. Scherpen
Abstract:
In this paper, our objective is to develop novel passivity based control techniques by introducing a new passivity concept named Krasovskii passivity. As a preliminary step, we investigate properties of Krasovskii passive systems and establish relations among four relevant passivity concepts including Krasovskii passivity. Then, we develop novel dynamic controllers based on Krasovskii passivity an…
▽ More
In this paper, our objective is to develop novel passivity based control techniques by introducing a new passivity concept named Krasovskii passivity. As a preliminary step, we investigate properties of Krasovskii passive systems and establish relations among four relevant passivity concepts including Krasovskii passivity. Then, we develop novel dynamic controllers based on Krasovskii passivity and based on extended shifted passivity.
△ Less
Submitted 27 September, 2020; v1 submitted 17 July, 2019;
originally announced July 2019.
-
Partial Phase Cohesiveness in Networks of Kuramoto Oscillator Networks
Authors:
Yuzhen Qin,
Yu Kawano,
Oscar Portoles,
Ming Cao
Abstract:
Partial, instead of complete, synchronization has been widely observed in various networks including, in particular, brain networks. Motivated by data from human brain functional networks, in this technical note, we analytically show that partial synchronization can be induced by strong regional connections in coupled subnetworks of Kuramoto oscillators. To quantify the required strength of region…
▽ More
Partial, instead of complete, synchronization has been widely observed in various networks including, in particular, brain networks. Motivated by data from human brain functional networks, in this technical note, we analytically show that partial synchronization can be induced by strong regional connections in coupled subnetworks of Kuramoto oscillators. To quantify the required strength of regional connections, we first obtain a critical value for the algebraic connectivity of the corresponding subnetwork using the incremental 2 norm. We then introduce the concept of the generalized complement graph, and obtain another condition on the weighted nodal degree by using the incremental infinity norm. Under these two conditions, regions of attraction for partial phase cohesiveness are estimated in the forms of the incremental 2 and infinity norms, respectively. Our result based on the incremental infinity norm is the first known criterion that is applicable to non-complete graphs. Numerical simulations are performed on a two-level network to illustrate our theoretical results; more importantly, we use real anatomical brain network data to show how our results may reveal the interplay between anatomical structure and empirical patterns of synchrony.
△ Less
Submitted 3 June, 2019;
originally announced June 2019.
-
Krasovskii's Passivity
Authors:
Krishna Chaitanya Kosaraju,
Yu Kawano,
Jacquelien M. A. Scherpen
Abstract:
In this paper we introduce a new notion of passivity which we call Krasovskii's passivity and provide a sufficient condition for a system to be Krasovskii's passive. Based on this condition, we investigate classes of port-Hamiltonian and gradient systems which are Krasovskii's passive. Moreover, we provide a new interconnection based control technique based on Krasovskii's passivity. Our proposed…
▽ More
In this paper we introduce a new notion of passivity which we call Krasovskii's passivity and provide a sufficient condition for a system to be Krasovskii's passive. Based on this condition, we investigate classes of port-Hamiltonian and gradient systems which are Krasovskii's passive. Moreover, we provide a new interconnection based control technique based on Krasovskii's passivity. Our proposed control technique can be used even in the case when it is not clear how to construct the standard passivity based controller, which is demonstrated by examples of a Boost converter and a parallel RLC circuit.
△ Less
Submitted 22 June, 2019; v1 submitted 12 March, 2019;
originally announced March 2019.
-
Robust Passivity-Based Control of Boost Converters in DC Microgrids
Authors:
Michele Cucuzzella,
Riccardo Lazzari,
Yu Kawano,
Krishna C. Kosaraju,
Jacquelien M. A. Scherpen
Abstract:
This work deals with the design of a robust and decentralized passivity-based control scheme for regulating the voltage of a DC microgrid through boost converters. A Krasovskii-type storage function is proposed and a (local) passivity property for DC microgrids comprising unknown 'ZIP' (constant impedance 'Z', constant current 'I' and constant power 'P') loads is established. More precisely, the i…
▽ More
This work deals with the design of a robust and decentralized passivity-based control scheme for regulating the voltage of a DC microgrid through boost converters. A Krasovskii-type storage function is proposed and a (local) passivity property for DC microgrids comprising unknown 'ZIP' (constant impedance 'Z', constant current 'I' and constant power 'P') loads is established. More precisely, the input port-variable of the corresponding passive map is equal to the first-time derivative of the control input. Then, the integrated input port-variable is used to shape the closed loop storage function such that it has a minimum at the desired equilibrium point. Convergence to the desired equilibrium is theoretically analyzed and the proposed control scheme is validated through experiments on a real DC microgrid.
△ Less
Submitted 4 March, 2019; v1 submitted 26 February, 2019;
originally announced February 2019.
-
Empirical Differential Gramians for Nonlinear Model Reduction
Authors:
Yu Kawano,
Jacquelien M. A. Scherpen
Abstract:
In this paper, we present an empirical balanced truncation method for nonlinear systems with linear time-invariant input vector field components. First, we define differential reachability and observability Gramians. They are matrix valued functions of the state trajectory (i.e. the initial state and input trajectory) of the original nonlinear system, and it is difficult to find them as functions…
▽ More
In this paper, we present an empirical balanced truncation method for nonlinear systems with linear time-invariant input vector field components. First, we define differential reachability and observability Gramians. They are matrix valued functions of the state trajectory (i.e. the initial state and input trajectory) of the original nonlinear system, and it is difficult to find them as functions of the initial state and input. The main result of this paper is to show that for a fixed state trajectory, it is possible to compute the values of these Gramians by using impulse and initial state responses of the variational system. Therefore, balanced truncation is doable along the fixed state trajectory without solving nonlinear partial differential equations, differently from conventional nonlinear balancing methods. We further develop an approximation method, which only requires trajectories of the original nonlinear systems. Our methods are demonstrated by an RL network along a trajectory.
△ Less
Submitted 29 October, 2019; v1 submitted 26 February, 2019;
originally announced February 2019.
-
Design of Privacy-Preserving Dynamic Controllers
Authors:
Yu Kawano,
Ming Cao
Abstract:
As a quantitative criterion for privacy of "mechanisms" in the form of data-generating processes, the concept of differential privacy was first proposed in computer science and has later been applied to linear dynamical systems. However, differential privacy has not been studied in depth together with other properties of dynamical systems, and it has not been fully utilized for controller design.…
▽ More
As a quantitative criterion for privacy of "mechanisms" in the form of data-generating processes, the concept of differential privacy was first proposed in computer science and has later been applied to linear dynamical systems. However, differential privacy has not been studied in depth together with other properties of dynamical systems, and it has not been fully utilized for controller design. In this paper, first we clarify that a classical concept in systems and control, input observability (sometimes referred to as left invertibility) has a strong connection with differential privacy. In particular, we show that the Gaussian mechanism can be made highly differentially private by adding small noise if the corresponding system is less input observable. Next, enabled by our new insight into privacy, we develop a method to design dynamic controllers for the classic tracking control problem while addressing privacy concerns. We call the obtained controller through our design method the privacy-preserving controller. The usage of such controllers is further illustrated by an example of tracking the prescribed power supply in a DC microgrid installed with smart meters while kee** the electricity consumers' tracking errors private.
△ Less
Submitted 15 April, 2020; v1 submitted 22 January, 2019;
originally announced January 2019.
-
Towards time-varying proximal dynamics in Multi-Agent Network Games
Authors:
Carlo Cenedese,
Yu Kawano,
Sergio Grammatico,
Ming Cao
Abstract:
Distributed decision making in multi-agent networks has recently attracted significant research attention thanks to its wide applicability, e.g. in the management and optimization of computer networks, power systems, robotic teams, sensor networks and consumer markets. Distributed decision-making problems can be modeled as inter-dependent optimization problems, i.e., multi-agent game-equilibrium s…
▽ More
Distributed decision making in multi-agent networks has recently attracted significant research attention thanks to its wide applicability, e.g. in the management and optimization of computer networks, power systems, robotic teams, sensor networks and consumer markets. Distributed decision-making problems can be modeled as inter-dependent optimization problems, i.e., multi-agent game-equilibrium seeking problems, where noncooperative agents seek an equilibrium by communicating over a network. To achieve a network equilibrium, the agents may decide to update their decision variables via proximal dynamics, driven by the decision variables of the neighboring agents. In this paper, we provide an operator-theoretic characterization of convergence with a time-invariant communication network. For the time-varying case, we consider adjacency matrices that may switch subject to a dwell time. We illustrate our investigations using a distributed robotic exploration example.
△ Less
Submitted 11 November, 2018;
originally announced November 2018.
-
Reduction of Second-Order Network Systems with Structure Preservation
Authors:
Xiaodong Cheng,
Yu Kawano,
Jacquelien M. A. Scherpen
Abstract:
This paper proposes a general framework for structure-preserving model reduction of a secondorder network system based on graph clustering. In this approach, vertex dynamics are captured by the transfer functions from inputs to individual states, and the dissimilarities of vertices are quantified by the H2-norms of the transfer function discrepancies. A greedy hierarchical clustering algorithm is…
▽ More
This paper proposes a general framework for structure-preserving model reduction of a secondorder network system based on graph clustering. In this approach, vertex dynamics are captured by the transfer functions from inputs to individual states, and the dissimilarities of vertices are quantified by the H2-norms of the transfer function discrepancies. A greedy hierarchical clustering algorithm is proposed to place those vertices with similar dynamics into same clusters. Then, the reduced-order model is generated by the Petrov-Galerkin method, where the projection is formed by the characteristic matrix of the resulting network clustering. It is shown that the simplified system preserves an interconnection structure, i.e., it can be again interpreted as a second-order system evolving over a reduced graph. Furthermore, this paper generalizes the definition of network controllability Gramian to second-order network systems. Based on it, we develop an efficient method to compute H2-norms and derive the approximation error between the full-order and reduced-order models. Finally, the approach is illustrated by the example of a small-world network.
△ Less
Submitted 2 June, 2017;
originally announced June 2017.