Synthesis and Control of Discrete Event Systems:
This book aims at providing a view of the current trends in the development of research on Synthesis and Control of Discrete Event Systems. Papers col lected in this volume are based on a selection of talks given in June and July 2001 at two independent meetings: the Workshop on Synthesis of Concur...
Gespeichert in:
| Weitere Verfasser: | , , , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
New York, NY
Springer US
2002
|
| Ausgabe: | 1st ed. 2002 |
| Schlagworte: | |
| Online-Zugang: | UBY01 Volltext |
| Zusammenfassung: | This book aims at providing a view of the current trends in the development of research on Synthesis and Control of Discrete Event Systems. Papers col lected in this volume are based on a selection of talks given in June and July 2001 at two independent meetings: the Workshop on Synthesis of Concurrent Systems, held in Newcastle upon Tyne as a satellite event of ICATPN/ICACSD and organized by Ph. Darondeau and L. Lavagno, and the Symposium on the Supervisory Control of Discrete Event Systems (SCODES), held in Paris as a satellite event of CAV and organized by B. Caillaud and X. Xie. Synthesis is a generic term that covers all procedures aiming to construct from specifications given as input objects matching these specifications. The ories and applications of synthesis have been studied and developped for long in connection with logics, programming, automata, discrete event systems, and hardware circuits. Logics and programming are outside the scope of this book, whose focus is on Discrete Event Systems and Supervisory Control. The stress today in this field is on a better applicability of theories and algorithms to prac tical systems design. Coping with decentralization or distribution and caring for an efficient realization of the synthesized systems or controllers are of the utmost importance in areas so diverse as the supervision of embedded or man ufacturing systems, or the implementation of protocols in software or in hard ware |
| Beschreibung: | 1 Online-Ressource (XVI, 220 p) |
| ISBN: | 9781475766561 |
| DOI: | 10.1007/978-1-4757-6656-1 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV047064327 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 201216s2002 |||| o||u| ||||||eng d | ||
| 020 | |a 9781475766561 |9 978-1-4757-6656-1 | ||
| 024 | 7 | |a 10.1007/978-1-4757-6656-1 |2 doi | |
| 035 | |a (ZDB-2-SCS)978-1-4757-6656-1 | ||
| 035 | |a (OCoLC)1227481702 | ||
| 035 | |a (DE-599)BVBBV047064327 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 | ||
| 082 | 0 | |a 004.0151 |2 23 | |
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 245 | 1 | 0 | |a Synthesis and Control of Discrete Event Systems |c edited by Benoît Caillaud, Philippe Darondeau, Luciano Lavagno, Xiaolan Xie |
| 250 | |a 1st ed. 2002 | ||
| 264 | 1 | |a New York, NY |b Springer US |c 2002 | |
| 300 | |a 1 Online-Ressource (XVI, 220 p) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 520 | |a This book aims at providing a view of the current trends in the development of research on Synthesis and Control of Discrete Event Systems. Papers col lected in this volume are based on a selection of talks given in June and July 2001 at two independent meetings: the Workshop on Synthesis of Concurrent Systems, held in Newcastle upon Tyne as a satellite event of ICATPN/ICACSD and organized by Ph. Darondeau and L. Lavagno, and the Symposium on the Supervisory Control of Discrete Event Systems (SCODES), held in Paris as a satellite event of CAV and organized by B. Caillaud and X. Xie. Synthesis is a generic term that covers all procedures aiming to construct from specifications given as input objects matching these specifications. The ories and applications of synthesis have been studied and developped for long in connection with logics, programming, automata, discrete event systems, and hardware circuits. Logics and programming are outside the scope of this book, whose focus is on Discrete Event Systems and Supervisory Control. The stress today in this field is on a better applicability of theories and algorithms to prac tical systems design. Coping with decentralization or distribution and caring for an efficient realization of the synthesized systems or controllers are of the utmost importance in areas so diverse as the supervision of embedded or man ufacturing systems, or the implementation of protocols in software or in hard ware | ||
| 650 | 4 | |a Theory of Computation | |
| 650 | 4 | |a Circuits and Systems | |
| 650 | 4 | |a Computer-Aided Engineering (CAD, CAE) and Design | |
| 650 | 4 | |a Systems Theory, Control | |
| 650 | 4 | |a Manufacturing, Machines, Tools, Processes | |
| 650 | 4 | |a Electrical Engineering | |
| 650 | 4 | |a Computers | |
| 650 | 4 | |a Electronic circuits | |
| 650 | 4 | |a Computer-aided engineering | |
| 650 | 4 | |a System theory | |
| 650 | 4 | |a Manufactures | |
| 650 | 4 | |a Electrical engineering | |
| 650 | 0 | 7 | |a Regelung |0 (DE-588)4048971-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Diskretes Ereignissystem |0 (DE-588)4196828-1 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 689 | 0 | 0 | |a Diskretes Ereignissystem |0 (DE-588)4196828-1 |D s |
| 689 | 0 | 1 | |a Regelung |0 (DE-588)4048971-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Caillaud, Benoît |4 edt | |
| 700 | 1 | |a Darondeau, Philippe |4 edt | |
| 700 | 1 | |a Lavagno, Luciano |4 edt | |
| 700 | 1 | |a Xie, Xiaolan |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9781441949424 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9780792376392 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9781475766578 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-1-4757-6656-1 |x Verlag |z URL des Eerstveröffentlichers |3 Volltext |
| 912 | |a ZDB-2-SCS | ||
| 940 | 1 | |q ZDB-2-SCS_2000/2004 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-032471439 | ||
| 966 | e | |u https://doi.org/10.1007/978-1-4757-6656-1 |l UBY01 |p ZDB-2-SCS |q ZDB-2-SCS_2000/2004 |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804182062195802112 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author2 | Caillaud, Benoît Darondeau, Philippe Lavagno, Luciano Xie, Xiaolan |
| author2_role | edt edt edt edt |
| author2_variant | b c bc p d pd l l ll x x xx |
| author_facet | Caillaud, Benoît Darondeau, Philippe Lavagno, Luciano Xie, Xiaolan |
| building | Verbundindex |
| bvnumber | BV047064327 |
| classification_rvk | ST 130 |
| collection | ZDB-2-SCS |
| ctrlnum | (ZDB-2-SCS)978-1-4757-6656-1 (OCoLC)1227481702 (DE-599)BVBBV047064327 |
| dewey-full | 004.0151 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.0151 |
| dewey-search | 004.0151 |
| dewey-sort | 14.0151 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| doi_str_mv | 10.1007/978-1-4757-6656-1 |
| edition | 1st ed. 2002 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03880nmm a2200661zc 4500</leader><controlfield tag="001">BV047064327</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">201216s2002 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781475766561</subfield><subfield code="9">978-1-4757-6656-1</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-1-4757-6656-1</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)978-1-4757-6656-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1227481702</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV047064327</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Synthesis and Control of Discrete Event Systems</subfield><subfield code="c">edited by Benoît Caillaud, Philippe Darondeau, Luciano Lavagno, Xiaolan Xie</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed. 2002</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York, NY</subfield><subfield code="b">Springer US</subfield><subfield code="c">2002</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XVI, 220 p)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">This book aims at providing a view of the current trends in the development of research on Synthesis and Control of Discrete Event Systems. Papers col lected in this volume are based on a selection of talks given in June and July 2001 at two independent meetings: the Workshop on Synthesis of Concurrent Systems, held in Newcastle upon Tyne as a satellite event of ICATPN/ICACSD and organized by Ph. Darondeau and L. Lavagno, and the Symposium on the Supervisory Control of Discrete Event Systems (SCODES), held in Paris as a satellite event of CAV and organized by B. Caillaud and X. Xie. Synthesis is a generic term that covers all procedures aiming to construct from specifications given as input objects matching these specifications. The ories and applications of synthesis have been studied and developped for long in connection with logics, programming, automata, discrete event systems, and hardware circuits. Logics and programming are outside the scope of this book, whose focus is on Discrete Event Systems and Supervisory Control. The stress today in this field is on a better applicability of theories and algorithms to prac tical systems design. Coping with decentralization or distribution and caring for an efficient realization of the synthesized systems or controllers are of the utmost importance in areas so diverse as the supervision of embedded or man ufacturing systems, or the implementation of protocols in software or in hard ware</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Theory of Computation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Circuits and Systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer-Aided Engineering (CAD, CAE) and Design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Systems Theory, Control</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Manufacturing, Machines, Tools, Processes</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electrical Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computers</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronic circuits</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer-aided engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">System theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Manufactures</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electrical engineering</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Regelung</subfield><subfield code="0">(DE-588)4048971-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Diskretes Ereignissystem</subfield><subfield code="0">(DE-588)4196828-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Diskretes Ereignissystem</subfield><subfield code="0">(DE-588)4196828-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Regelung</subfield><subfield code="0">(DE-588)4048971-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Caillaud, Benoît</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Darondeau, Philippe</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Lavagno, Luciano</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Xie, Xiaolan</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9781441949424</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9780792376392</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9781475766578</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-1-4757-6656-1</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Eerstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2000/2004</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-032471439</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4757-6656-1</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="q">ZDB-2-SCS_2000/2004</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV047064327 |
| illustrated | Not Illustrated |
| index_date | 2024-07-03T16:12:22Z |
| indexdate | 2024-07-10T09:01:34Z |
| institution | BVB |
| isbn | 9781475766561 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-032471439 |
| oclc_num | 1227481702 |
| open_access_boolean | |
| owner | DE-706 |
| owner_facet | DE-706 |
| physical | 1 Online-Ressource (XVI, 220 p) |
| psigel | ZDB-2-SCS ZDB-2-SCS_2000/2004 ZDB-2-SCS ZDB-2-SCS_2000/2004 |
| publishDate | 2002 |
| publishDateSearch | 2002 |
| publishDateSort | 2002 |
| publisher | Springer US |
| record_format | marc |
| spelling | Synthesis and Control of Discrete Event Systems edited by Benoît Caillaud, Philippe Darondeau, Luciano Lavagno, Xiaolan Xie 1st ed. 2002 New York, NY Springer US 2002 1 Online-Ressource (XVI, 220 p) txt rdacontent c rdamedia cr rdacarrier This book aims at providing a view of the current trends in the development of research on Synthesis and Control of Discrete Event Systems. Papers col lected in this volume are based on a selection of talks given in June and July 2001 at two independent meetings: the Workshop on Synthesis of Concurrent Systems, held in Newcastle upon Tyne as a satellite event of ICATPN/ICACSD and organized by Ph. Darondeau and L. Lavagno, and the Symposium on the Supervisory Control of Discrete Event Systems (SCODES), held in Paris as a satellite event of CAV and organized by B. Caillaud and X. Xie. Synthesis is a generic term that covers all procedures aiming to construct from specifications given as input objects matching these specifications. The ories and applications of synthesis have been studied and developped for long in connection with logics, programming, automata, discrete event systems, and hardware circuits. Logics and programming are outside the scope of this book, whose focus is on Discrete Event Systems and Supervisory Control. The stress today in this field is on a better applicability of theories and algorithms to prac tical systems design. Coping with decentralization or distribution and caring for an efficient realization of the synthesized systems or controllers are of the utmost importance in areas so diverse as the supervision of embedded or man ufacturing systems, or the implementation of protocols in software or in hard ware Theory of Computation Circuits and Systems Computer-Aided Engineering (CAD, CAE) and Design Systems Theory, Control Manufacturing, Machines, Tools, Processes Electrical Engineering Computers Electronic circuits Computer-aided engineering System theory Manufactures Electrical engineering Regelung (DE-588)4048971-1 gnd rswk-swf Diskretes Ereignissystem (DE-588)4196828-1 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content Diskretes Ereignissystem (DE-588)4196828-1 s Regelung (DE-588)4048971-1 s DE-604 Caillaud, Benoît edt Darondeau, Philippe edt Lavagno, Luciano edt Xie, Xiaolan edt Erscheint auch als Druck-Ausgabe 9781441949424 Erscheint auch als Druck-Ausgabe 9780792376392 Erscheint auch als Druck-Ausgabe 9781475766578 https://doi.org/10.1007/978-1-4757-6656-1 Verlag URL des Eerstveröffentlichers Volltext |
| spellingShingle | Synthesis and Control of Discrete Event Systems Theory of Computation Circuits and Systems Computer-Aided Engineering (CAD, CAE) and Design Systems Theory, Control Manufacturing, Machines, Tools, Processes Electrical Engineering Computers Electronic circuits Computer-aided engineering System theory Manufactures Electrical engineering Regelung (DE-588)4048971-1 gnd Diskretes Ereignissystem (DE-588)4196828-1 gnd |
| subject_GND | (DE-588)4048971-1 (DE-588)4196828-1 (DE-588)4143413-4 |
| title | Synthesis and Control of Discrete Event Systems |
| title_auth | Synthesis and Control of Discrete Event Systems |
| title_exact_search | Synthesis and Control of Discrete Event Systems |
| title_exact_search_txtP | Synthesis and Control of Discrete Event Systems |
| title_full | Synthesis and Control of Discrete Event Systems edited by Benoît Caillaud, Philippe Darondeau, Luciano Lavagno, Xiaolan Xie |
| title_fullStr | Synthesis and Control of Discrete Event Systems edited by Benoît Caillaud, Philippe Darondeau, Luciano Lavagno, Xiaolan Xie |
| title_full_unstemmed | Synthesis and Control of Discrete Event Systems edited by Benoît Caillaud, Philippe Darondeau, Luciano Lavagno, Xiaolan Xie |
| title_short | Synthesis and Control of Discrete Event Systems |
| title_sort | synthesis and control of discrete event systems |
| topic | Theory of Computation Circuits and Systems Computer-Aided Engineering (CAD, CAE) and Design Systems Theory, Control Manufacturing, Machines, Tools, Processes Electrical Engineering Computers Electronic circuits Computer-aided engineering System theory Manufactures Electrical engineering Regelung (DE-588)4048971-1 gnd Diskretes Ereignissystem (DE-588)4196828-1 gnd |
| topic_facet | Theory of Computation Circuits and Systems Computer-Aided Engineering (CAD, CAE) and Design Systems Theory, Control Manufacturing, Machines, Tools, Processes Electrical Engineering Computers Electronic circuits Computer-aided engineering System theory Manufactures Electrical engineering Regelung Diskretes Ereignissystem Aufsatzsammlung |
| url | https://doi.org/10.1007/978-1-4757-6656-1 |
| work_keys_str_mv | AT caillaudbenoit synthesisandcontrolofdiscreteeventsystems AT darondeauphilippe synthesisandcontrolofdiscreteeventsystems AT lavagnoluciano synthesisandcontrolofdiscreteeventsystems AT xiexiaolan synthesisandcontrolofdiscreteeventsystems |