New book on Modeling and Simulation ===================================
Discrete-Event Modeling and Simulation: Theory and Applications
---------------------------------------------------------------
Editors: Gabriel A. Wainer, Carleton University, Ottawa, Ontario, Canada
Pieter J. Mosterman, The MathWorks, Inc. Natick, Massachusetts, USA
Click here to look inside the book:
http://www.crcpress.com/product/isbn/9781420072334
A one-stop resource on advances in DEVS theory, applications, and methodology,
this volume offers a sampling of the best research in the area, a broad picture
of the DEVS landscape, and trend-setting applications enabled by the DEVS
approach. It provides the basis for future research discoveries and encourages
the development of new applications.
The manuscript:
- Employs the discrete-event system specification (DEVS) as a unifying
framework for computational modeling and as a formal foundation for
model-driven engineering
- Introduces the theory of discrete-event modeling and simulation
- Shows how DEVS tools are increasingly used in manufacturing modeling, systems
biology, and more
- Covers a broad spectrum of applications that highlight successful DEVS use
- Contains a number of chapters on DEVS standardization
- Incorporates contributions from the world's leading experts, including
Bernard P. Zeigler, the creator of the DEVS formalism
Table of Contents
=================
Foreword: The DEVS Core and Challenges to its Continued Development, Bernard P.
Zeigler
Theory
DEVS as a Semantic Domain for Programmed Graph Transformation, Eugene Syriani
and Hans Vangheluwe
System State Identification Using DEVS, Norbert Giambiasi, Diego Llarrull, and
Maximiliano Cristiá
A Formal Definition of Dynamic Structure Discrete-Flow Components, Fernando J.
Barros
Continuous System Simulation and Control, Ernesto Kofman, François E. Cellier,
and Gustavo Migoni
Methodology and Tools
Heterogeneous Model Composability, Hessam S. Sarjoughian and Gary R. Mayer
Effective and Efficient Modeling and Simulation with DEVS Variants, Adelinde M.
Uhrmacher, Jan Himmelspach, and Roland Ewald
Object-Oriented Comodeling Methodology for Development of Domain-Specific DEVS
Models, Chang Ho Sung and Tag Gon Kim
A Framework for Simulation-Based Structure and Parameter Optimization of
Discrete-Event Systems, Olaf Hagendorf and Thorsten Pawletta
Parallel Simulation of DEVS and Cell-DEVS Models in PCD++, Gabriel A. Wainer,
Qi Liu, and Shafagh Jafer
>From Virtual to Real-A Progressive Simulation-Based Design Framework, Xiaolin
>Hu
Applications
Formalization for Formal Verification of an Optical Network-on-Chip Using DEVS,
Luiza Gheorghe, Gabriela Nicolescu, and Ian O'Connor
Construction Simulation Using Cell-DEVS Modeling, Amin Hammad, Hong Pang, and
Cheng Zhang
Stochastic Modeling Strategies for the Simulation of Large (Spatial)
Distributed Systems: Application to Fire Spread, Alexandre Muzy and David R.C.
Hill
Environmental Models in DEVS, Different Approaches for Different Applications,
Jean-Baptiste Filippi, Jean-François Santucci, Teruhisa Komatsu, and David R.C.
Hill
Standardization
DEVS Standardization: Foundations and Trends, 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
An Introduction to DEVS Standardization, 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
Standardizing DEVS Model Representation, 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
Standardizing DEVS Simulation Middleware, Gabriel A. Wainer, Khaldoon Al-Zoubi,
Olivier Dalle, Saurabh Mittal, José L. Risco Martín, Hessam Sarjoughian, and
Bernard P. Zeigler
*Use promo code 181AE at time of checkout to receive savings on your entire
purchase when you visit crcpress.com.
Maikala del Castillo
Marketing Manager
[email protected]
CRC Press
6000 Broken Sound Pkwy NW, Ste 300 :: Boca Raton, FL 33487
Tel: 561-998-2532 Fax: 0876
<http://www.crcpress.com/> <http://twitter.com/CRCPress>
<http://www.facebook.com/CRCPresspage>
<http://crcpress.ning.com/profile/CRCPress>
<http://www.linkedin.com/in/crcpress>
<<image001.jpg>>
<<image002.png>>
<<image003.png>>
<<image004.png>>
<<image005.png>>
------------------------------------------------------------------------------ Enable your software for Intel(R) Active Management Technology to meet the growing manageability and security demands of your customers. Businesses are taking advantage of Intel(R) vPro (TM) technology - will your software be a part of the solution? Download the Intel(R) Manageability Checker today! http://p.sf.net/sfu/intel-dev2devmar
_______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
