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...
Voraussichtlich lieferbar in 5 Tag(en)
versandkostenfrei

Bestellnummer: 80911795

Buch171.19
Jetzt vorbestellen
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich
Voraussichtlich lieferbar in 5 Tag(en)
versandkostenfrei

Bestellnummer: 80911795

Buch171.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...

Kommentar zu "Formal Methods for Discrete-Time Dynamical Systems"

Andere Kunden kauften auch
eBook

Statt 171.19 19

117.69

Download bestellen
Erschienen am 08.03.2017
sofort als Download lieferbar

Grundlagen der Elektrotechnik

Gert Hagmann

0 Sterne
Buch

24.95

In den Warenkorb
Erschienen am 10.01.2020
lieferbar

Auto Desaster

Craig Cheetham

3 Sterne
(2)
Buch

Statt 29.95

7.99 *

In den Warenkorb
Erschienen am 11.06.2018
lieferbar

Solarstrom im Reisemobil

Bernd Büttner

5 Sterne
(1)
Buch

9.80

In den Warenkorb
lieferbar

Identifikation dynamischer Systeme

Christian Bohn, Heinz Unbehauen

0 Sterne
Buch

49.99

In den Warenkorb
lieferbar
Buch

39.90

In den Warenkorb
lieferbar

Das 1-Wire-Praxisbuch

Miroslav Cina

0 Sterne
Buch

34.80

In den Warenkorb
Erschienen am 27.04.2020
lieferbar

Brandschutz in elektrischen Anlagen

Herbert Schmolke

0 Sterne
Buch

36.80

In den Warenkorb
lieferbar
Buch

34.00

In den Warenkorb
Erschienen am 04.05.2020
lieferbar

Studie zum Ladungstransport

Huseynova Gunel

0 Sterne
Buch

61.90

In den Warenkorb
lieferbar
Buch

24.90

In den Warenkorb
Erschienen am 23.03.2020
lieferbar
Buch

34.80

In den Warenkorb
Erschienen am 01.04.2020
lieferbar
Buch

61.90

In den Warenkorb
lieferbar

Signaltheorie

Alfred Mertins

0 Sterne
Buch

37.99

In den Warenkorb
Erschienen am 16.04.2020
lieferbar
Buch

14.99

In den Warenkorb
Erschienen am 04.04.2020
lieferbar
Buch

59.99

In den Warenkorb
Erschienen am 09.04.2020
lieferbar
Buch

72.00

In den Warenkorb
Erschienen am 09.03.2020
lieferbar

Optisches drahtloses Audio-Kommunikationssystem

Caleb Onyedikachi Ugwoke, Mamilus Aginwa Ahaneku, Florence Ifeyinwa Eze

0 Sterne
Buch

39.90

In den Warenkorb
lieferbar
Buch

49.00

In den Warenkorb
Erschienen am 16.01.2020
lieferbar
Mehr Bücher von Calin Belta
eBook

Statt 171.19 19

117.69

Download bestellen
Erschienen am 08.03.2017
sofort als Download lieferbar

Weitere Empfehlungen zu „Formal Methods for Discrete-Time Dynamical Systems “

0 Gebrauchte Artikel zu „Formal Methods for Discrete-Time Dynamical Systems“
ZustandPreisPortoZahlungVerkäuferRating
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich