Ebru Aydin Gol – författare
Visar alla böcker från författaren Ebru Aydin Gol. Handla med fri frakt och snabb leverans.
3 produkter
Formal Methods for Discrete-Time Dynamical Systems
Av Calin Belta, Boyan Yordanov m. fl.
Inbunden, 2017
1853 kr
Lägg i varukorg
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 …
Formal Methods for Discrete-Time Dynamical Systems
Av Ebru Aydin Gol, Boyan Yordanov m. fl.
E-bok, 2017
2384 kr
Lägg i varukorg
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 …
Formal Methods for Discrete-Time Dynamical Systems
Av Calin Belta, Boyan Yordanov m. fl.
Häftad, 2018
1853 kr
Lägg i varukorg
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 …
