Theory of modeling and simulation: integrating discrete event and continuous complex dynamic systems
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
San Diego, Calif. [u.a.]
Academic Press
2000
|
| Ausgabe: | 2. ed. |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Hier auch später erschienene, unveränderte Nachdrucke |
| Beschreibung: | XXI, 510 S. graph. Darst. |
| ISBN: | 0127784551 9780127784557 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV013070024 | ||
| 003 | DE-604 | ||
| 005 | 20121019 | ||
| 007 | t | ||
| 008 | 000328s2000 d||| |||| 00||| eng d | ||
| 020 | |a 0127784551 |9 0-12-778455-1 | ||
| 020 | |a 9780127784557 |9 978-0-12-778455-7 | ||
| 035 | |a (OCoLC)264784680 | ||
| 035 | |a (DE-599)BVBBV013070024 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-703 |a DE-859 |a DE-29T |a DE-634 |a DE-83 |a DE-188 |a DE-M347 |a DE-706 | ||
| 084 | |a QH 444 |0 (DE-625)141591: |2 rvk | ||
| 084 | |a ST 340 |0 (DE-625)143665: |2 rvk | ||
| 084 | |a DAT 780f |2 stub | ||
| 084 | |a MAT 344f |2 stub | ||
| 100 | 1 | |a Zeigler, Bernard P. |d 1940- |e Verfasser |0 (DE-588)172471893 |4 aut | |
| 245 | 1 | 0 | |a Theory of modeling and simulation |b integrating discrete event and continuous complex dynamic systems |c Bernard P. Zeigler ; Herbert Praehofer ; Tag Gon Kim |
| 246 | 1 | 3 | |a Theory of modelling and simulation |
| 250 | |a 2. ed. | ||
| 264 | 1 | |a San Diego, Calif. [u.a.] |b Academic Press |c 2000 | |
| 300 | |a XXI, 510 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Hier auch später erschienene, unveränderte Nachdrucke | ||
| 650 | 0 | 7 | |a Modellierung |0 (DE-588)4170297-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Simulation |0 (DE-588)4055072-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Dynamisches System |0 (DE-588)4013396-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Methode |0 (DE-588)4155620-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Diskretes Ereignissystem |0 (DE-588)4196828-1 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Dynamisches System |0 (DE-588)4013396-5 |D s |
| 689 | 0 | 1 | |a Diskretes Ereignissystem |0 (DE-588)4196828-1 |D s |
| 689 | 0 | 2 | |a Modellierung |0 (DE-588)4170297-9 |D s |
| 689 | 0 | 3 | |a Simulation |0 (DE-588)4055072-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Simulation |0 (DE-588)4055072-2 |D s |
| 689 | 1 | 1 | |a Mathematische Methode |0 (DE-588)4155620-3 |D s |
| 689 | 1 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Prähofer, Herbert |e Verfasser |4 aut | |
| 700 | 1 | |a Kim, Tag Gon |e Verfasser |4 aut | |
| 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=008904620&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-008904620 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804127767520870400 |
|---|---|
| adam_text | THEORY OF MODELING AND SIMULATION INTEGRATING DISCRETE EVENT AND
CONTINUOUS COMPLEX DYNAMIC SYSTEMS SECOND EDITION BERNARD P. ZEIGLER
ELECTRICAL AND COMPUTER ENGINEERING DEPARTMENT UNIVERSITY OF ARIZONA
TUCSON, ARIZONA HERBERT PRAEHOFER INSTITUTE OF SYSTEMS SCIENCE JOHANNES
KEPLER UNIVERSITY LINZ, AUSTRIA TAG GON KIM DEPARTMENT OF ELECTRICAL
ENGINEERING KOREA ADVANCED INSTITUTE OF SCIENCE AND TECHNOLOGY TAEJON,
KOREA ACADEMIC PRESS A HARCOURT SCIENCE AND TECHNOLOGY COMPANY SAN DIEGO
SAN FRANCISCO NEW YORK BOSTON LONDON SYDNEY TOKYO CONTENTS I PREFACE TO
FIRST EDITION XVII PREFACE TO SECOND EDITION XIX ACKNOWLEDGMENTS XXI
PART I: BASICS 1 CHAPTER 1 INTRODUCTION TO SYSTEMS MODELING CONCEPTS 3
1.1 SYSTEMS SPECIFICATION FORMALISMS 3 1.1.1 RELATION TO OBJECT
ORIENTATION 5 1.1.2 EVOLUTION OF SYSTEMS FORMALISMS 6 1.1.3 COMBINING
CONTINUOUS AND DISCRETE FORMALISMS 7 1.1.4 QUANTIZED SYSTEMS 8 1.1.5
EXTENSIONS OF DEVS 9 1.2 LEVELS OF SYSTEM KNOWLEDGE 11 1.3 INTRODUCTION
TO THE HIERARCHY OF SYSTEMS SPECIFICATIONS 13 1.4 THE SPECIFICATION
LEVELS INFORMALLY PRESENTED 14 1.4.1 OBSERVATION FRAME 14 1.4.2 I/O
BEHAVIOR AND I/O FUNCTION 16 1.4.3 STATE TRANSITION SYSTEM SPECIFICATION
17 1.4.4 COUPLED COMPONENT SYSTEM SPECIFICATION 18 1.5 SYSTEM
SPECIFICATION MORPHISMS: BASIC CONCEPTS 18 1.6 SUMMARY 21 1.7 SOURCES 22
DEFINITIONS, ACRONYMS, ABBREVIATIONS 23 CHAPTER 2 FRAMEWORK FOR MODELING
AND SIMULATION 25 2.1 THE ENTITIES OF THE FRAMEWORK 25 2.1.1 SOURCE
SYSTEM 25 2.1.2 EXPERIMENTAL FRAME 27 2.1.3 MODEL . 29 2.1.4 SIMULATOR
30 2.2 PRIMARY RELATIONS AMONG ENTITIES 30 2.2.1 MODELING RELATION:
VALIDITY 30 2.2.2 SIMULATION RELATION: SIMULATOR CORRECTNESS 32 2.3
OTHER IMPORTANT RELATIONSHIPS 32 2.3.1 MODELING AS VALID SIMPLIFICATION
32 2.3.2 EXPERIMENTAL FRAME: MODEL RELATIONSHIPS 33 2.4 TIME 34 2.5
SUMMARY 35 2.6 SOURCES 36 VII VIII CONTENTS CHAPTER 3 MODELING
FORMALISMS AND THEIR SIMULATORS 37 3.1 INTRODUCTION 37 3.2 DISCRETE TIME
MODELS AND THEIR SIMULATORS 37 3.2.1 DISCRETE TIME SIMULATION 39 3.2.2
CELLULAR AUTOMATA 40 3.2.3 CELLULAR AUTOMATON SIMULATION ALGORITHMS 43
3.2.4 DISCRETE EVENT APPROACH TO CELLULAR AUTOMATON SIMULATION 44 3.2.5
SWITCHING AUTOMATA/SEQUENTIAL MACHINES 45 3.2.6 LINEAR DISCRETE TIME
NETWORKS AND THEIR STATE BEHAVIOR 47 3.3 DIFFERENTIAL EQUATION MODELS
AND THEIR SIMULATORS 49 3.3.1 CONTINUOUS SYSTEM SIMULATION 50 3.3.2
FEEDBACK IN CONTINUOUS SYSTEMS 55 3.3.3 ELEMENTARY LINEAR SYSTEMS 56
3.3.4 NONLINEAR OSCILLATORS: LIMIT CYCLES AND CHAOTIC BEHAVIORS 61 3.3.5
CONTINUOUS SYSTEM SIMULATION LANGUAGES AND SYSTEMS 64 3.4 DISCRETE EVENT
MODELS AND THEIR SIMULATORS 66 3.4.1 INTRODUCTION 66 3.4.2 DISCRETE
EVENT CELLULAR AUTOMATA 67 3.4.3 DISCRETE EVENT WORLD VIEWS 70 3.5
SUMMARY 72 3.6 SOURCES 73 CHAPTER 4 INTRODUCTION TO DISCRETE EVENT
SYSTEM SPECIFICATIONS (DEVS) 75 4.1 INTRODUCTION 75 4.2 CLASSIC DEVS
SYSTEM SPECIFICATION 75 4.2.1 DEVS EXAMPLES 77 4.2.2 CLASSIC DEVS WITH
PORTS 84 4.2.3 CLASSIC DEVS COUPLED MODELS 85 4.3 PARALLEL DEVS SYSTEM
SPECIFICATION 89 4.3.1 PROCESSOR WITH BUFFER 90 4.3.2 PARALLEL DEVS
COUPLED MODELS 91 4.4 HIERARCHICAL MODELS 93 4.5 OBJECT-ORIENTED
IMPLEMENTATIONS OF DEVS: AN INTRODUCTION 93 4.5.1 STRUCTURAL INHERITANCE
94 4.6 SUMMARY 96 4.7 SOURCES 96 CHAPTER 5 HIERARCHY OF SYSTEM
SPECIFICATIONS 99 5.1 TIME BASE 99 5.2 SEGMENTS AND TRAJECTORIES 100
5.2.1 PIECEWISE CONTINUOUS SEGMENTS 102 5.2.2 PIECEWISE CONSTANT
SEGMENTS 103 5.2.3 EVENT SEGMENTS 103 5.2.4 SEQUENCES 104 CONTENTS IX
5.3 I/O OBSERVATION FRAME 104 5.4 I/O RELATION OBSERVATION 105 5.5 I/O
FUNCTION OBSERVATION 107 5.6 I/O SYSTEM 108 5.6.1 GOING FROM SYSTEM
STRUCTURE TO BEHAVIOR 110 5.6.2 TIME-INVARIANT SYSTEMS 112 5.6.3 SPECIAL
CASES: INPUT-FREE AND MEMORYLESS SYSTEMS 115 5.7 ITERATIVE SPECIFICATION
OF SYSTEMS 116 5.7.1 GENERATOR SEGMENTS 117 5.7.2 GENERATOR STATE
TRANSITION SYSTEMS 120 5.8 MULTIVARIABLE SETS AND STRUCTURED SYSTEMS 123
5.9 MULTICOMPONENT SYSTEM SPECIFICATION 125 5.10 NETWORK OF SYSTEM
SPECIFICATIONS (COUPLED SYSTEMS) 127 5.10.1 COUPLED SYSTEM SPECIFICATION
128 5.10.2 COUPLED SYSTEM SPECIFICATION AT THE STRUCTURED SYSTEM LEVEL
129 5.11 SUMMARY 131 5.12 SOURCES 133 PART II MODELING FORMALISMS AND
SIMULATION ALGORITHMS 135 CHAPTER 6 BASIC FORMALISMS: DEVS, DTSS, DESS
137 6.1 BASIC SYSTEM SPECIFICATION FORMALISMS 137 6.2 DISCRETE EVENT
SYSTEM SPECIFICATIONS (DEVS) 138 6.2.1 CLASSIC DEVS 138 6.2.2 STRUCTURE
SPECIFIED BY DEVS 139 6.2.3 LEGITIMACY: WHEN IS THE STRUCTURE SPECIFIED
BY A DEVS REALLY A SYSTEM? 141 6.3 PARALLEL DEVS 142 6.3.1 SYSTEM
SPECIFIED BY PARALLEL DEVS 144 6.4 DISCRETE TIME SYSTEM SPECIFICATION
(DTSS) 144 6.5 DIFFERENTIAL EQUATION SYSTEM SPECIFICATION (DESS) 146 6.6
SUMMARY 147 CHAPTER 7 BASIC FORMALISMS: COUPLED MULTICOMPONENT SYSTEMS
149 7.1 DISCRETE EVENT SPECIFIED NETWORK FORMALISM 149 7.1.1 CLASSIC
DEVS COUPLED MODELS 150 7.1.2 PARALLEL DEVS COUPLED MODELS 152 7.2
MULTICOMPONENT DISCRETE EVENT SYSTEM FORMALISM 155 7.2.1 EVENT
SCHEDULING MODELS 159 7.2.2 COMBINED EVENT SCHEDULING, ACTIVITY SCANNING
SIMULATION STRATEGY .159 7.2.3 PROCESS INTERACTION MODELS 161 7.2.4
TRANSLATING NONMODULAR MULTICOMPONENT DEVS MODELS INTO MODULAR FORM 161
7.2.5 STATE UPDATING IN DISTRIBUTED SIMULATION 162 X CONTENTS 7.3
DISCRETE TIME SPECIFIED NETWORK FORMALISM 163 7.4 MULTICOMPONENT
DISCRETE TIME SYSTEM FORMALISM 166 7.5 DIFFERENTIAL EQUATION SPECIFIED
NETWORK FORMALISM 168 7.6 MULTICOMPONENT DIFFERENTIAL EQUATIONS
SPECIFIED SYSTEM FORMALISM 169 7.7 SUMMARY 171 7.8 SOURCES 172 APPENDIX
173 CHAPTER 8 SIMULATORS FOR BASIC FORMALISMS 175 8.1 SIMULATORS FOR
DEVS 176 8.1.1 SIMULATOR FOR BASIC DEVS 177 8.1.2 SIMULATORS FOR MODULAR
DEVS NETWORKS 180 8.1.3 THE ROOT-COORDINATOR 184 8.2 DEVS BUS 184 8.2.1
SIMULATOR FOR EVENT SCHEDULING MULTICOMPONENT DEVS 185 8.2.2 SIMULATOR
FOR ACTIVITY SCANNING AND PROCESS INTERACTION MULTICOMPONENT DEVS 187
8.3 SIMULATORS FOR DTSS 189 8.3.1 SIMULATOR FOR ATOMIC DTSS 190 8.3.2
SIMULATOR FOR INSTANTANEOUS FUNCTIONS 192 8.3.3 SIMULATOR FOR NONMODULAR
MULTICOMPONENT DTSS 192 8.3.4 SIMULATORS FOR COUPLED DTSS 193 8.3.5 THE
ROOT-COORDINATOR 196 8.4 SIMULATORS FOR DESS 197 8.4.1 CAUSAL SIMULATOR
FOR DESS 197 8.4.2 NONCAUSAL SIMULATOR FOR DESS 198 8.5 SUMMARY 201 8.6
SOURCES 201 CHAPTER 9 MULTIFORMALISM MODELING AND SIMULATION 203 9.1
BRIEF INTRODUCTION TO SPECIALIZED FORMALISMS 203 9.1.1 DESS
SUBFORMALISMS: SYSTEMS DYNAMICS AND BOND GRAPHS 203 9.1.2 DEVS
SUBFORMALISMS: PETRI NETS AND STATECHARTS 204 9.2 MULTIFORMALISM
MODELING 206 9.3 DEV&DESS: COMBINED DISCRETE EVENT AND DIFFERENTIAL
EQUATION SPECIFIED SYSTEMS 208 9.3.1 A SIMPLE EXAMPLE: DEV&DESS MODEL OF
A BARREL FILLER 210 9.3.2 SYSTEM SPECIFIED BY A DEV&DESS 213 9.4
MULTIMODELING WITH DEV&DESS 214 9.4.1 EXAMPLE: POT SYSTEM WITH COMMAND
INPUTS AND THRESHOLD VALUE OUTPUTS 216 9.5 COUPLED DEV&DESS: NETWORK OF
MULTIFORMALISM MODELS 217 9.5.1 BASIC FORMALISMS ARE SUBSUMED BY
DEV&DESS 217 9.5.2 COUPLED DEV&DESS FORMALISM 219 CONTENTS XI 9.6
SIMULATOR FOR DEVS&DESS 222 9.6.1 THE DEV&DESS-SIMULATOR AND-COORDINATOR
223 9.6.2 INTEGRATING DIFFERENT MODELING FORMALISMS 226 9.7 - SOURCES
227 APPENDIX A: THE SYSTEM SPECIFIED BY A DEV&DESS 229 APPENDIX B: THE
SYSTEM SPECIFIED BY A MULTIFORMALISM SYSTEM-CLOSURE UNDER COUPLING OF
NETWORKS OF DEV&DESS 231 CHAPTER 10 DEVS-BASED EXTENDED FORMALISMS 233
10.1 STOCHASTIC SYSTEMS: CONVENTIONAL APPROACH TO UNCERTAINTY 233 10.2
DSDEVS (DYNAMIC STRUCTURE DEVS) 235 10.2.1 DSDEVS CLOSURE UNDER COUPLING
237 10.2.2 EXAMPLE: ADAPTIVE PROCESSING ARCHITECTURES 237 10.3 SYMBOLIC
DEVS 240 10.3.1 SYMBOLIC DEVS COUPLED MODELS 241 10.3.2 EXAMPLE:
PERFORMANCE EVALUATION OF BASIC ARCHITECTURES 241 10.4 FUZZY DEVS 244
10.4.1 BASIC FUZZY DEVS FORMALISM 247 10.4.2 EMBEDDING FUZZY DEVS IN
DEVS 250 10.4.3 EXAMPLE: FUZZY DEVS MODEL FOR BOILER SYSTEM 251 10.5
REAL-TIME DEVS (RT-DEVS) 252 10.5.1 FORMAL SPECIFICATION OF REAL-TIME
DEVS MODELS 252 10.5.2 EXECUTION OF RT-DEVS MODELS 253 10.5.3 EXAMPLE OF
RT-DEVS: ELEVATOR CONTROL 254 10.5.4 REAL-TIME SIMULATION AND RT-DEVS
257 10.6 SUMMARY 259 10.7 SOURCES 259 CHAPTER 11 PARALLEL AND
DISTRIBUTED DISCRETE EVENT SIMULATION 261 11.1 PROBLEM CHARACTERIZATION
OF PARALLEL DISCRETE EVENT SIMULATION 262 11.2 CONSERVATIVE PARALLEL
DISCRETE EVENT SIMULATION 264 11.2.1 CONSERVATIVE PARALLEL DEVS
SIMULATOR 268 11.3 OPTIMISTIC PARALLEL DISCRETE EVENT SIMULATION 273
11.3.1 TIME-WARP DEVS SIMULATOR 275 11.3.2 RISKFREE OPTIMISTIC DEVS
SIMULATOR 281 11.4 PARALLEL DEVS SIMULATOR 284 11.5 SUMMARY 287 11.6
SOURCES 287 PART III SYSTEM MORPHISMS: ABSTRACTION, REPRESENTATION,
APPROXIMATION 293 CHAPTER 12 HIERARCHY OF SYSTEM MORPHISMS 295 12.1 THE
I/O FRAME MORPHISM 297 12.2 THE I/O RELATION OBSERVATION MORPHISM 297
XII CONTENTS 12.3 THE I/O FUNCTION MORPHISM 298 12.3.1 IOFO SYSTEM
MORPHISM IMPLIES IORO SYSTEM MORPHISM 300 12.4 THE I/O SYSTEM MORPHISM
301 12.4.1 I/O SYSTEM MORPHISM IMPLIES IOFO AND IORO MORPHISM 302 12.4.2
THE LATTICE OF PARTITIONS AND THE REDUCED VERSION OF A SYSTEM 305 12.5
SYSTEM MORPHISM FOR ITERATIVELY SPECIFIED SYSTEMS 308 12.5.1 ITERATIVE
SPECIFICATION MORPHISM IMPLIES I/O SYSTEM MORPHISM 309 12.5.2
SPECIALIZATION OF MORPHISMS FOR ITERATIVELY SPECIFIED SYSTEMS 310 12.6
THE STRUCTURED SYSTEM MORPHISM 311 12.7 MULTICOMPONENT SYSTEM MORPHISM
314 12.8 THE NETWORK OF SYSTEMS MORPHISM 317 12.9 HOMOMORPHISM AND
CASCADE DECOMPOSITIONS 320 12.10 CHARACTERIZATION OF REALIZABLE I/O
RELATIONS AND FUNCTIONS 324 12.10.1 CANONICAL REALIZATION 326 12.11
SUMMARY 327 12.12 SOURCES 327 CHAPTER 13 ABSTRACTION: CONSTRUCTING MODEL
FAMILIES 329 13.1 SCOPE/RESOLUTION/INTERACTION PRODUCT 329 13.1.1
COMPLEXITY 330 13.1.2 SIZE/RESOLUTION TRADE-OFF: SIMPLIFICATION METHODS
332 13.1.3 HOW OBJECTIVES AND EXPERIMENTAL FRAME DETERMINE ABSTRACTION
POSSIBILITIES 334 13.2 INTEGRATED FAMILIES OF MODELS 335 13.2.1
INTEGRATED MODEL FAMILY EXAMPLE: SPACE TRAVEL 335 13.2.2 SPACE TRAVEL
BASE MODEL ^336^ 13.3 AGGREGATION: HOMOGENEITY/COUPLING INDIFFERENCE
PRINCIPLES 339 13.3.1 COUPLING CONDITIONS IMPOSED BY ANONYMITY 342
13.3.2 CONSTRUCTING LUMPED MODELS BASED ON IDENTITY-ERASING AGGREGATION
344 13.3.3 ALL-TO-ONE COUPLING 348 13.3.4 EXAMPLE OF AGGREGATION MODEL
CONSTRUCTION: SPACE TRAVEL 349 13.3.5 CONSTRUCTING AGGREGATIONS THROUGH
STATE AND BLOCK REFINEMENT 351 13.3.6 TIME SCALE RELATIONS 353 13.3.7
UNIVERSALITY/APPLICABILITY OF IDENTITY-ERASING AGGREGATIONS 353 13.4
ABSTRACTIONS FOR EVENT-BASED CONTROL 354 13.4.1 BOUNDARY-BASED DEVS 354
13.4.2 DEVS ABSTRACTION: SPACE TRAVEL EXAMPLE 357 13.5 PARAMETER
MORPHISMS 358 13.5.1 LINEAR SYSTEMS PARAMETER MORPHISMS 359 CONTENTS
XIII 13.5.2 EXAMPLE LUMPABLE: LINEAR DTSS AND PARAMETER MORPHISMS 360
13.5.3 CONSTRAINTS ON PARAMETER AND STATE SPACES: DISAGGREGATION 362
13.5.4 USING PARAMETER MORPHISMS IN AN INTEGRATED MODEL FAMILY 362 13.6
SUMMARY 364 13.7 SOURCES 364 CHAPTER 14 VERIFICATION, VALIDATION,
APPROXIMATE MORPHISMS: LIVING WITH ERROR ... 367 14.1 VERIFICATION 367
14.2 VALIDATION AT THE BEHAVIORAL LEVEL 368 14.2.1 QUANTITATIVE
COMPARISON 371 14.2.2 QUALITATIVE COMPARISON 372 14.3
PERFORMANCE/VALIDITY (E.G., SPEED/ACCURACY) TRADE-OFF 373 14.4
APPROXIMATE MORPHISMS AND ERROR BEHAVIOR 377 14.4.1 APPROXIMATE
MORPHISMS AND THE SPECIFICATION HIERARCHY 377 14.4.2 APPROXIMATE
HOMOMORPHISMS AND ERROR PROPAGATION 378 14.4.3 EXAMPLE: APPROXIMATE
LINEAR SYSTEM HOMOMORPHISMS 382 14.5 APPROXIMATE MORPHISMS AT THE
COUPLED SYSTEM LEVEL 384 14.5.1 ERROR-DRIVEN AGGREGATION REFINEMENT 384
14.6 VALIDATION AT STRUCTURAL LEVELS 387 14.6.1 CALIBRATION, PARAMETER
IDENTIFICATION, SENSITIVITY 388 14.6.2 LOCAL/GLOBAL, CROSS-MODEL
VALIDATION 388 14.7 SOURCES 389 CHAPTER 15 DEVS AND DEVS-LIKE SYSTEMS:
UNIVERSALITY AND UNIQUENESS 391 15.1 RELATION BETWEEN CLASSICAL AND
PARALLEL DEVS: IS THERE ONE OR TWO? 391 15.2 UNIVERSALITY AND UNIQUENESS
OF DEVS 393 15.2.1 SYSTEMS WITH DEVS INTERFACES 393 15.2.2 BEHAVIOR OF
DEVS-LIKE SYSTEMS 395 15.2.3 UNIVERSALITY OF DEVS 396 15.2.4 EXAMPLE:
DEVS REALIZATION OF DEVS-LIKE SYSTEM 397 15.2.5 UNIQUENESS OF DEVS 398
15.3 DEVS REPRESENTATION OF DTSS 399 15.3.1 INPUT-FREE MOORE 400 15.3.2
MULTIPORTED FNSS 400 15.3.3 MOORE DTSS WITH INPUT 401 15.3.4 MEALY DTSS
401 15.3.5 DEVS STRONG SIMULATION OF DTSS COUPLED MODELS 401 15.4
EFFICIENT DEVS SIMULATION OF DTSS NETWORKS 403 15.5 SUMMARY 405 15.6
SOURCES 405 APPENDIX: ISOMORPHICALLY REPRESENTING DEVS-LIKE SYSTEMS BY
DEVS 406 XIV CONTENTS CHAPTER 16 DEVS REPRESENTATION OF SYSTEMS 411 16.1
DEVS BUS REVISITED /. *. 411 16.1.1 APPROACHES TO DEVS REPRESENTATION OF
CONTINUOUS SYSTEMS 412 16.2 DEVS REPRESENTATION USING CONVENTIONAL
APPROACH 414 16.2.1 DTSS SIMULATION OF A DESS INTEGRATOR 415 16.2.2
SIMULATION OF COUPLED SYSTEMS BY DTSS 416 16.2.3 DISCRETIZED SIMULATION
OF COUPLED DESS WITH ARBITRARILY SMALL ERROR 418 16.2.4 DEVS
REPRESENTATION OF DESS VIA DTSS SIMULATION 419 16.3 QUANTIZATION: AN
ALTERNATIVE APPROACH FOR DEVS REPRESENTATION 419 16.3.1 QUANTIZED
SYSTEMS 421 16.3.2 EXACTLY QUANTIZABLE SYSTEMS 422 16.3.3 QUANTIZED
INTEGRATOR: APPROXIMATION OF DESS 424 16.3.4 COUPLED SYSTEMS WITH
QUANTIZED COMPONENTS 425 16.3.5 QUANTIZED SIMULATION OF COUPLED SYSTEMS
WITH ARBITRARILY SMALL ERROR 427 16.3.6 QUANTIZED SIMULATION OF COUPLED
DESS WITH ARBITRARILY SMALL ERROR 429 16.3.7 DEVS REPRESENTATION OF
QUANTIZED SYSTEMS 430 16.3.8 DEVS REPRESENTATION OF QUANTIZED INTEGRATOR
431 16.3.9 DEVS SIMULATION OF COUPLED QUANTIZED SYSTEMS 432 16.3.10
QUANTIZATION-BASED DEVS SIMULATION OF DESS 433 16.4 SIMULATION STUDY OF
QUANTIZATION 434 16.4.1 SOME INDICATIVE SIMULATION RESULTS 434 16.4.2
COMPARING QUANTIZED DEVS WITH PURE DTSS SIMULATION OF DESS 437 16.4.3
INSIGHT FROM SECOND-ORDER LINEAR OSCILLATOR 439 16.5 CONJECTURES FOR
FURTHER RESEARCH 441 16.6 SUMMARY 443 16.7 SOURCES 444 16.8 PROBLEMS 445
APPENDIX 1 CLOSED LOOP DTSS SIMULATION 447 APPENDIX 2 UNIFORMLY
SEGMENTABLE INPUT SETS 449 - APPENDIX3 EXACT SIMULATION BY DEVS 451
APPENDIX 4 CLOSED LOOP QUANTIZED SIMULATION 452 I PART IV SYSTEM DESIGN
AND MODELING AND , SIMULATION ENVIRONMENTS 455 CHAPTER 17 DEVS-BASED
DESIGN METHODOLOGY 457 17.1 METHODOLOGY OVERVIEW 457 17.2 DEVS
DEFINITION LANGUAGE 459 17.2.1 ATOMIC DEVS DEFINITION 460 17.2.2 THE
COUPLED DEVS DEFINITION 462 17.2.3 EXAMPLE: GENERATOR-BUFFER-PROCESSOR
MODEL 463 CONTENTS XV 17.3 EXECUTION OF DEVS DEFINITION 466 17.4 LOGICAL
ANALYSIS: MODEL VERIFICATION 468 17.4.1 ASSERTIONAL SPECIFICATION OF
TEMPORAL LOGIC 468 17.4.2 TL SPECIFICATION LANGUAGE 473 17.5 MODEL
VERIFICATION BY LANGUAGE ACCEPTANCE CHECKING 475 17.6 PERFORMANCE
EVALUATION 477 17.7 IMPLEMENTATION: DEVS MODEL EXECUTION 477 17.8
SUMMARY 479 17.9 SOURCES 479 CHAPTER 18 SYSTEM ENTITY STRUCTURE/MODEL
BASE FRAMEWORK 481 18.1 MODEL BASE MANAGEMENT BY SYSTEM ENTITY STRUCTURE
481 18.2 SYSTEM ENTITY STRUCTURE 482 18.3 SYSTEM ENTITY STRUCTURE/MODEL
BASE (SES/MB) FRAMEWORK 485 18.4 EXAMPLE: DESIGN OF A TRANSACTION
PROCESSING SYSTEM 486 18.4.1 SYSTEM ENTITY STRUCTURE 487 18.4.2 MODEL
BASE 487 18.4.3 PRUNING AND MODEL SYNTHESIS 487 18.4.4 PERFORMANCE
EVALUATION 488 18.5 AUTOMATIC PRUNING OF AN SES 490 18.6 SUMMARY 491
18.7 SOURCES 492 CHAPTER 19 COLLABORATION AND THE FUTURE 495 19.1 AN
ARCHITECTURE FOR M&S 495 19.2 HOW DOES COLLABORATION SUPPORT M&S? 497
19.2.1 MODEL CONSTRUCTION 497 19.2.2 MODEL COMPOSITION 497 19.2.3
SUPPORTING M&S WITH COLLABORATION ENVIRONMENTS 497 19.3 SUMMARY 499 19.4
SOURCES 499 INDEX 501
|
| any_adam_object | 1 |
| author | Zeigler, Bernard P. 1940- Prähofer, Herbert Kim, Tag Gon |
| author_GND | (DE-588)172471893 |
| author_facet | Zeigler, Bernard P. 1940- Prähofer, Herbert Kim, Tag Gon |
| author_role | aut aut aut |
| author_sort | Zeigler, Bernard P. 1940- |
| author_variant | b p z bp bpz h p hp t g k tg tgk |
| building | Verbundindex |
| bvnumber | BV013070024 |
| classification_rvk | QH 444 ST 340 |
| classification_tum | DAT 780f MAT 344f |
| ctrlnum | (OCoLC)264784680 (DE-599)BVBBV013070024 |
| discipline | Informatik Mathematik Wirtschaftswissenschaften |
| edition | 2. ed. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02414nam a2200553 c 4500</leader><controlfield tag="001">BV013070024</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20121019 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">000328s2000 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0127784551</subfield><subfield code="9">0-12-778455-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780127784557</subfield><subfield code="9">978-0-12-778455-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)264784680</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013070024</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-91G</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">QH 444</subfield><subfield code="0">(DE-625)141591:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 340</subfield><subfield code="0">(DE-625)143665:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 780f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 344f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Zeigler, Bernard P.</subfield><subfield code="d">1940-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)172471893</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Theory of modeling and simulation</subfield><subfield code="b">integrating discrete event and continuous complex dynamic systems</subfield><subfield code="c">Bernard P. Zeigler ; Herbert Praehofer ; Tag Gon Kim</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Theory of modelling and simulation</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2. ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">San Diego, Calif. [u.a.]</subfield><subfield code="b">Academic Press</subfield><subfield code="c">2000</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXI, 510 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="500" ind1=" " ind2=" "><subfield code="a">Hier auch später erschienene, unveränderte Nachdrucke</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modellierung</subfield><subfield code="0">(DE-588)4170297-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Simulation</subfield><subfield code="0">(DE-588)4055072-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Dynamisches System</subfield><subfield code="0">(DE-588)4013396-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Methode</subfield><subfield code="0">(DE-588)4155620-3</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="689" ind1="0" ind2="0"><subfield code="a">Dynamisches System</subfield><subfield code="0">(DE-588)4013396-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><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="2"><subfield code="a">Modellierung</subfield><subfield code="0">(DE-588)4170297-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Simulation</subfield><subfield code="0">(DE-588)4055072-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Simulation</subfield><subfield code="0">(DE-588)4055072-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Mathematische Methode</subfield><subfield code="0">(DE-588)4155620-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Prähofer, Herbert</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kim, Tag Gon</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</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=008904620&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-008904620</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| id | DE-604.BV013070024 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:38:35Z |
| institution | BVB |
| isbn | 0127784551 9780127784557 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008904620 |
| oclc_num | 264784680 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-703 DE-859 DE-29T DE-634 DE-83 DE-188 DE-M347 DE-706 |
| owner_facet | DE-91G DE-BY-TUM DE-703 DE-859 DE-29T DE-634 DE-83 DE-188 DE-M347 DE-706 |
| physical | XXI, 510 S. graph. Darst. |
| publishDate | 2000 |
| publishDateSearch | 2000 |
| publishDateSort | 2000 |
| publisher | Academic Press |
| record_format | marc |
| spelling | Zeigler, Bernard P. 1940- Verfasser (DE-588)172471893 aut Theory of modeling and simulation integrating discrete event and continuous complex dynamic systems Bernard P. Zeigler ; Herbert Praehofer ; Tag Gon Kim Theory of modelling and simulation 2. ed. San Diego, Calif. [u.a.] Academic Press 2000 XXI, 510 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Hier auch später erschienene, unveränderte Nachdrucke Modellierung (DE-588)4170297-9 gnd rswk-swf Simulation (DE-588)4055072-2 gnd rswk-swf Dynamisches System (DE-588)4013396-5 gnd rswk-swf Mathematische Methode (DE-588)4155620-3 gnd rswk-swf Diskretes Ereignissystem (DE-588)4196828-1 gnd rswk-swf Dynamisches System (DE-588)4013396-5 s Diskretes Ereignissystem (DE-588)4196828-1 s Modellierung (DE-588)4170297-9 s Simulation (DE-588)4055072-2 s DE-604 Mathematische Methode (DE-588)4155620-3 s 1\p DE-604 Prähofer, Herbert Verfasser aut Kim, Tag Gon Verfasser aut GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008904620&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Zeigler, Bernard P. 1940- Prähofer, Herbert Kim, Tag Gon Theory of modeling and simulation integrating discrete event and continuous complex dynamic systems Modellierung (DE-588)4170297-9 gnd Simulation (DE-588)4055072-2 gnd Dynamisches System (DE-588)4013396-5 gnd Mathematische Methode (DE-588)4155620-3 gnd Diskretes Ereignissystem (DE-588)4196828-1 gnd |
| subject_GND | (DE-588)4170297-9 (DE-588)4055072-2 (DE-588)4013396-5 (DE-588)4155620-3 (DE-588)4196828-1 |
| title | Theory of modeling and simulation integrating discrete event and continuous complex dynamic systems |
| title_alt | Theory of modelling and simulation |
| title_auth | Theory of modeling and simulation integrating discrete event and continuous complex dynamic systems |
| title_exact_search | Theory of modeling and simulation integrating discrete event and continuous complex dynamic systems |
| title_full | Theory of modeling and simulation integrating discrete event and continuous complex dynamic systems Bernard P. Zeigler ; Herbert Praehofer ; Tag Gon Kim |
| title_fullStr | Theory of modeling and simulation integrating discrete event and continuous complex dynamic systems Bernard P. Zeigler ; Herbert Praehofer ; Tag Gon Kim |
| title_full_unstemmed | Theory of modeling and simulation integrating discrete event and continuous complex dynamic systems Bernard P. Zeigler ; Herbert Praehofer ; Tag Gon Kim |
| title_short | Theory of modeling and simulation |
| title_sort | theory of modeling and simulation integrating discrete event and continuous complex dynamic systems |
| title_sub | integrating discrete event and continuous complex dynamic systems |
| topic | Modellierung (DE-588)4170297-9 gnd Simulation (DE-588)4055072-2 gnd Dynamisches System (DE-588)4013396-5 gnd Mathematische Methode (DE-588)4155620-3 gnd Diskretes Ereignissystem (DE-588)4196828-1 gnd |
| topic_facet | Modellierung Simulation Dynamisches System Mathematische Methode Diskretes Ereignissystem |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008904620&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT zeiglerbernardp theoryofmodelingandsimulationintegratingdiscreteeventandcontinuouscomplexdynamicsystems AT prahoferherbert theoryofmodelingandsimulationintegratingdiscreteeventandcontinuouscomplexdynamicsystems AT kimtaggon theoryofmodelingandsimulationintegratingdiscreteeventandcontinuouscomplexdynamicsystems AT zeiglerbernardp theoryofmodellingandsimulation AT prahoferherbert theoryofmodellingandsimulation AT kimtaggon theoryofmodellingandsimulation |