Guaranteed Verification of Dynamic Systems |
Autore | Schwab Stefan |
Pubbl/distr/stampa | Karlsruhe, : KIT Scientific Publishing, 2022 |
Descrizione fisica | 1 electronic resource (216 p.) |
Collana | Karlsruher Beiträge zur Regelungs- und Steuerungstechnik |
Soggetto topico | Electrical engineering |
Soggetto non controllato |
Verifikation
Dynamische Systeme Intervall Arithmetik Diagnose Bounded Error Verification Dynamic Systems Interval Arithmetic Diagnosis |
ISBN | 1000097527 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910553076003321 |
Schwab Stefan | ||
Karlsruhe, : KIT Scientific Publishing, 2022 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Smooth ergodic theory for endomorphisms / Min Qian, Jian-Sheng Xie, Shu Zhu |
Autore | Qian, Min |
Pubbl/distr/stampa | Berlin, : Springer, 2009 |
Descrizione fisica | XIII, 277 p. : ill. ; 24 cm |
Altri autori (Persone) |
Xie, Jian-Sheng
Zhu, Shu |
Soggetto topico |
37-XX - Dynamical systems and ergodic theory [MSC 2020]
37Cxx - Smooth dynamical systems: general theory [MSC 2020] |
Soggetto non controllato |
Dimension
Dynamical systems Dynamische Systeme Endomorphism Entropy Ergodic Lyapunov exponent Metric Entropy |
ISBN | 978-36-420-1953-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0075722 |
Qian, Min | ||
Berlin, : Springer, 2009 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Smooth ergodic theory for endomorphisms / Min Qian, Jian-Sheng Xie, Shu Zhu |
Autore | Qian, Min |
Pubbl/distr/stampa | Berlin, : Springer, 2009 |
Descrizione fisica | XIII, 277 p. : ill. ; 24 cm |
Altri autori (Persone) |
Xie, Jian-Sheng
Zhu, Shu |
Soggetto topico |
37-XX - Dynamical systems and ergodic theory [MSC 2020]
37Cxx - Smooth dynamical systems: general theory [MSC 2020] |
Soggetto non controllato |
Dimension
Dynamical systems Dynamische Systeme Endomorphism Entropy Ergodic Lyapunov exponent Metric Entropy |
ISBN | 978-36-420-1953-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN00075722 |
Qian, Min | ||
Berlin, : Springer, 2009 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|