To achieve Industry 4.0 solutions for the networking of mechatronic components in production plants, use Internet Things (IoT) technology is optimal way goods transportation cyber-physical system (CPS). As a result, automated guided vehicles (AGVs) are networked to all other participants accept and execute transport jobs. Accurately tracking planned paths AGVs therefore essential. The omnidirec...

In this paper, the output reachable estimation and safety verification problems for multi-layer perceptron neural networks are addressed. First, a conception called maximum sensitivity in introduced and, for a class of multi-layer perceptrons whose activation functions are monotonic functions, the maximum sensitivity can be computed via solving convex optimization problems. Then, using a simula...

The estimation of models or structures from outlier-contaminated data containing multiple models has a large number of applications in computer vision, the study of the automated understanding of visual data: for instance, geometric figures may be detected from 2D points, and planar surfaces in a scene may be found in pairs of images of the scene using feature matches. This thesis describes a n...