On Weak Topology for Optimal Control of Switched Nonlinear Systems

Optimal control of switched systems is challenging due to the discrete nature of the switching control input. The embedding-based approach addresses this challenge by solving a corresponding relaxed optimal control problem with only continuous inputs, and then projecting the relaxed solution back to obtain the optimal switching solution of the original problem. This paper presents a novel idea that views the embedding-based approach as a change of topology over the optimization space, resulting in a general procedure to construct a switched optimal control algorithm with guaranteed convergence to a local optimizer. Our result provides a unified topology based framework for the analysis and design of various embedding-based algorithms in solving the switched optimal control problem and includes many existing methods as special cases

Consistent approximations of the zeno behaviour in affine-type switched dynamic systems

This paper proposes a new theoretic approach to a specific interaction of continuous and discrete dynamics in switched control systems known as a Zeno behaviour. We study executions of switched control systems with affine structure that admit infinitely many discrete transitions on a finite time interval. Although the real world processes do not present the corresponding behaviour, mathematical models of many engineering systems may be Zeno due to the used formal abstraction. We propose two useful approximative approaches to the Zeno dynamics, namely, an analytic technique and a variational description of this phenomenon. A generic trajectory associated with the Zeno dynamics can finally be characterized as a result of a specific projection or/and an optimization procedure applied to the original dynamic model. The obtained analytic and variational techniques provide an effective methodology for constructive approximations of the general Zeno-type behaviour. We also discuss shortly some possible applications of the proposed approximation schemes

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