Ali Saberi - Academia.edu (original) (raw)

Papers by Ali Saberi

Research paper thumbnail of Scale-free linear protocol design for global regulated state synchronization of discrete-time double-integrator multi-agent systems subject to actuator saturation

arXiv (Cornell University), Oct 25, 2022

This paper studies global regulated state synchronization of discrete-time double-integrator mult... more This paper studies global regulated state synchronization of discrete-time double-integrator multi-agent systems subject to actuator saturation by utilizing localized information exchange. We propose a scale-free linear protocol that achieves global regulated state synchronization for any network with arbitrary number of agents and arbitrarily directed communication graph that has a path between each agent and exosystem which generates the reference trajectory.

Research paper thumbnail of H2andH∞almost output synchronization of heterogeneous continuous‐time multi‐agent systems with passive agents and partial‐state coupling via static protocol

International Journal of Robust and Nonlinear Control, 2019

This paper studies H 2 and H ∞ almost output synchronization problems for heterogeneous continuou... more This paper studies H 2 and H ∞ almost output synchronization problems for heterogeneous continuous-time multiagent systems with passive agents and strongly connected communication graph. For non-introspective passive agents, a linear static protocol can be designed to achieve almost output synchronization with arbitrarily small H 2 norm. Moreover, we show that the H ∞ almost output synchronization problem via static protocol is not solvable for this class of systems. KEYWORDS heterogeneous multiagent systems, H ∞ and H 2 almost output synchronization, synchronization in complex networks of dynamical systems 6244

Research paper thumbnail of A Flexible Algorithm for Sensor Network Partitioning and Self-partitioning Problems

Lecture Notes in Computer Science, 2006

Motivated by the need for agent classification in sensor networking and autonomous vehicle contro... more Motivated by the need for agent classification in sensor networking and autonomous vehicle control applications, we propose a flexible and distributed stochastic automaton-based network partitioning algorithm that is capable of finding the optimal k-way partition with respect to a broad range of cost functions, and given various constraints, in directed and weighted graphs. Specifically, we motivate the need for new algorithms for network partitioning and distributed (or self-) partitioning. We then review our stochastic automaton-based partitioning algorithm, and extend its use for network partitioning and self-partitioning problems. Finally, the application of the algorithm to mobile/sensor classification in ad hoc networks is pursued in detail, and other applications are briefly introduced.

Research paper thumbnail of On the existence and uniqueness of solutions for nonsmooth systems

Proceedings of 1995 American Control Conference - ACC'95

Research paper thumbnail of Loop Transfer Recovery: Analysis and Design

Proceedings of the IEEE, 1997

Research paper thumbnail of Closed-form solutions to a class of H∞-optimization problems

International Journal of Control, 1994

The work explores a specific scenario for structural computational optimization based on the foll... more The work explores a specific scenario for structural computational optimization based on the following elements: (a) a relaxed optimization setting considering the ersatz (bi-material) approximation, (b) a treatment based on a nonsmoothed characteristic function field as a topological design variable, (c) the consistent derivation of a relaxed topological derivative whose determination is simple, general and efficient, (d) formulation of the overall increasing cost function topological sensitivity as a suitable optimality criterion, and (e) consideration of a pseudo-time framework for the problem solution, ruled by the problem constraint evolution. In this setting, it is shown that the optimization problem can be analytically solved in a variational framework, leading to, nonlinear, closed-form algebraic solutions for the characteristic function, which are then solved, in every time-step, via fixed point methods based on a pseudo-energy cutting algorithm combined with the exact fulfillment of the constraint, at every iteration of the non-linear algorithm, via a bisection method. The issue of the ill-posedness (mesh dependency) of the topological solution, is then easily solved via a Laplacian smoothing of that pseudo-energy. In the aforementioned context, a number of (3D) topological structural optimization benchmarks are solved, and the solutions obtained with the explored closed-form solution method, are analyzed, and compared, with their solution through an alternative level set method. Although the obtained results, in terms of the cost function and topology designs, are very similar in both methods, the associated computational cost is about five times smaller in the closedform solution method this possibly being one of its advantages. Some comments, about the possible application of the method to other topological optimization problems, as well as envisaged modifications of the explored method to improve its performance close the work.

