Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Formal Methods for Discrete-Time Dynamical Systems

Calin Belta

Boyan Yordanov

Ebru Aydin Gol

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 20093680

Nakladatelství Springer International Publishing AG, červenec 2018

This book bridges fundamental gaps between control theory and formal methods. Although it focuses on... Celý popis

Libristo kód: 20093680

400 b

4 002 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Des Fibromes de la Trompe Uterine PORET-A

Brožovaná

336 Kč

Gülüm Demet Altinyeleklioglu

Brožovaná

598 Kč

Les espaces de travail et les limites du fonctionnel Ahlem Ben Abdessalem

Brožovaná

1 903 Kč

Automat Automat

Audio CD

530 Kč

NETTER. BIOQUÍMICA ESENCIAL PETER RONNER

Pevná

1 763 Kč

Deutsche Bauernmesse für Dreigesang und Stubenmusik, Ausgabe A, Chorpartitur Annette Thoma

List

214 Kč

Aufbau und Struktur von Daniel Kehlmanns "Die Vermessung der Welt Corinna Gronau

Brožovaná

369 Kč

A befektetés pszichológiájának kiskönyve James Montier

Pevná

283 Kč

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 book is self-contained, and while some mathematical knowledge is necessary, readers are not expected to have a background in formal methods or control theory. It rigorously defines concepts from formal methods, such as transition systems, temporal logics, model checking and synthesis. It then links these to the infinite state dynamical systems through abstractions that are intuitive and only require basic convex-analysis and control-theory terminology, which is provided in the appendix. Several examples and illustrations help readers understand and visualize the concepts introduced throughout the book.

Herečka & Polyglotka

EWA KASP pro

Přehrát video

Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Formal Methods for Discrete-Time Dynamical Systems

Autor Calin Belta, Boyan Yordanov, Ebru Aydin Gol

Jazyk

Angličtina

Vazba Kniha - Brožovaná

Datum vydání 2018

Počet stran 284

EAN 9783319844855

Libristo kód 20093680

Nakladatelství Springer International Publishing AG

Váha 4628

Rozměry 155 x 235 x 17

Kategorie

Odborná, informační a interdisciplinární témata > Výzkum a informace: obecně > Informační teorie > Kybernetika a teorie systémů

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství

Darujte tuto knihu ještě dnes

Je to snadné

1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Handbook of the Extracellular Matrix Fatima Raquel Azevedo Maia

Pevná

12 933 Kč

Raising the Dead D. B. SIEDERS

Brožovaná

325 Kč

Silence of the Gods Francis Young

Pevná

536 Kč

Form and Forces - Designing Efficient, Expressive Structures +WS Edward Allen

Pevná

2 973 Kč

Anecdotes, Poetry and Incidents of the War Frank Moore

Pevná

2 024 Kč

The History of Newmarket: And the Annals of the Turf: With Memoirs and Biographical Notices of the Habitues of Newmarket, and the Notable Turfit John Philip Hore

Brožovaná

767 Kč