Supervisory control of concurrent systems (notice n° 18582)
| 000 -LEADER | |
|---|---|
| fixed length control field | 01650nam a2200325 u 4500 |
| 001 - CONTROL NUMBER | |
| control field | UNI0000322 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20161124110135.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 130704s2006 XX eng |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 0817643575 (hardcover) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9780817643577 (hardcover) |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | DCLC |
| 040 ## - CATALOGING SOURCE | |
| Modifying agency | IMIST |
| Description conventions | AFNOR |
| 041 1# - LANGUAGE CODE | |
| Language code of text/sound track or separate title | eng |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 629.8 |
| Edition number | 22 |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Iordache, Marian V. |
| 245 #0 - TITLE STATEMENT | |
| Title | Supervisory control of concurrent systems |
| Remainder of title | a petri net structural approach |
| Statement of responsibility, etc | Marian V. Iordache; Panos J. Antsaklis |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication, distribution, etc | Boston |
| Name of publisher, distributor, etc | Birkhäuser |
| Date of publication, distribution, etc | 2006 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 281 p. |
| Dimensions | 24 cm. |
| 490 1# - SERIES STATEMENT | |
| Series statement | Systems & control: foundations & applications |
| 500 ## - GENERAL NOTE | |
| General note | 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. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer simulation |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Engineering |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Engineering mathematics |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Industrial engineering |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Mathematics |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Parallel processing (Electronic computers) |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Petri nets |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Supervisory control systems |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Antsaklis, Panos J. |
| Withdrawn status | Lost status | Damaged status | Not for loan | Permanent Location | Current Location | Date acquired | Inventory number | Total Checkouts | Full call number | Barcode | Date last seen | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| La bibliothèque des sciences de l'ingénieur | La bibliothèque des sciences de l'ingénieur | 20483 | 629.8 IOR | 0000000019102 | 11/24/2016 | 11/24/2016 | Livre |
