Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

Logical Analysis of Hybrid Systems, Andr? Platzer


Варианты приобретения
Цена: 21661.00р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: Есть  
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Andr? Platzer
Название:  Logical Analysis of Hybrid Systems
ISBN: 9783642444746
Издательство: Springer
Классификация:




ISBN-10: 3642444741
Обложка/Формат: Paperback
Страницы: 426
Вес: 0.63 кг.
Дата издания: 28.11.2014
Язык: English
Размер: 234 x 156 x 24
Основная тема: Computer Science
Подзаголовок: Proving Theorems for Complex Dynamics
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: In this book, the author gives a unique logic-based perspective on hybrid systems analysis. It is the first book that leverages the power of logic for hybrid systems. The author`s coherent logical approach covers theory, practice, and applications.


Control of Electric Machine Drive Systems

Автор: Sul
Название: Control of Electric Machine Drive Systems
ISBN: 0470590793 ISBN-13(EAN): 9780470590799
Издательство: Wiley
Рейтинг:
Цена: 20901.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Based on the author`s industry experience and collaborative works with other industries, Control of Electric Machine Drive System is packed with implemented, tested, and verified ideas that relate to everyday problems in the field.

Analysis and Identification of Time-Invariant Systems, Time-Varying Systems, and Multi-Delay Systems using Orthogonal Hybrid Functions

Автор: Anish Deb; Srimanti Roychoudhury; Gautam Sarkar
Название: Analysis and Identification of Time-Invariant Systems, Time-Varying Systems, and Multi-Delay Systems using Orthogonal Hybrid Functions
ISBN: 3319266829 ISBN-13(EAN): 9783319266824
Издательство: Springer
Рейтинг:
Цена: 19591.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Non-Sinusoidal Orthogonal Functions in Systems and Control.- Hybrid Function (HF) and Its Properties.- Function Approximation via Hybrid Functions.- Integration and Differentiation Using HF Domain Operational Matrices.- One-Shot Operational Matrices for Integration.- Solution of Linear Differential Equations.- Convolution of Time Functions.- Time Invariant System Analysis: State Space Approach.- Time Varying System Analysis: State Space Approach.- Multi-Delay System Analysis: State Space Approach.- Time Invariant System Analysis: Method of Convolution.- System Identification using State Space Approach: Time Invariant Systems.- System Identification using State Space Approach: Time Varying Systems.- Time Invariant System Identification: via 'Deconvolution'.- System Identification: Parameter Estimation of Transfer Function.

Bio-Inspired Hybrid Intelligent Systems for Image Analysis and Pattern Recognition

Автор: Patricia Melin; Witold Pedrycz
Название: Bio-Inspired Hybrid Intelligent Systems for Image Analysis and Pattern Recognition
ISBN: 3642045154 ISBN-13(EAN): 9783642045158
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Comprising papers on diverse aspects of bio-inspired models, soft computing and hybrid intelligent systems, the articles in this book are divided into four main parts that cover important research areas such as fuzzy and bio-inspired problem-solving models.

Stochastic Reachability Analysis of Hybrid Systems

Автор: Luminita Manuela Bujorianu
Название: Stochastic Reachability Analysis of Hybrid Systems
ISBN: 1447162099 ISBN-13(EAN): 9781447162094
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This interdisciplinary book defines reachability in the stochastic framework, covering such concepts as stochastic reachability based on Markov process theory; martingale methods; stochastic reachability as an optimal stopping problem and dynamic programming.

Bio-Inspired Hybrid Intelligent Systems for Image Analysis and Pattern Recognition

Автор: Patricia Melin; Witold Pedrycz
Название: Bio-Inspired Hybrid Intelligent Systems for Image Analysis and Pattern Recognition
ISBN: 3642260659 ISBN-13(EAN): 9783642260650
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Comprising papers on diverse aspects of bio-inspired models, soft computing and hybrid intelligent systems, the articles in this book are divided into four main parts that cover important research areas such as fuzzy and bio-inspired problem-solving models.

Modelling and Analysis of Hybrid Supervisory Systems

Автор: Emilia Villani; Paulo Eigi Miyagi; Robert Valette
Название: Modelling and Analysis of Hybrid Supervisory Systems
ISBN: 1849966370 ISBN-13(EAN): 9781849966375
Издательство: Springer
Рейтинг:
Цена: 23757.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book introduces a formalism for modeling complex and large-scale systems that merges Petri nets, differential equation systems, and object-oriented methods. It describes a method that starts from the requirements of a supervisory system and results in a proposal for such a system.

Tools and Algorithms for the Construction and Analysis of Systems

Автор: Javier Esparza; Rupak Majumdar
Название: Tools and Algorithms for the Construction and Analysis of Systems
ISBN: 3642120016 ISBN-13(EAN): 9783642120015
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software.

Stability Analysis of Fuzzy-Model-Based Control Systems

