Author: G. BIRTWISTLE
Publisher: Springer
ISBN: 1489966854
Category : Computers
Languages : en
Pages : 225
Book Description
DEMOS A System for Discrete Event Modelling on Simula
Author: G. BIRTWISTLE
Publisher: Springer
ISBN: 1489966854
Category : Computers
Languages : en
Pages : 225
Book Description
Publisher: Springer
ISBN: 1489966854
Category : Computers
Languages : en
Pages : 225
Book Description
A System for Discrete Event Modelling on SIMULA
Author: Graham M. Birtwistle
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 230
Book Description
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 230
Book Description
Simulation Techniques for Discrete Event Systems
Author: I. Mitrani
Publisher: Cambridge University Press
ISBN: 9780521238854
Category : Computers
Languages : en
Pages : 200
Book Description
To perform computer simulation successfully, two rather different sets of skills are required. One of these relates to programming: a simulation program should do what its author intends and do it efficiently. The other is concerned with the collection and analysis of data: statistical tools have to be used in order to obtain with a minimum of effort, accurate and reliable estimates for the desired performance measures. Dr Mitrani covers both of these aspects of the simulation method. The important topics of point and interval estimation, simulation efficiency and the analysis of simulation experiments are discussed in detail. This book, first published in 1982, will be useful to both undergraduate and postgraduate students taking courses on simulation in departments of computer science, operations research and statistics in universities and polytechnics. It will be of benefit also to practitioners in the field.
Publisher: Cambridge University Press
ISBN: 9780521238854
Category : Computers
Languages : en
Pages : 200
Book Description
To perform computer simulation successfully, two rather different sets of skills are required. One of these relates to programming: a simulation program should do what its author intends and do it efficiently. The other is concerned with the collection and analysis of data: statistical tools have to be used in order to obtain with a minimum of effort, accurate and reliable estimates for the desired performance measures. Dr Mitrani covers both of these aspects of the simulation method. The important topics of point and interval estimation, simulation efficiency and the analysis of simulation experiments are discussed in detail. This book, first published in 1982, will be useful to both undergraduate and postgraduate students taking courses on simulation in departments of computer science, operations research and statistics in universities and polytechnics. It will be of benefit also to practitioners in the field.
DEMOS, a System for Discrete Event Modelling on Simula
Author: Graham M. Birtwistle
Publisher: New York : Springer-Verlag
ISBN: 9780038791309
Category : Digital computer simulation
Languages : en
Pages : 215
Book Description
Publisher: New York : Springer-Verlag
ISBN: 9780038791309
Category : Digital computer simulation
Languages : en
Pages : 215
Book Description
A System for Discrete Event Modelling on Simula
Author: Graham M. Birtwistle
Publisher:
ISBN:
Category :
Languages : en
Pages : 215
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages : 215
Book Description
Measurement, Modelling, and Evaluation of Computing Systems and Dependability in Fault Tolerance
Author: Erwin Rathgeb
Publisher: Springer
ISBN: 3642121047
Category : Computers
Languages : en
Pages : 333
Book Description
This book constitutes the refereed proceedings of the 15th International GI/ITG Conference on "Measurement, Modelling and Evaluation of Computing Systems" and "Dependability and Fault Tolerance", held in Essen, Germany, in March 2010. The 19 revised full papers presented together with 5 tool papers and 2 invited lectures were carefully reviewed and selected from 42 initial submissions. The papers cover all aspects of performance and dependability evaluation of systems including networks, computer architectures, distributed systems, software, fault-tolerant and secure systems.
Publisher: Springer
ISBN: 3642121047
Category : Computers
Languages : en
Pages : 333
Book Description
This book constitutes the refereed proceedings of the 15th International GI/ITG Conference on "Measurement, Modelling and Evaluation of Computing Systems" and "Dependability and Fault Tolerance", held in Essen, Germany, in March 2010. The 19 revised full papers presented together with 5 tool papers and 2 invited lectures were carefully reviewed and selected from 42 initial submissions. The papers cover all aspects of performance and dependability evaluation of systems including networks, computer architectures, distributed systems, software, fault-tolerant and secure systems.
Supervisory Control of Discrete-Event Systems
Author: W. Murray Wonham
Publisher: Springer
ISBN: 3319774522
Category : Technology & Engineering
Languages : en
Pages : 504
Book Description
This book shows how supervisory control theory (SCT) supports the formulation of various control problems of standard types, like the synthesis of controlled dynamic invariants by state feedback, and the resolution of such problems in terms of naturally definable control-theoretic concepts and properties, like reachability, controllability and observability. It exploits a simple, abstract model of controlled discrete-event systems (DES) that has proved to be tractable, appealing to control specialists, and expressive of a range of control-theoretic ideas. It allows readers to choose between automaton-based and dually language-based forms of SCT, depending on whether their preference is for an internal-structural or external-behavioral description of the problem. The monograph begins with two chapters on algebraic and linguistic preliminaries and the fundamental concepts and results of SCT are introduced. To handle complexity caused by system scale, architectural approaches—the horizontal modularity of decentralized and distributed supervision and the vertical modularity of hierarchical supervision—are introduced. Supervisory control under partial observation and state-based supervisory control are also addressed; in the latter, a vector DES model that exploits internal regularity of algebraic structure is proposed. Finally SCT is generalized to deal with timed DES by incorporating temporal features in addition to logical ones. Researchers and graduate students working with the control of discrete-event systems or who are interested in the development of supervisory control methods will find this book an invaluable aid in their studies. The text will also be of assistance to researchers in manufacturing, logistics, communications and transportation, areas which provide plentiful examples of the class of systems being discussed.
Publisher: Springer
ISBN: 3319774522
Category : Technology & Engineering
Languages : en
Pages : 504
Book Description
This book shows how supervisory control theory (SCT) supports the formulation of various control problems of standard types, like the synthesis of controlled dynamic invariants by state feedback, and the resolution of such problems in terms of naturally definable control-theoretic concepts and properties, like reachability, controllability and observability. It exploits a simple, abstract model of controlled discrete-event systems (DES) that has proved to be tractable, appealing to control specialists, and expressive of a range of control-theoretic ideas. It allows readers to choose between automaton-based and dually language-based forms of SCT, depending on whether their preference is for an internal-structural or external-behavioral description of the problem. The monograph begins with two chapters on algebraic and linguistic preliminaries and the fundamental concepts and results of SCT are introduced. To handle complexity caused by system scale, architectural approaches—the horizontal modularity of decentralized and distributed supervision and the vertical modularity of hierarchical supervision—are introduced. Supervisory control under partial observation and state-based supervisory control are also addressed; in the latter, a vector DES model that exploits internal regularity of algebraic structure is proposed. Finally SCT is generalized to deal with timed DES by incorporating temporal features in addition to logical ones. Researchers and graduate students working with the control of discrete-event systems or who are interested in the development of supervisory control methods will find this book an invaluable aid in their studies. The text will also be of assistance to researchers in manufacturing, logistics, communications and transportation, areas which provide plentiful examples of the class of systems being discussed.
Modeling and Simulation: Theory and Practice
Author: George A. Bekey
Publisher: Springer Science & Business Media
ISBN: 1461502357
Category : Science
Languages : en
Pages : 293
Book Description
Modeling and Simulation: Theory and Practice provides a comprehensive review of both methodologies and applications of simulation and modeling. The methodology section includes such topics as the philosophy of simulation, inverse problems in simulation, simulation model compilers, treatment of ill-defined systems, and a survey of simulation languages. The application section covers a wide range of topics, including applications to environmental management, biology and medicine, neural networks, collaborative visualization and intelligent interfaces. The book consists of 13 invited chapters written by former colleagues and students of Professor Karplus. Also included are several short 'reminiscences' describing Professor Karplus' impact on the professional careers of former colleagues and students who worked closely with him over the years.
Publisher: Springer Science & Business Media
ISBN: 1461502357
Category : Science
Languages : en
Pages : 293
Book Description
Modeling and Simulation: Theory and Practice provides a comprehensive review of both methodologies and applications of simulation and modeling. The methodology section includes such topics as the philosophy of simulation, inverse problems in simulation, simulation model compilers, treatment of ill-defined systems, and a survey of simulation languages. The application section covers a wide range of topics, including applications to environmental management, biology and medicine, neural networks, collaborative visualization and intelligent interfaces. The book consists of 13 invited chapters written by former colleagues and students of Professor Karplus. Also included are several short 'reminiscences' describing Professor Karplus' impact on the professional careers of former colleagues and students who worked closely with him over the years.
Enterprise and Organizational Modeling and Simulation
Author: Joseph Barjis
Publisher: Springer
ISBN: 3642416381
Category : Business & Economics
Languages : en
Pages : 169
Book Description
This book constitutes the proceedings of the 9th International Workshop on Enterprise and Organizational Modeling and Simulation, EOMAS 2013, held in conjunction with CAiSE 2013 in Valencia, Spain, in June 2013. Tools and methods for modeling and simulation are widely used in enterprise engineering, organizational studies and business process management. In monitoring and evaluating business processes and the interactions of actors in a realistic environment, modeling and simulation have proven to be both powerful, efficient and economic, especially if complemented by animation and gaming elements. The ten contributions in this volume were carefully reviewed and selected from 22 submissions. They explore the above topics, address the underlying challenges find and improve solutions, and show the application of modeling and simulation in the domains of enterprises, their organizations and underlying business processes.
Publisher: Springer
ISBN: 3642416381
Category : Business & Economics
Languages : en
Pages : 169
Book Description
This book constitutes the proceedings of the 9th International Workshop on Enterprise and Organizational Modeling and Simulation, EOMAS 2013, held in conjunction with CAiSE 2013 in Valencia, Spain, in June 2013. Tools and methods for modeling and simulation are widely used in enterprise engineering, organizational studies and business process management. In monitoring and evaluating business processes and the interactions of actors in a realistic environment, modeling and simulation have proven to be both powerful, efficient and economic, especially if complemented by animation and gaming elements. The ten contributions in this volume were carefully reviewed and selected from 22 submissions. They explore the above topics, address the underlying challenges find and improve solutions, and show the application of modeling and simulation in the domains of enterprises, their organizations and underlying business processes.
Handbook of Dynamic System Modeling
Author: Paul A. Fishwick
Publisher: CRC Press
ISBN: 1420010859
Category : Computers
Languages : en
Pages : 756
Book Description
The topic of dynamic models tends to be splintered across various disciplines, making it difficult to uniformly study the subject. Moreover, the models have a variety of representations, from traditional mathematical notations to diagrammatic and immersive depictions. Collecting all of these expressions of dynamic models, the Handbook of Dynamic Sy
Publisher: CRC Press
ISBN: 1420010859
Category : Computers
Languages : en
Pages : 756
Book Description
The topic of dynamic models tends to be splintered across various disciplines, making it difficult to uniformly study the subject. Moreover, the models have a variety of representations, from traditional mathematical notations to diagrammatic and immersive depictions. Collecting all of these expressions of dynamic models, the Handbook of Dynamic Sy