Detection of short-step pulses using practical test-functions and resonance aspects.
In this paper a method for the detection of initial stress tensor is proposed. The method is based on measuring distances between some pairs of points located on the wall of underground opening in the excavation process. This methods is based on the solution of eighteen auxiliary problems in the theory of elasticity with force boundary conditions. The optimal location of the pairs of points on the wall of underground work is studied. The pairs must be located so that the condition number of a certain...
A method for the detection of the initial stress tensor is proposed. The method is based on measuring distances between pairs of points located on the wall of underground opening in the excavation process. This methods is based on solving twelve auxiliary problems in the theory of elasticity with force boundary conditions, which is done using the least squares method. The optimal location of the pairs of points on the wall of underground openings is studied. The pairs must be located so that the...
In this article a method is presented to find systematically the domain of attraction (DOA) of hybrid non-linear systems. It has already been shown that there exists a sequence of special kind of Lyapunov functions in a rational functional form approximating a maximal Lyapunov function that can be used to find an estimation for the DOA. Based on this idea, an improved method has been developed and implemented in a Mathematica-package to find such Lyapunov functions for a class of hybrid (piecewise...
This paper presents a method for training a Fourier series neural network on the basis of the multidimensional discrete Fourier transform. The proposed method is characterized by low computational complexity. The article shows how the method can be used for modelling dynamic systems.
In this paper, we study the problem of finding deterministic (also known as feedback or closed-loop) Markov Nash equilibria for a class of discrete-time stochastic games. In order to establish our results, we develop a potential game approach based on the dynamic programming technique. The identified potential stochastic games have Borel state and action spaces and possibly unbounded nondifferentiable cost-per-stage functions. In particular, the team (or coordination) stochastic games and the stochastic...
This paper deals with discrete-time Markov control processes in Borel spaces with unbounded rewards. Under suitable hypotheses, we show that a randomized stationary policy is optimal for a certain expected constrained problem (ECP) if and only if it is optimal for the corresponding pathwise constrained problem (pathwise CP). Moreover, we show that a certain parametric family of unconstrained optimality equations yields convergence properties that lead to an approximation scheme which allows us to...
In the present paper, we consider nonlinear optimal control problems with constraints on the state of the system. We are interested in the characterization of the value function without any controllability assumption. In the unconstrained case, it is possible to derive a characterization of the value function by means of a Hamilton-Jacobi-Bellman (HJB) equation. This equation expresses the behavior of the value function along the trajectories arriving or starting from any position x. In the constrained...
In the present paper, we consider nonlinear optimal control problems with constraints on the state of the system. We are interested in the characterization of the value function without any controllability assumption. In the unconstrained case, it is possible to derive a characterization of the value function by means of a Hamilton-Jacobi-Bellman (HJB) equation. This equation expresses the behavior of the value function along the trajectories arriving or starting from any position x. In...
In this paper, we propose an algebraic approach to investigate the diagnosis of partially observable labeled Petri nets based on state estimation on a sliding window of a predefined length . Given an observation, the resulting diagnosis state can be computed while solving integer linear programming problems with a reduced subset of basis markings. The proposed approach consists in exploiting a subset of observations at each estimation step, which provides a partial diagnosis relevant to the current...
Suppose that A generates a C₀-semigroup T on a Banach space X. In 1953 R. S. Phillips showed that, for each bounded operator B on X, the perturbation A+B of A generates a C₀-semigroup on X, and he considered whether certain classes of semigroups are stable under such perturbations. This study was extended in 1968 by A. Pazy who identified a condition on the resolvent of A which is sufficient for the perturbed semigroups to be immediately differentiable. However, M. Renardy showed in 1995 that immediate...
The Hamilton-Jacobi-Bellman equation corresponding to a large class of distributed control problems is reduced to a linear parabolic equation having a regular solution. A formula for the first derivative is obtained.
This paper aims to provide a systematic approach to the treatment of differential equations of the typedyt = Σi fi(yt) dxti where the driving signal xt is a rough path. Such equations are very common and occur particularly frequently in probability where the driving signal might be a vector valued Brownian motion, semi-martingale or similar process.However, our approach is deterministic, is totally independent of probability and permits much rougher paths than the Brownian paths usually discussed....
We introduce flat systems, which are equivalent to linear ones via a special type of feedback called endogenous. Their physical properties are subsumed by a linearizing output and they might be regarded as providing another nonlinear extension of Kalman's controllability. The distance to flatness is measured by a non-negative integer, the defect. We utilize differential algebra which suits well to the fact that, in accordance with Willems' standpoint, flatness and defect are best defined without...