Holdings: Modelling, analysis, and design of hybrid systems

Modelling, analysis, and design of hybrid systems:

Saved in:

Bibliographic Details
Format:	Book
Language:	English
Published:	Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London Springer 2002
Series:	Lecture notes in control and information sciences 279
Subjects:	Hybrides System - Systemmodell - Systemanalyse - Systemsynthese - Reglerentwurf - Petri-Netz Automatic control Dynamics Hybrid computers Systems engineering Petri-Netz Reglerentwurf Systemmodell Hybrides System Systemsynthese Systemanalyse
Online Access:	Inhaltsverzeichnis
Physical Description:	Ill.
ISBN:	3540438122

Staff View

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

Record in the Search Index

_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

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Indexes

MARC

Record in the Search Index

There is no print copy available.

Similar Items