Wir verwenden Cookies, die für die ordnungsgemäße Bereitstellung unseres Webseitenangebots zwingend erforderlich sind. Mit Klick auf "Einverstanden" setzen wir zusätzlich Cookies und Dienste von Drittanbietern ein, um unser Angebot durch Analyse des Nutzungsverhaltens zu optimieren, um Nutzungsprofile zu erstellen, interessenbezogene Werbung anzuzeigen, sowie die Webseiten-Performance zu verbessern. Ihre Einwilligung können Sie jederzeit durch erneuten Aufruf dieses Cookie-Banners am Ende der Webseite widerrufen. Weitere Informationen und Einzelheiten finden Sie in der Datenschutzerklärung.
Einverstanden
Nur funktionale Cookies

Formal Methods for Discrete-Time Dynamical Systems

(Sprache: Englisch)
 
 
Merken
Teilen
Merken
Teilen
 
 
This book bridges fundamental gaps between control theory and formal methods. Although it focuses on discrete-time linear and piecewise affine systems, it also provides general frameworks for abstraction, analysis, and control of more general models.
The...
Jetzt vorbestellen
versandkostenfrei

Bestellnummer: 80911795

Buch 171.19
Jetzt vorbestellen
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich
Jetzt vorbestellen
versandkostenfrei

Bestellnummer: 80911795

Buch 171.19
Jetzt vorbestellen
This book bridges fundamental gaps between control theory and formal methods. Although it focuses on discrete-time linear and piecewise affine systems, it also provides general frameworks for abstraction, analysis, and control of more general models.
The...
Andere Kunden interessierten sich auch für
eBook

Statt 171.19 19

117.69

Download bestellen
Erschienen am 08.03.2017
sofort als Download lieferbar
Buch

139.09

In den Warenkorb
Erschienen am 01.03.2019
lieferbar

Explicit Nonlinear Model Predictive Control

Alexandra Ivanova Grancharova, Tor Arne Johansen

0 Sterne
Buch

117.69

Vorbestellen
Erschienen am 23.03.2012
Jetzt vorbestellen
Buch

149.79

Vorbestellen
Erschienen am 15.06.2016
Jetzt vorbestellen
Buch

58.84

In den Warenkorb
Erschienen am 15.02.2012
lieferbar
Buch

64.99

Vorbestellen
Erschienen am 09.04.2020
Jetzt vorbestellen

Analysis and Control of Output Synchronization for Complex Dynamical Networks

Jin-Liang Wang, Huai-Ning Wu, Tingwen Huang, Shun-Yan Ren

0 Sterne
Buch

149.79

In den Warenkorb
Erschienen am 08.11.2018
lieferbar

Stability Analysis and Design for Nonlinear Singular Systems

Chunyu Yang, Qingling Zhang, Linna Zhou

0 Sterne
Buch

96.29

In den Warenkorb
Erschienen am 14.08.2012
lieferbar
Buch

128.39

In den Warenkorb
lieferbar
Buch

213.99

In den Warenkorb
lieferbar
Buch

267.49

In den Warenkorb
Erschienen am 15.01.2018
lieferbar
Buch

149.79

Vorbestellen
Erschienen am 08.02.2016
Jetzt vorbestellen
Buch

149.79

Vorbestellen
Erschienen am 01.02.2016
Jetzt vorbestellen

Domain of Attraction

Graziano Chesi

0 Sterne
Buch

117.69

In den Warenkorb
lieferbar
Buch

181.89

Vorbestellen
Erschienen am 29.03.2016
Jetzt vorbestellen
Buch

192.59

Vorbestellen
Erschienen am 05.04.2016
Jetzt vorbestellen
Buch

149.79

In den Warenkorb
Erschienen am 16.12.2015
lieferbar
Buch

149.79

In den Warenkorb
Erschienen am 05.02.2019
lieferbar
Buch

213.99

In den Warenkorb
Erschienen am 28.09.2017
lieferbar
Mehr Bücher des Autors
eBook

Statt 171.19 19

117.69

Download bestellen
Erschienen am 08.03.2017
sofort als Download lieferbar
Kommentar zu "Formal Methods for Discrete-Time Dynamical Systems"
Andere Kunden kauften auch
Buch

139.09

In den Warenkorb
Erschienen am 01.03.2019
lieferbar

Explicit Nonlinear Model Predictive Control

Alexandra Ivanova Grancharova, Tor Arne Johansen

0 Sterne
Buch

117.69

Vorbestellen
Erschienen am 23.03.2012
Jetzt vorbestellen
Buch

149.79

Vorbestellen
Erschienen am 15.06.2016
Jetzt vorbestellen
Buch

58.84

In den Warenkorb
Erschienen am 15.02.2012
lieferbar
Buch

64.99

Vorbestellen
Erschienen am 09.04.2020
Jetzt vorbestellen

Analysis and Control of Output Synchronization for Complex Dynamical Networks

Jin-Liang Wang, Huai-Ning Wu, Tingwen Huang, Shun-Yan Ren

0 Sterne
Buch

149.79

In den Warenkorb
Erschienen am 08.11.2018
lieferbar

Stability Analysis and Design for Nonlinear Singular Systems

Chunyu Yang, Qingling Zhang, Linna Zhou

0 Sterne
Buch

96.29

In den Warenkorb
Erschienen am 14.08.2012
lieferbar
Buch

128.39

In den Warenkorb
lieferbar
Buch

213.99

In den Warenkorb
lieferbar
Buch

267.49

In den Warenkorb
Erschienen am 15.01.2018
lieferbar
Buch

149.79

Vorbestellen
Erschienen am 08.02.2016
Jetzt vorbestellen
Buch

149.79

Vorbestellen
Erschienen am 01.02.2016
Jetzt vorbestellen

Domain of Attraction

Graziano Chesi

0 Sterne
Buch

117.69

In den Warenkorb
lieferbar
Buch

181.89

Vorbestellen
Erschienen am 29.03.2016
Jetzt vorbestellen
Buch

192.59

Vorbestellen
Erschienen am 05.04.2016
Jetzt vorbestellen
Buch

149.79

In den Warenkorb
Erschienen am 16.12.2015
lieferbar
Buch

149.79

In den Warenkorb
Erschienen am 05.02.2019
lieferbar
Buch

213.99

In den Warenkorb
Erschienen am 28.09.2017
lieferbar
Weitere Empfehlungen zu „Formal Methods for Discrete-Time Dynamical Systems “
0 Gebrauchte Artikel zu „Formal Methods for Discrete-Time Dynamical Systems“
Zustand Preis Porto Zahlung Verkäufer Rating
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich