Modeling, Analysis And Design Of Control Systems In Matlab And Simulink, Xue Dingyu Et Al
Автор: Giordano AA Название: Modeling of Digital Communication Systems Using SIMULINK ISBN: 1118400054 ISBN-13(EAN): 9781118400050 Издательство: Wiley Рейтинг: Цена: 18525.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The book introduces the reader to SIMULINK(R), an extension of the widely-used MATLAB modeling tool, and the use of SIMULINK(R) in modeling and simulating digital communication systems, including wireless communication systems.
Описание: Written by a leading author on the subject, PID and Predictive Control of Electric Drives and Power Supplies using MATLAB / Simulink provides a timely introduction to current research on PID and predictive control.
Автор: Xue Название: System Simulation Techniques with MATLAB and Simulink ISBN: 1118647920 ISBN-13(EAN): 9781118647929 Издательство: Wiley Рейтинг: Цена: 14248.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: System Simulation Techniques with MATLAB and Simulink comprehensively explains how to use MATLAB and Simulink to perform dynamic systems simulation tasks for engineering and non-engineering applications.
Автор: Naijun Zhan; Shuling Wang; Hengjun Zhao Название: Formal Verification of Simulink/Stateflow Diagrams ISBN: 3319470140 ISBN-13(EAN): 9783319470146 Издательство: Springer Рейтинг: Цена: 16070.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents a state-of-the-art technique for formal verification of continuous-time Simulink/Stateflow diagrams, featuring an expressive hybrid system modelling language, a powerful specification logic and deduction-based verification approach, and some impressive, realistic case studies. Readers will learn the HCSP/HHL-based deductive method and the use of corresponding tools for formal verification of Simulink/Stateflow diagrams. They will also gain some basic ideas about fundamental elements of formal methods such as formal syntax and semantics, and especially the common techniques applied in formal modelling and verification of hybrid systems. By investigating the successful case studies, readers will realize how to apply the pure theory and techniques to real applications, and hopefully will be inspired to start to use the proposed approach, or even develop their own formal methods in their future work.
Автор: Dikai Liu; Lingfeng Wang; Kay Chen Tan (Eds.) Название: Design and Control of Intelligent Robotic Systems ISBN: 3540899324 ISBN-13(EAN): 9783540899327 Издательство: Springer Рейтинг: Цена: 36570.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: With the increasing applications of intelligent robotic systems in various ?elds, the - sign and control of these systems have increasingly attracted interest from researchers.
Автор: Kabanov Yuri, Pergamenshchikov Sergei Название: Two-Scale Stochastic Systems / Asymptotic Analysis and Control ISBN: 3540653325 ISBN-13(EAN): 9783540653325 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Two-scale systems described by singularly perturbed SDEs have been the subject of ample literature. However, this new monograph develops subjects that were rarely addressed and could be given the collective description "Stochastic Tikhonov-Levinson theory and its applications." The book provides a mathematical apparatus designed to analyze the dynamic behaviour of a randomly perturbed system with fast and slow variables. In contrast to the deterministic Tikhonov-Levinson theory, the basic model is described in a more realistic way by stochastic differential equations. This leads to a number of new theoretical questions but simultaneously allows us to treat in a unified way a surprisingly wide spectrum of applications like fast modulations, approximate filtering, and stochastic approximation.
Автор: Harchol-Balter Название: Performance Modeling and Design of Computer Systems ISBN: 1107027500 ISBN-13(EAN): 9781107027503 Издательство: Cambridge Academ Рейтинг: Цена: 12038.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Written with computer scientists and engineers in mind, this book brings queueing theory decisively back to computer science. Through a lively mix of motivation and intuition, with illustrations, examples and more than 300 exercises, readers acquire the skills needed to model, analyze and design large-scale systems with good performance and low cost.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
