Coverart for item
The Resource Discrete-event modeling and simulation : theory and applications, edited by Gabriel A. Wainer, Pieter J. Mosterman

Discrete-event modeling and simulation : theory and applications, edited by Gabriel A. Wainer, Pieter J. Mosterman

Label
Discrete-event modeling and simulation : theory and applications
Title
Discrete-event modeling and simulation
Title remainder
theory and applications
Statement of responsibility
edited by Gabriel A. Wainer, Pieter J. Mosterman
Contributor
Subject
Language
eng
Summary
  • "Collecting the work of the foremost scientists in the field, <STRONG>Discrete-Event Modeling and Simulation: Theory and Applications</STRONG> presents the state of the art in modeling discrete-event systems using the discrete-event system specification (DEVS) approach. It introduces the latest advances, recent extensions of formal techniques, and real-world examples of various applications.The book covers many topics that pertain to several layers of the modeling and simulation architecture. It discusses DEVS model development support and the interaction of DEVS with other methodologies. It describes different forms of simulation supported by DEVS, the use of real-time DEVS simulation, the relationship between DEVS and graph transformation, the influence of DEVS variants on simulation performance, and interoperability and composability with emphasis on DEVS standardization. The text also examines extensions to DEVS, new formalisms, and abstractions of DEVS models as well as the theory and analysis behind real-world system identification and control. To support the generation and search of optimal models of a system, a framework is developed based on the system entity structure and its transformation to DEVS simulation models. In addition, the book explores numerous interesting examples that illustrate the use of DEVS to build successful applications, including optical network-on-chip, construction/building design, process control, workflow systems, and environmental models.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"--Provided by publisher
  • "Complex information-technology-based business, engineering, military systems, as well as the societal infrastructures they support, are at the root of this century's global challenges of economy, climate, and energy. We are accustomed to building such systems directly in the real world and letting subsequent use and Mother Nature tell us how good they are. Increasingly, however, it is becoming too dangerous, costly, unethical, or risky to do so. "Build and test within virtual reality" is increasingly the only workable alternative--where by "virtual" we include a wide range of representations of the eventual fielded reality either wholly within a single computer or as networked distributed simulations, often enhanced with physically analogous and immersive environments. Modeling and Simulation (M&S) supply the basis for such environments"--Provided by publisher
Member of
Cataloging source
DLC
Illustrations
illustrations
Index
index present
LC call number
TA168
LC item number
.D566 2011
Literary form
non fiction
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Wainer, Gabriel A
  • Mosterman, Pieter J
Series statement
Computational analysis, synthesis, and design of dynamic systems series
http://library.link/vocab/subjectName
  • Systems engineering
  • Discrete-time systems
  • TECHNOLOGY & ENGINEERING / Engineering (General)
  • TECHNOLOGY & ENGINEERING / Electrical
  • COMPUTERS / Computer Engineering
Label
Discrete-event modeling and simulation : theory and applications, edited by Gabriel A. Wainer, Pieter J. Mosterman
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Contents
Forewords : the DEVS core and challenges to its continued development / Bernard P. Zeigler -- 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 Barros -- Continuous system simulation and control / Ernesto Kofman, François E. Cellier, and Gustavo Migoni -- Heterogeneous model composability / Hessam S. Sarjoughian and Gary R. Mayer -- Effective and efficient modeling and simulation with DEVS variants / Adeline 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 -- Formalization for formal verification of an optical network-on-chip using DEVS / Luiza Gheorghe Iugan, 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, Teruhisa Komatsu, and David R.C. Hill -- DEVS standardization: foundations and trends / Gabriel A. Wainer ... [et al.] -- An introduction to DEVS standardization / Gabriel A. Wainer ... [et al.] -- Standardizing DEVS model representation / Gabriel A. Wainer -- Standardizing DEVS simulation middleware / Gabriel A. Wainer ... [et al.]
Control code
689858487
Dimensions
24 cm
Extent
xxiii, 510 p.
Isbn
9781420072334
Isbn Type
(hardback)
Lccn
2010046251
Other physical details
ill.
System control number
(OCoLC)689858487
Label
Discrete-event modeling and simulation : theory and applications, edited by Gabriel A. Wainer, Pieter J. Mosterman
Publication
Bibliography note
Includes bibliographical references and index
Contents
Forewords : the DEVS core and challenges to its continued development / Bernard P. Zeigler -- 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 Barros -- Continuous system simulation and control / Ernesto Kofman, François E. Cellier, and Gustavo Migoni -- Heterogeneous model composability / Hessam S. Sarjoughian and Gary R. Mayer -- Effective and efficient modeling and simulation with DEVS variants / Adeline 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 -- Formalization for formal verification of an optical network-on-chip using DEVS / Luiza Gheorghe Iugan, 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, Teruhisa Komatsu, and David R.C. Hill -- DEVS standardization: foundations and trends / Gabriel A. Wainer ... [et al.] -- An introduction to DEVS standardization / Gabriel A. Wainer ... [et al.] -- Standardizing DEVS model representation / Gabriel A. Wainer -- Standardizing DEVS simulation middleware / Gabriel A. Wainer ... [et al.]
Control code
689858487
Dimensions
24 cm
Extent
xxiii, 510 p.
Isbn
9781420072334
Isbn Type
(hardback)
Lccn
2010046251
Other physical details
ill.
System control number
(OCoLC)689858487

Library Locations

    • Copley LibraryBorrow it
      5998 Alcalá Park, San Diego, CA, 92110-2492, US
      32.771354 -117.193327
Processing Feedback ...