Showing 1–18 of 18 results for author: Stankovič, M

Hennessy-Milner Type Theorems for Fuzzy Multimodal Logics Over Heyting Algebras

Authors: Marko Stanković, Miroslav Ćirić, Jelena Ignjatović

Abstract: In a recent paper, we have introduced two types of fuzzy simulations (forward and backward) and five types of fuzzy bisimulations (forward, backward, forward-backward, backward-forward and regular) between Kripke models for the fuzzy multimodal logics over a complete linearly ordered Heyting algebra. In this paper, for a given non-empty set $Ψ$ of modal formulae, we introduce the concept of a weak… ▽ More In a recent paper, we have introduced two types of fuzzy simulations (forward and backward) and five types of fuzzy bisimulations (forward, backward, forward-backward, backward-forward and regular) between Kripke models for the fuzzy multimodal logics over a complete linearly ordered Heyting algebra. In this paper, for a given non-empty set $Ψ$ of modal formulae, we introduce the concept of a weak bisimulation between Kripke models. This concept can be used to express the degree of equality of fuzzy sets of formulae from $Ψ$ that are valid in two worlds $w$ and $w'$, that is, to express the degree of modal equivalence between worlds $w$ and $w'$ with respect to the formulae from $Ψ$. We prove several Hennessy-Milner type theorems. The first theorem determines that the greatest weak bisimulation for the set of plus-formulae between image-finite Kripke models coincides with the greatest forward bisimulation. The second theorem determines that the greatest weak bisimulation for the set of minus-formulae between domain-finite Kripke models coincides with the greatest backward bisimulation. Finally, the third theorem determines that the greatest weak bisimulation for the set of all modal formulae between the degree-finite Kripke models coincides with the greatest regular bisimulation. △ Less

Submitted 14 February, 2025; originally announced February 2025.

Comments: 23 pages, 44 references

MSC Class: 03B45; 03B50; 03B52; 03E72 ACM Class: F.4.1

Journal ref: Journal of Multiple-Valued Logic and Soft Computing, 39(2-4), 341-379 (2022)

On the Laplace-type transform and its applications

Authors: Slobodan B. Tričković, Miomir S. Stanković

Abstract: We use the Laplace transform and the Gamma function to introduce a new integral transform and name it the Laplace-type transform possessing the property of mapping a function to a functional sequence, which cannot be achieved by the Laplace transform. In addition, we construct a backward difference as a generalization of the backward difference operator $\nabla$, and connecting it to the Laplace-t… ▽ More We use the Laplace transform and the Gamma function to introduce a new integral transform and name it the Laplace-type transform possessing the property of mapping a function to a functional sequence, which cannot be achieved by the Laplace transform. In addition, we construct a backward difference as a generalization of the backward difference operator $\nabla$, and connecting it to the Laplace-type transform, we deduce a method for solving difference equations and, relying on classical orthogonal polynomials, for obtaining combinatorial identities. A table of some elementary functions and their images is in the Appendix. △ Less

Submitted 12 November, 2024; v1 submitted 18 July, 2024; originally announced July 2024.

Series over Bessel functions as series in terms of Riemann's zeta function

Authors: Slobodan B. Tričković, Miomir S. Stanković

Abstract: Relying on the Hurwitz formula, we find sums of the series over sine and cosine functions through the Hurwitz zeta function. Using another summation formula for these trigonometric series, we find finite sums of some series over the Riemann zeta function. Relying on the Hurwitz formula, we find sums of the series over sine and cosine functions through the Hurwitz zeta function. Using another summation formula for these trigonometric series, we find finite sums of some series over the Riemann zeta function. △ Less

Submitted 17 July, 2024; originally announced July 2024.

MSC Class: 11M35; 33B15; 33E20

On closed forms of some trigonometric series

Authors: Slobodan B. Tričković, Miomir S. Stanković

