Showing 1–31 of 31 results for author: Jayawardhana, B

Neural network based control of unknown nonlinear systems via contraction analysis

Authors: Hao Yin, Claudio De Persis, Bayu Jayawardhana, Santiago Sanchez Escalonilla Plaza

Abstract: This paper studies the design of neural network (NN)-based controllers for unknown nonlinear systems, using contraction analysis. A Neural Ordinary Differential Equation (NODE) system is constructed by approximating the unknown draft dynamics with a feedforward NN. Incremental sector bounds and contraction theory are applied to the activation functions and the weights of the NN, respectively. It i… ▽ More This paper studies the design of neural network (NN)-based controllers for unknown nonlinear systems, using contraction analysis. A Neural Ordinary Differential Equation (NODE) system is constructed by approximating the unknown draft dynamics with a feedforward NN. Incremental sector bounds and contraction theory are applied to the activation functions and the weights of the NN, respectively. It is demonstrated that if the incremental sector bounds and the weights satisfy some non-convex conditions, the NODE system is contractive. To improve computational efficiency, these non-convex conditions are reformulated as convex LMI conditions. Additionally, it is proven that when the NODE system is contractive, the trajectories of the original autonomous system converge to a neighborhood of the unknown equilibrium, with the size of this neighborhood determined by the approximation error. For a single-layer NN, the NODE system is simplified to a continuous-time Hopfield NN. If the NODE system does not satisfy the contraction conditions, an NN-based controller is designed to enforce contractivity. This controller integrates a linear component, which ensures contraction through suitable control gains, and an NN component, which compensates for the NODE system's nonlinearities. This integrated controller guarantees that the trajectories of the original affine system converge to a neighborhood of the unknown equilibrium. The effectiveness of the proposed approach is demonstrated through two illustrative examples. △ Less

Submitted 22 May, 2025; originally announced May 2025.

Exponential Stabilization of Linear Systems using Nearest-Action Control with Countable Input Set

Authors: Muhammad Zaki Almuzakki, Bayu Jayawardhana, Aneel Tanwani, Antonis I. Vakis

Abstract: This paper studies stabilization of linear time-invariant (LTI) systems when control actions can only be realized in finitely many directions where it is possible to actuate uniformly or logarithmically extended positive scaling factors in each direction. Furthermore, a nearest-action selection approach is used to map the continuous measurements to a realizable action where we show that the approa… ▽ More This paper studies stabilization of linear time-invariant (LTI) systems when control actions can only be realized in finitely many directions where it is possible to actuate uniformly or logarithmically extended positive scaling factors in each direction. Furthermore, a nearest-action selection approach is used to map the continuous measurements to a realizable action where we show that the approach satisfies a weak sector condition for multiple-input multiple-output (MIMO) systems. Using the notion of input-to-state stability, under some assumptions imposed on the transfer function of the system, we show that the closed-loop system converges to the target ball exponentially fast. Moreover, when logarithmic extension for the scaling factors is realizable, the closed-loop system is able to achieve asymptotic stability instead of only practical stability. Finally, we present an example of the application that confirms our analysis. △ Less

Submitted 3 December, 2024; originally announced December 2024.

Comments: 10 pages, 5 figures

Robust Neural IDA-PBC: passivity-based stabilization under approximations

Authors: Santiago Sanchez-Escalonilla, Samuele Zoboli, Bayu Jayawardhana

Abstract: In this paper, we restructure the Neural Interconnection and Damping Assignment - Passivity Based Control (Neural IDA-PBC) design methodology, and we formally analyze its closed-loop properties. Neural IDA-PBC redefines the IDA-PBC design approach as an optimization problem by building on the framework of Physics Informed Neural Networks (PINNs). However, the closed-loop stability and robustness p… ▽ More In this paper, we restructure the Neural Interconnection and Damping Assignment - Passivity Based Control (Neural IDA-PBC) design methodology, and we formally analyze its closed-loop properties. Neural IDA-PBC redefines the IDA-PBC design approach as an optimization problem by building on the framework of Physics Informed Neural Networks (PINNs). However, the closed-loop stability and robustness properties under Neural IDA-PBC remain unexplored. To address the issue, we study the behavior of classical IDA-PBC under approximations. Our theoretical analysis allows deriving conditions for practical and asymptotic stability of the desired equilibrium point. Moreover, it extends the Neural IDA-PBC applicability to port-Hamiltonian systems where the matching conditions cannot be solved exactly. Our renewed optimization-based design introduces three significant aspects: i) it involves a novel optimization objective including stability and robustness constraints issued from our theoretical analysis; ii) it employs separate Neural Networks (NNs), which can be structured to reduce the search space to relevant functions; iii) it does not require knowledge about the port-Hamiltonian formulation of the system's model. Our methodology is validated with simulations on three standard benchmarks: a double pendulum, a nonlinear mass-spring-damper and a cartpole. Notably, classical IDA-PBC designs cannot be analytically derived for the latter. △ Less

