|
libcats.org
Supervisory Control of Concurrent Systems: A Petri Net Structural ApproachIordache M. V., Antsaklis P. J.Increasing complexity in engineering projects raises difficult challenges in industry and requires effective tools for correct-by-construction design or design verification. This book addresses the design of such tools for correct-by-construction synthesis of supervisors for systems and specifications represented in the discrete-event framework. The approach employed uses Petri nets as discrete-event models and structural methods for the synthesis of supervisors, and may lead to significant computational benefits.Highlighting recent progress in the design of supervisors by structural methods, the book represents a novel contribution to the field. One of the main features of the presentation is the demonstration that structural methods can address a variety of supervisor specifications under diverse supervision settings.Additional features of the text:* Applications of the methods presented are emphasized by considering various concurrency assumptions as well as types of system uncontrollability and unobservability.* Treatment of the supervision problem for decentralized settings and hybrid dynamical systems. * A focus on both theory and practice: formal proofs are provided in a sound mathematical setting to guarantee performance and correctness; at the same time, the authors have worked out the relevant details to ensure the methods are ready to implement in software.* Many of the presented methods have been realized in software as functions of a MATLAB toolbox, which have been used to solve many of the examples of the book.The work is self-contained and includes necessary background on Petri nets and supervision. Requiring only basic knowledge of undergraduate-level discrete mathematics, the text is accessible to a broad audience. Researchers and developers from various engineering fields may find effective means to reduce the complexity of design problems in the discrete-event setting. Graduate students may use the work as a self-study reference, and portions of the text may be used in advanced courses on discrete-event systems.
Ссылка удалена правообладателем ---- The book removed at the request of the copyright holder.
Популярные книги за неделю:
#3
Самодельные детали для сельского радиоприемникаАвторы: З.Б.Гинзбург, Ф.И.Тарасов.Категория: радиоэлектроника
1.40 Mb
#10
Вероятность и статистика. 10-11 классыБродский И.Л., Мешавкина О.С.Категория: M_Mathematics, MSch_School-level
1.24 Mb
Только что пользователи скачали эти книги:
#2
Практикум по химии и технологии полупроводниковУгай Я.А. (ред.), Анохин В.З., Гончаров Е.Г.
2.97 Mb
#5
Математические кружки в 8—10 классахПетраков И.С.Категория: ARCHITECTURE EBOOKS & MAGAZINES, математика
7.45 Mb
#7
Методические указания по общей и неорганической химии. Часть 3Угай Я.А. и др.Категория: Химия
1.34 Mb
|
|