Supervisory Control of Concurrent Systems

Supervisory Control of Concurrent Systems
Author :
Publisher : Springer Science & Business Media
Total Pages : 289
Release :
ISBN-10 : 9780817644888
ISBN-13 : 0817644881
Rating : 4/5 (88 Downloads)

Book Synopsis Supervisory Control of Concurrent Systems by : Marian Iordache

Download or read book Supervisory Control of Concurrent Systems written by Marian Iordache and published by Springer Science & Business Media. This book was released on 2007-06-04 with total page 289 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Supervisory Control of Concurrent Systems Related Books

Supervisory Control of Concurrent Systems
Language: en
Pages: 289
Authors: Marian Iordache
Categories: Technology & Engineering
Type: BOOK - Published: 2007-06-04 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book addresses the design of such tools for correct-by-construction synthesis of supervisors for systems and specifications represented in the discrete-eve
Enhancing the Reliability of Concurrent Systems Using Supervisory Control
Language: en
Pages: 320
Authors: Liviu Grigore
Categories:
Type: BOOK - Published: 2011 - Publisher:

DOWNLOAD EBOOK

Supervisory Control of Concurrent Discrete Event Systems
Language: en
Pages:
Authors: Benoît Gaudin
Categories:
Type: BOOK - Published: 2004 - Publisher:

DOWNLOAD EBOOK

Supervisory Control on Concurrent Discrete Event Systems with Variables
Language: en
Pages: 0
Authors: Benoît Gaudin
Categories:
Type: BOOK - Published: 2006 - Publisher:

DOWNLOAD EBOOK

Supervisory Control on Concurrent Discrete Event Systems with Variables
Language: en
Pages: 66
Authors: Benoît Gaudin
Categories:
Type: BOOK - Published: 2006 - Publisher:

DOWNLOAD EBOOK