Submitted 24 September, 2024; originally announced September 2024.

Comments: Preprint

Contraction analysis of time-varying DAE systems via auxiliary ODE systems

Authors: Hao Yin, Bayu Jayawardhana, Stephan Trenn

Abstract: This paper studies the contraction property of time-varying differential-algebraic equation (DAE) systems by embedding them to higher-dimension ordinary differential equation (ODE) systems. The first result pertains to the equivalence of the contraction of a DAE system and the uniform global exponential stability (UGES) of its variational DAE system. Such equivalence inherits the well-known proper… ▽ More This paper studies the contraction property of time-varying differential-algebraic equation (DAE) systems by embedding them to higher-dimension ordinary differential equation (ODE) systems. The first result pertains to the equivalence of the contraction of a DAE system and the uniform global exponential stability (UGES) of its variational DAE system. Such equivalence inherits the well-known property of contracting ODE systems on a specific manifold. Subsequently, we construct an auxiliary ODE system from a DAE system whose trajectories encapsulate those of the corresponding variational DAE system. Using the auxiliary ODE system, a sufficient condition for contraction of the time-varying DAE system is established by using matrix measure which allows us to estimate an lower bound on the parameters of the auxiliary system. Finally, we apply the results to analyze the stability of time-invariant DAE systems, and to design observers for time-varying ODE systems. △ Less

Submitted 11 December, 2023; originally announced December 2023.

Distributed end-effector formation control for mixed fully- and under-actuated manipulators with flexible joints

Authors: Zhiyu Peng, Bayu Jayawardhana, Xin Xin

Abstract: The presence of faulty or underactuated manipulators can disrupt the end-effector formation keeping of a team of manipulators. Based on two-link planar manipulators, we investigate this end-effector formation keeping problem for mixed fully- and under-actuated manipulators with flexible joints. In this case, the underactuated manipulators can comprise of active-passive (AP) manipulators, passive-a… ▽ More The presence of faulty or underactuated manipulators can disrupt the end-effector formation keeping of a team of manipulators. Based on two-link planar manipulators, we investigate this end-effector formation keeping problem for mixed fully- and under-actuated manipulators with flexible joints. In this case, the underactuated manipulators can comprise of active-passive (AP) manipulators, passive-active (PA) manipulators, or a combination thereof. We propose distributed control laws for the different types of manipulators to achieve and maintain the desired formation shape of the end-effectors. It is achieved by assigning virtual springs to the end-effectors for the fully-actuated ones and to the virtual end-effectors for the under-actuated ones. We study further the set of all desired and reachable shapes for the networked manipulators' end-effectors. Finally, we validate our analysis via numerical simulations. △ Less

Submitted 16 February, 2024; v1 submitted 2 October, 2023; originally announced October 2023.

Comments: 14 pages, 11 figures

Distributed formation control of end-effector of mixed planar fully- and under-actuated manipulators

Authors: Zhiyu Peng, Bayu Jayawardhana, Xin Xin

Abstract: This paper addresses the problem of end-effector formation control for a mixed group of two-link manipulators moving in a horizontal plane that comprises of fully-actuated manipulators and underactuated manipulators with only the second joint being actuated (referred to as the passive-active (PA) manipulators). The problem is solved by extending the distributed end-effector formation controller fo… ▽ More This paper addresses the problem of end-effector formation control for a mixed group of two-link manipulators moving in a horizontal plane that comprises of fully-actuated manipulators and underactuated manipulators with only the second joint being actuated (referred to as the passive-active (PA) manipulators). The problem is solved by extending the distributed end-effector formation controller for the fully-actuated manipulator to the PA manipulator moving in a horizontal plane by using its integrability. This paper presents stability analysis of the closed-loop systems under a given necessary condition, and we prove that the manipulators' end-effector converge to the desired formation shape. The proposed method is validated by simulations. △ Less

Submitted 14 September, 2023; originally announced September 2023.

Cooperative Nearest-Neighbor Control of Multi-Agent Systems: Consensus and Formation Control Problems

Authors: Muhammad Zaki Almuzakki, Bayu Jayawardhana

Abstract: This letter studies the problem of cooperative nearest-neighbor control of multi-agent systems where each agent can only realize a finite set of control points. Under the assumption that the underlying graph representing the communication network between agents is connected and the interior of the convex hull of all finite actions of each agent contains the zero element, consensus or distance-base… ▽ More This letter studies the problem of cooperative nearest-neighbor control of multi-agent systems where each agent can only realize a finite set of control points. Under the assumption that the underlying graph representing the communication network between agents is connected and the interior of the convex hull of all finite actions of each agent contains the zero element, consensus or distance-based formation problems can practically be stabilized by means of nearest-neighbor control approach combined with the well-known consensus control or distributed formation control laws, respectively. Furthermore, we provide the convergence bound for each corresponding error vector which can be computed based on the information of individual agent's finite control points. Finally, we show Monte Carlo numerical simulations that confirm our analysis. △ Less

