Kniha Formal Methods for Discrete-Time Dynamical Systems Calin Belta

Formal Methods for Discrete-Time Dynamical Systems

Jazyk: Angličtina
Vazba: Pevná
Dostupnost: Skladem u dodavatele
Odesíláme za 10-13 dnů
3 882
This book bridges fundamental gaps between control theory and formal methods. Although it focuses on...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Pevná
Vydáno
2017
Stránek
284
EAN
9783319507620
ISBN
9783319507620
Enbook ID
15460068
Hmotnost
5797
Rozměry
155 x 235 x 23

Kompletní popis

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.

Mohlo by vás zajímat

250
108
330

The Camera Fiend

E W Hornung
206
812
248
1 966
343

Colonised Coasts

Daniel A. Bergquist
1 618

Zákaznicí kteří koupili tuto knihu koupili také

307
459
258
352

Kayip Papirüs

Christa Holtei
227
280
1 278
373
559