ebook img

Discrete-Event Modeling and Simulation: Theory and Applications (Computational Analysis, Synthesis, and Design of Dynamic Systems) PDF

517 Pages·2010·10.36 MB·English
Save to my drive
Quick download
Download
Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.

Preview Discrete-Event Modeling and Simulation: Theory and Applications (Computational Analysis, Synthesis, and Design of Dynamic Systems)

DISCRETE-EVENT MODELING AND SIMULATION Theory and Applications 72331.indb 1 11/13/10 7:14:45 PM Computational Analysis, Synthesis, and Design of Dynamic Systems Series Series Editor Pieter J. Mosterman MathWorks Natick, Massachusetts McGill University Montréal, Québec Discrete-Event Modeling and Simulation: A Practitioner's Approach, Gabriel A. Wainer Discrete-Event Modeling and Simulation: Theory and Applications, edited by Gabriel A. Wainer and Pieter J. Mosterman Model-Based Design for Embedded Systems, edited by Gabriela Nicolescu and Pieter J. Mosterman Model-Based Testing for Embedded Systems, edited by Justyna Zander, Ina Schieferdecker, and Pieter J. Mosterman Multi-Agent Systems: Simulation & Applications, edited by Adelinde M. Uhrmacher and Danny Weyns Forthcoming Titles: Real-time Simulation Technologies: Principles, Methodologies, and Applications, edited by Katalin Popovici and Pieter J. Mosterman 72331.indb 2 11/13/10 7:14:45 PM DISCRETE-EVENT MODELING AND SIMULATION Theory and Applications Edited by GABRIEL A. WAINER PIETER J. MOSTERMAN Boca Raton London New York CRC Press is an imprint of the Taylor & Francis Group, an informa business 72331.indb 3 11/13/10 7:14:46 PM CRC Press Taylor & Francis Group 6000 Broken Sound Parkway NW, Suite 300 Boca Raton, FL 33487-2742 © 2011 by Taylor and Francis Group, LLC CRC Press is an imprint of Taylor & Francis Group, an Informa business No claim to original U.S. Government works Printed in the United States of America on acid-free paper 10 9 8 7 6 5 4 3 2 1 International Standard Book Number: 978-1-4200-7233-4 (Hardback) This book contains information obtained from authentic and highly regarded sources. Reasonable efforts have been made to publish reliable data and information, but the author and publisher cannot assume responsibility for the validity of all materials or the consequences of their use. The authors and publishers have attempted to trace the copyright holders of all material reproduced in this publication and apologize to copyright holders if permission to publish in this form has not been obtained. If any copyright material has not been acknowledged please write and let us know so we may rectify in any future reprint. Except as permitted under U.S. Copyright Law, no part of this book may be reprinted, reproduced, transmitted, or utilized in any form by any electronic, mechanical, or other means, now known or hereafter invented, including photocopying, microfilming, and recording, or in any information stor- age or retrieval system, without written permission from the publishers. For permission to photocopy or use material electronically from this work, please access www.copy- right.com (http://www.copyright.com/) or contact the Copyright Clearance Center, Inc. (CCC), 222 Rosewood Drive, Danvers, MA 01923, 978-750-8400. CCC is a not-for-profit organization that pro- vides licenses and registration for a variety of users. For organizations that have been granted a pho- tocopy license by the CCC, a separate system of payment has been arranged. Trademark Notice: Product or corporate names may be trademarks or registered trademarks, and are used only for identification and explanation without intent to infringe. Visit the Taylor & Francis Web site at http://www.taylorandfrancis.com and the CRC Press Web site at http://www.crcpress.com 72331.indb 4 11/13/10 7:14:47 PM In honor of Prof. Bernard P. Zeigler, the pioneer of our field, and his 70th year. 72331.indb 5 11/13/10 7:14:47 PM Contents Foreword: The DEVS Core and Challenges to Its Continued Development ............xi Bernard P. Zeigler Contributors ............................................................................................................xxi SectIon I theory Chapter 1 DEVS as a Semantic Domain for Programmed Graph Transformation .....................................................................................3 Eugene Syriani and Hans Vangheluwe Chapter 2 System State Identification Using DEVS ...........................................29 Norbert Giambiasi, Diego Llarrull, and Maximiliano Cristiá Chapter 3 A Formal Definition of Dynamic Structure Discrete-Flow Components ........................................................................................55 Fernando Barros Chapter 4 Continuous System Simulation and Control ......................................75 Ernesto Kofman, François E. Cellier, and Gustavo Migoni SectIon II Methodology and tools Chapter 5 Heterogeneous Model Composability ..............................................111 Hessam S. Sarjoughian and Gary R. Mayer Chapter 6 Effective and Efficient Modeling and Simulation with DEVS Variants ............................................................................................139 Adelinde M. Uhrmacher, Jan Himmelspach, and Roland Ewald Chapter 7 Object-Oriented Comodeling Methodology for Development of Domain Specific DEVS Models .......................................................177 Chang Ho Sung and Tag Gon Kim vii 72331.indb 7 11/13/10 7:14:48 PM viii Contents Chapter 8 A Framework for Simulation-Based Structure and Parameter Optimization of Discrete-Event Systems .........................................199 Olaf Hagendorf and Thorsten Pawletta Chapter 9 Parallel Simulation of DEVS and Cell-DEVS Models in PCD++ ...223 Gabriel A. Wainer, Qi Liu, and Shafagh Jafer Chapter 10 From Virtual to Real—A Progressive Simulation-Based Design Framework ........................................................................................271 Xiaolin Hu SectIon III Applications Chapter 11 Formalization for Formal Verification of an Optical Network- on-Chip Using DEVS .......................................................................293 Luiza Gheorghe Iugan, Gabriela Nicolescu, and Ian O’Connor Chapter 12 Construction Simulation Using Cell-DEVS Modeling ....................309 Amin Hammad, Hong Pang, and Cheng Zhang Chapter 13 Stochastic Modeling Strategies for the Simulation of Large (Spatial) Distributed Systems: Application to Fire Spread ..............331 Alexandre Muzy and David R.C. Hill Chapter 14 Environmental Models in DEVS: Different Approaches for Different Applications ......................................................................357 Jean-Baptiste Filippi, Teruhisa Komatsu, and David R.C. Hill SectIon IV Standardization Chapter 15 DEVS Standardization: Foundations and Trends .............................389 Gabriel A. Wainer, Khaldoon Al-Zoubi, Olivier Dalle, David R.C. Hill, Saurabh Mittal, José L. Risco Martín, Hessam Sarjoughian, Luc Touraille, Mamadou K. Traoré, and Bernard P. Zeigler 72331.indb 8 11/13/10 7:14:49 PM Contents ix Chapter 16 An Introduction to DEVS Standardization ......................................393 Gabriel A. Wainer, Khaldoon Al-Zoubi, David R.C. Hill, Saurabh Mittal, José L. Risco Martín, Hessam Sarjoughian, Luc Touraille, Mamadou K. Traoré, and Bernard P. Zeigler Chapter 17 Standardizing DEVS Model Representation ....................................427 Gabriel A. Wainer, Khaldoon Al-Zoubi, David R.C. Hill, Saurabh Mittal, José L. Risco Martín, Hessam Sarjoughian, Luc Touraille, Mamadou K. Traoré, and Bernard P. Zeigler Chapter 18 Standardizing DEVS Simulation Middleware .................................459 Gabriel A. Wainer, Khaldoon Al-Zoubi, Olivier Dalle, Saurabh Mittal, José L. Risco Martín, Hessam Sarjoughian, and Bernard P. Zeigler Index ......................................................................................................................495 72331.indb 9 11/13/10 7:14:49 PM

See more

The list of books you might like

Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.