Submitted 31 May, 2023; originally announced May 2023.

Journal ref: IEEE Control Systems Letters, vol. 7, 2023, pp. 1873 - 1878

Range-Only Bearing Estimator for Localization and Mapping

Authors: Matteo Marcantoni, Bayu Jayawardhana, Kerstin Bunte

Abstract: Navigation and exploration within unknown environments are typical examples in which simultaneous localization and mapping (SLAM) algorithms are applied. When mobile agents deploy only range sensors without bearing information, the agents must estimate the bearing using the online distance measurement for the localization and mapping purposes. In this paper, we propose a scalable dynamic bearing e… ▽ More Navigation and exploration within unknown environments are typical examples in which simultaneous localization and mapping (SLAM) algorithms are applied. When mobile agents deploy only range sensors without bearing information, the agents must estimate the bearing using the online distance measurement for the localization and mapping purposes. In this paper, we propose a scalable dynamic bearing estimator to obtain the relative bearing of the static landmarks in the local coordinate frame of a moving agent in real-time. Using contraction theory, we provide convergence analysis of the proposed range-only bearing estimator and present upper and lower-bound for the estimator gain. Numerical simulations demonstrate the effectiveness of the proposed method. △ Less

Submitted 17 April, 2023; originally announced April 2023.

Journal ref: IEEE Control Systems Letters, vol. 7, 2023, pp. 2503-2508

Secure Formation Control via Edge Computing Enabled by Fully Homomorphic Encryption and Mixed Uniform-Logarithmic Quantization

Authors: Matteo Marcantoni, Bayu Jayawardhana, Mariano Perez Chaher, Kerstin Bunte

Abstract: Recent developments in communication technologies, such as 5G, together with innovative computing paradigms, such as edge computing, provide further possibilities for the implementation of real-time networked control systems. However, privacy and cyber-security concerns arise when sharing private data between sensors, agents and a third-party computing facility. In this paper, a secure version of… ▽ More Recent developments in communication technologies, such as 5G, together with innovative computing paradigms, such as edge computing, provide further possibilities for the implementation of real-time networked control systems. However, privacy and cyber-security concerns arise when sharing private data between sensors, agents and a third-party computing facility. In this paper, a secure version of the distributed formation control is presented, analyzed and simulated, where gradient-based formation control law is implemented in the edge, with sensor and actuator information being secured by fully homomorphic encryption method based on learning with error (FHE-LWE) combined with a proposed mixed uniform-logarithmic quantizer (MULQ). The novel quantizer is shown to be suitable for realizing secure control systems with FHE-LWE where the critical real-time information can be quantized into a prescribed bounded space of plaintext while satisfying a sector bound condition whose lower and upper-bound can be made sufficiently close to an identity. An absolute stability analysis is presented, that shows the asymptotic stability of the closed-loop secure control system. △ Less

Submitted 13 April, 2022; originally announced April 2022.

Journal ref: IEEE Control Systems Letters, vol. 7, 2023, pp. 395-400

Total Energy Shaping with Neural Interconnection and Damping Assignment -- Passivity Based Control

Authors: Santiago Sanchez-Escalonilla, Rodolfo Reyes-Baez, Bayu Jayawardhana

Abstract: In this work we exploit the universal approximation property of Neural Networks (NNs) to design interconnection and damping assignment (IDA) passivity-based control (PBC) schemes for fully-actuated mechanical systems in the port-Hamiltonian (pH) framework. To that end, we transform the IDA-PBC method into a supervised learning problem that solves the partial differential matching equations, and fu… ▽ More In this work we exploit the universal approximation property of Neural Networks (NNs) to design interconnection and damping assignment (IDA) passivity-based control (PBC) schemes for fully-actuated mechanical systems in the port-Hamiltonian (pH) framework. To that end, we transform the IDA-PBC method into a supervised learning problem that solves the partial differential matching equations, and fulfills equilibrium assignment and Lyapunov stability conditions. A main consequence of this, is that the output of the learning algorithm has a clear control-theoretic interpretation in terms of passivity and Lyapunov stability. The proposed control design methodology is validated for mechanical systems of one and two degrees-of-freedom via numerical simulations. △ Less

Submitted 25 March, 2022; v1 submitted 24 December, 2021; originally announced December 2021.

Comments: Accepted in 4th Annual Learning for Dynamics and Control (L4DC) Conference

