Formal Methods for Discrete-Time Dynamical Systems, Belta Calin, Yordanov Boyan, Aydin Gol Ebru
Автор: Oded Galor Название: Discrete Dynamical Systems ISBN: 3642071856 ISBN-13(EAN): 9783642071850 Издательство: Springer Рейтинг: Цена: 55890.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Mughal Название: Real Time Modeling, Simulation and Control of Dynamical Systems ISBN: 3319339052 ISBN-13(EAN): 9783319339054 Издательство: Springer Рейтинг: Цена: 113190.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book introduces modeling and simulation of linear time invariant systems and demonstrates how these translate to systems engineering, mechatronics engineering, and biomedical engineering. It is organized into nine chapters that follow the lectures used for a one-semester course on this topic, making it appropriate for students as well as researchers. The author discusses state space modeling derived from two modeling techniques and the analysis of the system and usage of modeling in control systems design. It also contains a unique chapter on multidisciplinary energy systems with a special focus on bioengineering systems and expands upon how the bond graph augments research in biomedical and bio-mechatronics systems.
Автор: T. Matsuo Название: Realization Theory of Continuous-Time Dynamical Systems ISBN: 3540106820 ISBN-13(EAN): 9783540106821 Издательство: Springer Рейтинг: Цена: 113190.00 T Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Calin Belta; Boyan Yordanov; Ebru Aydin Gol Название: Formal Methods for Discrete-Time Dynamical Systems ISBN: 3319507621 ISBN-13(EAN): 9783319507620 Издательство: Springer Рейтинг: Цена: 149060.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Yasumichi Hasegawa Название: Control Problems of Discrete-Time Dynamical Systems ISBN: 3642380573 ISBN-13(EAN): 9783642380570 Издательство: Springer Рейтинг: Цена: 95770.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Kuize Zhang; Lijun Zhang; Lihua Xie Название: Discrete-Time and Discrete-Space Dynamical Systems ISBN: 3030259714 ISBN-13(EAN): 9783030259716 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Zhang Kuize, Zhang Lijun, Xie Lihua Название: Discrete-Time and Discrete-Space Dynamical Systems ISBN: 3030259749 ISBN-13(EAN): 9783030259747 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Y. Murata Название: Optimal Control Methods for Linear Discrete-Time Economic Systems ISBN: 1461257395 ISBN-13(EAN): 9781461257394 Издательство: Springer Рейтинг: Цена: 81050.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: As our title reveals, we focus on optimal control methods and applications relevant to linear dynamic economic systems in discrete-time variables.
Автор: Quadrat Alban, Zerz Eva Название: Algebraic and Symbolic Computation Methods in Dynamical Systems ISBN: 3030383555 ISBN-13(EAN): 9783030383558 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Vasile Dragan; Toader Morozan; Adrian-Mihail Stoic Название: Mathematical Methods in Robust Control of Discrete-Time Linear Stochastic Systems ISBN: 1441906290 ISBN-13(EAN): 9781441906298 Издательство: Springer Рейтинг: Цена: 135090.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Ding, Derui (department Of Control Science And Eng Название: Performance analysis and synthesis for discrete-time stochastic systems with network-enhanced complexities ISBN: 1138610011 ISBN-13(EAN): 9781138610019 Издательство: Taylor&Francis Рейтинг: Цена: 188850.00 T Наличие на складе: Нет в наличии. Описание: 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.
Автор: Maria Tomas-Rodriguez; Stephen P. Banks Название: Linear, Time-varying Approximations to Nonlinear Dynamical Systems ISBN: 184996100X ISBN-13(EAN): 9781849961004 Издательство: Springer Рейтинг: Цена: 172350.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