Research paper thumbnail of A control-theoretic approach to distributed discrete-valued decision-making in networks of sensing agents

IEEE Transactions on Mobile Computing, 2006

Research paper thumbnail of Stability analysis of continuous time planar systems with state saturation nonlinearity

IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications, 1998

This brief establishes easy-to-verify necessary and sufficient conditions for global asymptotic s... more This brief establishes easy-to-verify necessary and sufficient conditions for global asymptotic stability of a class of continuous time planar systems which are subject to state saturation nonlinearities on both its state variables.

Research paper thumbnail of Robust semiglobal stabilization of minimum-phase input-output linearizable systems via partial state and output feedback

IEEE Transactions on Automatic Control, 1995

In this paper we consider the problem of robust semiglobal stabilization and/or semiglobal practi... more In this paper we consider the problem of robust semiglobal stabilization and/or semiglobal practical stabilization of minimum-phase input-output linearizable systems. The results of this paper significantly extend the recent work of Teel and Praly on SISO (single-input/single-output) minimum-phase systems in several directions. Among these directions are the development of MIMO (multi-input/multi-output) theory and the relaxation of the restriction on the interaction between nonlinear zero dynamics and the state of the linearizable part of the system. (A. B. C) required in 1161 for global stabilization is relaxed by allowing repeated invariant zeros on the jw-axis. This is a ' A linear system (-4. B. C) is said to be of weakly minimum phase if its zero dynamics is stable in the Tense of Lyapunov.

Research paper thumbnail of External stability of a double integrator with saturated linear control laws

For a double integrator subject to input saturation, it is well-known that linear control laws ca... more For a double integrator subject to input saturation, it is well-known that linear control laws can achieve global asymptotic stability. But a study of external stability for such a simple system reveals an unexpectedly rich nature. It is shown in this paper that external L p stability for non-input-additive disturbance only holds for p ≤ 2, but not for p > 2 no matter what linear control law is used. However, for input-additive disturbance, L p stability holds for all 1 ≤ p < ∞. As a third result, we show that the double integrator system controlled by a saturating linear feedback is not input-to-state stable (ISS) even when all disturbances have their magnitudes restricted to be arbitrarily small. These results for the first time reveal that external stability of nonlinear systems is essentially different from that of linear systems. A fundamental discovery in this study is that the external stability of nonlinear systems cannot be separated from the internal state behavior.

Research paper thumbnail of Synchronization in a network of identical continuous- or discrete-time agents with unknown nonuniform constant input delay

International Journal of Robust and Nonlinear Control, 2018

This paper studies the synchronization problem for multiagent systems with identical continuous-o... more This paper studies the synchronization problem for multiagent systems with identical continuous-or discrete-time agents with unknown nonuniform constant input delays. The agents are connected via full-or partial-state coupling. The agents are assumed to be asymptotically null controllable, ie, all eigenvalues are in the closed left-half complex plane for continuous-time agents or in the closed unit disc for discrete-time agents. We derive an upper bound for the input delay tolerance, which explicitly depends on the agent dynamics. Moreover, for any unknown delay satisfying this upper bound, a low-gain-based protocol design methodology is proposed without relying on exact knowledge of the network topology such that synchronization is achieved among agents for any network graph in a given set.

Research paper thumbnail of A nonlinear observer for integration of GNSS and IMU measurements with gyro bias estimation

2012 American Control Conference (ACC), 2012

We present an observer for estimating position, velocity, attitude, and gyro bias, by using inert... more We present an observer for estimating position, velocity, attitude, and gyro bias, by using inertial measurements of accelerations and angular velocities, magnetometer measurements, and satellite-based measurements of position and (optionally) velocity. The design proceeds in two stages: in Stage I, an attitude and gyro bias estimator is designed based on an unmeasured signal. In Stage II, that design is recovered using measured signals only, by combining it with a position and velocity estimator. We prove exponential convergence of the estimation error from all desired initial conditions and test the design using realistic flight simulation.

