Search results for "QA1-939"
showing 10 items of 527 documents
Fuzzy modeling and control for a class of inverted pendulum system
2014
Published version of an article in the journal: Abstract and Applied Analysis. Also available from the publisher at: http://dx.doi.org/10.1155/2014/936868 Open Access Focusing on the issue of nonlinear stability control system about the single-stage inverted pendulum, the T-S fuzzy model is employed. Firstly, linear approximation method would be applied into fuzzy model for the single-stage inverted pendulum. At the same time, for some nonlinear terms which could not be dealt with via linear approximation method, this paper will adopt fan range method into fuzzy model. After the T-S fuzzy model, the PDC technology is utilized to design the fuzzy controller secondly. Numerical simulation res…
Agent-Based Model to Study and Quantify the Evolution Dynamics of Android Malware Infection
2014
[EN] In the last years the number of malware Apps that the users download to their devices has risen. In this paper, we propose an agentbased model to quantify the Android malware infection evolution, modeling the behavior of the users and the different markets where the users may download Apps. The model predicts the number of infected smartphones depending on the type of malware. Additionally, we will estimate the cost that the users should afford when the malware is in their devices. We will be able to analyze which part is more critical: the users, giving indiscriminate permissions to the Apps or not protecting their devices with antivirus software, or the Android platform, due to the v…
A Criterium for the Strict Positivity of the Density of the Law of a Poisson Process
2011
We translate in semigroup theory our result (Leandre, 1990) giving a necessary condition so that the law of a Markov process with jumps could have a strictly positive density. This result express, that we have to jump in a finite number of jumps in a "submersive" way from the starting point to the end point if the density of the jump process is strictly positive in . We use the Malliavin Calculus of Bismut type of (Leandre, (2008;2010)) translated in semi-group theory as a tool, and the interpretation in semi-group theory of some classical results of the stochastic analysis for Poisson process as, for instance, the formula giving the law of a compound Poisson process.
About Quotient Orders and Ordering Sequences
2017
Summary In preparation for the formalization in Mizar [4] of lotteries as given in [14], this article closes some gaps in the Mizar Mathematical Library (MML) regarding relational structures. The quotient order is introduced by the equivalence relation identifying two elements x, y of a preorder as equivalent if x ⩽ y and y ⩽ x. This concept is known (see e.g. chapter 5 of [19]) and was first introduced into the MML in [13] and that work is incorporated here. Furthermore given a set A, partition D of A and a finite-support function f : A → ℝ, a function Σ f : D → ℝ, Σ f (X)= ∑ x∈X f(x) can be defined as some kind of natural “restriction” from f to D. The first main result of this article ca…
Derivations of quasi *-algebras
2004
The spatiality of derivations of quasi*-algebras is investigated by means of representation theory. Moreover, in view of physical applications, the spatiality of the limit of a family of spatial derivations is considered.
Extended Natural Numbers and Counters
2020
Summary This article introduces extended natural numbers, i.e. the set ℕ ∪ {+∞}, in Mizar [4], [3] and formalizes a way to list a cardinal numbers of cardinals. Both concepts have applications in graph theory.
Nonlinear nonhomogeneous Neumann eigenvalue problems
2015
We consider a nonlinear parametric Neumann problem driven by a nonhomogeneous differential operator with a reaction which is $(p-1)$-superlinear near $\pm\infty$ and exhibits concave terms near zero. We show that for all small values of the parameter, the problem has at least five solutions, four of constant sign and the fifth nodal. We also show the existence of extremal constant sign solutions.
Topological Dual Systems for Spaces of Vector Measure p-Integrable Functions
2016
[EN] We show a Dvoretzky-Rogers type theorem for the adapted version of the q-summing operators to the topology of the convergence of the vector valued integrals on Banach function spaces. In the pursuit of this objective we prove that the mere summability of the identity map does not guarantee that the space has to be finite dimensional, contrary to the classical case. Some local compactness assumptions on the unit balls are required. Our results open the door to new convergence theorems and tools regarding summability of series of integrable functions and approximation in function spaces, since we may find infinite dimensional spaces in which convergence of the integrals, our vector value…
Observer-Based Robust Control for Spacecraft Rendezvous with Thrust Saturation
2014
Published version of an article in the journal: Abstract and Applied Analysis. Also available from the publisher at: http://dx.doi.org/10.1155/2014/710850 Open Access This paper proposes an observer-based robust guaranteed cost control method for thrust-limited rendezvous in near-circular orbits. Treating the noncircularity of the target orbit as a parametric uncertainty, a linearized motion model derived from the two-body problem is adopted as the controlled plant. Based on this model, a robust guaranteed cost observer-controller is synthesized with a less conservative saturation control law, and sufficient condition for the existence of this observer-based rendezvous controller is derived…
Fault detection for wireless network control systems with stochastic uncertainties and time delays
2014
Published version of an article in the journal: Abstract and Applied Analysis. Also available from the publisher at: http://dx.doi.org/10.1155/2014/250314 Open Access The fault detection problem is investigated for a class of wireless network control systems which has stochastic uncertainties in the state-space matrices, combined with time delays and nonlinear disturbance. First, the system error observer is proposed. Then, by constructing proper Lyapunov-Krasovskii functional, we acquire sufficient conditions to guarantee the stability of the fault detection observer for the discrete system, and observer gain is also derived by solving linear matrix inequalities. Finally, a simulation exam…