IMIST


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.
Exemplaires
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
© Tous droits résérvés IMIST/CNRST
Angle Av. Allal Al Fassi et Av. des FAR, Hay Ryad, BP 8027, 10102 Rabat, Maroc
Tél:(+212) 05 37.56.98.00
CNRST / IMIST

Propulsé par Koha