Автор: 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.
Автор: Belta Calin, Yordanov Boyan, Aydin Gol Ebru Название: Formal Methods for Discrete-Time Dynamical Systems ISBN: 3319844857 ISBN-13(EAN): 9783319844855 Издательство: Springer Рейтинг: Цена: 23757.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.
Автор: 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.
Описание: 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.
Описание: This book presents the proceedings of the 24th International Conference on Difference Equations and Applications, which was held at the Technical University in Dresden, Germany, in May 2018, under the auspices of the International Society of Difference Equations (ISDE).
Автор: 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.
Автор: 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.
Автор: Saber Elaydi; Christian P?tzsche; Adina Lumini?a S Название: Difference Equations, Discrete Dynamical Systems and Applications ISBN: 3030200159 ISBN-13(EAN): 9783030200152 Издательство: Springer Рейтинг: Цена: 19564.00 р. Наличие на складе: Поставка под заказ.
Описание: The book presents the proceedings of the 23rd International Conference on Difference Equations and Applications, ICDEA 2017, held at the West University of Timi?oara, Romania, under the auspices of the International Society of Difference Equations (ISDE), July 24 - 28, 2017. It includes new and significant contributions in the field of difference equations, discrete dynamical systems and their applications in various sciences. Disseminating recent studies and related results and promoting advances, the book appeals to PhD students, researchers, educators and practitioners in the field.
Описание: Treats the dynamics of both iteration of functions and solutions of ordinary differential equations. This book introduces various concepts for iteration of functions where the geometry is simpler, but results are interpreted for differential equations. It concentrates on properties of the whole system or subsets of the system.
Описание: This book focuses on the basic control and filtering synthesis problems for discrete-time switched linear systems under time-dependent switching signals.
Автор: M. G?ssel Название: Nonlinear Time-discrete Systems ISBN: 3540119140 ISBN-13(EAN): 9783540119142 Издательство: Springer Рейтинг: Цена: 14365.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Z. Nahorski; H.F. Ravn; R.V.V. Vidal Название: Optimization of Discrete Time Systems ISBN: 3540122583 ISBN-13(EAN): 9783540122586 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
