版权所有:内蒙古大学图书馆 技术提供:维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
作者机构:Institute for Systems Theory and Automatic Control University of Stuttgart Stuttgart Germany Department of Engineering Science University of Oxford Oxford United Kingdom
出 版 物:《IFAC Proceedings Volumes》
年 卷 期:2010年第43卷第15期
页 面:333-338页
主 题:Satellite control spacecraft autonomy safety analysis hybrid automaton Lyapunov methods Barrier function certificate Sum of Squares semidefinite programming
摘 要:Abstract We consider the safety of a V-bar hopping manoeuvre which forms part of the final stage in autonomous space rendezvous. This manoeuvre is controlled by thrusters: we assume these inputs are perfect impulses and model the system in a hybrid automaton framework. We consider the operation of the system under bounded parametric uncertainties, e.g. thruster misalignment, and use the concept of Barrier function certificates to assess system safety. This methodology provides an efficient tool for the systematic investigation of the safety property and does not rely on Monte-Carlo simulations. In particular, the existence of a Barrier function certificate guarantees that all trajectories of the system starting from a given initial set do not enter a predefined unsafe region under any possible combination of parameter deviations. Such a Barrier function certificate can be constructed efficiently using the Sum of Squares (SOS) decomposition and semi-definite programming (SDP).