Modeling and analysis of Duhem hysteresis operators with butterfly loops

Authors: M. A. Vasquez-Beltran, B. Jayawardhana, R. Peletier

Abstract: In this work we study and analyze a class of Duhem hysteresis operators that can exhibit butterfly loops. We study firstly the consistency property of such operator which corresponds to the existence of an attractive periodic solution when the operator is subject to a periodic input signal. Subsequently, we study the two defining functions of the Duhem operator such that the corresponding periodic… ▽ More In this work we study and analyze a class of Duhem hysteresis operators that can exhibit butterfly loops. We study firstly the consistency property of such operator which corresponds to the existence of an attractive periodic solution when the operator is subject to a periodic input signal. Subsequently, we study the two defining functions of the Duhem operator such that the corresponding periodic solutions can admit a butterfly input-output phase plot. We present a number of examples where the Duhem butterfly hysteresis operators are constructed using two zero-level set curves that satisfy some mild conditions. △ Less

Submitted 21 July, 2021; originally announced July 2021.

Securing Isosceles Triangular Formations under Heterogeneous Sensing and Mixed Constraints

Authors: Nelson P. K. Chan, Bayu Jayawardhana, Hector Garcia de Marina

Abstract: This paper focuses on securing a triangular shape (up to translation) for a team of three mobile robots that uses heterogeneous sensing mechanism. Based on the available local information, each robot employs the popular gradient-based control law to attain the assigned individual task(s). In the current work, robots are assigned either distance and signed area task(s) or bearing task(s). We provid… ▽ More This paper focuses on securing a triangular shape (up to translation) for a team of three mobile robots that uses heterogeneous sensing mechanism. Based on the available local information, each robot employs the popular gradient-based control law to attain the assigned individual task(s). In the current work, robots are assigned either distance and signed area task(s) or bearing task(s). We provide a sufficient condition on the gain ratio $R_{\text{Ad}}$ between the signed area and the distance control term such that the desired formation shape, an isosceles triangle, is reached from all feasible starting positions. Numerical simulations are provided to support the theoretical analyses. △ Less

Submitted 2 January, 2021; originally announced January 2021.

Comments: 13 pages, submitted for journal publication

MSC Class: 93D99 ACM Class: I.2.9

On the characterization of butterfly and multi-loop hysteresis behavior

Authors: M. A. Vasquez-Beltran, B. Jayawardhana, R. Peletier

Abstract: While it is widely used to represent hysteresis phenomena with unidirectional-oriented loops, we study in this paper the use of Preisach operator for describing hysteresis behavior with multidirectional-oriented loops. This complex hysteresis behavior is commonly found in advanced materials, such as, shape-memory alloys or piezoelectric materials, that are used for high-precision sensor and actuat… ▽ More While it is widely used to represent hysteresis phenomena with unidirectional-oriented loops, we study in this paper the use of Preisach operator for describing hysteresis behavior with multidirectional-oriented loops. This complex hysteresis behavior is commonly found in advanced materials, such as, shape-memory alloys or piezoelectric materials, that are used for high-precision sensor and actuator systems. We provide characterization of the Preisach operators exhibiting such input-output behaviors and we show the richness of the operators that are capable of producing intricate loops. △ Less

Submitted 7 December, 2020; originally announced December 2020.

Stability Analysis of Gradient-Based Distributed Formation Control with Heterogeneous Sensing Mechanism: Two and Three Robot Case

Authors: Nelson P. K. Chan, Bayu Jayawardhana, Hector Garcia de Marina

Abstract: This paper focuses on the stability analysis of a formation shape displayed by a team of mobile robots that uses heterogeneous sensing mechanism. Depending on the convenience and reliability of the local information, each robot utilizes the popular gradient-based control law which, in this paper, is either the distance-based or the bearing-only formation control. For the two and three robot case,… ▽ More This paper focuses on the stability analysis of a formation shape displayed by a team of mobile robots that uses heterogeneous sensing mechanism. Depending on the convenience and reliability of the local information, each robot utilizes the popular gradient-based control law which, in this paper, is either the distance-based or the bearing-only formation control. For the two and three robot case, we show that the use of heterogeneous gradient-based control laws can give rise to an undesired invariant set where a distorted formation shape is moving at a constant velocity. The (in)stability of such an invariant set is dependent on the specified distance and bearing constraints. For the two robot case, we prove almost global stability of the desired equilibrium set while for the three robot case, we guarantee local asymptotic stability for the correct formation shape. We also derive conditions for the three robot case in which the undesired invariant set is locally attractive. Numerical simulations are presented for illustrating the theoretical results in the three robot case. △ Less

Submitted 20 October, 2020; originally announced October 2020.

Comments: 15 pages

MSC Class: 34H05; 70E60; 93C10; 93C85