Research paper thumbnail of Noniterative computation of infimum in H∞ optimisation for plants with invariant zeros on the jω-axis

IEE Proceedings D Control Theory and Applications, 1993

We define the following subspaces: 1'9(A, B, C, D) is the maximal subspace of IRnwhich is (A + BF... more We define the following subspaces: 1'9(A, B, C, D) is the maximal subspace of IRnwhich is (A + BF)-invariant and contained in Ker (C + DF) such that the eigenvalues of (A + BF) 11'9 are contained in C9~C for some F.

Research paper thumbnail of A Flexible Stochastic Automaton-Based Algorithm for Network Self-Partitioning

International Journal of Distributed Sensor Networks, 2008

This article proposes a flexible and distributed stochastic automaton-based network partitioning ... more This article proposes a flexible and distributed stochastic automaton-based network partitioning algorithm that is capable of finding the optimal k-way partition with respect to a broad range of cost functions, and given various constraints, in directed and weighted graphs. Specifically, we motivate the distributed partitioning (self-partitioning) problem, introduce the stochastic automaton-based partitioning algorithm, and show that the algorithm finds the optimal partition with probability 1 for a large class of partitioning tasks. Also, a discussion of why the algorithm can be expected to find good partitions quickly is included, and its performance is further illustrated through examples. Finally, applications to mobile/sensor classification in ad hoc networks, fault-isolation in electric power systems, and control of autonomous vehicle teams are pursued in detail.

Research paper thumbnail of Delays in fault detection and isolation

Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148), 2001

Research paper thumbnail of High-gain observer design for domination of nonlinear perturbations: Transformation to a canonical form by dynamic output shaping

49th IEEE Conference on Decision and Control (CDC), 2010

We consider the problem of observer design for a class of systems described by an observable line... more We consider the problem of observer design for a class of systems described by an observable linear system perturbed by nonlinear, time-varying terms. In particular, we investigate conditions under which the effect of the nonlinear terms may be dominated by using sufficiently high gain. Our main tool is the transformation of the original system to a canonical form suitable for high-gain design, which is similar or equivalent to canonical forms used elsewhere in the high-gain literature. We demonstrate that linear, nonsingular transformations to this canonical form can easily be constructed using available tools, but that many systems do not allow for such a transformation. Our main contribution is a constructive algorithm that aims to rectify this problem by dynamically shaping the output.

Research paper thumbnail of Globally exponentially stable attitude and gyro bias estimation with application to GNSS/INS integration

Automatica, 2015

This paper deals with the construction of nonlinear observers for navigation purposes. We first p... more This paper deals with the construction of nonlinear observers for navigation purposes. We first present a globally exponentially stable observer for attitude and gyro bias, based on gyro measurements and two or more pairs of vector measurements. We avoid the well-known topological obstructions to global stability by not confining the attitude estimate to SO(3), but rather estimating a full rotation matrix with nine degrees of freedom. We also show how the attitude can be estimated under a relaxed persistency-of-excitation condition, with a single vector measurement as a special case. Next, we use the attitude observer to construct a globally exponentially stable observer for GNSS/INS integration, based on accelerometer, gyro, and magnetometer measurements, as well as GNSS measurements of position and (optionally) velocity. We verify the stability properties of the design using experimental data from a light fixed-wing aircraft.

Research paper thumbnail of A stochastic automaton-based algorithm for flexible and distributed network partitioning

Proceedings 2005 IEEE Swarm Intelligence Symposium, 2005. SIS 2005.

Research paper thumbnail of Designing Asymptotics and Transients of Linear Stochastic Automaton Networks

AIAA Guidance, Navigation, and Control Conference, 2010

Research paper thumbnail of On the structure of graph edge designs that optimize the algebraic connectivity

