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

GET EBOOK

This book constitutes the proceedings of the 4th KES International Symposium on Agent and Multi-Agent Systems, KES-AMSTA 2010, held in June 2010 in Gdynia, Pola
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
The Temporal Logic of Reactive and Concurrent Systems
Language: en
Pages: 432
Authors: Zohar Manna
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

GET EBOOK

Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. They are a