咨询与建议

看过本文的还看了

相关文献

该作者的其他文献

文献详情 >Enhanced Frameworks for Safety... 收藏

Enhanced Frameworks for Safety Verification of Autonomous Rendezvous Systems

作     者:Christoph Maier Antonis Papachristodoulou 

作者机构: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).

读者评论 与其他读者分享你的观点

用户名:未登录
我的评分