Searcharxiv⌕ Search

arXiv subjects

Bayu Jayawardhana

Publications and source records attributed to Bayu Jayawardhana.

At least 37 records · Page 2Linked to original sources

Output contraction analysis of nonlinear systems

This paper introduce the notion of output contraction that expands the contraction notion to the time-varying nonlinear systems with output. It pertains to the systems' property that any pair of outputs from the system converge to each other exponentially. This concept exhibits a more expansive nature when contrasted with another generalized contraction framework known as partial contraction. The first result establishes a connection between the output contraction of a time-varying system and the output exponential stability of its variational system. Subsequently, we derive a sufficient condition for achieving output contraction in time-varying systems by applying the output contraction Lyapunov criterion. Finally, we apply the results to analyze the output exponential stability of nonlinear time-invariant systems.

eess.SY↗

Scaling up the formation of agents with heterogeneous sensing: mixed distance and bearing-only

Unlike the case with identical neighboring agents whose actions are mirrored, the problem of distributed formation control design with heterogeneous sensing is not straightforward. In this paper, we consider the problem of distributed formation control where each agent can only control distances or bearings with its neighbors. We firstly develop a rigidity theory with heterogeneous sensing to ensure that the desired shape is well-posed. Secondly, we propose an iterative method that allows us to scale up the number of agents with heterogeneous sensing. Finally, numerical simulations show the effectiveness of our method.

eess.SY↗

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

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.

eess.SY↗

Flexible Distributed Flocking Control for Multi-agent Unicycle Systems

Currently, the general aim of flocking and formation control laws for multi-agent systems is to form and maintain a rigid configuration, such as, the alpha-lattices in flocking control methods, where the desired distance between each pair of connected agents is fixed. This introduces a scalability issue for large-scale deployment of agents due to unrealizable geometrical constraints and the constant need of centralized orchestrator to ensure the formation graph rigidity. This paper presents a flexible distributed flocking cohesion algorithm for nonholonomic multi-agent systems. The desired geometry configuration between each pair of agents is adaptive and flexible. The distributed flocking goal is achieved using limited information exchange (i.e., the local field gradient) between connected neighbor agents and it does not rely on any other motion variables measurements, such as (relative) position, velocity, or acceleration. Additionally, the flexible flocking scheme with safety is considered so that the agents with limited sensing capability are able to maintain the connectedness of communication topology at all time and avoid inter-agent collisions. The stability analysis of the proposed methods is presented along with numerical simulation results to show their effectiveness.

eess.SY↗

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

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.

eess.SY↗

Analysing the influence of power take-off adaptability on the power extraction of dense wave energy converter arrays

The aim of this work is to assess the influence of different degrees of adaptability of the power take-off (PTO) system on the power absorption of dense wave energy converter (WEC) arrays. The adaptability is included in simulations through a transmission ratio that scales the force actuating the PTO relative to the force generated by the motion of a floater. A numerical model is used in which hydrodynamic interactions between floaters and nonlinearities in the PTO are considered. The lower computational cost of this numerical model makes it possible to study the power extraction of a dense WEC array in irregular waves to easily create power matrices and other performance metrics. The methodology is applied to the case study of the Ocean Grazer WEC to showcase the potential performance improvements achieved through the inclusion of a transmission ratio. The analysis shows that including a high degree of adaptability and choosing WEC array configurations and PTO designs specific to potential deployment locations early in the design process can lead to an increase in extracted power.

physics.app-ph↗

Range-Only Bearing Estimator for Localization and Mapping

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.

eess.SY↗

Data-driven dissipative verification of LTI systems: multiple shots of data, QDF supply-rate and application to a planar manipulator

We present a data-driven dissipative verification method for LTI systems based on using multiple input-output data. We assume that the supply-rate functions have a quadratic difference form corresponding to the general dissipativity notion known in the behavioural framework. We validate our approach in a practical example using a two-degree-of-freedom planar manipulator from Quanser, with which we demonstrate the applicability of multiple datasets over one-shot of data recently proposed in the literature.

eess.SY↗

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

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.

eess.SY↗

Kron-based Model-order Reduction of Open Mass-action Kinetics Chemical Reaction Networks

