Supervisory control on concurrent discrete event systems with variables: Extendet version
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin
Techn. Univ., Fak. IV, Elektrotechnik und Informatik
2006
|
| Schriftenreihe: | Forschungsberichte der Fakultät IV, Elektrotechnik und Informatik
2006,3 |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | V, 66 S. graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV024122131 | ||
| 003 | DE-604 | ||
| 005 | 20090910 | ||
| 007 | t | ||
| 008 | 090924s2006 d||| |||| 00||| eng d | ||
| 035 | |a (OCoLC)637929133 | ||
| 035 | |a (DE-599)BVBBV024122131 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 100 | 1 | |a Gaudin, Benoît |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Supervisory control on concurrent discrete event systems with variables |b Extendet version |c Benoit Gaudin ; Peter H. Deussen |
| 264 | 1 | |a Berlin |b Techn. Univ., Fak. IV, Elektrotechnik und Informatik |c 2006 | |
| 300 | |a V, 66 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Forschungsberichte der Fakultät IV, Elektrotechnik und Informatik |v 2006,3 | |
| 700 | 1 | |a Deussen, Peter H. |d 1962- |e Verfasser |0 (DE-588)124330851 |4 aut | |
| 830 | 0 | |a Forschungsberichte der Fakultät IV, Elektrotechnik und Informatik |v 2006,3 |w (DE-604)BV014139937 |9 2006,3 | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018338853&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-018338853 | ||
Datensatz im Suchindex
| _version_ | 1804140309533163520 |
|---|---|
| adam_text | SUB GOTTINGEN 7 219 374 430 K 2006 B 5659 BENOIT GAUDIN, PETER H.
DEUSSEN SUPERVISORY CONTROL ON CONCURRENT DISCRETE EVENT SYSTEMS WITH
VARIABLES ROTE REIHE BERICHT NR. 2006-03, ISSN 1436 - 9915 TECHNISCHE
UNIVERSITAT BERLIN FAKULTAT IV - ELEKTROTECHNIK UND INFORMATIK
FRANKLINSTRABE 28/29, D-10587 BERLIN MARZ 2006 EMAIL:
BENOIT.GAUDIN@FOKUS.FRAUNHOFER.DE, PETER.DEUSSEN@FOKUS.FRAUNHOFER.DE
CONTENTS INTRODUCTION CHAPTER I. BASIC CONCEPTS 9 1.1. PRELIMINARIES 9
1.2. LANGUAGES 10 1.3. OPERATIONS OVER LANGUAGES 11 1.4. FINITE STATE
MACHINES 13 CHAPTER II. CLASSICAL SUPERVISORY CONTROL ON DISCRETE EIVENT
SYSTEMS 19 II. 1. CONTROLLABILITY 19 11.2. MAXIMAL CONTROLLABLE
LANGUAGES 21 11.3. BASIC SUPERVISORY CONTROL PROBLEM 23 CHAPTER III.
SUPERVISORY CONTROL OF CONCURRENT DISCRETE EIVENT SYSTEMS 25 III. 1.
CONCURRENT DISCRETE EVENT SYSTEM 25 111.2. PARTIAL CONTROLLABILITY 29
111.3. CONTROL OF CONCURRENT DISCRETE EVENT SYSTEMS 30 CHAPTER IV.
CONTROLLABILITY OF PARAMETERIZED LANGUAGES 35 IV. 1. PARAMETERIZED
LANGUAGES 35 IV.2. CONTROLLABILITY 36 IV.3. SUPERVISORY CONTROL ON
CONCURRENT PARAMETERIZED LANGUAGES 37 CHAPTER V. EXTENDED FINITE STATE
MACHINES 43 V.I. SYNTAX AND SEMANTICS 44 V.2. OPERATIONS ON EXTENDED
FINITE STATE MACHINES 47 V.3. SUPERVISORY CONTROL OF EXTENDED FINITE
STATE MACHINES 57 V.4. SUPERVISORY CONTROL OF CONCURRENT SYSTEMS 59 V.5.
ABSTRACT INTERPRETATION 61 BIBLIOGRAPHY 65
|
| any_adam_object | 1 |
| author | Gaudin, Benoît Deussen, Peter H. 1962- |
| author_GND | (DE-588)124330851 |
| author_facet | Gaudin, Benoît Deussen, Peter H. 1962- |
| author_role | aut aut |
| author_sort | Gaudin, Benoît |
| author_variant | b g bg p h d ph phd |
| building | Verbundindex |
| bvnumber | BV024122131 |
| ctrlnum | (OCoLC)637929133 (DE-599)BVBBV024122131 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01301nam a2200289 cb4500</leader><controlfield tag="001">BV024122131</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090910 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">090924s2006 d||| |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)637929133</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV024122131</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Gaudin, Benoît</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Supervisory control on concurrent discrete event systems with variables</subfield><subfield code="b">Extendet version</subfield><subfield code="c">Benoit Gaudin ; Peter H. Deussen</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Techn. Univ., Fak. IV, Elektrotechnik und Informatik</subfield><subfield code="c">2006</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">V, 66 S.</subfield><subfield code="b">graph. Darst.</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Forschungsberichte der Fakultät IV, Elektrotechnik und Informatik</subfield><subfield code="v">2006,3</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Deussen, Peter H.</subfield><subfield code="d">1962-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)124330851</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Forschungsberichte der Fakultät IV, Elektrotechnik und Informatik</subfield><subfield code="v">2006,3</subfield><subfield code="w">(DE-604)BV014139937</subfield><subfield code="9">2006,3</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018338853&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-018338853</subfield></datafield></record></collection> |
| id | DE-604.BV024122131 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T21:57:56Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-018338853 |
| oclc_num | 637929133 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | V, 66 S. graph. Darst. |
| publishDate | 2006 |
| publishDateSearch | 2006 |
| publishDateSort | 2006 |
| publisher | Techn. Univ., Fak. IV, Elektrotechnik und Informatik |
| record_format | marc |
| series | Forschungsberichte der Fakultät IV, Elektrotechnik und Informatik |
| series2 | Forschungsberichte der Fakultät IV, Elektrotechnik und Informatik |
| spelling | Gaudin, Benoît Verfasser aut Supervisory control on concurrent discrete event systems with variables Extendet version Benoit Gaudin ; Peter H. Deussen Berlin Techn. Univ., Fak. IV, Elektrotechnik und Informatik 2006 V, 66 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Forschungsberichte der Fakultät IV, Elektrotechnik und Informatik 2006,3 Deussen, Peter H. 1962- Verfasser (DE-588)124330851 aut Forschungsberichte der Fakultät IV, Elektrotechnik und Informatik 2006,3 (DE-604)BV014139937 2006,3 GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018338853&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Gaudin, Benoît Deussen, Peter H. 1962- Supervisory control on concurrent discrete event systems with variables Extendet version Forschungsberichte der Fakultät IV, Elektrotechnik und Informatik |
| title | Supervisory control on concurrent discrete event systems with variables Extendet version |
| title_auth | Supervisory control on concurrent discrete event systems with variables Extendet version |
| title_exact_search | Supervisory control on concurrent discrete event systems with variables Extendet version |
| title_full | Supervisory control on concurrent discrete event systems with variables Extendet version Benoit Gaudin ; Peter H. Deussen |
| title_fullStr | Supervisory control on concurrent discrete event systems with variables Extendet version Benoit Gaudin ; Peter H. Deussen |
| title_full_unstemmed | Supervisory control on concurrent discrete event systems with variables Extendet version Benoit Gaudin ; Peter H. Deussen |
| title_short | Supervisory control on concurrent discrete event systems with variables |
| title_sort | supervisory control on concurrent discrete event systems with variables extendet version |
| title_sub | Extendet version |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018338853&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014139937 |
| work_keys_str_mv | AT gaudinbenoit supervisorycontrolonconcurrentdiscreteeventsystemswithvariablesextendetversion AT deussenpeterh supervisorycontrolonconcurrentdiscreteeventsystemswithvariablesextendetversion |