Описание: 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.
Описание: Providing an introduction to the fundamentals of body area communications, this book covers the key topics of channel modeling, modulation and demodulation, and performance evaluation.
Описание: * The first book to cover all engineering aspects of microwave communication path design for the digital age. * Up-to-date, real world applications of the latest research in microwave propagation. * The author, George Kizer, has more than 30 years experience in solving systems level microwave engineering problems.
Описание: MATLAB and Simulink are now being used extensively in not only academia as a teaching aid, a learning aid and a research tool but also industry for modeling, analysis, design and rapid prototyping.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru