Reachability of affine systems on polytopes

被引：0
作者：
Wu, Min [1 ]
Yan, Gang-Feng [1 ]
Lin, Zhi-Yun [1 ]
机构：
[1] Asus Intelligent Systems Laboratory, Department of Systems Science and Engineering, Zhejiang University
来源：
Zidonghua Xuebao/ Acta Automatica Sinica | 2009年 / 35卷 / 12期
基金：
中国国家自然科学基金; 高等学校博士学科点专项科研基金;
关键词：
Attraction domain; Invariant set; Piecewise affine hybrid systems; Polytope; Reachability;
D O I：
10.3724/SP.J.1004.2009.01528
中图分类号：
学科分类号：
摘要：
The paper studies reachability problem of autonomous affine systems on n-dimensional polytopes. Our goal is to obtain both the largest positive invariant set in the polytope and the backward reachable set (the attraction domain) of each facet. Special attention is paid to the largest stable invariant affine subspace. After presenting several useful properties of those sets, a partition procedure is given to determine the largest positive invariant set in the polytope and all the attraction domains of facets. © 2009 Acta Automatica Sinica. All rights reserved.
引用
收藏
页码：1528 / 1533
页数：5
相关论文
共 19 条
  • [1] Alur R., Courcoubetis C., Halbwachs N., Henzinger T.A., Ho P.H., Nicollin X., The algorithmic analysis of hybrid systems, Theoretical Computer Science, 138, 1, pp. 3-34, (1995)
  • [2] Sontag E.D., Nonlinear regulation: the piecewise linear approach, IEEE Transactions on Automatic Control, 26, 2, pp. 346-358, (1981)
  • [3] Bemporad A., Ferrari-Trecate G., Morari M., Observability and controllability of piecewise affine and hybrid systems, IEEE Transactions on Automatic Control, 45, 10, pp. 1864-1876, (2000)
  • [4] Lin Z.Y., Broucke M.E., Reachability and control of affine hypersurface systems on polytopes, Proceedings of the 46th IEEE Conference on Decision and Control, pp. 733-738, (2007)
  • [5] Batt G., Belta C., Weiss R., Temporal logic analysis of gene networks under parameter uncertainty, IEEE Transactions on Automatic Control, 53, z1, pp. 215-229, (2008)
  • [6] Azuma S., Yanagisawa E., Imura J., Controllability analysis of biosystems based on piecewise-affine systems approach, IEEE Transactions on Automatic Control, 53, z1, pp. 139-152, (2008)
  • [7] Drulhe S., Ferrari-Trecate G., de Jong H., The switching threshold reconstruction problem for piecewise-affine models of genetic regulatory networks, IEEE Transactions on Automatic Control, 53, z1, pp. 153-165, (2008)
  • [8] de Jong H., Page M., Search for steady states of piecewise-linear differential equation models of genetic regulatory networks, IEEE/ACM Transactions on Computational Biology and Bioinformatics, 5, 2, pp. 208-222, (2008)
  • [9] Roszak B., Broucke M.E., Reachability of a set of facets for linear affine systems with n-1 inputs, IEEE Transactions on Automatic Control, 52, 2, pp. 359-364, (2007)
  • [10] Habets L.C.G.J.M., van Schuppen J.H., Reachability of affine systems on polytopes in the plane, Proceedings of the 16th International Symposium on Mathematical Theory of Networks and Systems, pp. 1-15, (2004)
12