Автор: Hak-Keung Lam; Allen Leung
Название: Stability Analysis of Fuzzy-Model-Based Control Systems
ISBN: 3642422969 ISBN-13(EAN): 9783642422966
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Summarizing the latest work in the field, this book offers readers a number of approaches to designing stable and efficient FMB control systems, and includes detailed analysis and derivation steps to enable novices to follow the materials effectively.

Measurement and Analysis of Overvoltages in Power Systems

Автор: Li
Название: Measurement and Analysis of Overvoltages in Power Systems
ISBN: 1119128994 ISBN-13(EAN): 9781119128991
Издательство: Wiley
Рейтинг:
Цена: 17416.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Measurement and Analysis of Overvoltages in Power Systems

Jianming Li, Professor, State Grid Corporation, China

A combination of theory and application, this book features practical tests and analytical techniques comprehensively with engineering practicality as its focus. Based on years of research and industry experience, the author introduces many scientific research methods such as overvoltage simulation studies, dynamic simulation experiment platform development and application, and overvoltage pattern recognition. Readers will get a good grounding in the various sources of overvoltages in power systems, methods in on-line measurements as well as explanations of overvoltage formation mechanisms and monitoring analysis methods.

-Systematically examines sources, online measurements, analytical techniques, and simulations of overvoltages, with an emphasis on engineering practicality

-Presents practical engineering examples analyzing overvoltages and improving system operation, based on field experiments and data analysis

-Features overvoltage simulations and waveform analysis in transmission systems

Measurement and Analysis of Overvoltages in Power Systems is intended as an all-in-one guide for engineers and researchers in power systems engineering. It can be used as a reference text for graduate students and lecturers of electrical engineering.

Analysis and Simulation of Electrical and Computer Systems

Автор: Damian Mazur; Marek Go??biowski; Mariusz Korkosz
Название: Analysis and Simulation of Electrical and Computer Systems
ISBN: 331963948X ISBN-13(EAN): 9783319639482
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book addresses selected topics in electrical engineering, electronics and mechatronics that have posed serious challenges for both the scientific and engineering communities in recent years.

11th International Conference on Analysis and Optimization of Systems: Discrete Event Systems

Автор: Guy Cohen; Jean-Pierre Quadrat
Название: 11th International Conference on Analysis and Optimization of Systems: Discrete Event Systems
ISBN: 3540198962 ISBN-13(EAN): 9783540198963
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The conference, coorganized by INRIA and Ecole des Mines de Paris, focuses on Discrete Event Systems (DES) and is aimed at engineers, scientists and mathematicians working in the fields of Automatic Control, Operations Research and Statistics who are interested in the modelling, analysis and optimization of DES.

Analysis and Design of Nonlinear Control Systems

Автор: Alessandro Astolfi; Lorenzo Marconi
Название: Analysis and Design of Nonlinear Control Systems
ISBN: 3642093787 ISBN-13(EAN): 9783642093784
Издательство: Springer
Рейтинг:
Цена: 33401.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: System Analysis.- Smooth Distributions Are Globally Finitely Spanned.- Uniformly Universal Inputs.- System Interconnection.- Reduced Order Modeling of Nonlinear Control Systems.- Optimization Methods.- Nonholonomic Trajectory Optimization and the Existence of Twisted Matrix Logarithms.- The Hamilton-Jacobi Type Equations for Nonlinear Target Control and Their Approximation.- Causal Coding of Markov Sources with Continuous Alphabets.- Pseudospectral Optimal Control and Its Convergence Theorems.- Feedback Design.- Event Based Control.- Zero Dynamics and Tracking Performance Limits in Nonlinear Feedback Systems.- A Nonlinear Model for Combustion Instability: Analysis and Quenching of the Oscillations.- Convexification of the Range-Only Station Keeping Problem.- Control of Hydraulic Devices, an Internal Model Approach.- Hybrid Zero Dynamics of Planar Bipedal Walking.- Regulation.- Hybrid Systems: Limit Sets and Zero Dynamics with a View Toward Output Regulation.- Essential and Redundant Internal Models in Nonlinear Output Regulation.- Two Global Regulators for Systems with Measurable Nonlinearities and Unknown Sinusoidal Disturbances.- A Taxonomy for Time-Varying Immersions in Periodic Internal-Model Control.- Paving the Way Towards the Control of Wireless Telecommunication Networks.- Nonlinear Synchronization of Coupled Oscillators: The Polynomial Case.- Geometric Methods.- Disturbance Decoupling for Open Quantum Systems: Quantum Internal Model Principle.- Controller and Observer Normal Forms in Discrete-Time.- A Geometric Approach to Dynamic Feedback Linearization.- Asymptotic Analysis.- The Steady-State Response of a Nonlinear Control System, Lyapunov Stable Attractors, and Forced Oscillations.- Model Reduction by Moment Matching for Linear and Nonlinear Systems.- Adaptive Control of Nonlinear Systems with Unknown Parameters by Output Feedback: A Non-Identifier-Based Method.- Hybrid Feedback Stabilization of Nonlinear Systems with Quantization Noise and Large Delays.


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия