skip to content
Control of discrete-event systems : automata and petri net perspectives Preview this item
ClosePreview this item
Checking...

Control of discrete-event systems : automata and petri net perspectives

Author: Carla Seatzu; Manuel Silva; J H van Schuppen
Publisher: London ; New York : Springer, ©2013.
Series: Lecture notes in control and information sciences, 433.
Edition/Format:   eBook : Document : EnglishView all editions and formats
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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Control of discrete-event systems
(NL-LeOCL)35113137X
(OCoLC)897513410
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Carla Seatzu; Manuel Silva; J H van Schuppen
ISBN: 9781447142768 1447142764 1447142756 9781447142751
OCLC Number: 805127661
Description: 1 online resource.
Contents: Modelling of Engineering Phenomena by Finite Automata / Jörg Raisch --
Languages, Decidability, and Complexity / Stefan Haar and Tomáš Masopust --
Supervisory Control with Complete Observations / Tomáš Masopust and Jan H. van Schuppen --
Supervisory Control with Partial Observations / Jan Komenda --
Diagnosis and Automata / Eric Fabre --
Supervisory Control of Distributed Discrete-Event Systems / Jan Komenda, Tomáš Masopust and Jan H. van Schuppen --
An Overview of Synchronous Communication for Control of Decentralized Discrete-Event Systems / Laurie Ricker --
Coordination Control of Distributed Discrete-Event Systems / Jan Komenda, Tomáš Masopust and Jan H. van Schuppen --
An Introduction to Timed Automata / Béatrice Bérard. Introduction to Petri Nets / Maria Paola Cabasino, Alessandro Giua and Carla Seatzu --
Structural Analysis of Petri Nets / Maria Paola Cabasino, Alessandro Giua and Carla Seatzu --
Supervisory Control of Petri Nets with Language Specifications / Alessandro Giua --
Structural Methods for the Control of Discrete Event Dynamic Systems --
The Case of the Resource Allocation Problem / Juan-Pablo López-Grao and José-Manuel Colom --
Diagnosis of Petri Nets / Maria Paola Cabasino, Alessandro Giua and Carla Seatzu --
Diagnosis with Petri Net Unfoldings / Stefan Haar and Eric Fabre --
Petri Nets with Time / Béatrice Bérard, Maria Paola Cabasino, Angela Di Febbraro, Alessandro Giua and Carla Seatzu. The On-Line Diagnosis of Time Petri Nets / René K. Boel and George Jiroveanu --
Introduction to Fluid Petri Nets / C. Renato Vázquez, Cristian Mahulea, Jorge Júlvez and Manuel Silva --
Continuous Petri Nets: Observability and Diagnosis / Cristian Mahulea, Jorge Júlvez, C. Renato Vázquez and Manuel Silva --
Continuous Petri Nets: Controllability and Control / Jorge Júlvez, C. Renato Vázquez, Cristian Mahulea and Manuel Silva --
Discrete-Event Systems in a Dioid Framework: Modeling and Analysis / Thomas Brunsch, Jörg Raisch, Laurent Hardouin and Olivier Boutin --
Discrete-Event Systems in a Dioid Framework: Control Theory / Laurent Hardouin, Olivier Boutin, Bertrand Cottenceau, Thomas Brunsch and Jörg Raisch.
Series Title: Lecture notes in control and information sciences, 433.
Responsibility: Carla Seatzu, and Manuel Silva, Jan H. van Schuppen (eds.).

Abstract:

Providing students with a clear introduction to discrete-event systems, petri nets, automata and max-plus algebra, this volume includes industrial case studies for a rounded assessment of problems in  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/805127661> # Control of discrete-event systems : automata and petri net perspectives
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
    library:oclcnum "805127661" ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
    library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
    schema:about <http://id.worldcat.org/fast/877085> ; # Control theory
    schema:about <http://id.loc.gov/authorities/subjects/sh89001406> ; # Robots--Control systems
    schema:about <http://id.worldcat.org/fast/1099044> ; # Robots--Control systems
    schema:about <http://experiment.worldcat.org/entity/work/data/1118132348#Thing/computer_communication_networks> ; # Computer Communication Networks.
    schema:about <http://experiment.worldcat.org/entity/work/data/1118132348#Topic/ingenierie> ; # Ingénierie
    schema:about <http://experiment.worldcat.org/entity/work/data/1118132348#Thing/systems_theory> ; # Systems theory.
    schema:about <http://dewey.info/class/629.8312/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1118132348#Thing/control> ; # Control.
    schema:about <http://experiment.worldcat.org/entity/work/data/1118132348#Thing/engineering> ; # Engineering.
    schema:about <http://id.worldcat.org/fast/1059237> ; # Petri nets
    schema:about <http://experiment.worldcat.org/entity/work/data/1118132348#Thing/systems_theory_control> ; # Systems Theory, Control.
    schema:about <http://experiment.worldcat.org/entity/work/data/1118132348#Topic/discrete_time_systems_automation> ; # Discrete-time systems--Automation
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/17537445> ; # Manuel Silva
    schema:contributor <http://viaf.org/viaf/167797762> ; # Carla Seatzu
    schema:contributor <http://viaf.org/viaf/38536203> ; # J H van Schuppen
    schema:copyrightYear "2013" ;
    schema:datePublished "2013" ;
    schema:description "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."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1118132348> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/0170-8643> ; # Lecture notes in control and information sciences,
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1118132348#Series/lecture_notes_in_control_and_information_sciences> ; # Lecture notes in control and information sciences ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/897513410> ;
    schema:name "Control of discrete-event systems : automata and petri net perspectives"@en ;
    schema:productID "805127661" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/805127661#PublicationEvent/london_new_york_springer_2013> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1118132348#Agent/springer> ; # Springer
    schema:url <http://dx.doi.org/10.1007/978-1-4471-4276-8> ;
    schema:url <https://login.libproxy.uregina.ca:8443/login?url=https://link.springer.com/openurl?genre=book&isbn=978-1-4471-4275-1> ;
    schema:url <https://login.proxy.lib.strath.ac.uk/login?url=http://link.springer.com/10.1007/978-1-4471-4276-8> ;
    schema:url <https://0-link-springer-com.pugwash.lib.warwick.ac.uk/10.1007/978-1-4471-4276-8> ;
    schema:url <http://site.ebrary.com/id/10656794> ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=3071031> ;
    schema:url <http://proxy.library.carleton.ca/login?url=http://books.scholarsportal.info/viewdoc.html?id=/ebooks/ebooks3/springer/2013-08-13/1/9781447142768> ;
    schema:url <http://ezproxy.eui.eu/login?url=http://dx.doi.org/10.1007/978-1-4471-4276-8> ;
    schema:url <https://link.springer.com/openurl?genre=book&isbn=978-1-4471-4275-1> ;
    schema:url <http://link.springer.com/openurl?genre=book&isbn=978-1-4471-4275-1> ;
    schema:url <http://libproxy.uwyo.edu/login/?url=http://dx.doi.org/10.1007/978-1-4471-4276-8> ;
    schema:url <http://rd.springer.com/openurl?genre=book&isbn=978-1-4471-4275-1> ;
    schema:url <https://grinnell.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-1-4471-4276-8> ;
    schema:url <http://proxy.library.carleton.ca/login?url=http://dx.doi.org/10.1007/978-1-4471-4276-8> ;
    schema:workExample <http://worldcat.org/isbn/9781447142768> ;
    schema:workExample <http://worldcat.org/isbn/9781447142751> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/805127661> ;
    .


