Fuzzy Computation Tree Temporal Logic with Quality Constraints and Its Model Checking [PDF]
The encapsulation of particular quality functions and predicates within temporal logic formulas markedly enhances the representation of detailed temporal characteristics within a system.
Xianfeng Yu +3 more
doaj +2 more sources
Existence of (N, λ)-periodic solutions for sbstract fractional difference equations [PDF]
We establish sufficient conditions for the existence and uniqueness of (N,λ)-periodic solutions for the following abstract model: Δαu(n) = Au(n + 1) + f(n, u(n)), n ∈ Z, where 0 < α ≤ 1, A is a closed linear operator defined in a Banach space X, Δα ...
Dıaz, Stiven +2 more
core +1 more source
Observer-based fault-tolerant control for a class of networked control systems with transfer delays [PDF]
Link to a related website: http://vuir.vu.edu.au/7193/1/FTC_MZH%2BJB%2BSP%2811-01-26%29.pdf, Open Access via UnpaywallAbstract not availableZehui Mao, Bin Jiang, Peng ...
Shi, Peng +8 more
core +1 more source
Towards the assimilation of tree-ring-width records using ensemble Kalman filtering techniques [PDF]
This paper investigates the applicability of the Vaganov–Shashkin–Lite (VSL) forward model for tree-ring-width chronologies as observation operator within a proxy data assimilation (DA) setting.
Acevedo, Walter +2 more
core +1 more source
On some results in intuitionistic fuzzy ideal convergence double sequence spaces
Recently, spaces of ideal convergent sequences of bounded linear operators were studied by Khan et al. (Numer. Funct. Anal. Optim. 39:1278-1290, 2018).
Vakeel A. Khan +3 more
doaj +1 more source
The Cesáro Lacunary Ideal bounded linear operator of χ2 - of φ-statistical vector valued defined by a bounded linear operator of interval numbers [PDF]
Let uv mn A be a sequence of bounded linear operators from a separable Banach metric space of (X , 0) into a Banach metric space (Y, 0). Suppose that φ ∈ Φ is a countable fundamental set of X and the ideal I - of subsets \mathbb{N} x \mathbb{N} has
N. Subramanian +2 more
core +1 more source
Implementación de un algoritmo de aprendizaje de máquina para la sintonización de un controlador aplicado a un péndulo invertido. [PDF]
En este proyecto de grado se presenta el diseño e implementación de una sintonización de un controlador de posición angular para un péndulo rotatorio invertido, utilizando un algoritmo Bio-inspirado de selección clonal para el ajuste de los parámetros ...
Guarnizo Hernández, Wilson Augusto
core +1 more source
An interval valued Pythagorean fuzzy computational algorithm for multiobjective structural problem based on aggregation operators [PDF]
Many structural problems can be effectively solved by using different standard optimization techniques with well-defined configurations. The design of such optimization problems is associated with imprecise parameters.
Sanjoy Biswas, Samir Dey
doaj +1 more source
Detecting change in vague interpretations of landscapes [PDF]
For a number of years researchers have advocated the use of fuzzy classifications in the study of land cover mapping from satellite imagery. Some studies have looked at the change of fuzzy spatial object, but none have considered the direct corollary of ...
Wadsworth, Richard +3 more
core +1 more source
A Neutrosophic Functional-Analytic Model for Urban Sculpture Design Quality Evaluation [PDF]
Urban sculpture design must reconcile aesthetics, structural integrity, site context, public engagement, safety, and sustainability under evaluator disagreement and incomplete information. Classical and fuzzy methods compress ambiguity into single-valued
Bingbing Diao
doaj +1 more source