Angle-Constrained Formation Control for Circular Mobile Robots

Authors: Nelson P. K. Chan, Bayu Jayawardhana, Hector Garcia de Marina

Abstract: In this letter, we investigate the formation control problem of mobile robots moving in the plane where, instead of assuming robots to be simple points, each robot is assumed to have the form of a disk with equal radius. Based on interior angle measurements of the neighboring robots' disk, which can be obtained from low-cost vision sensors, we propose a gradient-based distributed control law and s… ▽ More In this letter, we investigate the formation control problem of mobile robots moving in the plane where, instead of assuming robots to be simple points, each robot is assumed to have the form of a disk with equal radius. Based on interior angle measurements of the neighboring robots' disk, which can be obtained from low-cost vision sensors, we propose a gradient-based distributed control law and show the exponential convergence property of the associated error system. By construction, the proposed control law has the appealing property of ensuring collision avoidance between neighboring robots. We also present simulation results for {a team} of four circular mobile robots forming a rectangular shape. △ Less

Submitted 10 May, 2020; originally announced May 2020.

Comments: 6 pages, submitted to the 59th IEEE Conf. Dec. Control and IEEE Control Systems Letters

MSC Class: 34H05; 70E60; 93C10; 93C85

Nearest Neighbor Control For Practical Stabilization of Passive Nonlinear Systems

Authors: M. Z. Almuzakki, B. Jayawardhana, A. Tanwani

Abstract: This paper studies static output feedback stabilization of continuous-time (incrementally) passive nonlinear systems where the control actions can only be chosen from a discrete (and possibly finite) set of points. For this purpose, we are working under the assumption that the system under consideration is large-time norm observable and the convex hull of the realizable control actions contains th… ▽ More This paper studies static output feedback stabilization of continuous-time (incrementally) passive nonlinear systems where the control actions can only be chosen from a discrete (and possibly finite) set of points. For this purpose, we are working under the assumption that the system under consideration is large-time norm observable and the convex hull of the realizable control actions contains the target constant input (which corresponds to the equilibrium point) in its interior. We propose a nearest-neighbor based static feedback mapping from the output space to the finite set of control actions, that is able to practically stabilize the closed-loop systems. Consequently, we show that for such systems with $m$-dimensional input space, it is sufficient to have $m+1$ discrete input points (other than zero for general passive systems or the target constant input for incrementally passive systems). Furthermore, we present a constructive algorithm to design such $m+1$ nonzero input points that satisfy the conditions for practical stability using our proposed nearest-neighbor control. △ Less

Submitted 13 December, 2021; v1 submitted 30 March, 2020; originally announced March 2020.

Comments: 13 pages, double-column, journal submission, revised version

MSC Class: 93C10; 93C30; 93C62; 93D20

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

Robustness Analysis of Systems' Safety through a New Notion of Input-to-State Safety

Authors: Muhammad Zakiyullah Romdlony, Bayu Jayawardhana

Abstract: In this paper, we propose a new robustness notion that is applicable for certifying systems' safety with respect to external disturbance signals. The proposed input-to-state safety (ISSf) notion allows us to certify systems' safety in the presence of the disturbances which is analogous to the notion of input-to-state stability (ISS) for analyzing systems' stability. In this paper, we propose a new robustness notion that is applicable for certifying systems' safety with respect to external disturbance signals. The proposed input-to-state safety (ISSf) notion allows us to certify systems' safety in the presence of the disturbances which is analogous to the notion of input-to-state stability (ISS) for analyzing systems' stability. △ Less

Submitted 6 February, 2017; originally announced February 2017.

Comments: 9 pages, pre-print submitted to Automatica

MSC Class: 47N70; 93B52 ACM Class: C.3; C.4; I.2.8

Journal ref: International Journal of Robust and Nonlinear Control 2019

Tracking Control of Fully-actuated Mechanical port-Hamiltonian Systems using Sliding Manifolds and Contraction

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

Abstract: In this paper, we propose a novel trajectory tracking controller for fully-actuated mechanical port-Hamiltonian (pH) systems, which is based on recent advances in contraction-based control theory. Our proposed controller renders a desired sliding manifold (where the reference trajectory lies) attractive by making the corresponding error system partially contracting. Finally, we present numerical s… ▽ More In this paper, we propose a novel trajectory tracking controller for fully-actuated mechanical port-Hamiltonian (pH) systems, which is based on recent advances in contraction-based control theory. Our proposed controller renders a desired sliding manifold (where the reference trajectory lies) attractive by making the corresponding error system partially contracting. Finally, we present numerical simulation results where a SCARA robot is commanded by our proposed tracking control law. △ Less

Submitted 7 February, 2017; v1 submitted 22 November, 2016; originally announced November 2016.

Comments: 7 pages, 3 figures

