Formal Methods for Discrete-Time Dynamical Systems

This text 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. It is self-contained, and while some mathematical...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Belta, Calin, Yordanov, Boyan, Aydin Gol, Ebru
Format:	Buch
Sprache:	eng
Schlagworte:	Complexity Control and Systems Theory Discrete-time systems Engineering System theory Systems theory Systems Theory, Control
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!