Related references
Note: Only part of the references are listed.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)