Abstract: We have derived alternative closed-form formulas for the trigonometric series over sine or cosine functions when the immediate replacement of the parameter appearing in the denominator with a positive integer gives rise to a singularity. By applying the Choi-Srivastava theorem, we reduce these trigonometric series to expressions over Hurwitz's zeta function derivative. We have derived alternative closed-form formulas for the trigonometric series over sine or cosine functions when the immediate replacement of the parameter appearing in the denominator with a positive integer gives rise to a singularity. By applying the Choi-Srivastava theorem, we reduce these trigonometric series to expressions over Hurwitz's zeta function derivative. △ Less

Submitted 16 July, 2024; originally announced July 2024.

MSC Class: Primary 11M41; Secondary 33B15

Finite and infinite order differential properties of the reduced Mittag--Leffler polynomials

Authors: Predrag M. Rajković, Sladjana D. Marinković, Miomir S. Stanković, Marko D. Petković

Abstract: This paper deals with the Mittag-Leffler polynomials (MLP) by extracting their essence which consists of real polynomials with fine properties. They are orthogonal on the real line instead of the imaginary axes for MLP. Beside recurrence relations and zeros, we will point to the closed form of its Fourier transform. The most important contribution consists of the new differential properties, espec… ▽ More This paper deals with the Mittag-Leffler polynomials (MLP) by extracting their essence which consists of real polynomials with fine properties. They are orthogonal on the real line instead of the imaginary axes for MLP. Beside recurrence relations and zeros, we will point to the closed form of its Fourier transform. The most important contribution consists of the new differential properties, especially the finite and infinite differential equation. △ Less

Submitted 12 February, 2024; originally announced February 2024.

Exact and Approximate Moment Derivation for Probabilistic Loops With Non-Polynomial Assignments

Authors: Andrey Kofnov, Marcel Moosbrugger, Miroslav Stankovič, Ezio Bartocci, Efstathia Bura

Abstract: Many stochastic continuous-state dynamical systems can be modeled as probabilistic programs with nonlinear non-polynomial updates in non-nested loops. We present two methods, one approximate and one exact, to automatically compute, without sampling, moment-based invariants for such probabilistic programs as closed-form solutions parameterized by the loop iteration. The exact method applies to prob… ▽ More Many stochastic continuous-state dynamical systems can be modeled as probabilistic programs with nonlinear non-polynomial updates in non-nested loops. We present two methods, one approximate and one exact, to automatically compute, without sampling, moment-based invariants for such probabilistic programs as closed-form solutions parameterized by the loop iteration. The exact method applies to probabilistic programs with trigonometric and exponential updates and is embedded in the Polar tool. The approximate method for moment computation applies to any nonlinear random function as it exploits the theory of polynomial chaos expansion to approximate non-polynomial updates as the sum of orthogonal polynomials. This translates the dynamical system to a non-nested loop with polynomial updates, and thus renders it conformable with the Polar tool that computes the moments of any order of the state variables. We evaluate our methods on an extensive number of examples ranging from modeling monetary policy to several physical motion systems in uncertain environments. The experimental results demonstrate the advantages of our approach with respect to the current state-of-the-art. △ Less

Submitted 25 January, 2024; v1 submitted 12 June, 2023; originally announced June 2023.

Comments: Published in ACM Transactions on Modeling and Computer Simulation (TOMACS). Extended version of the conference paper 'Moment-based Invariants for Probabilistic Loops with Non-polynomial Assignments' published at QEST 2022 (Best paper award, see also the preprint arxiv.org/abs/2205.02577). arXiv admin note: substantial text overlap with arXiv:2205.02577

MSC Class: 62G05; 62P30 ACM Class: G.3

The q-Levenberg-Marquardt method for unconstrained nonlinear optimization

Authors: Danijela Protic, Miomir Stankovic

