This paper considers linearly parametrized plants whose parameters are normally distributed and addresses the problem of analyzing the image in the Nyquist plane of a set of these plants defined by a confidence ellipsoid in the parameter space. The image in the Nyquist plane of such a set of plants is made up of ellipses at each frequency. However, these two types of representation do not conta...

We address the verification of timed concurrent systems with unknown or uncertain constants considered as parameters. First, we introduce parametric event-recording automata (PERAs), as a new subclass of parametric timed automata (PTAs). Although in the nonparametric setting event-recording automata yield better decidability results than timed automata, we show that the most common decision pro...

Consider linear algebraic systems where the elements of the matrix and the right-hand side vector depend linearly on a number of interval parameters. We prove some sufficient conditions for the united parametric solution set of such a system to have linear boundary. These conditions imply an equivalent representation of the parametric system where each parameter appears once in a diagonal matri...

Parametric-surface tessellation is one of the most important algorithms for CAGD applications. This paper presents a new parametric-surface tessellation method based on degree reduction: (1) a given parametric surface (or NURBS surface) of degrees (p; q) is decomposed into a set of Bezier surfaces, (2) the Bezier surfaces are converted into a set of bilinear surfaces by applying consecutive ste...

A novel solar-based combined system which is consisting of a concentrated PV, a double effect LiBr-H2O absorption chiller, and a Proton Exchange Membrane (PEM) is proposed for hydrogen production. A portion of the received energy is recovered to run a double effect absorption chiller and the rest is turned into electricity, being consumed in the PEM electrolyzer for hydrogen producti...

A new joint parametric and nonparametric curve evolution algorithm is proposed for medical image segmentation. In this algorithm, both the nonlinear space of level set function (nonparametric model) and the linear subspace of level set function spanned by the principle components (parametric model) are employed in the evolution procedure. The nonparametric curve evolution can drive the curve pr...

We present a parameter free and monotonic alternative to the parametric variable precision model of rough set data analysis, based on the well known PRE index λ of Goodman and Kruskal. Using weighted (parametric) λ models we show how expert knowledge can be integrated without losing the monotonic property of the index. Based on a weighted λ index we present a polynomial algorithm to determine a...

In this paper we consider parametric nonlinear evolution inclusions driven by time-dependent subdiierentials. First we prove some continuous dependence results for the solution set (of both the convex and nonconvex problems) and for the set of solution-selector pairs (of the convex problem). Then we derive a continuous version of the \Filippov-Gronwall" inequality and using it, we prove the par...

We consider a parametric stochastic quasi-variational inequality problem (SQVIP for short) where the underlying normal cone is defined over the solution set of a parametric stochastic cone system. We investigate the impact of variation of the probability measure and the parameter on the solution of the SQVIP. By reformulating the SQVIP as a natural equation and treating the orthogonal projectio...