Modelling, analysis, and design of hybrid systems:
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London
Springer
2002
|
| Schriftenreihe: | Lecture notes in control and information sciences
279 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Ill. |
| ISBN: | 3540438122 |
Internformat
MARC
| LEADER | 00000nam a22000008cb4500 | ||
|---|---|---|---|
| 001 | BV014392957 | ||
| 003 | DE-604 | ||
| 005 | 20020823 | ||
| 007 | t | ||
| 008 | 020618s2002 gw |||| 00||| eng d | ||
| 016 | 7 | |a 96453827X |2 DE-101 | |
| 020 | |a 3540438122 |9 3-540-43812-2 | ||
| 035 | |a (OCoLC)248122005 | ||
| 035 | |a (DE-599)BVBBV014392957 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-739 |a DE-91 |a DE-91G |a DE-824 |a DE-706 |a DE-634 |a DE-83 | ||
| 050 | 0 | |a TJ213 | |
| 082 | 0 | |a 629.8 | |
| 084 | |a SI 845 |0 (DE-625)143198: |2 rvk | ||
| 084 | |a DAT 240f |2 stub | ||
| 084 | |a MSR 600f |2 stub | ||
| 245 | 1 | 0 | |a Modelling, analysis, and design of hybrid systems |c S. Engell ... (ed.) |
| 264 | 1 | |a Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London |b Springer |c 2002 | |
| 300 | |a Ill. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in control and information sciences |v 279 | |
| 490 | 0 | |a Engineering online library | |
| 650 | 4 | |a Hybrides System - Systemmodell - Systemanalyse - Systemsynthese - Reglerentwurf - Petri-Netz | |
| 650 | 4 | |a Automatic control | |
| 650 | 4 | |a Dynamics | |
| 650 | 4 | |a Hybrid computers | |
| 650 | 4 | |a Systems engineering | |
| 650 | 0 | 7 | |a Petri-Netz |0 (DE-588)4045388-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Reglerentwurf |0 (DE-588)4177447-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Systemmodell |0 (DE-588)4304916-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Hybrides System |0 (DE-588)4510314-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Systemsynthese |0 (DE-588)4198909-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Systemanalyse |0 (DE-588)4116673-5 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Hybrides System |0 (DE-588)4510314-8 |D s |
| 689 | 0 | 1 | |a Systemmodell |0 (DE-588)4304916-3 |D s |
| 689 | 0 | 2 | |a Systemanalyse |0 (DE-588)4116673-5 |D s |
| 689 | 0 | 3 | |a Systemsynthese |0 (DE-588)4198909-0 |D s |
| 689 | 0 | 4 | |a Reglerentwurf |0 (DE-588)4177447-4 |D s |
| 689 | 0 | 5 | |a Petri-Netz |0 (DE-588)4045388-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Engell, Sebastian |e Sonstige |4 oth | |
| 830 | 0 | |a Lecture notes in control and information sciences |v 279 |w (DE-604)BV005848579 |9 279 | |
| 856 | 4 | 2 | |m SWB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009852499&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-009852499 | ||
Datensatz im Suchindex
| _version_ | 1804129262511325184 |
|---|---|
| adam_text | CONTENTS PART I. MODELING WHAT IS A HYBRID SYSTEM?
........................................ 3 JAN LUNZE DESCRIPTION OF
HYBRID SYSTEMS BY MODIFIED PETRI NETS ................. 15 RAINER DRATH
MODEL BASED DEVELOPMENT OF HYBRID SYSTEMS: SPECIFICATION, SIMULATION,
TEST CASE GENERATION ...................... 37 KLAUS BENDER, MANFRED
BROY, ISTV´AN P´ETER, ALEXANDER PRETSCHNER, THOMAS STAUNER HYBRID
MODELING OF COMPLEX PROCESS CONTROL FUNCTION BLOCKS ......... 53 ANSGAR
M¨UNNEMANN, UDO ENSTE, ULRICH EPPLE DISCRETE MODELS FOR HYBRID SYSTEMS
................................ 67 JAN LUNZE, J¨ORG RAISCH PART II.
SIMULATION AN ENVIRONMENT FOR THE INTEGRATED MODELLING OF SYSTEMS WITH
COMPLEX CONTINUOUS AND DISCRETE DYNAMICS ........................ 83
MANUEL A. PEREIRA REMELHE, SEBASTIAN ENGELL, MARTIN OTTER, ANDR´E
DEPARADE, PIETER J. MOSTERMAN A DEVS-BASED APPROACH FOR MODELING AND
SIMULATION OF HYBRID VARIABLE STRUCTURE SYSTEMS
................................. 107 THORSTEN PAWLETTA, BERNHARD LAMPE,
SVEN PAWLETTA, WOLFGANG DREWELOW OBJECT-ORIENTED DEVELOPMENT OF
SIMULATION MODELS FOR COMPLEX HYBRID SYSTEMS
......................................... 131 ANDR´E NORDWIG PART III.
ANALYSIS AND VERIFICATION INTRODUCTION TO THE ANALYSIS AND VERIFICATION
OF HYBRID SYSTEMS ........ 153 STEFAN KOWALEWSKI XII PREFACE
REACHABILITY ANALYSIS AND CONTROL OF A SPECIAL CLASS OF HYBRID SYSTEMS
.. 173 GERO NENNINGER, GORAN FREHSE, VOLKER KREBS PERFORMANCE MODELS FOR
A HYBRID REACTOR SYSTEM .................... 193 KATINKA WOLTER, ANDREA
ZISOWSKY, G¨ UNTER HOMMEL USING PARAMETERIZED TIMESTAMP PETRI NETS IN
AUTOMATIC CONTROL ....... 211 CARLO SIMON, KURT LAUTENBACH, HANS-MICHAEL
HANISCH, JAN THIEME COMPOSITIONAL VERIFICATION OF CONTINUOUS-DISCRETE
SYSTEMS ............ 225 RALF HUUCK, BEN LUKOSCHUS, GORAN FREHSE,
SEBASTIAN ENGELL PART IV. CONTROLLER SYNTHESIS ABSTRACTION BASED
SUPERVISORY CONTROLLER SYNTHESIS FOR HIGH ORDER MONOTONE CONTINUOUS
SYSTEMS ......................... 247 THOMAS MOOR, J¨ ORG RAISCH HYBRID
RECONFIGURABLE CONTROL .................................... 267 JAN
LUNZE, THOMAS STEFFEN AUTOMATIC DESIGN OF CONTROLLERS FOR HYBRID SYSTEMS
USING GENETIC ALGORITHMS ..............................................
285 STEFAN WEGELE, ECKEHARD SCHNIEDER, MOURAD CHOUIKHA SYNTHESIS OF A
DISCRETE CONTROL FOR HYBRID SYSTEMS BY MEANS OF A PETRI-NET-STATE-MODEL
.................................. 295 CHRISTIAN M¨ ULLER, PHILIPP ORTH,
DIRK ABEL, HEINRICH RAKE NONLINEAR HYBRID DYNAMICAL SYSTEMS: MODELING,
OPTIMAL CONTROL, AND APPLICATIONS ........................ 311 MARTIN
BUSS, MARKUS GLOCKER, MICHAEL HARDT, OSKAR VON STRYK, ROLAND BULIRSCH,
G¨ UNTHER SCHMIDT GENERATION OF OPTIMAL CONTROL POLICIES FOR SYSTEMS
WITH SWITCHED HYBRID DYNAMICS .......................................
337 OLAF STURSBERG, SEBASTIAN PANEK, JOCHEN TILL, SEBASTIAN ENGELL PART
V. APPLICATIONS DEFINITION OF A TYPE OF CONTINUOUS-DISCRETE HIGH-LEVEL
PETRI NETS AND ITS APPLICATION TO THE PERFORMANCE ANALYSIS OF TRAIN
PROTECTION SYSTEMS .... 355 GEBHARD DECKNATEL, ROMAN SLOV´ AK, ECKEHARD
SCHNIEDER PREFACE XIII SIMULATION FOR ANALYSIS OF AIRCRAFT ELEVATOR
FEEDBACK AND REDUNDANCY CONTROL
............................................. 369 PIETER J. MOSTERMAN,
MANUEL A. PEREIRA REMELHE, SEBASTIAN ENGELL, MARTIN OTTER DEVELOPMENT OF
HYBRID COMPONENT MODELS FOR ONLINE MONITORING OF COMPLEX DYNAMIC SYSTEMS
....................................... 391 SUSANNE MANZ, PETER G¨ OHNER
MODELLING AND SIMULATION OF CONTROLLED ROAD TRAFFIC .................
419 OLAF CZOGALLA, ROBERT HOYER, ULRICH JUMAR HYBRID CONTROL OF
MULTI-FINGERED DEXTROUS ROBOTIC HANDS ............. 437 THOMAS SCHLEGL,
MARTIN BUSS, G¨ UNTHER SCHMIDT REFERENCES
..................................................... 467 INDEX
.......................................................... 501
|
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV014392957 |
| callnumber-first | T - Technology |
| callnumber-label | TJ213 |
| callnumber-raw | TJ213 |
| callnumber-search | TJ213 |
| callnumber-sort | TJ 3213 |
| callnumber-subject | TJ - Mechanical Engineering and Machinery |
| classification_rvk | SI 845 |
| classification_tum | DAT 240f MSR 600f |
| ctrlnum | (OCoLC)248122005 (DE-599)BVBBV014392957 |
| dewey-full | 629.8 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 629 - Other branches of engineering |
| dewey-raw | 629.8 |
| dewey-search | 629.8 |
| dewey-sort | 3629.8 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Informatik Mathematik Mess-/Steuerungs-/Regelungs-/Automatisierungstechnik Mess-/Steuerungs-/Regelungs-/Automatisierungstechnik / Mechatronik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02419nam a22006018cb4500</leader><controlfield tag="001">BV014392957</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20020823 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">020618s2002 gw |||| 00||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">96453827X</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540438122</subfield><subfield code="9">3-540-43812-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)248122005</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV014392957</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">TJ213</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">629.8</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SI 845</subfield><subfield code="0">(DE-625)143198:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 240f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MSR 600f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Modelling, analysis, and design of hybrid systems</subfield><subfield code="c">S. Engell ... (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London</subfield><subfield code="b">Springer</subfield><subfield code="c">2002</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">Ill.</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">Lecture notes in control and information sciences</subfield><subfield code="v">279</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Engineering online library</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Hybrides System - Systemmodell - Systemanalyse - Systemsynthese - Reglerentwurf - Petri-Netz</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Automatic control</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Dynamics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Hybrid computers</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Systems engineering</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Petri-Netz</subfield><subfield code="0">(DE-588)4045388-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Reglerentwurf</subfield><subfield code="0">(DE-588)4177447-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Systemmodell</subfield><subfield code="0">(DE-588)4304916-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Hybrides System</subfield><subfield code="0">(DE-588)4510314-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Systemsynthese</subfield><subfield code="0">(DE-588)4198909-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Systemanalyse</subfield><subfield code="0">(DE-588)4116673-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Hybrides System</subfield><subfield code="0">(DE-588)4510314-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Systemmodell</subfield><subfield code="0">(DE-588)4304916-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Systemanalyse</subfield><subfield code="0">(DE-588)4116673-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Systemsynthese</subfield><subfield code="0">(DE-588)4198909-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Reglerentwurf</subfield><subfield code="0">(DE-588)4177447-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="5"><subfield code="a">Petri-Netz</subfield><subfield code="0">(DE-588)4045388-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">Engell, Sebastian</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in control and information sciences</subfield><subfield code="v">279</subfield><subfield code="w">(DE-604)BV005848579</subfield><subfield code="9">279</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">SWB 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=009852499&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-009852499</subfield></datafield></record></collection> |
| id | DE-604.BV014392957 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T19:02:21Z |
| institution | BVB |
| isbn | 3540438122 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009852499 |
| oclc_num | 248122005 |
| open_access_boolean | |
| owner | DE-739 DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-824 DE-706 DE-634 DE-83 |
| owner_facet | DE-739 DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-824 DE-706 DE-634 DE-83 |
| physical | Ill. |
| publishDate | 2002 |
| publishDateSearch | 2002 |
| publishDateSort | 2002 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in control and information sciences |
| series2 | Lecture notes in control and information sciences Engineering online library |
| spelling | Modelling, analysis, and design of hybrid systems S. Engell ... (ed.) Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London Springer 2002 Ill. txt rdacontent n rdamedia nc rdacarrier Lecture notes in control and information sciences 279 Engineering online library Hybrides System - Systemmodell - Systemanalyse - Systemsynthese - Reglerentwurf - Petri-Netz Automatic control Dynamics Hybrid computers Systems engineering Petri-Netz (DE-588)4045388-1 gnd rswk-swf Reglerentwurf (DE-588)4177447-4 gnd rswk-swf Systemmodell (DE-588)4304916-3 gnd rswk-swf Hybrides System (DE-588)4510314-8 gnd rswk-swf Systemsynthese (DE-588)4198909-0 gnd rswk-swf Systemanalyse (DE-588)4116673-5 gnd rswk-swf Hybrides System (DE-588)4510314-8 s Systemmodell (DE-588)4304916-3 s Systemanalyse (DE-588)4116673-5 s Systemsynthese (DE-588)4198909-0 s Reglerentwurf (DE-588)4177447-4 s Petri-Netz (DE-588)4045388-1 s DE-604 Engell, Sebastian Sonstige oth Lecture notes in control and information sciences 279 (DE-604)BV005848579 279 SWB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009852499&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Modelling, analysis, and design of hybrid systems Lecture notes in control and information sciences Hybrides System - Systemmodell - Systemanalyse - Systemsynthese - Reglerentwurf - Petri-Netz Automatic control Dynamics Hybrid computers Systems engineering Petri-Netz (DE-588)4045388-1 gnd Reglerentwurf (DE-588)4177447-4 gnd Systemmodell (DE-588)4304916-3 gnd Hybrides System (DE-588)4510314-8 gnd Systemsynthese (DE-588)4198909-0 gnd Systemanalyse (DE-588)4116673-5 gnd |
| subject_GND | (DE-588)4045388-1 (DE-588)4177447-4 (DE-588)4304916-3 (DE-588)4510314-8 (DE-588)4198909-0 (DE-588)4116673-5 |
| title | Modelling, analysis, and design of hybrid systems |
| title_auth | Modelling, analysis, and design of hybrid systems |
| title_exact_search | Modelling, analysis, and design of hybrid systems |
| title_full | Modelling, analysis, and design of hybrid systems S. Engell ... (ed.) |
| title_fullStr | Modelling, analysis, and design of hybrid systems S. Engell ... (ed.) |
| title_full_unstemmed | Modelling, analysis, and design of hybrid systems S. Engell ... (ed.) |
| title_short | Modelling, analysis, and design of hybrid systems |
| title_sort | modelling analysis and design of hybrid systems |
| topic | Hybrides System - Systemmodell - Systemanalyse - Systemsynthese - Reglerentwurf - Petri-Netz Automatic control Dynamics Hybrid computers Systems engineering Petri-Netz (DE-588)4045388-1 gnd Reglerentwurf (DE-588)4177447-4 gnd Systemmodell (DE-588)4304916-3 gnd Hybrides System (DE-588)4510314-8 gnd Systemsynthese (DE-588)4198909-0 gnd Systemanalyse (DE-588)4116673-5 gnd |
| topic_facet | Hybrides System - Systemmodell - Systemanalyse - Systemsynthese - Reglerentwurf - Petri-Netz Automatic control Dynamics Hybrid computers Systems engineering Petri-Netz Reglerentwurf Systemmodell Hybrides System Systemsynthese Systemanalyse |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009852499&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV005848579 |
| work_keys_str_mv | AT engellsebastian modellinganalysisanddesignofhybridsystems |