Abstract: A q-Levenberg-Marquardt method is an iterative procedure that blends a q-steepest descent and q-Gauss-Newton methods. When the current solution is far from the correct one the algorithm acts as the q-steepest descent method. Otherwise the algorithm acts as the q-Gauss-Newton method. A damping parameter is used to interpolate between these two methods. The q-parameter is used to escape from local m… ▽ More A q-Levenberg-Marquardt method is an iterative procedure that blends a q-steepest descent and q-Gauss-Newton methods. When the current solution is far from the correct one the algorithm acts as the q-steepest descent method. Otherwise the algorithm acts as the q-Gauss-Newton method. A damping parameter is used to interpolate between these two methods. The q-parameter is used to escape from local minima and to speed up the search process near the optimal solution. △ Less

Submitted 5 July, 2021; originally announced July 2021.

The q-Gauss-Newton method for unconstrained nonlinear optimization

Authors: Danijela Protic, Miomir Stankovic

Abstract: A q-Gauss-Newton algorithm is an iterative procedure that solves nonlinear unconstrained optimization problems based on minimization of the sum squared errors of the objective function residuals. Main advantage of the algorithm is that it approximates matrix of q-second order derivatives with the first-order q-Jacobian matrix. For that reason, the algorithm is much faster than q-steepest descent a… ▽ More A q-Gauss-Newton algorithm is an iterative procedure that solves nonlinear unconstrained optimization problems based on minimization of the sum squared errors of the objective function residuals. Main advantage of the algorithm is that it approximates matrix of q-second order derivatives with the first-order q-Jacobian matrix. For that reason, the algorithm is much faster than q-steepest descent algorithms. The convergence of q-GN method is assured only when the initial guess is close enough to the solution. In this paper the influence of the parameter q to the non-linear problem solving is presented through three examples. The results show that the q-GD algorithm finds an optimal solution and speeds up the iterative procedure. △ Less

Submitted 27 May, 2021; originally announced May 2021.

Opial's inequality in $q$-Calculus revisited

Authors: Tatjana Z. Mirkovic, Slobodan B. Trickovic, Miomir S. Stankovic

Abstract: We have fundamentally corrected the proofs of the theorems from our paper [9] by giving an entirely different approach, using quite a simple method based on applications of some elementary inequalities, well-known Hölder's inequality, and the Gauchman $q$-restricted integral. We have fundamentally corrected the proofs of the theorems from our paper [9] by giving an entirely different approach, using quite a simple method based on applications of some elementary inequalities, well-known Hölder's inequality, and the Gauchman $q$-restricted integral. △ Less

Submitted 9 April, 2024; v1 submitted 27 February, 2019; originally announced February 2019.

Distributed Stochastic Approximation: Weak Convergence and Network Design

Authors: Miloš S. Stanković, Nemanja Ilić, Srdjan S. Stanković

Abstract: This paper studies distributed stochastic approximation algorithms based on broadcast gossip on communication networks represented by digraphs. Weak convergence of these algorithms is proved, and an associated ordinary differential equation (ODE) is formulated connecting convergence points with local objective functions and network properties. Using these results, a methodology is proposed for net… ▽ More This paper studies distributed stochastic approximation algorithms based on broadcast gossip on communication networks represented by digraphs. Weak convergence of these algorithms is proved, and an associated ordinary differential equation (ODE) is formulated connecting convergence points with local objective functions and network properties. Using these results, a methodology is proposed for network design, aimed at achieving the desired asymptotic behavior at consensus. Convergence rate of the algorithm is also analyzed and further improved using an attached stochastic differential equation. Simulation results illustrate the theoretical concepts. △ Less

Submitted 2 September, 2016; v1 submitted 9 December, 2014; originally announced December 2014.

Determining the best fitting distribution of annual precipitation data in Serbia using L-moments method

Authors: Milan Gocic, Lazar Velimirovic, Miomir Stankovic

