5,041 research outputs found
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks
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 simulation-based method, the output reachable set estimation
problem for neural networks is formulated into a chain of optimization
problems. Finally, an automated safety verification is developed based on the
output reachable set estimation result. An application to the safety
verification for a robotic arm model with two joints is presented to show the
effectiveness of proposed approaches.Comment: 8 pages, 9 figures, to appear in TNNL
Distributed tracking control of leader-follower multi-agent systems under noisy measurement
In this paper, a distributed tracking control scheme with distributed
estimators has been developed for a leader-follower multi-agent system with
measurement noises and directed interconnection topology. It is supposed that
each follower can only measure relative positions of its neighbors in a noisy
environment, including the relative position of the second-order active leader.
A neighbor-based tracking protocol together with distributed estimators is
designed based on a novel velocity decomposition technique. It is shown that
the closed loop tracking control system is stochastically stable in mean square
and the estimation errors converge to zero in mean square as well. A simulation
example is finally given to illustrate the performance of the proposed control
scheme.Comment: 8 Pages, 3 figure
Observer design for piecewise smooth and switched systems via contraction theory
The aim of this paper is to present the application of an approach to study
contraction theory recently developed for piecewise smooth and switched
systems. The approach that can be used to analyze incremental stability
properties of so-called Filippov systems (or variable structure systems) is
based on the use of regularization, a procedure to make the vector field of
interest differentiable before analyzing its properties. We show that by using
this extension of contraction theory to nondifferentiable vector fields, it is
possible to design observers for a large class of piecewise smooth systems
using not only Euclidean norms, as also done in previous literature, but also
non-Euclidean norms. This allows greater flexibility in the design and
encompasses the case of both piecewise-linear and piecewise-smooth (nonlinear)
systems. The theoretical methodology is illustrated via a set of representative
examples.Comment: Preprint accepted to IFAC World Congress 201
Contraction analysis of switched Filippov systems via regularization
We study incremental stability and convergence of switched (bimodal) Filippov
systems via contraction analysis. In particular, by using results on
regularization of switched dynamical systems, we derive sufficient conditions
for convergence of any two trajectories of the Filippov system between each
other within some region of interest. We then apply these conditions to the
study of different classes of Filippov systems including piecewise smooth (PWS)
systems, piecewise affine (PWA) systems and relay feedback systems. We show
that contrary to previous approaches, our conditions allow the system to be
studied in metrics other than the Euclidean norm. The theoretical results are
illustrated by numerical simulations on a set of representative examples that
confirm their effectiveness and ease of application.Comment: Preprint submitted to Automatic
- …