相关参考文献
注意：仅列出部分参考文献，下载原文获取全部文献信息。Symbolic models for control systems
Paulo Tabuada
ACTA INFORMATICA (2007)
Linear time logic control of discrete-time linear systems
Paulo Tabuada et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2006)
Feedback encoding for efficient symbolic control of dynamical systems
Antonio Bicchi et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2006)
Symbolic control of linear systems based on symbolic subsystems
Paulo Tabuada
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2006)
Maneuver-based motion planning for nonlinear systems with symmetries
E Frazzoli et al.
IEEE TRANSACTIONS ON ROBOTICS (2005)
On the reachability of quantized control systems
A Bicchi et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2002)
分享论文