Abstract: The monthly precipitation data from 29 meteorological stations for the period 1946--2012 from Serbia were used. To describe the behaviour of precipitation data at a specific location, it is necessary to identify the distribution that best fits the data. For this purpose, three distributions i.e. generalized extreme value (GEV), generalized Pareto (GPD) and generalized logistic (GLO) distribution… ▽ More The monthly precipitation data from 29 meteorological stations for the period 1946--2012 from Serbia were used. To describe the behaviour of precipitation data at a specific location, it is necessary to identify the distribution that best fits the data. For this purpose, three distributions i.e. generalized extreme value (GEV), generalized Pareto (GPD) and generalized logistic (GLO) distribution were fitted using the method of L-moment. The goodness-of-fit for the selected three distributions was confirmed using L-moment ratio diagram and three tests namely relative root mean square error, relative mean absolute error and probability plot correlation coefficient. From the result of this analysis, the GEV distribution was selected as the best fitting distribution of annual precipitation data in Serbia. The 2, 5, 10, 20, 50, 100 and 1000-years return levels are provided. △ Less

Submitted 27 January, 2015; v1 submitted 20 October, 2014; originally announced October 2014.

Comments: This paper has been withdrawn by the author because input data (the number of meteorological stations, as well as the period observed) have to be changed in order to obtain correct results

Power series determined by an experiment on the unit interval

Authors: Predrag M. Rajkovic, Sladjana D. Marinkovic, Miomir S. Stankovic

Abstract: We consider the linear combinations of elements of two sequences: the first one a priory given nonnegative sequence and the second random sequence from the unit interval. We investigate the expected value of the smallest natural number such that the value of these linear combinations exceed a positive number. After very clear geometrical conclusions, we find the function which expresses the expect… ▽ More We consider the linear combinations of elements of two sequences: the first one a priory given nonnegative sequence and the second random sequence from the unit interval. We investigate the expected value of the smallest natural number such that the value of these linear combinations exceed a positive number. After very clear geometrical conclusions, we find the function which expresses the expected value. Here, we recognize a few known results like the special cases. △ Less

Submitted 8 April, 2013; originally announced April 2013.

Comments: 9 pages, 5 figures

MSC Class: 34K60; 60G50; 33B10

Design of companding quantizer for Laplacian source using the approximation of probability density function

Authors: Lazar Velimirovic, Zoran Peric, Miomir Stankovic, Nikola Simic

Abstract: In this paper both piecewise linear and piecewise uniform approximation of probability density function are performed. For the probability density function approximated in these ways, a compressor function is formed. On the basis of compressor function formed in this way, piecewise linear and piecewise uniform companding quantizer are designed. Design of these companding quantizer models is perfor… ▽ More In this paper both piecewise linear and piecewise uniform approximation of probability density function are performed. For the probability density function approximated in these ways, a compressor function is formed. On the basis of compressor function formed in this way, piecewise linear and piecewise uniform companding quantizer are designed. Design of these companding quantizer models is performed for the Laplacian source at the entrance of the quantizer. The performance estimate of the proposed companding quantizer models is done by determining the values of signal to quantization noise ratio (SQNR) and approximation error for the both of proposed models and also by their mutual comparison. △ Less

Submitted 10 December, 2012; originally announced December 2012.

Lie Bracket Approximation of Extremum Seeking Systems

Authors: Hans-Bernd Dürr, Miloš S. Stanković, Christian Ebenbauer, Karl H. Johansson

Abstract: Extremum seeking feedback is a powerful method to steer a dynamical system to an extremum of a partially or completely unknown map. It often requires advanced system-theoretic tools to understand the qualitative behavior of extremum seeking systems. In this paper, a novel interpretation of extremum seeking is introduced. We show that the trajectories of an extremum seeking system can be approximat… ▽ More Extremum seeking feedback is a powerful method to steer a dynamical system to an extremum of a partially or completely unknown map. It often requires advanced system-theoretic tools to understand the qualitative behavior of extremum seeking systems. In this paper, a novel interpretation of extremum seeking is introduced. We show that the trajectories of an extremum seeking system can be approximated by the trajectories of a system which involves certain Lie brackets of the vector fields of the extremum seeking system. It turns out that the Lie bracket system directly reveals the optimizing behavior of the extremum seeking system. Furthermore, we establish a theoretical foundation and prove that uniform asymptotic stability of the Lie bracket system implies practical uniform asymptotic stability of the corresponding extremum seeking system. We use the established results in order to prove local and semi-global practical uniform asymptotic stability of the extrema of a certain map for multi-agent extremum seeking systems. △ Less

