P. Tabuada, Verification and control of hybrid systems: A Symbolic approach, 2009.

C. Belta, B. Yordanov, and E. Göl, Formal methods for discrete-time dynamical systems, 2017.

O. Maler, A. Pnueli, and J. Sifakis, On the synthesis of discrete controllers for timed systems, the 12th Symp. on Theoretical Aspects of Computer Science, pp.229-242, 1995.

C. Baier and J. Katoen, Principles of Model Checking (Representation and Mind Series, 2008.

G. Pola and P. Tabuada, Symbolic models for nonlinear control systems: Alternating approximate bisimulations, SIAM J. Control Optim, vol.48, issue.2, pp.719-733, 2009.

G. Reissig, A. Weber, and M. Rungger, Feedback refinement relations for the synthesis of symbolic controllers, IEEE Trans. Autom. Control, vol.62, issue.4, pp.1781-1796, 2017.

G. Pola, A. Girard, and P. Tabuada, Approximately bisimilar symbolic models for nonlinear control systems, Automatica, vol.44, issue.08, pp.2508-2516, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00379755

M. Zamani, G. Pola, M. Mazo, and P. Tabuada, Symbolic models for nonlinear control systems without stability assumptions, IEEE Trans. Autom. Control, vol.57, pp.1804-1809, 2012.

A. Girard, G. Pola, and P. Tabuada, Approximately bisimilar symbolic models for incrementally stable switched systems, IEEE Trans. Autom. Control, vol.55, issue.1, pp.116-126, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00765597

M. Zamani, A. Abate, and A. Girard, Symbolic models for stochastic switched systems: A discretization and a discretization-free approach, Automatica, vol.55, pp.183-196, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01170568

A. Saoud and A. Girard, Optimal multirate sampling in symbolic models for incrementally stable switched systems, Automatica, vol.98, pp.58-65, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01860113

G. Pola, P. Pepe, and M. D. Benedetto, Symbolic models for nonlinear time-delay systems using approximate bisimulations, Systems and Control Letters, vol.59, issue.6, pp.365-373, 2010.

G. Pola, P. Pepe, and M. D. Benedetto, Symbolic models for timevarying time-delay systems via alternating approximate bisimulation, Int. J. of Robust and Nonlinear Control, vol.25, issue.14, pp.2328-2347, 2015.

A. Borri, G. Pola, and M. D. Benedetto, Design of symbolic controllers for networked control systems, IEEE Trans. Autom. Control, vol.64, issue.3, pp.1034-1046, 2019.

M. Zamani, M. Mazo, M. Khaled, and A. Abate, Symbolic abstractions of networked control systems, IEEE Trans. on Control of Network Sys, vol.5, issue.4, pp.1622-1634, 2018.

A. Girard, Approximately bisimilar abstractions of incrementally stable finite or infinite dimensional systems, the 53rd IEEE Conf. Decision Control, pp.824-829, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01133212

P. Jagtap and M. Zamani, Sybmolic models for retarded jump-diffusion systems, Automatica, vol.111, 2020.

P. J. Meyer, A. Girard, and E. Witrant, Compositional abstraction and safety synthesis using overlapping symbolic models, IEEE Trans. Autom. Control, issue.99, pp.1-1, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01620532

G. Pola, P. Pepe, and M. D. Benedetto, Symbolic models for networks of control systems, IEEE Trans. Autom. Control, vol.61, issue.11, pp.3663-3668, 2016.

A. Swikir and M. Zamani, Compositional synthesis of finite abstractions for networks of systems: A small-gain approach, Automatica, vol.107, issue.11, pp.551-561, 2019.

A. Swikir and M. Zamani, Compositional synthesis of symbolic models for networks of switched systems, IEEE Control Systems Letters, vol.3, pp.1056-1061, 2019.

R. Goebel, R. G. Sanfelice, and A. R. Teel, Hybrid dynamical systems, IEEE Control Systems Magazine, vol.29, issue.2, pp.28-93, 2009.

W. M. Haddad, V. S. Chellaboina, and S. G. Nersesov, Impulsive and hybrid dynamical systems, Princeton Ser. Appl. Math, 2006.

B. M. Miller and E. Y. Rubinovich, Impulsive control in continuous and discrete-continuous Systems, 2003.

X. Liu and K. Zhang, Impulsive systems on Hybrid time domains, 2019.

H. Rios, L. Hetel, and D. Efimov, Nonlinear impulsive systems: 2d stability analysis approach, Automatica, vol.80, pp.32-40, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01437308

J. P. Hespanha, D. Liberzon, and A. Teel, Lyapunov conditions for input-to-state stability of impulsive systems, Automatica, vol.44, issue.11, pp.2735-2744, 2008.

D. Angeli, Further results on incremental input-to-state stability, IEEE Trans. Autom. Control, vol.54, issue.6, pp.1386-1391, 2009.

R. T. Rockafellar and R. Wets, Variational analysis, vol.317, 2009.

G. K. Kulev and D. D. Bainov, Strong stability of impulsive systems, Int.l J. of Theoretical Physics, vol.27, issue.6, pp.745-755, 1988.

A. Dishliev, K. Dishlieva, and S. Nenov, Specific asymptotic properties of the solutions of impulsive differential equations. Methods and applications, 2012.

A. Girard and G. J. Pappas, Hierarchical control system design using approximate simulation, Automatica, vol.45, issue.2, pp.566-571, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00379793

A. Swikir, A. Girard, and M. Zamani, From dissipativity theory to compositional synthesis of symbolic models, the 4th Indian Control Conf, pp.30-35, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01620525

D. N. Tran, B. S. Rüffer, and C. M. Kellett, Incremental stability properties for discrete-time systems, the 55th IEEE Conf. Decision Control, pp.477-482, 2016.

M. Zamani, P. Esfahani, R. Majumdar, A. Abate, and J. Lygeros, Symbolic control of stochastic systems via approximately bisimilar finite abstractions, IEEE Trans. Autom. Control, vol.59, issue.12, pp.3135-3150, 2014.

H. Federer, Geometric Measure Theory, 1996.

A. R. Teel and L. Praly, On assigning the derivative of a disturbance attenuation clf, the 37th IEEE Conf. Decision Control, pp.2497-2502, 1998.

A. Swikir, A. Girard, and M. Zamani, Symbolic models for a class of impulsive systems, 2020.
URL : https://hal.archives-ouvertes.fr/hal-02861778

S. Dashkovskiy and P. Feketa, Input-to-state stability of impulsive systems with different jump maps, IFAC-PapersOnLine, vol.49, issue.18, pp.1073-1078, 2016.

M. Rungger and M. Zamani, SCOTS: A tool for the synthesis of symbolic sontrollers, the 19th Int. Conf. Hybrid Syst.: Computation and Control, pp.99-104, 2016.