Coverart for item
The Resource Control of Discrete-Event Systems : Automata and Petri Net Perspectives, edited by Carla Seatzu, Manuel Silva, Jan H. van Schuppen, (electronic resource)

Control of Discrete-Event Systems : Automata and Petri Net Perspectives, edited by Carla Seatzu, Manuel Silva, Jan H. van Schuppen, (electronic resource)

Label
Control of Discrete-Event Systems : Automata and Petri Net Perspectives
Title
Control of Discrete-Event Systems
Title remainder
Automata and Petri Net Perspectives
Statement of responsibility
edited by Carla Seatzu, Manuel Silva, Jan H. van Schuppen
Creator
Contributor
Editor
Subject
Language
eng
Summary
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
http://library.link/vocab/creatorName
Seatzu, Carla
Image bit depth
0
Literary form
non fiction
http://library.link/vocab/relatedWorkOrContributorName
  • Silva, Manuel.
  • van Schuppen, Jan H.
  • SpringerLink (Online service)
Series statement
Springer eBooks.
http://library.link/vocab/subjectName
  • Engineering
  • Computer Communication Networks
  • Systems theory
Label
Control of Discrete-Event Systems : Automata and Petri Net Perspectives, edited by Carla Seatzu, Manuel Silva, Jan H. van Schuppen, (electronic resource)
Link
https://eui.idm.oclc.org/login?url=http://dx.doi.org/10.1007/978-1-4471-4276-8
Instantiates
Publication
Antecedent source
mixed
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier.
Color
not applicable
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent.
Contents
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
Control code
SPRINGER978-1-4471-4276-8
Dimensions
unknown
Extent
XXIV, 480 p. 192 illus.
File format
multiple file formats
Form of item
electronic
Governing access note
Use of this electronic resource may be governed by a license agreement which restricts use to the European University Institute community. Each user is responsible for limiting use to individual, non-commercial purposes, without systematically downloading, distributing, or retaining substantial portions of information, provided that all copyright and other proprietary notices contained on the materials are retained. The use of software, including scripts, agents, or robots, is generally prohibited and may result in the loss of access to these resources for the entire European University Institute community
Isbn
9781447142768
Level of compression
uncompressed
Media category
computer
Media MARC source
rdamedia.
Media type code
  • c
Other control number
10.1007/978-1-4471-4276-8
Other physical details
online resource.
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
  • (Sirsi) i9781447142768
  • (OCoLC)1086451735
Label
Control of Discrete-Event Systems : Automata and Petri Net Perspectives, edited by Carla Seatzu, Manuel Silva, Jan H. van Schuppen, (electronic resource)
Link
https://eui.idm.oclc.org/login?url=http://dx.doi.org/10.1007/978-1-4471-4276-8
Publication
Antecedent source
mixed
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier.
Color
not applicable
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent.
Contents
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
Control code
SPRINGER978-1-4471-4276-8
Dimensions
unknown
Extent
XXIV, 480 p. 192 illus.
File format
multiple file formats
Form of item
electronic
Governing access note
Use of this electronic resource may be governed by a license agreement which restricts use to the European University Institute community. Each user is responsible for limiting use to individual, non-commercial purposes, without systematically downloading, distributing, or retaining substantial portions of information, provided that all copyright and other proprietary notices contained on the materials are retained. The use of software, including scripts, agents, or robots, is generally prohibited and may result in the loss of access to these resources for the entire European University Institute community
Isbn
9781447142768
Level of compression
uncompressed
Media category
computer
Media MARC source
rdamedia.
Media type code
  • c
Other control number
10.1007/978-1-4471-4276-8
Other physical details
online resource.
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
  • (Sirsi) i9781447142768
  • (OCoLC)1086451735

Library Locations

    • Badia FiesolanaBorrow it
      Via dei Roccettini 9, San Domenico di Fiesole, 50014, IT
      43.803074 11.283055
Processing Feedback ...