Formal Methods for Discrete-Time Dynamical Systems

✍ Scribed by Calin Belta, Boyan Yordanov , Ebru Aydin Gol

Publisher: Springer
Year: 2017
Tongue: English
Leaves: 287
Category: Library

⬇ Acquire This Volume

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal Methods for Discrete-Time Dynamic

📁 Formal Methods for Discrete-Time Dynamical Systems

✍ Calin Belta, Boyan Yordanov, Ebru Aydin Gol 📂 Library 📅 2017 🏛 Springer 🌐 English

<div>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.</div><div><br></div><div>The book is self-co

Formal Methods for Discrete-Time Dynamic

📁 Formal Methods for Discrete-Time Dynamical Systems

✍ Calin Belta, Boyan Yordanov, Ebru Aydin Gol 📂 Library 📅 2017 🏛 Springer 🌐 English

Formal Methods for Discrete-Time Dynamic

📁 Formal Methods for Discrete-Time Dynamical Systems

✍ Calin Belta, Boyan Yordanov, Ebru Aydin Gol (auth.) 📂 Library 📅 2017 🏛 Springer International Publishing 🌐 English

<p>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.<br>The book is self-contained, and while some

Geometric methods for discrete dynamical

📁 Geometric methods for discrete dynamical systems

✍ Robert W. Easton 📂 Library 📅 1998 🏛 Oxford University Press 🌐 English

Geometric Methods for Discrete Dynamical

📁 Geometric Methods for Discrete Dynamical Systems

✍ Robert W. Easton 📂 Library 📅 1998 🏛 Oxford University Press 🌐 English

This book looks at dynamics as an iteration process where the output of a function is fed back as an input to determine the evolution of an initial state over time. The theory examines errors which arise from round-off in numerical simulations, from the inexactness of mathematical models used to des

Discrete-Time and Discrete-Space Dynamic

📁 Discrete-Time and Discrete-Space Dynamical Systems

✍ Kuize Zhang, Lijun Zhang, Lihua Xie 📂 Library 📅 2020 🏛 Springer International Publishing 🌐 English

<p><i>Discrete-Time and Discrete-Space Dynamical Systems</i> provides a systematic characterization of the similarities and differences of several types of discrete-time and discrete-space dynamical systems, including:<ul><li>Boolean control networks;</li><li>nondeterministic finite-transition syste