We propose a Kron-based model-order reduction method for mass-action kinetics chemical reaction networks (CRN) with constant inflow and proportional outflow. The reduced-order models preserve the CRN structure and we establish that the resulting reduced-order models have the same DC-gain or zero-moment as that of the full-order ones. Subsequently, we present the spectrum interlacing property of the Kron-reduced open CRN and propose the use of Gramians-based approach for single-species single-substrate chemical network to get the upper-bound of approximation error and to use it in determining a good set of nodes to be removed systematically. Finally, we evaluate the applicability and efficacy of our results in two well-known biochemical kinetic models: the activated sludge model (ASM) 1 and McKeithan's T-cell receptor model.

eess.SY↗

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

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.

eess.SY↗

Homomorphic Encryption-Enabled Distance-Based Distributed Formation Control with Distance Mismatch Estimators

This paper considers the use of fully homomorphic encryption for the realisation of distributed formation control of multi-agent systems via edge computer. In our proposed framework, the distributed control computation in the edge computer uses only the encrypted data without the need for a reset mechanism that is commonly required to avoid error accumulation. Simulation results show that, despite the use of encrypted data on the controller and errors introduced by the quantization process prior to the encryption, the formation is able to converge to the desired shape. The proposed architecture offers insight on the mechanism for realising distributed control computation in an edge/cloud computer while preserving the privacy of local information coming from each agent.

eess.SY↗

On the one-shot data-driven verification of dissipativity of LTI systems with general quadratic supply rate function

Based on a one-shot input-output set of data from an LTI system, we present a verification method of dissipativity property based on a general quadratic supply-rate function. We show the applicability of our approach for identifying suitable general quadratic supply-rate function in two numerical examples, one regarding the estimation of $\mathcal{L}_2$-gains and one where we verify the dissipativity of a mass-spring-damper system.

eess.SY↗

Distributed formation control for manipulator end-effectors

We present three classes of distributed formation controllers for achieving and maintaining the 2D/3D formation shape of manipulator end-effectors to cope with different scenarios due to availability of modeling parameters. We firstly present a distributed formation controller for manipulators whose system parameters are perfectly known. The formation control objective is achieved by assigning virtual springs between end-effectors and by adding damping terms at joints, which provides a clear physical interpretation of the proposed solution. Subsequently, we extend it to the case where manipulator kinematic and system parameters are not exactly known. An extra integrator and an adaptive estimator are introduced for gravitational compensation and stabilization, respectively. Simulation results with planar manipulators and with seven degree-of-freedom humanoid manipulator arms are presented to illustrate the effectiveness of the proposed approach.

cs.RO↗

Source Seeking Control of Unicycle Robots with 3D-printed Flexible Piezoresistive Sensors

We present the design and experimental validation of source seeking control algorithms for a unicycle mobile robot that is equipped with novel 3D-printed flexible graphene-based piezoresistive airflow sensors. Based solely on a local gradient measurement from the airflow sensors, we propose and analyze a projected gradient ascent algorithm to solve the source seeking problem. In the case of partial sensor failure, we propose a combination of Extremum-Seeking Control with our projected gradient ascent algorithm. For both control laws, we prove the asymptotic convergence of the robot to the source. Numerical simulations were performed to validate the algorithms and experimental validations are presented to demonstrate the efficacy of the proposed methods.

cs.RO↗

Distributed formation control of manipulators' end-effector with internal model-based disturbance rejection

This paper addresses the problem of end-effector formation control for manipulators that are subjected to external disturbances: input disturbance torques and disturbance forces at each end-effector. The disturbances are assumed to be non-vanishing and are superposition of finite number of sinusoidal and step signals. The formation control objective is achieved by assigning virtual springs between end-effectors, by adding damping terms at joints, and by incorporating internal model-based dynamic compensators to counteract the effect of the disturbances; all of which presents a clear physical interpretation of the proposed approach. Simulation results are presented to illustrate the effectiveness of the proposed approach.

cs.RO↗

Securing Isosceles Triangular Formations under Heterogeneous Sensing and Mixed Constraints

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.

cs.RO↗

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

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.

eess.SY↗