2008 47th IEEE Conference on Decision and Control, 2008

Research paper thumbnail of Scale-free linear protocol design for global regulated state synchronization of discrete-time double-integrator multi-agent systems subject to actuator saturation

arXiv (Cornell University), Oct 25, 2022

This paper studies global regulated state synchronization of discrete-time double-integrator mult... more This paper studies global regulated state synchronization of discrete-time double-integrator multi-agent systems subject to actuator saturation by utilizing localized information exchange. We propose a scale-free linear protocol that achieves global regulated state synchronization for any network with arbitrary number of agents and arbitrarily directed communication graph that has a path between each agent and exosystem which generates the reference trajectory.

Research paper thumbnail of H2andH∞almost output synchronization of heterogeneous continuous‐time multi‐agent systems with passive agents and partial‐state coupling via static protocol

International Journal of Robust and Nonlinear Control, 2019

This paper studies H 2 and H ∞ almost output synchronization problems for heterogeneous continuou... more This paper studies H 2 and H ∞ almost output synchronization problems for heterogeneous continuous-time multiagent systems with passive agents and strongly connected communication graph. For non-introspective passive agents, a linear static protocol can be designed to achieve almost output synchronization with arbitrarily small H 2 norm. Moreover, we show that the H ∞ almost output synchronization problem via static protocol is not solvable for this class of systems. KEYWORDS heterogeneous multiagent systems, H ∞ and H 2 almost output synchronization, synchronization in complex networks of dynamical systems 6244

Research paper thumbnail of A Flexible Algorithm for Sensor Network Partitioning and Self-partitioning Problems

Lecture Notes in Computer Science, 2006

Motivated by the need for agent classification in sensor networking and autonomous vehicle contro... more Motivated by the need for agent classification in sensor networking and autonomous vehicle control applications, we propose a flexible and distributed stochastic automaton-based network partitioning algorithm that is capable of finding the optimal k-way partition with respect to a broad range of cost functions, and given various constraints, in directed and weighted graphs. Specifically, we motivate the need for new algorithms for network partitioning and distributed (or self-) partitioning. We then review our stochastic automaton-based partitioning algorithm, and extend its use for network partitioning and self-partitioning problems. Finally, the application of the algorithm to mobile/sensor classification in ad hoc networks is pursued in detail, and other applications are briefly introduced.

Research paper thumbnail of On the existence and uniqueness of solutions for nonsmooth systems

Proceedings of 1995 American Control Conference - ACC'95

Research paper thumbnail of Loop Transfer Recovery: Analysis and Design

Proceedings of the IEEE, 1997

Research paper thumbnail of Closed-form solutions to a class of H∞-optimization problems

International Journal of Control, 1994

The work explores a specific scenario for structural computational optimization based on the foll... more The work explores a specific scenario for structural computational optimization based on the following elements: (a) a relaxed optimization setting considering the ersatz (bi-material) approximation, (b) a treatment based on a nonsmoothed characteristic function field as a topological design variable, (c) the consistent derivation of a relaxed topological derivative whose determination is simple, general and efficient, (d) formulation of the overall increasing cost function topological sensitivity as a suitable optimality criterion, and (e) consideration of a pseudo-time framework for the problem solution, ruled by the problem constraint evolution. In this setting, it is shown that the optimization problem can be analytically solved in a variational framework, leading to, nonlinear, closed-form algebraic solutions for the characteristic function, which are then solved, in every time-step, via fixed point methods based on a pseudo-energy cutting algorithm combined with the exact fulfillment of the constraint, at every iteration of the non-linear algorithm, via a bisection method. The issue of the ill-posedness (mesh dependency) of the topological solution, is then easily solved via a Laplacian smoothing of that pseudo-energy. In the aforementioned context, a number of (3D) topological structural optimization benchmarks are solved, and the solutions obtained with the explored closed-form solution method, are analyzed, and compared, with their solution through an alternative level set method. Although the obtained results, in terms of the cost function and topology designs, are very similar in both methods, the associated computational cost is about five times smaller in the closedform solution method this possibly being one of its advantages. Some comments, about the possible application of the method to other topological optimization problems, as well as envisaged modifications of the explored method to improve its performance close the work.

