Abstract Numerous research papers and several engineering applications have proved that the fuzzy set theory is an intelligent effective tool to represent complex uncertain information. In multi-criteria decision-making (fuzzy MCDM) methods, information system control-theoretic models, qualitative are extracted from expert’s knowledge as linguistic variables modeled by linear/non-linear numbers...

We introduce a new numerical abstract domain, so-called interval polyhedra (itvPol), to infer and propagate interval linear constraints over program variables. itvPol, which allows to represent constraints of the form ∑ k[ak, bk]xk ≤ c, is more expressive than the classic convex polyhedra domain and allows to express certain non-convex (even unconnected) properties. The implementation of itvPol...

The purpose of this paper is to show that the ideas and techniques of the classical methods of finding stability, such as the criteria of Leonhard and Nyquist, can be used to derive simple algorithm to verify stability. This is enhanced by evaluating the argument of the characteristic equation of a linear system in the neighbourhood of the origin of the complex plane along the imaginary axis

‎‎‎‎‎‎‎‎‎‎‎‎‎This paper aims to construct a general formulation for the shifted Jacobi operational matrices of integration and product‎. ‎The main aim is to generalize the Jacobi integral and product operational matrices to the solving system of Fredholm and Volterra integro--differential equations‎ which appear in various fields of science such as physics and engineering. ‎The Operational matr...

Choosing a location for a power plant site is a complex task that involves evaluation of multiple factors, which should satisfy a number of economic and environmental requirements. The main aim of this study is to determine the best possible candidates for thermal power plant sites using Multi-criteria Evaluation and Geographic Information System (GIS) in Kahnuj County in the southeast of Iran....

The paper addresses the stability analysis of linear continuous systems under interval uncertainties. A new implementation of the interval Frazer-Duncan criterion is suggested to estimate the stability of the system considered. It is based on obtaining the interval extensions of the coefficients 0 a and n a in the characteristic polynomial as well as the determinant 1 − ∆ n from the Hurwitz mat...

The output stabilization problem for a linear system with an unknown bounded time-varying input delay is considered. The interval observation technique is applied in order to obtain guaranteed interval estimate of the system state. The procedure of the interval observer synthesis uses lower and upper estimates of the unknown delay and requires to solve a special Silvester’s equation. The interv...