Formal Methods for Discrete-Time Dynamical Systems

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

Ful tanımlama

Detaylı Bibliyografya
Asıl Yazarlar: Belta, Calin (Yazar), Yordanov, Boyan (Yazar), Aydin Gol, Ebru (Yazar)
Müşterek Yazar: SpringerLink (Online service)
Materyal Türü: e-Kitap
Dil:İngilizce
Baskı/Yayın Bilgisi: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edisyon:1st ed. 2017.
Seri Bilgileri:Studies in Systems, Decision and Control, 89
Konular:
Control engineering.
Dynamics.
Nonlinear theories.
System theory.
Control theory.
Control and Systems Theory.
Applied Dynamical Systems.
Systems Theory, Control.
Online Erişim:Full-text access
OPAC'ta görüntüle

Internet

Full-text access
OPAC'ta görüntüle

Merkez Kütüphane

Detaylı Erişim Bilgileri Merkez Kütüphane
Kopya Bilgisi UnknownBarcode

Benzer Materyaller