๐”– Scriptorium
โœฆ   LIBER   โœฆ
๐Ÿ“

Formal Methods for Discrete-Time Dynamical Systems

โœ Scribed by Calin Belta, Boyan Yordanov, Ebru Aydin Gol

Publisher
Springer
Year
2017
Tongue
English
Leaves
291
Edition
1st ed. 2017
Category
Library
โฌ‡  Acquire This Volume

No coin nor oath required. For personal study only.

โœฆ Subjects

Robotics & Automation;Industrial, Manufacturing & Operational Systems;Engineering;Engineering & Transportation;Probability & Statistics;Applied;Mathematics;Science & Math;System Theory;Physics;Science & Math;Technology;History of Technology;Nanotechnology;Safety & Health;Social Aspects;Science & Math;Statistics;Mathematics;Science & Mathematics;New, Used & Rental Textbooks;Specialty Boutique

๐Ÿ“œ 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 (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

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