| 000 -LEADER |
|---|
| fixed length control field |
03424nam a22004455i 4500 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OSt |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20140310143335.0 |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr nn 008mamaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
120726s2013 xxk| s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9781447142768 |
|
978-1-4471-4276-8 |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
629.8 |
| Edition number |
23 |
| 264 #1 - |
|---|
| -- |
London : |
| -- |
Springer London : |
| -- |
Imprint: Springer, |
| -- |
2013. |
| 912 ## - |
|---|
| -- |
ZDB-2-ENG |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Seatzu, Carla. |
| Relator term |
editor. |
| 245 10 - IMMEDIATE SOURCE OF ACQUISITION NOTE |
|---|
| Title |
Control of Discrete-Event Systems |
| Medium |
[electronic resource] : |
| Remainder of title |
Automata and Petri Net Perspectives / |
| Statement of responsibility, etc |
edited by Carla Seatzu, Manuel Silva, Jan H. van Schuppen. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
XXIV, 480 p. 192 illus. |
| Other physical details |
online resource. |
| 440 1# - SERIES STATEMENT/ADDED ENTRY--TITLE |
|---|
| Title |
Lecture Notes in Control and Information Sciences, |
| International Standard Serial Number |
0170-8643 ; |
| Volume number/sequential designation |
433 |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
From the Contents: Part I Modeling of Engineering Phenomena by Finite Automata -- Languages, decidability and Complexity. Languages, Decidability and Complexity -- Supervisory Control with Complete Observation. Supervisory Control with Partial Observation -- Observers with Automata -- Part II Introduction to Petri Nets -- Control of Petri Nets with Language Specifications -- Diagnosis of Petri Nets -- Diagnosis with Unfolding -- Structural Methods for the Control of Discrete-event Systems: The Case of the Resource Allocation Problem -- Timed and Time Nets -- Diagnosis of Petri Nets with Time. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc |
Control of Discrete-event Systems provides a survey of the most important topics in the discrete-event systems theory with particular focus on finite-state automata, Petri nets and max-plus algebra. Coverage ranges from introductory material on the basic notions and definitions of discrete-event systems to more recent results. Special attention is given to results on supervisory control, state estimation and fault diagnosis of both centralized and distributed/decentralized systems developed in the framework of the Distributed Supervisory Control of Large Plants (DISC) project. Later parts of the text are devoted to the study of congested systems though fluidization, an over approximation allowing a much more efficient study of observation and control problems of timed Petri nets. Finally, the max-plus algebraic approach to the analysis and control of choice-free systems is also considered. Control of Discrete-event Systems provides an introduction to discrete-event systems for readers that are not familiar with this class of systems, but also provides an introduction to research problems and open issues of current interest to readers already familiar with them. Most of the material in this book has been presented during a Ph.D. school held in Cagliari, Italy, in June 2011. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Engineering. |
|
|---|
| Topical term or geographic name as entry element |
Computer Communication Networks. |
|
|---|
| Topical term or geographic name as entry element |
Systems theory. |
|
|---|
| Topical term or geographic name as entry element |
Engineering. |
|
|---|
| Topical term or geographic name as entry element |
Control. |
|
|---|
| Topical term or geographic name as entry element |
Computer Communication Networks. |
|
|---|
| Topical term or geographic name as entry element |
Systems Theory, Control. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Silva, Manuel. |
| Relator term |
editor. |
|
|---|
| Personal name |
van Schuppen, Jan H. |
| Relator term |
editor. |
| 710 2# - ADDED ENTRY--CORPORATE NAME |
|---|
| Corporate name or jurisdiction name as entry element |
SpringerLink (Online service) |
| 773 0# - HOST ITEM ENTRY |
|---|
| Title |
Springer eBooks |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Display text |
Printed edition: |
| International Standard Book Number |
9781447142751 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
http://dx.doi.org/10.1007/978-1-4471-4276-8 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Source of classification or shelving scheme |
|
| Item type |
E-Book |
