We examine the problem of finite-state representability of infinitestate processes w.r.t. certain behavioural equivalences. We show that the classical notion of regularity becomes insufficient in case of all equivalences of van Glabbeek’s hierarchy except bisimilarity, and we design and justify a generalization in the form of strong regularity and finite characterizations. We show that the cond...

This paper studies identification of systems in which only quantized output observations are available. An identification algorithm for system gains is introduced that employs empirical measures from multiple sensor thresholds and optimizes their convex combinations. Strong convergence of the algorithm is first derived. The algorithm is then extended to a scenario of system identification with ...

In this paper, we study a nonlinear interaction problem between compressible viscous fluids and plates. For problem, introduce relative entropy energy inequality for the finite weak solutions (FEWS). First, prove that all FEWS, structure displacement enjoys improved regularity by utilizing dissipation effects of fluid onto FEWS satisfy inequality. Then, show enjoy weak-strong uniqueness propert...

In this paper, first we introduce the notions of an $(m,n)$-hyperideal and a generalized $(m,n)$-hyperideal in an ordered semihypergroup, and then, some properties of these hyperideals are studied. Thereafter, we characterize $(m,n)$-regularity, $(m,0)$-regularity, and $(0,n)$-regularity of an ordered semihypergroup in terms of its $(m,n)$-hyperideals, $(m,0)$-hyperideals and $(0,n)$-hyperideal...

The motivation of this work is to study the use of speculation markers within scientific writing: this may be useful for discovering whether these markers are regularly spread across biomedical articles and then for establishing the logical structure of articles. To achieve these objectives, we compute associations between article sections and speculation markers. We use machine learning algori...

in some long term studies, a series of dependent and possibly truncated life-times may be observed. suppose that the lifetimes have a common marginal distribution function. in left-truncation model, one observes data (xi,ti) only, when ti ≤ xi. under some regularity conditions, we provide a strong representation of the ßn estimator of ß = p(ti ≤ xi), in the form of an average of random variable...

In an extension of Newton’s method to generalized equations, we carry further the implicit function theorem paradigm and place it in the framework of a mapping acting from the parameter and the starting point to the set of all associated sequences of Newton’s iterates as elements of a sequence space. An inverse function version of this result shows that the strong regularity of the mapping asso...