Some results on exponential synchronization of nonlinear systems (long version)

Authors: Vincent Andrieu, Bayu Jayawardhana, Sophie Tarbouriech

Abstract: Based on recent works on transverse exponential stability, we establish some necessary and sufficient conditions for the existence of a (locally) exponential synchronizing control law. We show that the existence of a structured synchronizer is equivalent to the existence of a stabilizer for the individual linearized systems (on the synchronization manifold) by a linear state feedback. This, in tur… ▽ More Based on recent works on transverse exponential stability, we establish some necessary and sufficient conditions for the existence of a (locally) exponential synchronizing control law. We show that the existence of a structured synchronizer is equivalent to the existence of a stabilizer for the individual linearized systems (on the synchronization manifold) by a linear state feedback. This, in turn, is also equivalent to the existence of a symmetric covariant tensor field, which satisfies a Control Matrix Function inequality. Based on this result, we provide the construction of such synchronizer via backstepping approaches. In some particular cases, we show how global exponential synchronization may be obtained. △ Less

Submitted 26 January, 2018; v1 submitted 31 May, 2016; originally announced May 2016.

Report number: Rapport LAAS no 16169

Distributed rotational and translational maneuvering of rigid formations and their applications

Authors: Hector Garcia de Marina, Bayu Jayawardhana, Ming Cao

Abstract: Recently it has been reported that range-measurement inconsistency, or equivalently mismatches in prescribed inter-agent distances, may prevent the popular gradient controllers from guiding rigid formations of mobile agents to converge to their desired shape, and even worse from standing still at any location. In this paper, instead of treating mismatches as the source of ill performance, we take… ▽ More Recently it has been reported that range-measurement inconsistency, or equivalently mismatches in prescribed inter-agent distances, may prevent the popular gradient controllers from guiding rigid formations of mobile agents to converge to their desired shape, and even worse from standing still at any location. In this paper, instead of treating mismatches as the source of ill performance, we take them as design parameters and show that by introducing such a pair of parameters per distance constraint, distributed controller achieving simultaneously both formation and motion control can be designed that not only encompasses the popular gradient control, but more importantly allows us to achieve constant collective translation, rotation or their combination while guaranteeing asymptotically no distortion in the formation shape occurs. Such motion control results are then applied to (a) the alignment of formations orientations and (b) enclosing and tracking a moving target. Besides rigorous mathematical proof, experiments using mobile robots are demonstrated to show the satisfying performances of the proposed formation-motion distributed controller. △ Less

Submitted 25 August, 2016; v1 submitted 26 April, 2016; originally announced April 2016.

Comments: 14 pages

MSC Class: 47N70; 70E60; 58E25; 93C83; ACM Class: I.2.9; B.1.0; G.1.7; G.2.2

Journal ref: Robotics, IEEE Transactions on, Volume 32, Issue 3, Pages 684 - 696, Year 2016

Taming mismatches in inter-agent distances for the formation-motion control of second-order agents

Authors: Hector Garcia de Marina, Bayu Jayawardhana, Ming Cao

Abstract: This paper presents the analysis on the influence of distance mismatches on the standard gradient-based rigid formation control for second-order agents. It is shown that, similar to the first-order case as recently discussed in the literature, these mismatches introduce two undesired group behaviors: a distorted final shape and a steady-state motion of the group formation. We show that such undesi… ▽ More This paper presents the analysis on the influence of distance mismatches on the standard gradient-based rigid formation control for second-order agents. It is shown that, similar to the first-order case as recently discussed in the literature, these mismatches introduce two undesired group behaviors: a distorted final shape and a steady-state motion of the group formation. We show that such undesired behaviors can be eliminated by combining the standard formation control law with distributed estimators. Finally, we show how the mismatches can be effectively employed as design parameters in order to control a combined translational and rotational motion of the formation. △ Less

Submitted 15 March, 2017; v1 submitted 11 April, 2016; originally announced April 2016.

Comments: 14 pages, conditionally accepted in Automatic Control, IEEE Transactions on

MSC Class: 47N70; 70E60; 58E25; 93C83

Transverse exponential stability and applications

Authors: Vincent Andrieu, Bayu Jayawardhana, Laurent Praly

Abstract: We investigate how the following properties are related to each other: i)-A manifold is "transversally" exponentially stable; ii)-The "transverse" linearization along any solution in the manifold is exponentially stable; iii)-There exists a field of positive definite quadratic forms whose restrictions to the directions transversal to the manifold are decreasing along the flow. We illustrate their… ▽ More We investigate how the following properties are related to each other: i)-A manifold is "transversally" exponentially stable; ii)-The "transverse" linearization along any solution in the manifold is exponentially stable; iii)-There exists a field of positive definite quadratic forms whose restrictions to the directions transversal to the manifold are decreasing along the flow. We illustrate their relevance with the study of exponential incremental stability. Finally, we apply these results to two control design problems, nonlinear observer design and synchronization. In particular, we provide necessary and sufficient conditions for the design of nonlinear observer and of nonlinear synchronizer with exponential convergence property. △ Less

