Search the Library Catalogue
Supervisory control of concurrent systems / (Record no. 77087)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 02178nam a2200265Ia 4500 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 241222b |||||||| |||| 00| 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9780817643577 |
| Qualifying information | pbk. |
| 041 ## - LANGUAGE CODE | |
| Language code of text/sound track or separate title | eng |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 629.8315 |
| Item number | IOR |
| 100 ## - MAIN ENTRY--AUTHOR NAME | |
| Author name | Iordache, Marian V |
| 245 #0 - TITLE STATEMENT | |
| Title | Supervisory control of concurrent systems / |
| Statement of responsibility, etc. | Marian V Iordache and Panos J Antsaklis |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1st ed. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication, distribution, etc. | Boston : |
| Name of publisher, distributor, etc. | Springer, |
| Date of publication, distribution, etc. | 2006. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Number of Pages | 294 p. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE | |
| Bibliography, etc. note | Includes bibliographical references (p. 265-278) and index. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | 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. 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. |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Petri net theory: |
| Topical term or geographic name entry element | Discrete event systems. |
| Topical term or geographic name entry element | Structural methods for supervisor synthesis. |
| Topical term or geographic name entry element | Correct-by-construction design. |
| Topical term or geographic name entry element | Applications and case studies. |
| 700 ## - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Antsaklis, Panos J |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | English Books |
| Koha item type | Home library | Current library | Shelving location | Date acquired | Cost, normal purchase price | Bill Number | Accession Number | Full call number | Withdrawn status | Lost status | Not for loan | Collection |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Reference | Kalaignar Centenary Library Madurai | Kalaignar Centenary Library Madurai | ஆறாம் தளம் / Sixth floor | 17/04/2023 | 15305.90 | 8190-15-5-2023 | 172893 | 629.8315 IOR | ENGLISH-REFERENCE BOOKS |