Symbolic Models for Nonlinear Control Systems Without Stability Assumptions

Integrated Design of Symbolic Controllers for Nonlinear Systems

(2011) G. Pola et al.   IEEE TRANSACTIONS ON AUTOMATIC CONTROL

Symbolic Models for Nonlinear Control Systems Without Stability Assumptions

(2011) Majid Zamani et al.   IEEE TRANSACTIONS ON AUTOMATIC CONTROL

Symbolic models for nonlinear time-delay systems using approximate bisimulations

(2010) Giordano Pola et al.   SYSTEMS & CONTROL LETTERS

Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems

(2009) A. Girard et al.   IEEE TRANSACTIONS ON AUTOMATIC CONTROL

Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations

(2009) Giordano Pola et al.   SIAM JOURNAL ON CONTROL AND OPTIMIZATION

Approximately bisimilar symbolic models for nonlinear control systems

(2008) Giordano Pola et al.   AUTOMATICA