Research paper thumbnail of A control-theoretic approach to distributed discrete-valued decision-making in networks of sensing agents

IEEE Transactions on Mobile Computing, 2006

Research paper thumbnail of Stability analysis of continuous time planar systems with state saturation nonlinearity

IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications, 1998

This brief establishes easy-to-verify necessary and sufficient conditions for global asymptotic s... more This brief establishes easy-to-verify necessary and sufficient conditions for global asymptotic stability of a class of continuous time planar systems which are subject to state saturation nonlinearities on both its state variables.

Research paper thumbnail of Robust semiglobal stabilization of minimum-phase input-output linearizable systems via partial state and output feedback

IEEE Transactions on Automatic Control, 1995

In this paper we consider the problem of robust semiglobal stabilization and/or semiglobal practi... more In this paper we consider the problem of robust semiglobal stabilization and/or semiglobal practical stabilization of minimum-phase input-output linearizable systems. The results of this paper significantly extend the recent work of Teel and Praly on SISO (single-input/single-output) minimum-phase systems in several directions. Among these directions are the development of MIMO (multi-input/multi-output) theory and the relaxation of the restriction on the interaction between nonlinear zero dynamics and the state of the linearizable part of the system. (A. B. C) required in 1161 for global stabilization is relaxed by allowing repeated invariant zeros on the jw-axis. This is a ' A linear system (-4. B. C) is said to be of weakly minimum phase if its zero dynamics is stable in the Tense of Lyapunov.

Research paper thumbnail of External stability of a double integrator with saturated linear control laws

For a double integrator subject to input saturation, it is well-known that linear control laws ca... more For a double integrator subject to input saturation, it is well-known that linear control laws can achieve global asymptotic stability. But a study of external stability for such a simple system reveals an unexpectedly rich nature. It is shown in this paper that external L p stability for non-input-additive disturbance only holds for p ≤ 2, but not for p > 2 no matter what linear control law is used. However, for input-additive disturbance, L p stability holds for all 1 ≤ p < ∞. As a third result, we show that the double integrator system controlled by a saturating linear feedback is not input-to-state stable (ISS) even when all disturbances have their magnitudes restricted to be arbitrarily small. These results for the first time reveal that external stability of nonlinear systems is essentially different from that of linear systems. A fundamental discovery in this study is that the external stability of nonlinear systems cannot be separated from the internal state behavior.

Research paper thumbnail of Synchronization in a network of identical continuous- or discrete-time agents with unknown nonuniform constant input delay

International Journal of Robust and Nonlinear Control, 2018

This paper studies the synchronization problem for multiagent systems with identical continuous-o... more This paper studies the synchronization problem for multiagent systems with identical continuous-or discrete-time agents with unknown nonuniform constant input delays. The agents are connected via full-or partial-state coupling. The agents are assumed to be asymptotically null controllable, ie, all eigenvalues are in the closed left-half complex plane for continuous-time agents or in the closed unit disc for discrete-time agents. We derive an upper bound for the input delay tolerance, which explicitly depends on the agent dynamics. Moreover, for any unknown delay satisfying this upper bound, a low-gain-based protocol design methodology is proposed without relying on exact knowledge of the network topology such that synchronization is achieved among agents for any network graph in a given set.

Research paper thumbnail of A nonlinear observer for integration of GNSS and IMU measurements with gyro bias estimation

2012 American Control Conference (ACC), 2012

We present an observer for estimating position, velocity, attitude, and gyro bias, by using inert... more We present an observer for estimating position, velocity, attitude, and gyro bias, by using inertial measurements of accelerations and angular velocities, magnetometer measurements, and satellite-based measurements of position and (optionally) velocity. The design proceeds in two stages: in Stage I, an attitude and gyro bias estimator is designed based on an unmeasured signal. In Stage II, that design is recovered using measured signals only, by combining it with a position and velocity estimator. We prove exponential convergence of the estimation error from all desired initial conditions and test the design using realistic flight simulation.

