-
Optimal Quantum Circuit Design via Unitary Neural Networks
Authors:
M. Zomorodi,
H. Amini,
M. Abbaszadeh,
J. Sohrabi,
V. Salari,
P. Plawiak
Abstract:
The process of translating a quantum algorithm into a form suitable for implementation on a quantum computing platform is crucial but yet challenging. This entails specifying quantum operations with precision, a typically intricate task. In this paper, we present an alternative approach: an automated method for synthesizing the functionality of a quantum algorithm into a quantum circuit model repr…
▽ More
The process of translating a quantum algorithm into a form suitable for implementation on a quantum computing platform is crucial but yet challenging. This entails specifying quantum operations with precision, a typically intricate task. In this paper, we present an alternative approach: an automated method for synthesizing the functionality of a quantum algorithm into a quantum circuit model representation. Our methodology involves training a neural network model using diverse input-output mappings of the quantum algorithm. We demonstrate that this trained model can effectively generate a quantum circuit model equivalent to the original algorithm. Remarkably, our observations indicate that the trained model achieves near-perfect mapping of unseen inputs to their respective outputs.
△ Less
Submitted 23 August, 2024;
originally announced August 2024.
-
Generation of Wheel Lockup Attacks on Nonlinear Dynamics of Vehicle Traction
Authors:
Alireza Mohammadi,
Hafiz Malik,
Masoud Abbaszadeh
Abstract:
There is ample evidence in the automotive cybersecurity literature that the car brake ECUs can be maliciously reprogrammed. Motivated by such threat, this paper investigates the capabilities of an adversary who can directly control the frictional brake actuators and would like to induce wheel lockup conditions leading to catastrophic road injuries. This paper demonstrates that the adversary despit…
▽ More
There is ample evidence in the automotive cybersecurity literature that the car brake ECUs can be maliciously reprogrammed. Motivated by such threat, this paper investigates the capabilities of an adversary who can directly control the frictional brake actuators and would like to induce wheel lockup conditions leading to catastrophic road injuries. This paper demonstrates that the adversary despite having a limited knowledge of the tire-road interaction characteristics has the capability of driving the states of the vehicle traction dynamics to a vicinity of the lockup manifold in a finite time by means of a properly designed attack policy for the frictional brakes. This attack policy relies on employing a predefined-time controller and a nonlinear disturbance observer acting on the wheel slip error dynamics. Simulations under various road conditions demonstrate the effectiveness of the proposed attack policy.
△ Less
Submitted 5 January, 2022; v1 submitted 16 December, 2021;
originally announced December 2021.
-
Parametrized Quantum Circuits of Synonymous Sentences in Quantum Natural Language Processing
Authors:
Mina Abbaszadeh,
S. Shahin Mousavi,
Vahid Salari
Abstract:
In this paper, we develop a compositional vector-based semantics of positive transitive sentences in quantum natural language processing for a non-English language, i.e. Persian, to compare the parametrized quantum circuits of two synonymous sentences in two languages, English and Persian. By considering grammar+meaning of a transitive sentence, we translate DisCoCat diagram via ZX-calculus into q…
▽ More
In this paper, we develop a compositional vector-based semantics of positive transitive sentences in quantum natural language processing for a non-English language, i.e. Persian, to compare the parametrized quantum circuits of two synonymous sentences in two languages, English and Persian. By considering grammar+meaning of a transitive sentence, we translate DisCoCat diagram via ZX-calculus into quantum circuit form. Also, we use a bigraph method to rewrite DisCoCat diagram and turn into quantum circuit in the semantic side.
△ Less
Submitted 2 February, 2021;
originally announced February 2021.
-
A Bayesian estimation method for variational phase-field fracture problems
Authors:
Amirreza Khodadadian,
Nima Noii,
Maryam Parvizi,
Mostafa Abbaszadeh,
Thomas Wick,
Clemens Heitzinger
Abstract:
In this work, we propose a parameter estimation framework for fracture propagation problems. The fracture problem is described by a phase-field method. Parameter estimation is realized with a Bayesian framework. Here, the focus is on uncertainties arising in the solid material parameters and the critical energy release rate. A reference value (obtained on a sufficiently small mesh) as the replacem…
▽ More
In this work, we propose a parameter estimation framework for fracture propagation problems. The fracture problem is described by a phase-field method. Parameter estimation is realized with a Bayesian framework. Here, the focus is on uncertainties arising in the solid material parameters and the critical energy release rate. A reference value (obtained on a sufficiently small mesh) as the replacement of measurement will be chosen, and their posterior distribution is obtained. Due to time- and mesh dependency of the problem, the computational costs can be high. Using Bayesian inversion, we solve the problem on a relatively coarse mesh and fit the parameters. The obtained load-displacement curve that is usually the target function is matched with the reference values. Finally, our algorithmic approach is substantiated with several numerical examples.
△ Less
Submitted 19 June, 2020; v1 submitted 22 October, 2019;
originally announced October 2019.
-
Deep Learning-Based Classification Of the Defective Pistachios Via Deep Autoencoder Neural Networks
Authors:
Mehdi Abbaszadeh,
Aliakbar Rahimifard,
Mohammadali Eftekhari,
Hossein Ghayoumi Zadeh,
Ali Fayazi,
Ali Dini,
Mostafa Danaeian
Abstract:
Pistachio nut is mainly consumed as raw, salted or roasted because of its high nutritional properties and favorable taste. Pistachio nuts with shell and kernel defects, besides not being acceptable for a consumer, are also prone to insects damage, mold decay, and aflatoxin contamination. In this research, a deep learning-based imaging algorithm was developed to improve the sorting of nuts with she…
▽ More
Pistachio nut is mainly consumed as raw, salted or roasted because of its high nutritional properties and favorable taste. Pistachio nuts with shell and kernel defects, besides not being acceptable for a consumer, are also prone to insects damage, mold decay, and aflatoxin contamination. In this research, a deep learning-based imaging algorithm was developed to improve the sorting of nuts with shell and kernel defects that indicate the risk of aflatoxin contamination, such as dark stains, oily stains, adhering hull, fungal decay and Aspergillus molds. This paper presents an unsupervised learning method to classify defective and unpleasant pistachios based on deep Auto-encoder neural networks. The testing of the designed neural network on a validation dataset showed that nuts having dark stain, oily stain or adhering hull with an accuracy of 80.3% can be distinguished from normal nuts. Due to the limited memory available in the HPC of university, the results are reasonable and justifiable.
△ Less
Submitted 10 June, 2019;
originally announced June 2019.
-
Analysis of a Legendre spectral element method (LSEM) for the two-dimensional system of a nonlinear stochastic advection-reaction-diffusion models
Authors:
Mostafa Abbaszadeh,
Amirreza Khodadadian,
Mehdi Dehghan,
Thomas Wick
Abstract:
In this work, we develop a Legendre spectral element method (LSEM) for solving the stochastic nonlinear system of advection-reaction-diffusion models. The used basis functions are based on a class of Legendre functions such that their mass and diffuse matrices are tridiagonal and diagonal, respectively. The temporal variable is discretized by a Crank--Nicolson finite difference formulation. In the…
▽ More
In this work, we develop a Legendre spectral element method (LSEM) for solving the stochastic nonlinear system of advection-reaction-diffusion models. The used basis functions are based on a class of Legendre functions such that their mass and diffuse matrices are tridiagonal and diagonal, respectively. The temporal variable is discretized by a Crank--Nicolson finite difference formulation. In the stochastic direction, we also employ a random variable $W$ based on the $Q-$Wiener process. We inspect the rate of convergence and the unconditional stability for the achieved semi-discrete formulation. Then, the Legendre spectral element technique is used to obtain a full-discrete scheme. The error estimation of the proposed numerical scheme is substantiated based upon the energy method. The numerical results confirm the theoretical analysis.
△ Less
Submitted 12 April, 2019;
originally announced April 2019.
-
Uncertainty Quantification in Molecular Signals using Polynomial Chaos Expansion
Authors:
Mahmoud Abbaszadeh,
Giannis Moutsinas,
Peter J. Thomas,
Weisi Guo
Abstract:
Molecular signals are abundant in engineering and biological contexts, and undergo stochastic propagation in fluid dynamic channels. The received signal is sensitive to a variety of input and channel parameter variations. Currently we do not understand how uncertainty or noise in a variety of parameters affect the received signal concentration, and nor do we have an analytical framework to tackle…
▽ More
Molecular signals are abundant in engineering and biological contexts, and undergo stochastic propagation in fluid dynamic channels. The received signal is sensitive to a variety of input and channel parameter variations. Currently we do not understand how uncertainty or noise in a variety of parameters affect the received signal concentration, and nor do we have an analytical framework to tackle this challenge. In this paper, we utilize Polynomial Chaos Expansion (PCE) to show to uncertainty in parameters propagates to uncertainty in the received signal. In demonstrating its applicability, we consider a Turbulent Diffusion Molecular Communication (TDMC) channel and highlight which parameters affect the received signals. This can pave the way for future information theoretic insights, as well as guide experimental design.
△ Less
Submitted 30 January, 2019;
originally announced February 2019.
-
Nonlinear Robust Filtering of Sampled-Data Dynamical Systems
Authors:
Masoud Abbaszadeh,
Horacio J. Marquez
Abstract:
This work is concerned with robust filtering of nonlinear sampled-data systems with and without exact discrete-time models. A linear matrix inequality (LMI) based approach is proposed for the design of robust $H_{\infty}$ observers for a class of Lipschitz nonlinear systems. Two type of systems are considered, Lipschitz nonlinear discrete-time systems and Lipschitz nonlinear sampled-data systems w…
▽ More
This work is concerned with robust filtering of nonlinear sampled-data systems with and without exact discrete-time models. A linear matrix inequality (LMI) based approach is proposed for the design of robust $H_{\infty}$ observers for a class of Lipschitz nonlinear systems. Two type of systems are considered, Lipschitz nonlinear discrete-time systems and Lipschitz nonlinear sampled-data systems with Euler approximate discrete-time models. Observer convergence when the exact discrete-time model of the system is available is shown. Then, practical convergence of the proposed observer is proved using the Euler approximate discrete-time model. As an additional feature, maximizing the admissible Lipschitz constant, the solution of the proposed LMI optimization problem guaranties robustness against some nonlinear uncertainty. The robust H_infty observer synthesis problem is solved for both cases. The maximum disturbance attenuation level is achieved through LMI optimization. At the end, a path to extending the results to higher-order approximate discretizations is provided.
△ Less
Submitted 23 December, 2018;
originally announced December 2018.
-
Computer Algebra Methods in Control Systems
Authors:
Masoud Abbaszadeh
Abstract:
As dynamic and control systems become more complex, relying purely on numerical computations for systems analysis and design might become extremely expensive or totally infeasible. Computer algebra can act as an enabler for analysis and design of such complex systems. It also provides means for characterization of all solutions and studying them before realizing a particular solution. This note pr…
▽ More
As dynamic and control systems become more complex, relying purely on numerical computations for systems analysis and design might become extremely expensive or totally infeasible. Computer algebra can act as an enabler for analysis and design of such complex systems. It also provides means for characterization of all solutions and studying them before realizing a particular solution. This note provides a brief survey on some of the applications of symbolic computations in control systems analysis and design.
△ Less
Submitted 28 December, 2017; v1 submitted 25 December, 2017;
originally announced December 2017.
-
Is Lipschitz Continuity Preserved under Sampled-Data Discretization?
Authors:
Masoud Abbaszadeh
Abstract:
Usually, given a continuous-time nonlinear model, a closed form solution for an exact discretization cannot be found explicitly, originating the need of approximating discrete-time models. This note studies the preservation of the Lipschitz continuity under approximate discretizations.
Usually, given a continuous-time nonlinear model, a closed form solution for an exact discretization cannot be found explicitly, originating the need of approximating discrete-time models. This note studies the preservation of the Lipschitz continuity under approximate discretizations.
△ Less
Submitted 19 April, 2020; v1 submitted 26 December, 2016;
originally announced December 2016.
-
Static Output Feedback Control for Nonlinear Systems subject to Parametric and Nonlinear Uncertainties
Authors:
Masoud Abbaszadeh,
Horacio J. Marquez
Abstract:
This work addresses the design of static output feedback control of discrete-time nonlinear systems satisfying a local Lipschitz continuity condition with time-varying uncertainties. The controller has also a guaranteed disturbance attenuation level (Hinfty performance). Thanks to the linearity of the proposed LMIs in both the admissible Lipschitz constant of the system and the disturbance attenua…
▽ More
This work addresses the design of static output feedback control of discrete-time nonlinear systems satisfying a local Lipschitz continuity condition with time-varying uncertainties. The controller has also a guaranteed disturbance attenuation level (Hinfty performance). Thanks to the linearity of the proposed LMIs in both the admissible Lipschitz constant of the system and the disturbance attenuation level, they can be simultaneously optimized through convex multiobjective optimization. The optimization over Lipschitz constant adds an extra important and new feature to the controller, robustness against nonlinear uncertainty. The resulting controller is robust against both nonlinear additive uncertainty and time-varying parametric uncertainties. Explicit norm-wise and element-wise bounds on the tolerable nonlinear uncertainty are derived.
△ Less
Submitted 24 June, 2016;
originally announced June 2016.
-
Adaptive Model Predictive Control of a Batch Solution Polymerization Process using Trajectory Linearization
Authors:
Masoud Abbaszadeh
Abstract:
A sequential trajectory linearized adaptive model based predictive controller is designed using the DMC algorithm to control the temperature of a batch MMA polymerization process. Using the mechanistic model of the polymerization, a parametric transfer function is derived to relate the reactor temperature to the power of the heaters. Then, a multiple model predictive control approach is taken in t…
▽ More
A sequential trajectory linearized adaptive model based predictive controller is designed using the DMC algorithm to control the temperature of a batch MMA polymerization process. Using the mechanistic model of the polymerization, a parametric transfer function is derived to relate the reactor temperature to the power of the heaters. Then, a multiple model predictive control approach is taken in to track a desired temperature trajectory.The coefficients of the multiple transfer functions are calculated along the selected temperature trajectory by sequential linearization and the model is validated experimentally. The controller performance is studied on a small scale batch reactor.
△ Less
Submitted 12 October, 2015;
originally announced October 2015.
-
Constrained Nonlinear Model Predictive Control of an MMA Polymerization Process via Evolutionary Optimization
Authors:
Masoud Abbaszadeh,
Reza Solgi
Abstract:
In this work, a nonlinear model predictive controller is developed for a batch polymerization process. The physical model of the process is parameterized along a desired trajectory resulting in a trajectory linearized piecewise model (a multiple linear model bank) and the parameters are identified for an experimental polymerization reactor. Then, a multiple model adaptive predictive controller is…
▽ More
In this work, a nonlinear model predictive controller is developed for a batch polymerization process. The physical model of the process is parameterized along a desired trajectory resulting in a trajectory linearized piecewise model (a multiple linear model bank) and the parameters are identified for an experimental polymerization reactor. Then, a multiple model adaptive predictive controller is designed for thermal trajectory tracking of the MMA polymerization. The input control signal to the process is constrained by the maximum thermal power provided by the heaters. The constrained optimization in the model predictive controller is solved via genetic algorithms to minimize a DMC cost function in each sampling interval.
△ Less
Submitted 14 February, 2015;
originally announced February 2015.
-
Robust Nonlinear L2 Filtering of Uncertain Lipschitz Systems via Pareto Optimization
Authors:
Masoud Abbaszadeh,
Horacio J. Marquez
Abstract:
A new approach for robust Hinfty filtering for a class of Lipschitz nonlinear systems with time-varying uncertainties both in the linear and nonlinear parts of the system is proposed in an LMI framework. The admissible Lipschitz constant of the system and the disturbance attenuation level are maximized simultaneously through convex multiobjective optimization. The resulting Hinfty filter guarantee…
▽ More
A new approach for robust Hinfty filtering for a class of Lipschitz nonlinear systems with time-varying uncertainties both in the linear and nonlinear parts of the system is proposed in an LMI framework. The admissible Lipschitz constant of the system and the disturbance attenuation level are maximized simultaneously through convex multiobjective optimization. The resulting Hinfty filter guarantees asymptotic stability of the estimation error dynamics with exponential convergence and is robust against nonlinear additive uncertainty and time-varying parametric uncertainties. Explicit bounds on the nonlinear uncertainty are derived based on norm-wise and element-wise robustness analysis.
△ Less
Submitted 1 March, 2014;
originally announced March 2014.
-
Generalized Nonlinear Robust Energy-to-Peak Filtering for Differential Algebraic Systems
Authors:
Masoud Abbaszadeh
Abstract:
The problem of robust nonlinear energy-to-peak filtering for nonlinear descriptor systems with model uncertainties is addressed. The system is assumed to have nonlinearities both in the state and output equations as well as norm-bounded time-varying uncertainties in the realization matrices. A generalized nonlinear dynamic filtering structure is proposed for such a class of systems with more degre…
▽ More
The problem of robust nonlinear energy-to-peak filtering for nonlinear descriptor systems with model uncertainties is addressed. The system is assumed to have nonlinearities both in the state and output equations as well as norm-bounded time-varying uncertainties in the realization matrices. A generalized nonlinear dynamic filtering structure is proposed for such a class of systems with more degrees of freedom than the conventional static-gain and dynamic filtering structures. The L2-Linfty filter is synthesized through semidefinite programming and strict LMIs, in which the energy-to-peak filtering performance in optimized.
△ Less
Submitted 24 February, 2014;
originally announced February 2014.
-
A Generalized Robust Filtering Framework for Nonlinear Differential-Algebraic Systems
Authors:
Masoud Abbaszadeh
Abstract:
A generalized dynamical robust nonlinear filtering framework is established for a class of Lipschitz differential algebraic systems, in which the nonlinearities appear both in the state and measured output equations. The system is assumed to be affected by norm-bounded disturbance and to have both norm-bounded uncertainties in the realization matrices as well as nonlinear model uncertainties. We s…
▽ More
A generalized dynamical robust nonlinear filtering framework is established for a class of Lipschitz differential algebraic systems, in which the nonlinearities appear both in the state and measured output equations. The system is assumed to be affected by norm-bounded disturbance and to have both norm-bounded uncertainties in the realization matrices as well as nonlinear model uncertainties. We synthesize a robust H_infty filter through semidefinite programming and strict linear matrix inequalities (LMIs). The admissible Lipschitz constants of the nonlinear functions are maximized through LMI optimization. The resulting H_infty filter guarantees asymptotic stability of the estimation error dynamics with prespecified disturbance attenuation level and is robust against time-varying parametric uncertainties as well as Lipschitz nonlinear additive uncertainty. Explicit bound on the tolerable nonlinear uncertainty is derived based on a norm-wise robustness analysis.
△ Less
Submitted 22 February, 2014;
originally announced February 2014.
-
Design of Nonlinear State Observers for One-Sided Lipschitz Systems
Authors:
Masoud Abbaszadeh,
Horacio J. Marquez
Abstract:
Control and state estimation of nonlinear systems satisfying a Lipschitz continuity condition have been important topics in nonlinear system theory for over three decades, resulting in a substantial amount of literature. The main criticism behind this approach, however, has been the restrictive nature of the Lipschitz continuity condition and the conservativeness of the related results. This work…
▽ More
Control and state estimation of nonlinear systems satisfying a Lipschitz continuity condition have been important topics in nonlinear system theory for over three decades, resulting in a substantial amount of literature. The main criticism behind this approach, however, has been the restrictive nature of the Lipschitz continuity condition and the conservativeness of the related results. This work deals with an extension to this problem by introducing a more general family of nonlinear functions, namely one-sided Lipschitz functions. The corresponding class of systems is a superset of its well-known Lipschitz counterpart and possesses inherent advantages with respect to conservativeness. In this paper, first the problem of state observer design for this class of systems is established, the challenges are discussed and some analysis-oriented tools are provided. Then, a solution to the observer design problem is proposed in terms of nonlinear matrix inequalities which in turn are converted into numerically efficiently solvable linear matrix inequalities.
△ Less
Submitted 23 February, 2013;
originally announced February 2013.
-
Robust H_infinity Filter Design for Lipschitz Nonlinear Systems via Multiobjective Optimization
Authors:
Masoud Abbaszadeh,
Horacio J. Marquez
Abstract:
In this paper, a new method of H_infinity observer design for Lipschitz nonlinear systems is proposed in the form of an LMI optimization problem. The proposed observer has guaranteed decay rate (exponential convergence) and is robust against unknown exogenous disturbance. In addition, thanks to the linearity of the proposed LMIs in the admissible Lipschitz constant, it can be maximized via LMI opt…
▽ More
In this paper, a new method of H_infinity observer design for Lipschitz nonlinear systems is proposed in the form of an LMI optimization problem. The proposed observer has guaranteed decay rate (exponential convergence) and is robust against unknown exogenous disturbance. In addition, thanks to the linearity of the proposed LMIs in the admissible Lipschitz constant, it can be maximized via LMI optimization. This adds an extra important feature to the observer, robustness against nonlinear uncertainty. Explicit bound on the tolerable nonlinear uncertainty is derived. The new LMI formulation also allows optimizations over the disturbance attenuation level (H_infinity cost). Then, the admissible Lipschitz constant and the disturbance attenuation level of the H_infinity filter are simultaneously optimized through LMI multiobjective optimization.
△ Less
Submitted 4 October, 2010;
originally announced October 2010.
