Sufficient conditions for controllability of neutral functional integrodifferential systems in Banach spaces with initial condition in the phase space are established. The results are obtained by using the Schauder fixed point theorem. An example is provided to illustrate the theory.

This paper proposes an impedance control method called the multi-point impedance control (MPIC) for redundant manipulators. The method can not only control end-effector impedance, but also regulate impedances of several points on the links of the manipulator, which are called virtual end-point impedances, utilizing arm redundancy. Two approaches for realizing the MPIC are presented. In the firs...

Fast multiple change-point segmentation methods, which additionally provide faithful statistical statements on the number, locations and sizes of the segments, have recently received great attention. In this paper, we propose a multiscale segmentation method, FDRSeg, which controls the false discovery rate (FDR) in the sense that the number of false jumps is bounded linearly by the number of tr...

The flow logic approach to static analysis amounts to specifying the admissibility of solutions to analysis problems; when specified using formulae in stratified alternation-free least fixed point logic one may use efficient algorithms for computing the least admissible solutions. We extend this scenario to validate the fulfilment of safety and security constraints on admissible solutions; the ...

We consider parametric curves that are represented by combination of control points and basis functions. We let a control point vary while the rest is held fixed. We show that the locus of the moving control point that yields a zero curvature point on the curve is a developable surface, the regression curve of which is the locus that guarantees a cusp on the curve. We also specify the surface t...

An inter-procedural data flow analysis operating on control flow graphs and collecting information about program expressions is described in this paper. The following relational and other expressions are analyzed: equivalences between program expressions and constants; linear-ordering inequalities between program expressions and constants; equalities originating from some program assignments; a...

This paper deals with the adaptive control of the tubular chemical reactor as a typical member of nonlinear system with continuously distributed parameters. Although this system has negative control properties, proposed adaptive controller which uses external linear model and recursive identification provides good control results. This controller is designed with the use of polynomial approach ...

Since teleoperation systems are mostly executed in the extreme environment, there are constraints in designing the mechanism and choosing sensors. This paper presents a novel quantitative comparison method of teleoperators based on H∞ framework. The upper H∞ norm bound of the system including H∞ sub optimal controller is used as the performance index. As a case study, the method is applied to a...