Kód: 15460068

Formal Methods for Discrete-Time Dynamical Systems

Name: Formal Methods for Discrete-Time Dynamical Systems
Brand: Springer International Publishing AG
SKU: 15460068
Price: 4002.00 CZK
Availability: InStock
Author: Calin Belta
ISBN: 9783319507620

Autor Calin Belta, Boyan Yordanov, Ebru Aydin Gol

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 ... celý popis

Jazyk: Angličtina
Vazba: Pevná
Počet stran: 284
Nakladatelství: Springer International Publishing AG, 2017
Více informací o knize

4002 Kč

Skladem u dodavatele
Odesíláme za 10-13 dnů

Přidat mezi přání

Mohlo by se vám také líbit

Der Super Mario Bros. Film
258 Kč
Koupit
Walden / Civil Disobedience / and Other Writings
382 Kč
Koupit
Italian Cook Book
340 Kč
Koupit
Path of Christianity - The First Thousand Years
1274 Kč
Koupit
Oboe Solos: Four Pieces for Oboe with Piano Accompaniment
217 Kč
Koupit
Cero limites / Zero Limits
363 Kč
Koupit
Авонлейские хроники. Подарочное издание
423 Kč
Koupit
Fosses Septiques Et Puits d'Eau Potable
813 Kč
Koupit
Introduction to Satellite Communication
3169 Kč
Koupit
Becoming a Kink Aware Therapist
2027 Kč
Koupit
Reescalonamento dinamico de processos
1318 Kč
Koupit
The Waverley Novels; Volume 8
837 Kč
Koupit
Strength Training NOT Bodybuilding
320 Kč
Koupit
1895, N 16/JUIN 1994
495 Kč
Koupit
A Cruise Across Europe: Notes On A Freshwater Voyage From Holland To The Black Sea (1907)
502 Kč
Koupit
Information Security and Cryptology - ICISC 2015
1182 Kč
Koupit
Pädagogische Kompetenz eines Lehrers der beruflichen Bildung
772 Kč
Koupit
Colonised Coasts
1668 Kč
Koupit
Active Citizenship and Multiple Identities in Europe
2375 Kč
Koupit
Self-Organization and Green Applications in Cognitive Radio Networks
4622 Kč
Koupit
Comune di Parigi
316 Kč
Koupit
"From Sun-Up to Sun-Down"
354 Kč
Koupit
Kayip Papirüs
234 Kč
Koupit
Des Menschen bester Freund
289 Kč
Koupit
La cuina dels bolets
576 Kč
Koupit
101 preguntas a Ramiro Calle
384 Kč
Koupit
Handbook for Administrators and Executors of Estates
208 Kč
Koupit
Bureaucrats and Politicians in Western Democracies
1114 Kč
Koupit

Dárkový poukaz: Radost zaručena

Darujte poukaz v libovolné hodnotě a my se postaráme o zbytek.
Poukaz se vztahuje na celou naši nabídku.
Elektronický poukaz vytisknete z e-mailu a můžete ihned darovat.
Platnost poukazu je 12 měsíců od data vystavení.

Objednat dárkový poukaz Více informací

Více informací o knize Formal Methods for Discrete-Time Dynamical Systems

Parametry knihy
Anotace
Oblíbené z jiného soudku

Nákupem získáte 400 bodů

Anotace knihy

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.