-
Probabilistic Formulations for System Identification of Linear Dynamics with Bilinear Observation Models
Authors:
Diyou Liu,
Mohammad Khosravi
Abstract:
In this paper, we address the identification problem for the systems characterized by linear time-invariant dynamics with bilinear observation models. More precisely, we consider a suitable parametric description of the system and formulate the identification problem as the estimation of the parameters defining the mathematical model of the system using the observed input-output data. To this end,…
▽ More
In this paper, we address the identification problem for the systems characterized by linear time-invariant dynamics with bilinear observation models. More precisely, we consider a suitable parametric description of the system and formulate the identification problem as the estimation of the parameters defining the mathematical model of the system using the observed input-output data. To this end, we propose two probabilistic frameworks. The first framework employs the Maximum Likelihood (ML) approach, which accurately finds the optimal parameter estimates by maximizing a likelihood function. Subsequently, we develop a tractable first-order method to solve the optimization problem corresponding to the proposed ML approach. Additionally, to further improve tractability and computational efficiency of the estimation of the parameters, we introduce an alternative framework based on the Expectation--Maximization (EM) approach, which estimates the parameters using an appropriately designed cost function. We show that the EM cost function is invex, which ensures the existence and uniqueness of the optimal solution. Furthermore, we derive the closed-form solution for the optimal parameters and also prove the recursive feasibility of the EM procedure. Through extensive numerical experiments, the practical implementation of the proposed approaches is demonstrated, and their estimation efficacy is verified and compared, highlighting the effectiveness of the methods to accurately estimate the system parameters and their potential for real-world applications in scenarios involving bilinear observation structures.
△ Less
Submitted 21 February, 2025;
originally announced February 2025.
-
Problem-Driven Scenario Reduction and Scenario Approximation for Robust Optimization
Authors:
Jamie Fairbrother,
Marc Goerigk,
Mohammad Khosravi
Abstract:
In robust optimization, we would like to find a solution that is immunized against all scenarios that are modeled in an uncertainty set. Which scenarios to include in such a set is therefore of central importance for the tractability of the robust model and practical usefulness of the resulting solution. We consider problems with a discrete uncertainty set affecting only the objective function. Ou…
▽ More
In robust optimization, we would like to find a solution that is immunized against all scenarios that are modeled in an uncertainty set. Which scenarios to include in such a set is therefore of central importance for the tractability of the robust model and practical usefulness of the resulting solution. We consider problems with a discrete uncertainty set affecting only the objective function. Our aim is reduce the size of the uncertainty set, while staying as true as possible to the original robust problem, measured by an approximation guarantee. Previous reduction approaches ignored the structure of the set of feasible solutions in this process. We show how to achieve better uncertainty sets by taking into account what solutions are possible, providing a theoretical framework and models to this end. In computational experiments, we note that our new framework achieves better uncertainty sets than previous methods or a simple K-means approach.
△ Less
Submitted 11 October, 2024;
originally announced October 2024.
-
A study of $4-$cycle systems
Authors:
B. Bagheri Gh.,
M. Khosravi,
E. S. Mahmoodian,
S. Rashidi
Abstract:
A $4-$cycle system is a partition of the edges of the complete graph $K_n$ into $4-$cycles. Let ${ C}$ be a collection of cycles of length 4 whose edges partition the edges of $K_n$. A set of 4-cycles $T_1 \subset C$ is called a 4-cycle trade if there exists a set $T_2$ of edge-disjoint 4-cycles on the same vertices, such that $({C} \setminus T_1)\cup T_2$ also is a collection of cycles of length…
▽ More
A $4-$cycle system is a partition of the edges of the complete graph $K_n$ into $4-$cycles. Let ${ C}$ be a collection of cycles of length 4 whose edges partition the edges of $K_n$. A set of 4-cycles $T_1 \subset C$ is called a 4-cycle trade if there exists a set $T_2$ of edge-disjoint 4-cycles on the same vertices, such that $({C} \setminus T_1)\cup T_2$ also is a collection of cycles of length 4 whose edges partition the edges of $K_n$.
We study $4-$cycle trades of volume two (double-diamonds) and three and show that the set of all 4-CS(9) is connected with respect of trading with trades of volume 2 (double-diamond) and 3.
In addition, we present a full rank matrix whose null-space is containing trade-vectors.
△ Less
Submitted 21 August, 2023;
originally announced August 2023.
-
Some applications of linear algebraic methods in combinatorics
Authors:
Maryam Khosravi,
Ebadollah S. Mahmoodian
Abstract:
In this note, we intend to produce all latin squares from one of them using suitable move which is defined by small trades and do the similar work on 4-cycle systems. These problems, reformulate as finding basis for the kernel of special matrices, representef to some graphs.
In this note, we intend to produce all latin squares from one of them using suitable move which is defined by small trades and do the similar work on 4-cycle systems. These problems, reformulate as finding basis for the kernel of special matrices, representef to some graphs.
△ Less
Submitted 21 August, 2023;
originally announced August 2023.
-
Robust Combinatorial Optimization Problems Under Budgeted Interdiction Uncertainty
Authors:
Marc Goerigk,
Mohammad Khosravi
Abstract:
In robust combinatorial optimization, we would like to find a solution that performs well under all realizations of an uncertainty set of possible parameter values. How we model this uncertainty set has a decisive influence on the complexity of the corresponding robust problem. For this reason, budgeted uncertainty sets are often studied, as they enable us to decompose the robust problem into easi…
▽ More
In robust combinatorial optimization, we would like to find a solution that performs well under all realizations of an uncertainty set of possible parameter values. How we model this uncertainty set has a decisive influence on the complexity of the corresponding robust problem. For this reason, budgeted uncertainty sets are often studied, as they enable us to decompose the robust problem into easier subproblems. We propose a variant of discrete budgeted uncertainty for cardinality-based constraints or objectives, where a weight vector is applied to the budget constraint. We show that while the adversarial problem can be solved in linear time, the robust problem becomes NP-hard and not approximable. We discuss different possibilities to model the robust problem and show experimentally that despite the hardness result, some models scale relatively well in the problem size.
△ Less
Submitted 29 April, 2024; v1 submitted 17 July, 2023;
originally announced July 2023.
-
Some Hadamard product inequalities for accretive matrices
Authors:
A. Sheikhhosseini,
S. Malekinejad,
M. Khosravi
Abstract:
In this paper, we obtain some new matrix inequalities involving Hadamard product. Also some Hadamard product inequalities for accretive matrices involving the matrix means, positive unital linear maps and matrix concave functions are investigated. Among other results, it is shown that if $A, B, C, D$ are $n\times n$ positive definite matrices, then \begin{equation*} \left(αA+βB\right)^r\circ\left(…
▽ More
In this paper, we obtain some new matrix inequalities involving Hadamard product. Also some Hadamard product inequalities for accretive matrices involving the matrix means, positive unital linear maps and matrix concave functions are investigated. Among other results, it is shown that if $A, B, C, D$ are $n\times n$ positive definite matrices, then \begin{equation*} \left(αA+βB\right)^r\circ\left(αC+βD\right)^{1-r}\leq α\left(A^r\circ C^{1-r}\right)+β\left(B^r\circ D^{1-r}\right), \end{equation*} where $r \in (-1, 0) \cup (1, 2)$ and $" \circ "$ stands for the Hadamard product.
△ Less
Submitted 19 August, 2023; v1 submitted 6 July, 2023;
originally announced July 2023.
-
Operator mean inequalities for sector matrices
Authors:
M. Khosravi,
A. Sheikhhosseini,
S. Malekinejad
Abstract:
In this note, some inequalities involving operator means of sectorial matrices are proved which are generalizations and refinements of previous known results. Among them, let $A$ and $B$ be two accretive matrices with $A,B\in\mathcal{S}_θ$, $0 < mI \leqslant A, B \leqslant MI$ for positive real numbers $ M, m, \, σ$ be an operator mean and $σ^{*}$ be the adjoint mean of $ σ.$ If…
▽ More
In this note, some inequalities involving operator means of sectorial matrices are proved which are generalizations and refinements of previous known results. Among them, let $A$ and $B$ be two accretive matrices with $A,B\in\mathcal{S}_θ$, $0 < mI \leqslant A, B \leqslant MI$ for positive real numbers $ M, m, \, σ$ be an operator mean and $σ^{*}$ be the adjoint mean of $ σ.$ If $σ^*\leqslant σ_1,σ_2\leqslant σ$ and $Φ$ is a positive unital linear map, then $$Φ^{p}\Re(A σ_{1} B) \leqslant \sec^{2p}θα^{p} Φ^{p}\Re(A σ_{2} B),$$ where $$ α= \max \left \lbrace K, 4^{1-\frac{2}{p}}K \right \rbrace,$$ and $ K= \frac{(M+m)^2}{4mM}$ is the Kantorovich constant.
△ Less
Submitted 8 May, 2023;
originally announced May 2023.
-
Diagonally Square Root Integrable Kernels in System Identification
Authors:
Mohammad Khosravi,
Roy S. Smith
Abstract:
In recent years, the reproducing kernel Hilbert space (RKHS) theory has played a crucial role in linear system identification. The core of a RKHS is the associated kernel characterizing its properties. Accordingly, this work studies the class of diagonally square root integrable (DSRI) kernels. We demonstrate that various well-known stable kernels introduced in system identification belong to this…
▽ More
In recent years, the reproducing kernel Hilbert space (RKHS) theory has played a crucial role in linear system identification. The core of a RKHS is the associated kernel characterizing its properties. Accordingly, this work studies the class of diagonally square root integrable (DSRI) kernels. We demonstrate that various well-known stable kernels introduced in system identification belong to this category. Moreover, it is shown that any DSRI kernel is also stable and integrable. We look into certain topological features of the RKHSs associated with DSRI kernels, particularly the continuity of linear operators defined on the respective RKHSs. For the stability of a Gaussian process centered at a stable impulse response, we show that the necessary and sufficient condition is the diagonally square root integrability of the corresponding kernel. Furthermore, we elaborate on this result by providing proper interpretations.
△ Less
Submitted 24 February, 2023;
originally announced February 2023.
-
Optimal Scenario Reduction for One- and Two-Stage Robust Optimization
Authors:
Marc Goerigk,
Mohammad Khosravi
Abstract:
Robust optimization typically follows a worst-case perspective, where a single scenario may determine the objective value of a given solution. Accordingly, it is a challenging task to reduce the size of an uncertainty set without changing the resulting objective value too much. On the other hand, robust optimization problems with many scenarios tend to be hard to solve, in particular for two-stage…
▽ More
Robust optimization typically follows a worst-case perspective, where a single scenario may determine the objective value of a given solution. Accordingly, it is a challenging task to reduce the size of an uncertainty set without changing the resulting objective value too much. On the other hand, robust optimization problems with many scenarios tend to be hard to solve, in particular for two-stage problems. Hence, a reduced uncertainty set may be central to find solutions in reasonable time. We propose scenario reduction methods that give guarantees on the performance of the resulting robust solution. Scenario reduction problems for one- and two-stage robust optimization are framed as optimization problems that only depend on the uncertainty set and not on the underlying decision making problem. Experimental results indicate that objective values for the reduced uncertainty sets are closely correlated to original objective values, resulting in better solutions than when using general-purpose clustering methods such as K-means.
△ Less
Submitted 1 September, 2022;
originally announced September 2022.
-
The Existence and Uniqueness of Solutions for Kernel-Based System Identification
Authors:
Mohammad Khosravi,
Roy S. Smith
Abstract:
The notion of reproducing kernel Hilbert space (RKHS) has emerged in system identification during the past decade. In the resulting framework, the impulse response estimation problem is formulated as a regularized optimization defined on an infinite-dimensional RKHS consisting of stable impulse responses. The consequent estimation problem is well-defined under the central assumption that the convo…
▽ More
The notion of reproducing kernel Hilbert space (RKHS) has emerged in system identification during the past decade. In the resulting framework, the impulse response estimation problem is formulated as a regularized optimization defined on an infinite-dimensional RKHS consisting of stable impulse responses. The consequent estimation problem is well-defined under the central assumption that the convolution operators restricted to the RKHS are continuous linear functionals. Moreover, according to this assumption, the representer theorem hold, and therefore, the impulse response can be estimated by solving a finite-dimensional program. Thus, the continuity feature plays a significant role in kernel-based system identification. This paper shows that this central assumption is guaranteed to be satisfied in considerably general situations, namely when the kernel is an integrable function and the input signal is bounded. Furthermore, the strong convexity of the optimization problem and the continuity property of the convolution operators imply that the kernel-based system identification admits a unique solution. Consequently, it follows that kernel-based system identification is a well-defined approach.
△ Less
Submitted 17 April, 2022;
originally announced April 2022.
-
Benchmarking Problems for Robust Discrete Optimization
Authors:
Marc Goerigk,
Mohammad Khosravi
Abstract:
Robust discrete optimization is a highly active field of research where a plenitude of combinations between decision criteria, uncertainty sets and underlying nominal problems are considered. Usually, a robust problem becomes harder to solve than its nominal counterpart, even if it remains in the same complexity class. For this reason, specialized solution algorithms have been developed. To furthe…
▽ More
Robust discrete optimization is a highly active field of research where a plenitude of combinations between decision criteria, uncertainty sets and underlying nominal problems are considered. Usually, a robust problem becomes harder to solve than its nominal counterpart, even if it remains in the same complexity class. For this reason, specialized solution algorithms have been developed. To further drive the development of stronger solution algorithms and to facilitate the comparison between methods, a set of benchmark instances is necessary but so far missing. In this paper we propose a further step towards this goal by proposing several instance generation procedures for combinations of min-max, min-max regret, two-stage and recoverable robustness with interval, discrete or budgeted uncertainty sets. Besides sampling methods that go beyond the simple uniform sampling method that is the de-facto standard to produce instances, also optimization models to construct hard instances are considered. Using a selection problem for the nominal ground problem, we are able to generate instances that are several orders of magnitudes harder to solve than uniformly sampled instances when solving them with a general mixed-integer programming solver. All instances and generator codes are made available online.
△ Less
Submitted 13 January, 2022;
originally announced January 2022.
-
Kernel-Based Identification with Frequency Domain Side-Information
Authors:
Mohammad Khosravi,
Roy S. Smith
Abstract:
In this paper, we discuss the problem of system identification when frequency domain side information is available on the system. Initially, we consider the case where the prior knowledge is provided as being the $\Hcal_{\infty}$-norm of the system bounded by a given scalar. This framework provides the opportunity of considering various forms of side information such as the dissipativity of the sy…
▽ More
In this paper, we discuss the problem of system identification when frequency domain side information is available on the system. Initially, we consider the case where the prior knowledge is provided as being the $\Hcal_{\infty}$-norm of the system bounded by a given scalar. This framework provides the opportunity of considering various forms of side information such as the dissipativity of the system as well as other forms of frequency domain prior knowledge. We propose a nonparametric identification method for estimating the impulse response of the system under the given side information. The estimation problem is formulated as an optimization in a reproducing kernel Hilbert space (RKHS) endowed with a stable kernel. The corresponding objective function consists of a term for minimizing the fitting error, and a regularization term defined based on the norm of the impulse response in the employed RKHS. To guarantee the desired frequency domain features defined based on the prior knowledge, suitable constraints are imposed on the estimation problem. The resulting optimization has an infinite-dimensional feasible set with an infinite number of constraints. We show that this problem is a well-defined convex program with a unique solution. We propose a heuristic that tightly approximates this unique solution. The proposed approach is equivalent to solving a finite-dimensional convex quadratically constrained quadratic program. The efficiency of the discussed method is verified by several numerical examples.
△ Less
Submitted 5 November, 2022; v1 submitted 31 October, 2021;
originally announced November 2021.
-
Kernel-based Impulse Response Identification with Side-Information on Steady-State Gain
Authors:
Mohammad Khosravi,
Roy S. Smith
Abstract:
In this paper, we consider the problem of system identification when side-information is available on the steady-state (or DC) gain of the system. We formulate a general nonparametric identification method as an infinite-dimensional constrained convex program over the reproducing kernel Hilbert space (RKHS) of stable impulse responses. The objective function of this optimization problem is the emp…
▽ More
In this paper, we consider the problem of system identification when side-information is available on the steady-state (or DC) gain of the system. We formulate a general nonparametric identification method as an infinite-dimensional constrained convex program over the reproducing kernel Hilbert space (RKHS) of stable impulse responses. The objective function of this optimization problem is the empirical loss regularized with the norm of RKHS, and the constraint is considered for enforcing the integration of the steady-state gain side-information. The proposed formulation addresses both the discrete-time and continuous-time cases. We show that this program has a unique solution obtained by solving an equivalent finite-dimensional convex optimization. This solution has a closed-form when the empirical loss and regularization functions are quadratic and exact side-information is considered. We perform extensive numerical comparisons to verify the efficiency of the proposed identification methodology.
△ Less
Submitted 5 November, 2022; v1 submitted 31 October, 2021;
originally announced November 2021.
-
Regularized Identification with Internal Positivity Side-Information
Authors:
Mohammad Khosravi,
Roy S. Smith
Abstract:
In this paper, we present an impulse response identification scheme that incorporates the internal positivity side-information of the system. The realization theory of positive systems establishes specific criteria for the existence of a positive realization for a given transfer function. These transfer function criteria are translated to a set of suitable conditions on the shape and structure of…
▽ More
In this paper, we present an impulse response identification scheme that incorporates the internal positivity side-information of the system. The realization theory of positive systems establishes specific criteria for the existence of a positive realization for a given transfer function. These transfer function criteria are translated to a set of suitable conditions on the shape and structure of the impulse responses of positive systems. Utilizing these conditions, the impulse response estimation problem is formulated as a constrained optimization in a reproducing kernel Hilbert space equipped with a stable kernel, and suitable constraints are imposed to encode the internal positivity side-information. The optimization problem is infinite-dimensional with an infinite number of constraints. An equivalent finite-dimensional convex optimization in the form of a convex quadratic program is derived. The resulting equivalent reformulation makes the proposed approach suitable for numerical simulation and practical implementation. A Monte Carlo numerical experiment evaluates the impact of incorporating the internal positivity side-information in the proposed identification scheme. The effectiveness of the proposed method is demonstrated using data from a heating system experiment.
△ Less
Submitted 31 October, 2021;
originally announced November 2021.
-
Distributed Model Predictive Control of Buildings and Energy Hubs
Authors:
Nicolas Lefebure,
Mohammad Khosravi,
Mathias Hudoba de Badyn,
Felix Bünning,
John Lygeros,
Colin Jones,
Roy S. Smith
Abstract:
Model predictive control (MPC) strategies can be applied to the coordination of energy hubs to reduce their energy consumption. Despite the effectiveness of these techniques, their potential for energy savings are potentially underutilized due to the fact that energy demands are often assumed to be fixed quantities rather than controlled dynamic variables. The joint optimization of energy hubs and…
▽ More
Model predictive control (MPC) strategies can be applied to the coordination of energy hubs to reduce their energy consumption. Despite the effectiveness of these techniques, their potential for energy savings are potentially underutilized due to the fact that energy demands are often assumed to be fixed quantities rather than controlled dynamic variables. The joint optimization of energy hubs and buildings' energy management systems can result in higher energy savings. This paper investigates how different MPC strategies perform on energy management systems in buildings and energy hubs. We first discuss two MPC approaches; centralized and decentralized. While the centralized control strategy offers optimal performance, its implementation is computationally prohibitive and raises privacy concerns. On the other hand, the decentralized control approach, which offers ease of implementation, displays significantly lower performance. We propose a third strategy, distributed control based on dual decomposition, which has the advantages of both approaches. Numerical case studies and comparisons demonstrate that the performance of distributed control is close to the performance of the centralized case, while maintaining a significantly lower computational burden, especially in large-scale scenarios with many agents. Finally, we validate and verify the reliability of the proposed method through an experiment on a full-scale energy hub system in the NEST demonstrator in Dübendorf, Switzerland.
△ Less
Submitted 4 October, 2021;
originally announced October 2021.
-
On Robustness of Kernel-Based Regularized System Identification
Authors:
Mohammad Khosravi,
Roy S. Smith
Abstract:
This paper presents a novel feature of the kernel-based system identification method. We prove that the regularized kernel-based approach for the estimation of a finite impulse response is equivalent to a robust least-squares problem with a particular uncertainty set defined in terms of the kernel matrix, and thus, it is called kernel-based uncertainty set. We provide a theoretical foundation for…
▽ More
This paper presents a novel feature of the kernel-based system identification method. We prove that the regularized kernel-based approach for the estimation of a finite impulse response is equivalent to a robust least-squares problem with a particular uncertainty set defined in terms of the kernel matrix, and thus, it is called kernel-based uncertainty set. We provide a theoretical foundation for the robustness of the kernel-based approach to input disturbances. Based on robust and regularized least-squares methods, different formulations of system identification are considered, where the kernel-based uncertainty set is employed in some of them. We apply these methods to a case where the input measurements are subject to disturbances. Subsequently, we perform extensive numerical experiments and compare the results to examine the impact of utilizing kernel-based uncertainty sets in the identification procedure. The numerical experiments confirm that the robust least square identification approach with the kernel-based uncertainty set improves the robustness of the estimation to the input disturbances.
△ Less
Submitted 26 May, 2021;
originally announced May 2021.
-
Sharp operator mean inequalities of the numerical radii
Authors:
Hosna Jafarmanesh,
Maryam Khosravi
Abstract:
We present several sharp upper bounds and some extension for product operators. Among other inequalities, it is shown that if , , are non-negative continuous functions on such that , , then for all non-negative operator monotone decreasing function on , we obtain that As an application of the above inequality, it is shown that where, and .
We present several sharp upper bounds and some extension for product operators. Among other inequalities, it is shown that if , , are non-negative continuous functions on such that , , then for all non-negative operator monotone decreasing function on , we obtain that As an application of the above inequality, it is shown that where, and .
△ Less
Submitted 20 April, 2020;
originally announced April 2020.
-
Convex Nonparametric Formulation for Identification of Gradient Flows
Authors:
Mohammad Khosravi,
Roy S. Smith
Abstract:
In this paper, we develop a nonparametric system identification method for the nonlinear gradient-flow dynamics. In these systems, the vector field is the gradient field of a potential energy function. This fundamental fact about the dynamics of system plays the role of a structural prior knowledge as well as a constraint in the proposed identification method. While the nature of the identificatio…
▽ More
In this paper, we develop a nonparametric system identification method for the nonlinear gradient-flow dynamics. In these systems, the vector field is the gradient field of a potential energy function. This fundamental fact about the dynamics of system plays the role of a structural prior knowledge as well as a constraint in the proposed identification method. While the nature of the identification problem is an estimation in the space of functions, we derive an equivalent finite dimensional formulation, which is a convex optimization in form of a quadratic program. This gives scalability of the problem and provides the opportunity for utilizing recently developed large-scale optimization solvers. The central idea in the proposed method is representing the energy function as a difference of two convex functions and estimating these convex functions jointly. Based on necessary and sufficient conditions for function convexity, the identification problem is formulated, and then, the existence, uniqueness and smoothness of the solution is addressed. We also illustrate the method numerically for a demonstrative example.
△ Less
Submitted 27 March, 2020;
originally announced March 2020.
-
Nonlinear System Identification with Prior Knowledge of the Region of Attraction
Authors:
Mohammad Khosravi,
Roy S. Smith
Abstract:
We consider the problem of nonlinear system identification when prior knowledge is available on the region of attraction (ROA) of an equilibrium point. We propose an identification method in the form of an optimization problem, minimizing the fitting error and guaranteeing the desired stability property. The problem is approached by joint identification the dynamics and a Lyapunov function verifyi…
▽ More
We consider the problem of nonlinear system identification when prior knowledge is available on the region of attraction (ROA) of an equilibrium point. We propose an identification method in the form of an optimization problem, minimizing the fitting error and guaranteeing the desired stability property. The problem is approached by joint identification the dynamics and a Lyapunov function verifying the stability property. In this setting, the hypothesis set is a reproducing kernel Hilbert space, and with respect to each point of the given subset of the ROA, the Lie derivative inequality of the Lyapunov function imposes a constraint. The problem is a non-convex infinite-dimensional optimization with infinite number of constraints. To obtain a tractable formulation, only a suitably designed finite subset of the constraints are considered. The resulting problem admits a solution in form of a linear combination of the sections of the kernel and its derivatives. An equivalent optimization problem with a quadratic cost function subject to linear and bilinear constraints is derived. A suitable change of variable gives a convex reformulation of the problem. To reduce the number of hyperparameters, the optimization problem is adapted to the case of diagonal kernels. The method is demonstrate by means of an example.
△ Less
Submitted 27 March, 2020;
originally announced March 2020.
-
Robust Adaptive Model Predictive Control with Worst-Case Cost
Authors:
Anilkumar Parsi,
Andrea Iannelli,
Mingzhou Yin,
Mohammad Khosravi,
Roy S. Smith
Abstract:
A robust adaptive model predictive control (MPC) algorithm is presented for linear, time invariant systems with unknown dynamics and subject to bounded measurement noise. The system is characterized by an impulse response model, which is assumed to lie within a bounded set called the feasible system set. Online set-membership identification is used to reduce uncertainty in the impulse response. In…
▽ More
A robust adaptive model predictive control (MPC) algorithm is presented for linear, time invariant systems with unknown dynamics and subject to bounded measurement noise. The system is characterized by an impulse response model, which is assumed to lie within a bounded set called the feasible system set. Online set-membership identification is used to reduce uncertainty in the impulse response. In the MPC scheme, robust constraints are enforced to ensure constraint satisfaction for all the models in the feasible set. The performance objective is formulated as a worst-case cost with respect to the modeling uncertainties. That is, at each time step an optimization problem is solved in which the control input is optimized for the worst-case plant in the uncertainty set. The performance of the proposed algorithm is compared to an adaptive MPC algorithm from the literature using Monte-Carlo simulations.
△ Less
Submitted 19 November, 2019;
originally announced November 2019.
-
Structured exploration in the finite horizon linear quadratic dual control problem
Authors:
Andrea Iannelli,
Mohammad Khosravi,
Roy S. Smith
Abstract:
This paper presents a novel approach to synthesize dual controllers for unknown linear time-invariant systems with the tasks of optimizing a quadratic cost while reducing the uncertainty. To this end, a synthesis problem is defined where the feedback law has to simultaneously gain knowledge of the system and robustly optimize the cost. By framing the problem in a finite horizon setting, the trade-…
▽ More
This paper presents a novel approach to synthesize dual controllers for unknown linear time-invariant systems with the tasks of optimizing a quadratic cost while reducing the uncertainty. To this end, a synthesis problem is defined where the feedback law has to simultaneously gain knowledge of the system and robustly optimize the cost. By framing the problem in a finite horizon setting, the trade-offs arising when the tasks include both identification and control are formally captured in the optimization problem. Results show that efficient exploration strategies are achieved when the structure of the problem is exploited.
△ Less
Submitted 10 April, 2021; v1 submitted 31 October, 2019;
originally announced October 2019.
-
Connected zero forcing sets and connected propagation time of graphs
Authors:
M. Khosravi,
S. Rashidi 2,
A. Sheikhhosseni
Abstract:
The zero forcing number $Z(G)$ of a graph $G$ is the minimum cardinality of a set $S$ with colored (black) vertices which forces the set $V(G)$ to be colored (black) after some times. "color change rule": a white vertex is changed to a black vertex when it is the only white neighbor of a black vertex. In this case, we say that the black vertex forces the white vertex. We investigate here the conce…
▽ More
The zero forcing number $Z(G)$ of a graph $G$ is the minimum cardinality of a set $S$ with colored (black) vertices which forces the set $V(G)$ to be colored (black) after some times. "color change rule": a white vertex is changed to a black vertex when it is the only white neighbor of a black vertex. In this case, we say that the black vertex forces the white vertex. We investigate here the concept of connected zero forcing set and connected zero forcing number. We discusses this subject for special graphs and some products of graphs. Also we introduce the connected propagation time. Graphs with extreme minimum connected propagation times and maximum propagation times $|G|-1$ and $|G|-2$ are characterized.
△ Less
Submitted 22 February, 2017;
originally announced February 2017.
-
On refined operator version of Young inequality and its reverse
Authors:
Alemeh Sheikhhosseini,
Maryam Khosravi
Abstract:
In this note, some refinements of Young inequality and its reverse for positive numbers are proved and using these inequalities some operator versions and Hilbert-Schmidt norm versions for matrices of these inequalities are obtained.
In this note, some refinements of Young inequality and its reverse for positive numbers are proved and using these inequalities some operator versions and Hilbert-Schmidt norm versions for matrices of these inequalities are obtained.
△ Less
Submitted 9 May, 2016;
originally announced May 2016.
-
On improvement of Young inequality using the Kontrovich constant
Authors:
Maryam Khosravi,
Alemeh Sheikhhosseini
Abstract:
Some improvements of Young inequality and its reverse for positive numbers with Kontrovich constant are given. Using these inequalities some operator versions and Hilbert-Schmidt norm versions for matrices are proved.
Some improvements of Young inequality and its reverse for positive numbers with Kontrovich constant are given. Using these inequalities some operator versions and Hilbert-Schmidt norm versions for matrices are proved.
△ Less
Submitted 9 May, 2016;
originally announced May 2016.
-
Reverse triangle inequality in Hilbert $C^*$-modules
Authors:
M. Khosravi,
H. Mahyar,
M. S. Moslehian
Abstract:
We prove several versions of reverse triangle inequality in Hilbert $C^*$-modules. We show that if $e_1, ..., e_m$ are vectors in a Hilbert module ${\mathfrak X}$ over a $C^*$-algebra ${\mathfrak A}$ with unit 1 such that $<e_i,e_j>=0 (1\leq i\neq j \leq m)$ and $\|e_i\|=1 (1\leq i\leq m)$, and also $r_k,ρ_k\in\Bbb{R} (1\leq k\leq m)$ and $x_1, ..., x_n\in {\mathfrak X}$ satisfy…
▽ More
We prove several versions of reverse triangle inequality in Hilbert $C^*$-modules. We show that if $e_1, ..., e_m$ are vectors in a Hilbert module ${\mathfrak X}$ over a $C^*$-algebra ${\mathfrak A}$ with unit 1 such that $<e_i,e_j>=0 (1\leq i\neq j \leq m)$ and $\|e_i\|=1 (1\leq i\leq m)$, and also $r_k,ρ_k\in\Bbb{R} (1\leq k\leq m)$ and $x_1, ..., x_n\in {\mathfrak X}$ satisfy $$0\leq r_k^2 \|x_j\|\leq {Re}< r_ke_k,x_j> ,\quad0\leq ρ_k^2 \|x_j\| \leq {Im}< ρ_ke_k,x_j> ,$$ then [\sum_{k=1}^m(r_k^2+ρ_k^2)]^{1/2}\sum_{j=1}^n \|x_j\|\leq\|\sum_{j=1}^nx_j\|, and the equality holds if and only if \sum_{j=1}^n x_j=\sum_{j=1}^n\|x_j\|\sum_{k=1}^m(r_k+iρ_k)e_k .
△ Less
Submitted 14 November, 2009;
originally announced November 2009.
-
Bessel type inequalities in Hilbert C*-modules
Authors:
S. S. Dragomir,
M. Khosravi,
M. S. Moslehian
Abstract:
Regarding the generalizations of the Bessel inequality in Hilbert spaces which are due to Bombiari and Boas--Bellman, we obtain a version of the Bessel inequality and some generalizations of this inequality in the framework of Hilbert $C^*$-modules.
Regarding the generalizations of the Bessel inequality in Hilbert spaces which are due to Bombiari and Boas--Bellman, we obtain a version of the Bessel inequality and some generalizations of this inequality in the framework of Hilbert $C^*$-modules.
△ Less
Submitted 25 May, 2009;
originally announced May 2009.
-
Third moment of the remainder term for Heisenberg manifolds
Authors:
Mahta Khosravi
Abstract:
Let R(t) be the remainder term in Weyl's law for a 3-dimensional Riemannian Heisenberg manifold with a certain arithmetic metric. We prove a third moment result stating that \int_1^T R(t)^3 dt =d_3 T^(13/4)+O_δ(T^(45/14+δ)), where d_3 is a specific positive constant which can be evaluated explicitly. This proves the asymmetric behavior of R(t) about the t-axis. This result is consistent with the…
▽ More
Let R(t) be the remainder term in Weyl's law for a 3-dimensional Riemannian Heisenberg manifold with a certain arithmetic metric. We prove a third moment result stating that \int_1^T R(t)^3 dt =d_3 T^(13/4)+O_δ(T^(45/14+δ)), where d_3 is a specific positive constant which can be evaluated explicitly. This proves the asymmetric behavior of R(t) about the t-axis. This result is consistent with the conjecture of Petridis and Toth stating that R(t)=O_δ(t^(3/4+δ)). Similar results hold for (2n+1)-dimensional Heisenberg manifolds with arithmetic metrics.
△ Less
Submitted 1 November, 2007;
originally announced November 2007.
-
Vanishing of the first $(σ,τ)$-cohomology group of triangular Banach algebras
Authors:
M. Khosravi,
M. S. Moslehian,
A. N. Motlagh
Abstract:
In this paper, we define the first topological $(σ,τ)$-cohomology group and examine vanishing of the first $(σ,τ)$-cohomology groups of certain triangular Banach algebras. We apply our results to study the $(σ,τ)$-weak amenability and $(σ,τ)$-amenability of triangular Banach algebras.
In this paper, we define the first topological $(σ,τ)$-cohomology group and examine vanishing of the first $(σ,τ)$-cohomology groups of certain triangular Banach algebras. We apply our results to study the $(σ,τ)$-weak amenability and $(σ,τ)$-amenability of triangular Banach algebras.
△ Less
Submitted 24 August, 2007; v1 submitted 16 February, 2005;
originally announced February 2005.
