Formal Methods for Discrete-Time Dynamical Systems

  • Belta C
  • Yordanov B
  • Aydin Gol E
ISSN: 1805885X
Citations of this article
Mendeley users who have this article in their library.


In control theory, complex models of physical processes, such as systems of differential or difference equations, are usually checked against simple specifications, such as stability and set invariance. In formal methods, rich specifications, such as languages and formulas of temporal logics, are checked against simple models of software programs and digital circuits, such as finite transition systems. With the development and integration of cyber- ...




Belta, C., Yordanov, B., & Aydin Gol, E. (2017). Formal Methods for Discrete-Time Dynamical Systems (Vol. 89, pp. 81–108). Retrieved from

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free