Submitted 4 January, 2016; originally announced January 2016.

Complex and detailed balancing of chemical reaction networks revisited

Authors: Arjan van der Schaft, Shodhan Rao, Bayu Jayawardhana

Abstract: The characterization of the notions of complex and detailed balancing for mass action kinetics chemical reaction networks is revisited from the perspective of algebraic graph theory, in particular Kirchhoff's Matrix Tree theorem for directed weighted graphs. This yields an elucidation of previously obtained results, in particular with respect to the Wegscheider conditions, and a new necessary and… ▽ More The characterization of the notions of complex and detailed balancing for mass action kinetics chemical reaction networks is revisited from the perspective of algebraic graph theory, in particular Kirchhoff's Matrix Tree theorem for directed weighted graphs. This yields an elucidation of previously obtained results, in particular with respect to the Wegscheider conditions, and a new necessary and sufficient condition for complex balancing, which can be verified constructively. △ Less

Submitted 6 March, 2015; originally announced March 2015.

Comments: arXiv admin note: substantial text overlap with arXiv:1502.02247

A network dynamics approach to chemical reaction networks

Authors: Arjan van der Schaft, Shodhan Rao, Bayu Jayawardhana

Abstract: A crisp survey is given of chemical reaction networks from the perspective of general nonlinear network dynamics, in particular of consensus dynamics. It is shown how by starting from the complex-balanced assumption the reaction dynamics governed by mass action kinetics can be rewritten into a form which allows for a very simple derivation of a number of key results in chemical reaction network th… ▽ More A crisp survey is given of chemical reaction networks from the perspective of general nonlinear network dynamics, in particular of consensus dynamics. It is shown how by starting from the complex-balanced assumption the reaction dynamics governed by mass action kinetics can be rewritten into a form which allows for a very simple derivation of a number of key results in chemical reaction network theory, and which directly relates to the thermodynamics of the system. Central in this formulation is the definition of a balanced Laplacian matrix on the graph of chemical complexes together with a resulting fundamental inequality. This directly leads to the characterization of the set of equilibria and their stability. Both the form of the dynamics and the deduced dynamical behavior are very similar to consensus dynamics. The assumption of complex-balancedness is revisited from the point of view of Kirchhoff's Matrix Tree theorem, providing a new perspective. Finally, using the classical idea of extending the graph of chemical complexes by an extra 'zero' complex, a complete steady-state stability analysis of mass action kinetics reaction networks with constant inflows and mass action outflows is given. △ Less

Submitted 8 February, 2015; originally announced February 2015.

Comments: 18 pages

Model-order reduction of biochemical reaction networks

Authors: Shodhan Rao, Arjan van der Schaft, Karen van Eunen, Barbara M. Bakker, Bayu Jayawardhana

Abstract: In this paper we propose a model-order reduction method for chemical reaction networks governed by general enzyme kinetics, including the mass-action and Michaelis-Menten kinetics. The model-order reduction method is based on the Kron reduction of the weighted Laplacian matrix which describes the graph structure of complexes in the chemical reaction network. We apply our method to a yeast glycolys… ▽ More In this paper we propose a model-order reduction method for chemical reaction networks governed by general enzyme kinetics, including the mass-action and Michaelis-Menten kinetics. The model-order reduction method is based on the Kron reduction of the weighted Laplacian matrix which describes the graph structure of complexes in the chemical reaction network. We apply our method to a yeast glycolysis model, where the simulation result shows that the transient behaviour of a number of key metabolites of the reduced-order model is in good agreement with those of the full-order model. △ Less

Submitted 11 December, 2012; originally announced December 2012.

Comments: 7 pages, 5 figures. arXiv admin note: substantial text overlap with arXiv:1211.6643, arXiv:1110.6078

A Graph-Theoretical Approach for the Analysis and Model Reduction of Complex-Balanced Chemical Reaction Networks

Authors: Shodhan Rao, Arjan van der Schaft, Bayu Jayawardhana

Abstract: In this paper we derive a compact mathematical formulation describing the dynamics of chemical reaction networks that are complex-balanced and are governed by mass action kinetics. The formulation is based on the graph of (substrate and product) complexes and the stoichiometric information of these complexes, and crucially uses a balanced weighted Laplacian matrix. It is shown that this formulatio… ▽ More In this paper we derive a compact mathematical formulation describing the dynamics of chemical reaction networks that are complex-balanced and are governed by mass action kinetics. The formulation is based on the graph of (substrate and product) complexes and the stoichiometric information of these complexes, and crucially uses a balanced weighted Laplacian matrix. It is shown that this formulation leads to elegant methods for characterizing the space of all equilibria for complex-balanced networks and for deriving stability properties of such networks. We propose a method for model reduction of complex-balanced networks, which is similar to the Kron reduction method for electrical networks and involves the computation of Schur complements of the balanced weighted Laplacian matrix. △ Less

