Formal Methods for Discrete-Time Dynamical Systems, Belta Calin, Yordanov Boyan, Aydin Gol Ebru
Автор: Kuize Zhang; Lijun Zhang; Lihua Xie Название: Discrete-Time and Discrete-Space Dynamical Systems ISBN: 3030259714 ISBN-13(EAN): 9783030259716 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Discrete-Time and Discrete-Space Dynamical Systems provides a systematic characterization of the similarities and differences of several types of discrete-time and discrete-space dynamical systems, including:
Boolean control networks;nondeterministic finite-transition systems;finite automata;labelled Petri nets; andcellular automata.The book's perspective is primarily based on topological properties though it also employs semitensor-product and graph-theoretic methods where appropriate. It presents a series of fundamental results: invertibility, observability, detectability, reversiblity, etc., with applications to systems biology.
Academic researchers with backgrounds in applied mathematics, engineering or computer science and practising engineers working with discrete-time and discrete-space systems will find this book a helpful source of new understanding for this increasingly important class of systems. The basic results to be found within are of fundamental importance for further study of related problems such as automated synthesis and safety control in cyber-physical systems using formal methods.
Автор: Calin Belta; Boyan Yordanov; Ebru Aydin Gol Название: Formal Methods for Discrete-Time Dynamical Systems ISBN: 3319507621 ISBN-13(EAN): 9783319507620 Издательство: Springer Рейтинг: Цена: 22359.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Transition Systems.- Temporal Logics and Automata.- Model Checking.- Largest Finite Satisfying Region.- Finite Temporal Logic Control.- Discrete-Time Dynamical Systems.- Largest Satisfying Region.- Parameter Synthesis.- Temporal Logic Control.- Finite Bisimulations.- Language Guided Controller Synthesis.- Optimal Temporal Logic Control.- Background.
Описание: This book provides a common unifying framework for discrete-time stochastic systems corrupted with both independent random perturbations and with Markovian jumps. These subjects are typically covered independently.
Описание: As our title reveals, we focus on optimal control methods and applications relevant to linear dynamic economic systems in discrete-time variables.
Описание: 1 Introduction.- 2 Introduction to Stochastic Processes.- 3 Kramers-Moyal Expansion and Fokker-Planck Equation.- 4 Continuous Stochastic Process.- 5 The Langevin Equation and Wiener Process.- 6 Stochastic Integration, It o and Stratonovich Calculi.- 7 Equivalence of Langevin and Fokker-Planck Equations.- 8 Examples of Stochastic Calculus.-9 Langevin Dynamics in Higher Dimensions.- 10 Levy Noise Driven Langevin Equation and its Time Series-Based Reconstruction.- 11 Stochastic Processes with Jumps and Non-Vanishing Higher-Order Kramers-Moyal Coefficients.- 12 Jump-Diffusion Processes.- 13 Two-Dimensional (Bivariate) Jump-Diffusion Processes.- 14 Numerical Solution of Stochastic Differential Equations: Diffusion and Jump-Diffusion Processes.- 15 The Friedrich-Peinke Approach to Reconstruction of Dynamical Equation for Time Series: Complexity in View of Stochastic Processes.- 16 How To Set Up Stochastic Equations For Real-World Processes: Markov-Einstein Time Scale.- 17 Reconstruction of Stochastic Dynamical Equations: Exemplary Stationary Diffusion and Jump-Diffusion Processes.- 18 The Kramers-Moyal Coefficients of Non-Stationary Time series in The Presence of Microstructure (Measurement) Noise.- 19 Influence of Finite Time Step in Estimating of the Kramers-Moyal Coefficients.- 20 Distinguishing Diffusive and Jumpy Behaviors in Real-World Time Series.- 21 Reconstruction of Langevin and Jump-Diffusion Dynamics From Empirical Uni- and Bivariate Time Series.- 22 Applications and Outlook.- 23 Epileptic Brain Dynamics.
Автор: Maria Tomas-Rodriguez; Stephen P. Banks Название: Linear, Time-varying Approximations to Nonlinear Dynamical Systems ISBN: 184996100X ISBN-13(EAN): 9781849961004 Издательство: Springer Рейтинг: Цена: 25853.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A new technique for analysing and controlling nonlinear systems is introduced in this book. Although the methods outlined are novel, they can be simply implemented using pre-existing and widely known classical control ideas.
Автор: Yasumichi Hasegawa Название: Control Problems of Discrete-Time Dynamical Systems ISBN: 3642380573 ISBN-13(EAN): 9783642380570 Издательство: Springer Рейтинг: Цена: 14365.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This monograph deals with control problems of discrete-time dynamical systems that include linear and nonlinear input/output relations. It provides new results and their extensions which can also be applicable for nonlinear dynamical systems.
Автор: Zhang Kuize, Zhang Lijun, Xie Lihua Название: Discrete-Time and Discrete-Space Dynamical Systems ISBN: 3030259749 ISBN-13(EAN): 9783030259747 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Introduction.- Preliminaries.- Introduction to Different Types of Discrete-Time and Discrete-Space Dynamical Systems.- Invertibility and Nonsingularity of Boolean Control Networks.- Observability of Boolean Control Networks.- Detectability of Boolean Control Networks.- Observability and Detectability of Large-Scale Boolean Control Networks.- Observability of Nondeterministic Finite-Transition Systems.- Detectability of Nondeterministic Finite-Transition Systems.- Detectability of Finite-State Automata.- Detectability of Labelled Petri Nets.- Generalized Reversibility of Topological Dynamical Systems and Cellular Automata.- Generalized Reversibility of Variant Cellular Automata.- Solutions.- Index.
Автор: Oded Galor Название: Discrete Dynamical Systems ISBN: 3642071856 ISBN-13(EAN): 9783642071850 Издательство: Springer Рейтинг: Цена: 8384.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The book characterizes the fundamental factors that govern the quantitative and qualitative trajectories of a variety of deterministic, discrete dynamical systems, providing solution methods for systems that can be solved analytically and methods of qualitative analysis for those systems that do not permit or necessitate an explicit solution.
Описание: This book aims to provide a unified treatment on the analysis and synthesis for discrete-time stochastic systems with guarantee of certain performances against network-enhanced complexities with applications in sensor networks and mobile robotics.
Автор: T. Matsuo Название: Realization Theory of Continuous-Time Dynamical Systems ISBN: 3540106820 ISBN-13(EAN): 9783540106821 Издательство: Springer Рейтинг: Цена: 16979.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Quadrat Alban, Zerz Eva Название: Algebraic and Symbolic Computation Methods in Dynamical Systems ISBN: 3030383555 ISBN-13(EAN): 9783030383558 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Combined with real algebraic geometry, which was previously introduced in control theory, the past years have seen a flourishing development of algebraic methods in control theory.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
