Guaranteed Verification of Dynamic Systems
| Guaranteed Verification of Dynamic Systems |
| Autore | Schwab Stefan |
| Pubbl/distr/stampa | Karlsruhe, : KIT Scientific Publishing, 2022 |
| Descrizione fisica | 1 online resource (216 p.) |
| Collana | Karlsruher Beiträge zur Regelungs- und Steuerungstechnik |
| Soggetto topico | Electrical engineering |
| Soggetto non controllato |
Bounded Error
Diagnose Diagnosis Dynamic Systems Dynamische Systeme Interval Arithmetic Intervall Arithmetik Verification Verifikation |
| ISBN | 1000097527 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910553076003321 |
Schwab Stefan
|
||
| Karlsruhe, : KIT Scientific Publishing, 2022 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Smooth ergodic theory for endomorphisms / Min Qian, Jian-Sheng Xie, Shu Zhu
| 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 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Smooth ergodic theory for endomorphisms / Min Qian, Jian-Sheng Xie, Shu Zhu
| 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 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||