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 (881 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

GET 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
Supervisory Control of Discrete-Event Systems
Language: en
Pages: 504
Authors: W. Murray Wonham
Categories: Technology & Engineering
Type: BOOK - Published: 2018-08-17 - Publisher: Springer

GET EBOOK

This book shows how supervisory control theory (SCT) supports the formulation of various control problems of standard types, like the synthesis of controlled dy
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

GET 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
Introduction to Discrete Event Systems
Language: en
Pages: 781
Authors: Christos G. Cassandras
Categories: Technology & Engineering
Type: BOOK - Published: 2009-12-14 - Publisher: Springer Science & Business Media

GET EBOOK

Introduction to Discrete Event Systems is a comprehensive introduction to the field of discrete event systems, offering a breadth of coverage that makes the mat
Discrete Event Systems
Language: en
Pages: 500
Authors: R. Boel
Categories: Science
Type: BOOK - Published: 2000-07-31 - Publisher: Springer Science & Business Media

GET EBOOK

Discrete Event Systems: Analysis and Control is the proceedings of WODES2000 (the 5th Workshop on Discrete Event Systems, held in Ghent, Belgium, on August 21-2