Research paper thumbnail of Noniterative computation of infimum in H∞ optimisation for plants with invariant zeros on the jω-axis

IEE Proceedings D Control Theory and Applications, 1993

We define the following subspaces: 1'9(A, B, C, D) is the maximal subspace of IRnwhich is (A + BF... more We define the following subspaces: 1'9(A, B, C, D) is the maximal subspace of IRnwhich is (A + BF)-invariant and contained in Ker (C + DF) such that the eigenvalues of (A + BF) 11'9 are contained in C9~C for some F.

Research paper thumbnail of A Flexible Stochastic Automaton-Based Algorithm for Network Self-Partitioning

International Journal of Distributed Sensor Networks, 2008

This article proposes a flexible and distributed stochastic automaton-based network partitioning ... more This article proposes a flexible and distributed stochastic automaton-based network partitioning algorithm that is capable of finding the optimal k-way partition with respect to a broad range of cost functions, and given various constraints, in directed and weighted graphs. Specifically, we motivate the distributed partitioning (self-partitioning) problem, introduce the stochastic automaton-based partitioning algorithm, and show that the algorithm finds the optimal partition with probability 1 for a large class of partitioning tasks. Also, a discussion of why the algorithm can be expected to find good partitions quickly is included, and its performance is further illustrated through examples. Finally, applications to mobile/sensor classification in ad hoc networks, fault-isolation in electric power systems, and control of autonomous vehicle teams are pursued in detail.

Research paper thumbnail of Delays in fault detection and isolation

Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148), 2001

Research paper thumbnail of High-gain observer design for domination of nonlinear perturbations: Transformation to a canonical form by dynamic output shaping

49th IEEE Conference on Decision and Control (CDC), 2010

We consider the problem of observer design for a class of systems described by an observable line... more We consider the problem of observer design for a class of systems described by an observable linear system perturbed by nonlinear, time-varying terms. In particular, we investigate conditions under which the effect of the nonlinear terms may be dominated by using sufficiently high gain. Our main tool is the transformation of the original system to a canonical form suitable for high-gain design, which is similar or equivalent to canonical forms used elsewhere in the high-gain literature. We demonstrate that linear, nonsingular transformations to this canonical form can easily be constructed using available tools, but that many systems do not allow for such a transformation. Our main contribution is a constructive algorithm that aims to rectify this problem by dynamically shaping the output.

Research paper thumbnail of Globally exponentially stable attitude and gyro bias estimation with application to GNSS/INS integration

Automatica, 2015

This paper deals with the construction of nonlinear observers for navigation purposes. We first p... more This paper deals with the construction of nonlinear observers for navigation purposes. We first present a globally exponentially stable observer for attitude and gyro bias, based on gyro measurements and two or more pairs of vector measurements. We avoid the well-known topological obstructions to global stability by not confining the attitude estimate to SO(3), but rather estimating a full rotation matrix with nine degrees of freedom. We also show how the attitude can be estimated under a relaxed persistency-of-excitation condition, with a single vector measurement as a special case. Next, we use the attitude observer to construct a globally exponentially stable observer for GNSS/INS integration, based on accelerometer, gyro, and magnetometer measurements, as well as GNSS measurements of position and (optionally) velocity. We verify the stability properties of the design using experimental data from a light fixed-wing aircraft.

Research paper thumbnail of A stochastic automaton-based algorithm for flexible and distributed network partitioning

Proceedings 2005 IEEE Swarm Intelligence Symposium, 2005. SIS 2005.

Research paper thumbnail of Designing Asymptotics and Transients of Linear Stochastic Automaton Networks

AIAA Guidance, Navigation, and Control Conference, 2010

Research paper thumbnail of On the structure of graph edge designs that optimize the algebraic connectivity

2008 47th IEEE Conference on Decision and Control, 2008