This paper introduces a novel planning method for reactive agents. Our planning method han­ dles, in a single framework, issues from A I , control theory, and concurrency that have so far been considered apart. These issues are mostly control labi l i ty, safety, bounded liveness, and real t ime. Our approach is founded on the supervisory control theory and on Metric Temporal Logic ( M T L ) . ...

this paper presents a hybrid technique for simultaneous estimation of parameter and function in inverse heat conduction problems. no prior information is used for the functional form of the heat flux in the present study. the scheme presented here is a combination of two different classical methods: the variable metric method (vmm) and gauss method (gm). the determination of the unknown thermal...

In this paper, we first introduce a monotone mapping and its resolvent in general metric spaces.Then, we give two new iterative methods  by combining the resolvent method with Halpern's iterative method and viscosity approximation method for  finding a fixed point of monotone mappings and a solution of variational inequalities. We prove convergence theorems of the proposed iterations  in ...

In this paper we present a new result on evaluating the difference between two dynamical systems. Extending the idea of information theoretic gap developed in [2], we first describe a symmetric version of information gap between dynamical systems. This metric has the advantage of being positive semi-definite and symmetric. A numerical method is developed to compute the symmetric Kullback-Leible...

We study the structure of strictly singular non-compact operators between $L\_p$ spaces. Answering a question raised in earlier work on interpolation properties operators, it is shown that there exist $T$, for which set points $(1/p,1/q)\in(0,1)\times (0,1)$ such $T\colon L\_p\rightarrow L\_q$ but not compact contains line segment triangle ${(1/p,1/q):1\<p\<q<\infty}$ any positive slope. This w...

There are several ways to generalize the notion of the Sobolev space to the setting of metric spaces equipped with a Borel measure. We describe next two definitions of the Sobolev space on a metric space (S, d) equipped with a Borel masure μ that is finite on every ball. Following [11], for 1 ≤ p < ∞, we define the Sobolev space M(S, d, μ) as the set of all u ∈ L(S) for which there exists 0 ≤ g...