Related Entities

<http://dbpedia.org/resource/London> # London
    a schema:Place ;
    schema:name "London" ;
    .

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/1118132348#Series/lecture_notes_in_control_and_information_sciences> # Lecture notes in control and information sciences ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/805127661> ; # Control of discrete-event systems : automata and petri net perspectives
    schema:name "Lecture notes in control and information sciences ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/1118132348#Thing/computer_communication_networks> # Computer Communication Networks.
    a schema:Thing ;
    schema:name "Computer Communication Networks." ;
    .

<http://experiment.worldcat.org/entity/work/data/1118132348#Thing/systems_theory> # Systems theory.
    a schema:Thing ;
    schema:name "Systems theory." ;
    .

<http://experiment.worldcat.org/entity/work/data/1118132348#Thing/systems_theory_control> # Systems Theory, Control.
    a schema:Thing ;
    schema:name "Systems Theory, Control." ;
    .

<http://id.loc.gov/authorities/subjects/sh89001406> # Robots--Control systems
    a schema:Intangible ;
    schema:name "Robots--Control systems"@en ;
    .

<http://id.worldcat.org/fast/1059237> # Petri nets
    a schema:Intangible ;
    schema:name "Petri nets"@en ;
    .

<http://id.worldcat.org/fast/1099044> # Robots--Control systems
    a schema:Intangible ;
    schema:name "Robots--Control systems"@en ;
    .

<http://id.worldcat.org/fast/877085> # Control theory
    a schema:Intangible ;
    schema:name "Control theory"@en ;
    .

<http://link.springer.com/openurl?genre=book&isbn=978-1-4471-4275-1>
    rdfs:comment "Springer eBooks (Engineering 2013)" ;
    .

<http://viaf.org/viaf/167797762> # Carla Seatzu
    a schema:Person ;
    schema:familyName "Seatzu" ;
    schema:givenName "Carla" ;
    schema:name "Carla Seatzu" ;
    .

<http://viaf.org/viaf/17537445> # Manuel Silva
    a schema:Person ;
    schema:familyName "Silva" ;
    schema:givenName "Manuel" ;
    schema:name "Manuel Silva" ;
    .

<http://viaf.org/viaf/38536203> # J H van Schuppen
    a schema:Person ;
    schema:familyName "Schuppen" ;
    schema:givenName "J. H. van" ;
    schema:name "J H van Schuppen" ;
    .

<http://worldcat.org/isbn/9781447142751>
    a schema:ProductModel ;
    schema:isbn "1447142756" ;
    schema:isbn "9781447142751" ;
    .

<http://worldcat.org/isbn/9781447142768>
    a schema:ProductModel ;
    schema:isbn "1447142764" ;
    schema:isbn "9781447142768" ;
    .

<http://worldcat.org/issn/0170-8643> # Lecture notes in control and information sciences,
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/805127661> ; # Control of discrete-event systems : automata and petri net perspectives
    schema:issn "0170-8643" ;
    schema:name "Lecture notes in control and information sciences," ;
    .

<http://www.worldcat.org/oclc/897513410>
    a schema:CreativeWork ;
    rdfs:label "Control of discrete-event systems" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/805127661> ; # Control of discrete-event systems : automata and petri net perspectives
    .

<https://login.libproxy.uregina.ca:8443/login?url=https://link.springer.com/openurl?genre=book&isbn=978-1-4471-4275-1>
    rdfs:comment "Full text available from SpringerLINK eBooks - English/International Collection (2013)" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.