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
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
Agent and Multi-Agent Systems: Technologies and Applications
Language: en
Pages: 460
Authors: Piotr Jedrzejowicz
Categories: Computers
Type: BOOK - Published: 2010-06-20 - Publisher: Springer

GET EBOOK

Simulation and Decision Making, Multi-Agent Applications, Management and e-Business, Mobile Agents and Robots, and Machine Learning. In addition to the main tra
Discrete Event Systems 2004 (WODES'04)
Language: en
Pages: 488
Authors: Janan Zaytoon
Categories: Language Arts & Disciplines
Type: BOOK - Published: 2005-12-22 - Publisher: Elsevier

GET EBOOK

Approx. 484 pages