Обложка Modular Methods in the Supervisory Control of Discrete Event Systems
Название книги:

Modular Methods in the Supervisory Control of Discrete Event Systems

Incremental design and verification employing abstraction and interfaces

VDM Verlag Dr. Müller (2010-03-03 )

Books loader

Omni badge имеющий право на ваучер
ISBN-13:

978-3-639-21031-6

ISBN-10:
363921031X
EAN:
9783639210316
Язык Книги:
Английский
Краткое описание:
The subject of this book is modular approaches to the verification and control of discrete-event systems (DES). DES are dynamic systems characterized by discrete states and event-driven evolution. In recent years, a substantial body of work has been built up to provide a theory and framework for the control and verification of DES. Despite all the advancements that have been made in this area, application to real-life systems has been somewhat slow. A significant hurdle to the adoption of these methods is the state-space explosion that occurs in modeling systems of the size most commonly found in industry. This book develops three new modular approaches to the supervisory control of DES that reduce complexity through the use of abstraction and interfaces. The advantages and limitations of these approaches are presented in the context of the current state of the art through illustrative examples.
Издательский Дом:
VDM Verlag Dr. Müller
Веб-сайт:
http://www.vdm-verlag.de
By (author) :
Richard Hill
Количество страниц:
200
Опубликовано:
2010-03-03
Акции:
В наличии
Категория:
Операционные системы, аппликации пользователя
Цена:
68.00 €
Ключевые слова:
Discrete Event Systems, Incremental design, Verification, Modular Methods

Books loader

Рассылка

Adyen::amex Adyen::mc Adyen::visa Adyen::cup Adyen::unionpay Paypal Банковский перевод

  0 продуктов в корзине
Редактировать корзину
Loading frontend
LOADING