Showing 1–13 of 13 results for author: Izadi, M

High-Performance Model Predictive Control for Quadcopters with Formal Stability Guarantees

Authors: Maedeh Izadi, A. T. J. R. Cobbenhagen, Ruben Sommer, A. R. P. Andriën, Erjen Lefeber, W. P. M. H. Heemels

Abstract: In this paper, we present a novel cascade control structure with formal guarantees of uniform almost global asymptotic stability for the state tracking error dynamics of a quadcopter. The proposed approach features a model predictive control strategy for the outer loop, explicitly accounting for the non-zero total thrust constraint. The outer-loop controller generates an acceleration reference, wh… ▽ More In this paper, we present a novel cascade control structure with formal guarantees of uniform almost global asymptotic stability for the state tracking error dynamics of a quadcopter. The proposed approach features a model predictive control strategy for the outer loop, explicitly accounting for the non-zero total thrust constraint. The outer-loop controller generates an acceleration reference, which is then converted into attitude, angular velocity and acceleration references, subsequently tracked by a nonlinear inner-loop controller. The proposed cascade control strategy is validated through numerical case studies, underlying high-fidelity models, demonstrating its ability to track fast trajectories with small error. △ Less

Submitted 28 December, 2024; originally announced December 2024.

Application of the Bell polynomials for the solution of some differential-algebraic equations

Authors: Hari Mohan Srivastava, Giriraj Methi, Anil Kumar, Mohammad Izadi, Vishnu Narayan Mishra, Brahim Benhammouda

Abstract: The differential transform method is used to find numerical approximation of solution to a class of certain nonlinear differential algebraic equations. The method is based on Taylor's theorem. Coefficients of the Taylor series are determined by constructing a recurrence relation. To deal with nonlinearity of the problems, the Faà di Bruno's formula containing the partial ordinary Bell polynomials… ▽ More The differential transform method is used to find numerical approximation of solution to a class of certain nonlinear differential algebraic equations. The method is based on Taylor's theorem. Coefficients of the Taylor series are determined by constructing a recurrence relation. To deal with nonlinearity of the problems, the Faà di Bruno's formula containing the partial ordinary Bell polynomials is applied within the differential transform to avoid computation of symbolic derivatives. The error estimation results are presented too. Four concrete problems are studied to show efficiency and reliability of the method. The obtained results are compared to other methods. △ Less

Submitted 13 April, 2023; originally announced April 2023.

Chevalley involutions for Lie tori and extended affine Lie algebras

Authors: Saeid Azam, Mehdi Farhadi Izadi

Abstract: In finite-dimensional simple Lie algebras and affine Kac-Moody Lie algebras, Chevalley involutions are crucial ingredients of the modular theory. Towards establishing the modular theory for extended affine Lie algebras, we investigate the existence of ``Chevalley involutions" for Lie tori and extended affine Lie algebras. We first discuss how to lift a Chevalley involution from the centerless core… ▽ More In finite-dimensional simple Lie algebras and affine Kac-Moody Lie algebras, Chevalley involutions are crucial ingredients of the modular theory. Towards establishing the modular theory for extended affine Lie algebras, we investigate the existence of ``Chevalley involutions" for Lie tori and extended affine Lie algebras. We first discuss how to lift a Chevalley involution from the centerless core which is characterized to be a centerless Lie torus to the core and then to the entire extended affine Lie algebra. We then prove that each centerless Lie torus of reduced type admits a Chevalley involution. △ Less

Submitted 6 July, 2023; v1 submitted 1 February, 2023; originally announced February 2023.

MSC Class: 17B67

A new Homological Invariant for Modules

Authors: Mohammadali Izadi

Abstract: Let $R$ be a commutative Noetherian local ring with residue field $k$. Using the structure of Vogel cohomology, for any finitely generated module $M$, we introduce a new dimension, called $ζ$-dimension, denoted by $ζ-dim_R M$. This dimension is finer than Gorenstein dimension and has nice properties enjoyed by homological dimensions. In particular, it characterizes Gorenstein rings in the sense th… ▽ More Let $R$ be a commutative Noetherian local ring with residue field $k$. Using the structure of Vogel cohomology, for any finitely generated module $M$, we introduce a new dimension, called $ζ$-dimension, denoted by $ζ-dim_R M$. This dimension is finer than Gorenstein dimension and has nice properties enjoyed by homological dimensions. In particular, it characterizes Gorenstein rings in the sense that: a ring $R$ is Gorenstein if and only if every finitely generated $R$-module has finite $ζ$-dimension. Our definition of $ζ$-dimension offer a new homological perspective on the projective dimension, complete intersection dimension of Avramov et al. and $G$-dimension of Auslander and Bridger. △ Less

Submitted 13 March, 2019; originally announced March 2019.

Testing Exponentiality Against a Trend Change in Mean Time to Failure in Age Replacement

Authors: Muhyiddin Izadi, Sirous Fathimanesh

Abstract: Mean time to failure in age replacement evaluates the performance and effectiveness of the age replacement policy. In this paper, we propose a test for exponentiality against a trend change in mean time to failure in age replacement. We derive the asymptotic distribution of the test statistics under the null hypothesis to approximate the critical values. We conduct a simulation study to investigat… ▽ More Mean time to failure in age replacement evaluates the performance and effectiveness of the age replacement policy. In this paper, we propose a test for exponentiality against a trend change in mean time to failure in age replacement. We derive the asymptotic distribution of the test statistics under the null hypothesis to approximate the critical values. We conduct a simulation study to investigate the performance of the proposed test and compare it with some well known tests in the literature. △ Less

Submitted 26 October, 2018; originally announced October 2018.

The Variational Attitude Estimator in the Presence of Bias in Angular Velocity Measurements

Authors: Maziar Izadi, Sasi Prabhakaran Viswanathan, Amit Kumar Sanyal, Carlos Silvestre, Paulo Oliveira

Abstract: Estimation of rigid body attitude motion is a long-standing problem of interest in several applications. This problem is challenging primarily because rigid body motion is described by nonlinear dynamics and the state space is nonlinear. The extended Kalman filter and its several variants have remained the standard and most commonly used schemes for attitude estimation over the last several decade… ▽ More Estimation of rigid body attitude motion is a long-standing problem of interest in several applications. This problem is challenging primarily because rigid body motion is described by nonlinear dynamics and the state space is nonlinear. The extended Kalman filter and its several variants have remained the standard and most commonly used schemes for attitude estimation over the last several decades. These schemes are obtained as approximate solutions to the nonlinear optimal filtering problem. However, these approximate or near optimal solutions may not give stable estimation schemes in general. The variational attitude estimator was introduced recently to fill this gap in stable estimation of arbitrary rigid body attitude motion in the presence of uncertainties in initial state and unknown measurement noise. This estimator is obtained by applying the Lagrange-d'Alembert principle of variational mechanics to a Lagrangian constructed from residuals between measurements and state estimates with a dissipation term that is linear in the angular velocity measurement residual. In this work, the variational attitude estimator is generalized to include angular velocity measurements that have a constant bias in addition to measurement noise. The state estimates converge to true states almost globally over the state space. Further, the bias estimates converge to the true bias once the state estimates converge to the true states. △ Less

Submitted 14 March, 2016; originally announced March 2016.

Comments: 6 pages, 3 figures, ACC 2016 in Boston MA

Stable Estimation of Rigid Body Motion using Geometric Mechanics

Authors: Maziar Izadi

Abstract: In this work, asymptotically stable state estimation schemes are proposed for rigid body motion, using the framework of geometric mechanics. Rigorous stability analyses of the estimation schemes presented here guarantee the nonlinear stability of these schemes. The stability of these schemes does not depend on the characteristics of the sensor measurement noise or external disturbances. In additio… ▽ More In this work, asymptotically stable state estimation schemes are proposed for rigid body motion, using the framework of geometric mechanics. Rigorous stability analyses of the estimation schemes presented here guarantee the nonlinear stability of these schemes. The stability of these schemes does not depend on the characteristics of the sensor measurement noise or external disturbances. In addition, they are robust to initial errors in the state estimates and do not need to be re-tuned when sensor noise properties change. In the first part of this dissertation, estimation of rigid body states is considered, given the dynamics model of the rigid body. In the second part, an estimation scheme that does not require knowledge of the dynamics of the rigid body is derived, based on onboard sensor measurements obtained at an appropriate frequency. The frequency of such measurements must be suitably high to resolve the motion of the rigid body. These attitude and pose estimation schemes are obtained by applying the Lagrange-d'Alembert principle from variational mechanics, to a Lagrangian constructed from state estimation errors and a dissipative term linear in the velocity estimation errors. △ Less

Submitted 18 October, 2015; originally announced October 2015.

Comments: PhD dissertation, New Mexico State University, 2015

Rigid Body Motion Estimation based on the Lagrange-d'Alembert Principle

Authors: Maziar Izadi, Amit Kumar Sanyal, Ernest Barany, Sasi Prabhakaran Viswanathan

Abstract: Stable estimation of rigid body pose and velocities from noisy measurements, without any knowledge of the dynamics model, is treated using the Lagrange-d'Alembert principle from variational mechanics. With body-fixed optical and inertial sensor measurements, a Lagrangian is obtained as the difference between a kinetic energy-like term that is quadratic in velocity estimation error and the sum of t… ▽ More Stable estimation of rigid body pose and velocities from noisy measurements, without any knowledge of the dynamics model, is treated using the Lagrange-d'Alembert principle from variational mechanics. With body-fixed optical and inertial sensor measurements, a Lagrangian is obtained as the difference between a kinetic energy-like term that is quadratic in velocity estimation error and the sum of two artificial potential functions; one obtained from a generalization of Wahba's function for attitude estimation and another which is quadratic in the position estimate error. An additional dissipation term that is linear in the velocity estimation error is introduced, and the Lagrange-d'Alembert principle is applied to the Lagrangian with this dissipation. This estimation scheme is discretized using discrete variational mechanics. The presented pose estimator requires optical measurements of at least three inertially fixed landmarks or beacons in order to estimate instantaneous pose. The discrete estimation scheme can also estimate velocities from such optical measurements. In the presence of bounded measurement noise in the vector measurements, numerical simulations show that the estimated states converge to a bounded neighborhood of the actual states. △ Less

Submitted 15 September, 2015; originally announced September 2015.

Comments: My earlier submitted manuscript (arXiv:1508.07671), is an extended version of this work, containing detailed proofs and more elaborated numerical simulations, currently under review in Automatica. This paper will be cited in the extended journal version (arXiv:1508.07671) upon publication

Mechatronics Architecture of Smartphone-Based Spacecraft ADCS using VSCMG Actuators

Authors: Sasi Prabhakaran Viswanathan, Amit Kumar Sanyal, Maziar Izadi

Abstract: Hardware and software architecture of a novel spacecraft Attitude Determination and Control System (ADCS) based on smartphones using Variable Speed Control Moment Gyroscope (VSCMG) as actuator is proposed here. A spacecraft ground simulator testbed for Hardware-in-the-loop (HIL) attitude estimation and control with VSCMG is also described. The sensor breakouts with independent micro-controller uni… ▽ More Hardware and software architecture of a novel spacecraft Attitude Determination and Control System (ADCS) based on smartphones using Variable Speed Control Moment Gyroscope (VSCMG) as actuator is proposed here. A spacecraft ground simulator testbed for Hardware-in-the-loop (HIL) attitude estimation and control with VSCMG is also described. The sensor breakouts with independent micro-controller units are used in the conventional ADCS units, which are replaced by a single integrated off-the-shelf smartphone. On-board sensing, data acquisition, data uplink/downlink, state estimation and real-time feedback control objectives can be performed using this novel spacecraft ADCS. The attitude control and attitude determination (estimation) schemes have appeared in prior publications, but are presented in brief here. Experimental results from running the attitude estimation (filtering) scheme with the "onboard" sensors of the smartphone in the HIL simulator are given. These results, obtained in the Spacecraft Guidance, Navigation and Control Laboratory at NMSU, demonstrate the excellent performance of this estimation scheme with the noisy raw data from the smartphone sensors. △ Less

Submitted 11 September, 2015; originally announced September 2015.

GPS-Denied Relative Motion Estimation For Fixed-Wing UAV Using the Variational Pose Estimator

Authors: Maziar Izadi, Amit Kumar Sanyal, Randal W. Beard, He Bai

Abstract: Relative pose estimation between fixed-wing unmanned aerial vehicles (UAVs) is treated using a stable and robust estimation scheme. The motivating application of this scheme is that of "handoff" of an object being tracked from one fixed-wing UAV to another in a team of UAVs, using onboard sensors in a GPS-denied environment. This estimation scheme uses optical measurements from cameras onboard a v… ▽ More Relative pose estimation between fixed-wing unmanned aerial vehicles (UAVs) is treated using a stable and robust estimation scheme. The motivating application of this scheme is that of "handoff" of an object being tracked from one fixed-wing UAV to another in a team of UAVs, using onboard sensors in a GPS-denied environment. This estimation scheme uses optical measurements from cameras onboard a vehicle, to estimate both the relative pose and relative velocities of another vehicle or target object. It is obtained by applying the Lagrange-d'Alembert principle to a Lagrangian constructed from measurement residuals using only the optical measurements. This nonlinear pose estimation scheme is discretized for computer implementation using the discrete Lagrange-d'Alembert principle, with a discrete-time linear filter for obtaining relative velocity estimates from optical measurements. Computer simulations depict the stability and robustness of this estimator to noisy measurements and uncertainties in initial relative pose and velocities. △ Less

Submitted 10 September, 2015; originally announced September 2015.

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

Rigid Body Pose Estimation based on the Lagrange-d'Alembert Principle

Authors: Maziar Izadi, Amit Kumar Sanyal

Abstract: Stable estimation of rigid body pose and velocities from noisy measurements, without any knowledge of the dynamics model, is treated using the Lagrange-d'Alembert principle from variational mechanics. With body-fixed optical and inertial sensor measurements, a Lagrangian is obtained as the difference between a kinetic energy-like term that is quadratic in velocity estimation error and the sum of t… ▽ More Stable estimation of rigid body pose and velocities from noisy measurements, without any knowledge of the dynamics model, is treated using the Lagrange-d'Alembert principle from variational mechanics. With body-fixed optical and inertial sensor measurements, a Lagrangian is obtained as the difference between a kinetic energy-like term that is quadratic in velocity estimation error and the sum of two artificial potential functions; one obtained from a generalization of Wahba's function for attitude estimation and another which is quadratic in the position estimate error. An additional dissipation term that is linear in the velocity estimation error is introduced, and the Lagrange-d'Alembert principle is applied to the Lagrangian with this dissipation. A Lyapunov analysis shows that the state estimation scheme so obtained provides stable asymptotic convergence of state estimates to actual states in the absence of measurement noise, with an almost global domain of attraction. This estimation scheme is discretized for computer implementation using discrete variational mechanics, as a first order Lie group variational integrator. The continuous and discrete pose estimation schemes require optical measurements of at least three inertially fixed landmarks or beacons in order to estimate instantaneous pose. The discrete estimation scheme can also estimate velocities from such optical measurements. Moreover, all states can be estimated during time periods when measurements of only two inertial vectors, the angular velocity vector, and one feature point position vector are available in body frame. In the presence of bounded measurement noise in the vector measurements, numerical simulations show that the estimated states converge to a bounded neighborhood of the actual states. △ Less

Submitted 14 September, 2015; v1 submitted 30 August, 2015; originally announced August 2015.

Representations of McLain groups

Authors: Fernando Szechtman, Allen Herman, Mohammad Izadi

Abstract: Basic modules of McLain groups $M=M(Λ,\leq, R)$ are defined and investigated. These are (possibly infinite dimensional) analogues of André's supercharacters of $U_n(q)$. The ring $R$ need not be finite or commutative and the field underlying our representations is essentially arbitrary: we deal with all characteristics, prime or zero, on an equal basis. The set $Λ$, totally ordered by $\leq$, is a… ▽ More Basic modules of McLain groups $M=M(Λ,\leq, R)$ are defined and investigated. These are (possibly infinite dimensional) analogues of André's supercharacters of $U_n(q)$. The ring $R$ need not be finite or commutative and the field underlying our representations is essentially arbitrary: we deal with all characteristics, prime or zero, on an equal basis. The set $Λ$, totally ordered by $\leq$, is allowed to be infinite. We show that distinct basic modules are disjoint, determine the dimension of the endomorphism algebra of a basic module, find when a basic module is irreducible, and exhibit a full decomposition of a basic module as direct sum of irreducible submodules, including their multiplicities. Several examples of this decomposition are presented, and a criterion for a basic module to be multiplicity-free is given. In general, not every irreducible module of a McLain group is a constituent of a basic module. △ Less

Submitted 31 October, 2016; v1 submitted 19 June, 2015; originally announced June 2015.

On testing More IFRA Ordering-II

Authors: Muhyiddin Izadi, Baha-Eldin Khaledi, Chin-Diew Lai

Abstract: Suppose F and G are two life distribution functions. It is said that F is more IFRA than G (written by F<_* G) if G^(-1) F(x) is starshaped on (0,infty). In this paper, the problem of testing H_0:F=_* G against H_1:F<_* G and F \neq_* G is considered in both cases when G is known and when G is unknown. We propose a new test based on U-statistics and obtain the asymptotic distribution of the test s… ▽ More Suppose F and G are two life distribution functions. It is said that F is more IFRA than G (written by F<_* G) if G^(-1) F(x) is starshaped on (0,infty). In this paper, the problem of testing H_0:F=_* G against H_1:F<_* G and F \neq_* G is considered in both cases when G is known and when G is unknown. We propose a new test based on U-statistics and obtain the asymptotic distribution of the test statistics. The new test is compared with some well known tests in the literature. In addition, we apply our test to a real data set in the context of reliability. △ Less

Submitted 3 January, 2015; originally announced January 2015.