Abstraction and control by interconnection of linear systems: A geometric approach
暂无分享,去创建一个
[1] Paulo Tabuada,et al. Verification and Control of Hybrid Systems - A Symbolic Approach , 2009 .
[2] Arjan van der Schaft,et al. Equivalence of dynamical systems by bisimulation , 2004, IEEE Trans. Autom. Control..
[3] Jarmo Malinen,et al. 44th IEEE Conference on Decision and Control and European Control Conference ECC 2005, CDC-ECC'05, Seville, Spain, 12-15 December, 2005 , 2005 .
[4] M. Belur,et al. Behavioral control in the presence of disturbances , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.
[5] Harry L. Trentelman,et al. Control theory for linear systems , 2002 .
[6] Gunther Reissig,et al. Feedback Refinement Relations for the Synthesis of Symbolic Controllers , 2015, IEEE Transactions on Automatic Control.
[7] Edmund M. Clarke,et al. Model Checking , 1999, Handbook of Automated Reasoning.
[8] Paulo Tabuada,et al. Bisimilar control affine systems , 2004, Syst. Control. Lett..
[9] Arjan van der Schaft,et al. Achievable behavior of general systems , 2003, Syst. Control. Lett..
[10] George J. Pappas. Bisimilar linear systems , 2003, Autom..
[11] Arjan van der Schaft,et al. The Achievable Dynamics via Control by Interconnection , 2011, IEEE Transactions on Automatic Control.
[12] Noorma Yulia Megawati,et al. Bisimulation equivalence of differential-algebraic systems , 2018, Int. J. Control.
[13] Margreta Kuijper,et al. Why do stabilizing controllers stabilize? , 1995, Autom..