Submitted 28 November, 2012; originally announced November 2012.

Comments: 23 pages

Stability Analysis and Controller Design for a Linear System with Duhem Hysteresis Nonlinearity

Authors: Ruiyue Ouyang, Bayu Jayawardhana

Abstract: In this paper, we investigate the stability of a feedback interconnection between a linear system and a Duhem hysteresis operator, where the linear system and the Duhem hysteresis operator satisfy either the counter-clockwise (CCW) or clockwise (CW) input-output dynamics. More precisely, we present sufficient conditions for the stability of the interconnected system that depend on the CW or CCW pr… ▽ More In this paper, we investigate the stability of a feedback interconnection between a linear system and a Duhem hysteresis operator, where the linear system and the Duhem hysteresis operator satisfy either the counter-clockwise (CCW) or clockwise (CW) input-output dynamics. More precisely, we present sufficient conditions for the stability of the interconnected system that depend on the CW or CCW properties of the linear system and the Duhem operator. Based on these results we introduce a control design methodology for stabilizing a linear plant with a hysteretic actuator or sensor without requiring precise information on the hysteresis operator. △ Less

Submitted 14 June, 2012; originally announced June 2012.

Comments: 30 pages

MSC Class: 34H05; 34C55; 37N35; 70Q05; 47J40

On the Characterization of the Duhem Hysteresis Operator with Clockwise Input-Output Dynamics

Authors: Ruiyue Ouyang, Vincent Andrieu, Bayu Jayawardhana

Abstract: In this paper we investigate the dissipativity property of a certain class of Duhem hysteresis operator, which has clockwise (CW) input-output (I/O) behavior. In particular, we provide sufficient conditions on the Duhem operator such that it is CW and propose an explicit construction of the corresponding storage function satisfying dissipation inequality of CW systems. The result is used to analyz… ▽ More In this paper we investigate the dissipativity property of a certain class of Duhem hysteresis operator, which has clockwise (CW) input-output (I/O) behavior. In particular, we provide sufficient conditions on the Duhem operator such that it is CW and propose an explicit construction of the corresponding storage function satisfying dissipation inequality of CW systems. The result is used to analyze the stability of a second order system with hysteretic friction which is described by a Dahl model. △ Less

Submitted 19 July, 2012; v1 submitted 10 January, 2012; originally announced January 2012.

Comments: Pre-print, revised manuscript, 19 pages

MSC Class: 34C55; 47N70; 93C10; 93C23

Journal ref: Systems and Control Letters, 2013

On the Mathematical Structure of Balanced Chemical Reaction Networks Governed by Mass Action Kinetics

Authors: Arjan van der Schaft, Shodhan Rao, Bayu Jayawardhana

Abstract: Motivated by recent progress on the interplay between graph theory, dynamics, and systems theory, we revisit the analysis of chemical reaction networks described by mass action kinetics. For reaction networks possessing a thermodynamic equilibrium we derive a compact formulation exhibiting at the same time the structure of the complex graph and the stoichiometry of the network, and which admits a… ▽ More Motivated by recent progress on the interplay between graph theory, dynamics, and systems theory, we revisit the analysis of chemical reaction networks described by mass action kinetics. For reaction networks possessing a thermodynamic equilibrium we derive a compact formulation exhibiting at the same time the structure of the complex graph and the stoichiometry of the network, and which admits a direct thermodynamical interpretation. This formulation allows us to easily characterize the set of equilibria and their stability properties. Furthermore, we develop a framework for interconnection of chemical reaction networks. Finally we discuss how the established framework leads to a new approach for model reduction. △ Less

Submitted 27 October, 2011; originally announced October 2011.

Coordination of passive systems under quantized measurements

Authors: Claudio De Persis, Bayu Jayawardhana

Abstract: In this paper we investigate a passivity approach to collective coordination and synchronization problems in the presence of quantized measurements and show that coordination tasks can be achieved in a practical sense for a large class of passive systems. In this paper we investigate a passivity approach to collective coordination and synchronization problems in the presence of quantized measurements and show that coordination tasks can be achieved in a practical sense for a large class of passive systems. △ Less

Submitted 8 April, 2012; v1 submitted 21 August, 2011; originally announced August 2011.

Comments: 40 pages, 1 figure, submitted to journal, second round of review

Journal ref: SIAM Journal on Control and Optimization, 2012