Submitted 6 December, 2012; v1 submitted 28 September, 2011; originally announced September 2011.

Deformed Mittag-Leffler Polynomials

Authors: Miomir S. Stankovic, Sladjana D. Marinkovic, Predrag M. Rajkovic

Abstract: The starting point of this paper are the Mittag-Leffler polynomials introduced by H. Bateman [1]. Based on generalized integer powers of real numbers and deformed exponential function, we introduce deformed Mittag-Leffler polynomials defined by appropriate generating function. We investigate their recurrence relations, differential properties and orthogonality. Since they have all zeros on imagina… ▽ More The starting point of this paper are the Mittag-Leffler polynomials introduced by H. Bateman [1]. Based on generalized integer powers of real numbers and deformed exponential function, we introduce deformed Mittag-Leffler polynomials defined by appropriate generating function. We investigate their recurrence relations, differential properties and orthogonality. Since they have all zeros on imaginary axes, we also consider real polynomials with real zeros associated to them. △ Less

Submitted 21 July, 2010; originally announced July 2010.

MSC Class: 33C45; 11B83

The deformed exponential functions of two variables

Authors: Miomir S. Stanković, Sladjana D. Marinković, Predrag M. Rajković

Abstract: In the recent development in a various disciplines of physics, it is noted the need for including the deformed versions of the exponential functions. In this paper, we consider the deformations which have two purposes: to have them like special cases, and, even more, to acquit their inauguration from mathematical point of view. Really, we will show interesting differential and difference propertie… ▽ More In the recent development in a various disciplines of physics, it is noted the need for including the deformed versions of the exponential functions. In this paper, we consider the deformations which have two purposes: to have them like special cases, and, even more, to acquit their inauguration from mathematical point of view. Really, we will show interesting differential and difference properties of our deformations which are important in forming and explanation of continuous and discrete models of numerous phenomena. △ Less

Submitted 27 May, 2010; originally announced May 2010.

MSC Class: 33B10; 30B50

On q-fractional derivatives of Riemann--Liouville and Caputo type

Authors: Miomir S. Stankovic, Predrag M. Rajkovic, Sladjana D. Marinkovic

Abstract: Based on the fractional $q$-integral with the parametric lower limit of integration, we define fractional $q$-derivative of Riemann-Liouville and Caputo type. The properties are studied separately as well as relations between them. Also, we discuss properties of compositions of these operators. Based on the fractional $q$-integral with the parametric lower limit of integration, we define fractional $q$-derivative of Riemann-Liouville and Caputo type. The properties are studied separately as well as relations between them. Also, we discuss properties of compositions of these operators. △ Less

Submitted 2 September, 2009; originally announced September 2009.

MSC Class: 33D60; 26A33

The Inequalities for Some Types of $q$-Integrals

Authors: Predrag M. Rajkovic, Sladjana D. Marinkovic, Miomir S. Stankovic

Abstract: We discuss the inequalities for $q$-integrals because of the fact that the inequalities can be very useful in the future mathematical research. Since $q$-integral of a function over an interval $[a,b]$ is defined by the difference of two infinite sums, there a lot of unexpected troubles in analyzing analogs of well-known integral inequalities. In this paper, we will signify to some directions to… ▽ More We discuss the inequalities for $q$-integrals because of the fact that the inequalities can be very useful in the future mathematical research. Since $q$-integral of a function over an interval $[a,b]$ is defined by the difference of two infinite sums, there a lot of unexpected troubles in analyzing analogs of well-known integral inequalities. In this paper, we will signify to some directions to exceed this problem. △ Less

Submitted 8 May, 2006; originally announced May 2006.

MSC Class: 33D60; 26D15