Formal Methods for Discrete-Time Dynamical Systems

By Calin A. Belta, B. Yordanov, Ebru Aydin Gol. 2017

424 citations recorded by the source corpus.

Subfields: Computational Theory and Mathematics, Control and Systems Engineering

View Paper: https://www.semanticscholar.org/paper/ebb3249e0904294702198897c84782960f33bce7

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

1. Majid Zamani
2. Mathias Jackermeier
3. Maximilian Weininger
4. Jan Křetínský
5. Pushpak Jagtap
6. Pranav Ashok

Citations in the corpus

• dtControl: decision tree learning algorithms for controller representation (2020, background): “finite abstractions) [5, 36], in which the uncountable continuous states and inputs are aggregated to finite symbolic states and inputs via quantization (a.”