Author: Armin Zimmermann
Publisher: Springer Science & Business Media
ISBN: 3540741739
Category : Computers
Languages : en
Pages : 393
Get Book Here
Book Description
Stochastic discrete-event systems (SDES) capture the randomness in choices due to activity delays and the probabilities of decisions. This book delivers a comprehensive overview on modeling with a quantitative evaluation of SDES. It presents an abstract model class for SDES as a pivotal unifying result and details important model classes. The book also includes nontrivial examples to explain real-world applications of SDES.
Author: Byoung Kyu Choi
Publisher: John Wiley & Sons
ISBN: 1118732855
Category : Technology & Engineering
Languages : en
Pages : 427
Get Book Here
Book Description
Computer modeling and simulation (M&S) allows engineers to study and analyze complex systems. Discrete-event system (DES)-M&S is used in modern management, industrial engineering, computer science, and the military. As computer speeds and memory capacity increase, so DES-M&S tools become more powerful and more widely used in solving real-life problems. Based on over 20 years of evolution within a classroom environment, as well as on decades-long experience in developing simulation-based solutions for high-tech industries, Modeling and Simulation of Discrete-Event Systems is the only book on DES-M&S in which all the major DES modeling formalisms – activity-based, process-oriented, state-based, and event-based – are covered in a unified manner: A well-defined procedure for building a formal model in the form of event graph, ACD, or state graph Diverse types of modeling templates and examples that can be used as building blocks for a complex, real-life model A systematic, easy-to-follow procedure combined with sample C# codes for developing simulators in various modeling formalisms Simple tutorials as well as sample model files for using popular off-the-shelf simulators such as SIGMA®, ACE®, and Arena® Up-to-date research results as well as research issues and directions in DES-M&S Modeling and Simulation of Discrete-Event Systems is an ideal textbook for undergraduate and graduate students of simulation/industrial engineering and computer science, as well as for simulation practitioners and researchers.
Author: Herwig Bruneel
Publisher: Springer Science & Business Media
ISBN: 1461531306
Category : Technology & Engineering
Languages : en
Pages : 211
Get Book Here
Book Description
Most queuing analyses performed in the literature are based on characterization of queueing phenomena in continuous-time items. Recently in the telecommunication industries, BISDN (broadband integrated services digital network) has received considerable attention since it can provide a common interface for future communication needs including video, data, and speech. Since information in BISDN is transported by means of dicsrete units of 53-octet ATM (asynchronous transfer mode) cells, interests in discrete-time systems have increased. Discrete-Time Models for Communication Systems Including ATM provides a general framework for queueing analyses of dicrete-time systems. After a brief look at past studies of discrete-time systems, a detailed description and analysis are presented for a generic discrete-time model with a single server, arbitrary service times and independent arrivals. The book then follows a less stringent approach and focuses more on the average statistics and on different queueing disciplines. Conventional first-in-out and last-in-first-out disciplines are discussed in terms of the average statistics. Systems with multiple classes of messages without class-dependent priorities are considered to establish a discrete-time conservation law. Multiple classes with priorities are also considered to derive performance measures of priority scheduling disciplines. Finally, a multi-queue system with cyclic service is analyzed in the context of round-robin service ordering. This is followed by analyses of discrete-time queueing systems with `more complicate' input and output processes. Specifically, single-server systems are investigated whereby either the arrivals or the server is subject to random interruptions. Results are mainly obtained in terms of generating functions and mean values of the principal performance measures. The influence of the nature of the arrival correlation and the server interruptions on the queueing behavior is discussed. Finally, the book explores queueing models directly associated with ATM switches and multiplexers. This book is a valuable reference and may be used as a text for and advanced course on the subject.
Author: Ratnesh Kumar
Publisher: Springer Science & Business Media
ISBN: 146152217X
Category : Technology & Engineering
Languages : en
Pages : 154
Get Book Here
Book Description
The field of discrete event systems has emerged to provide a formal treatment of many of the man-made systems such as manufacturing systems, communica tion networks. automated traffic systems, database management systems, and computer systems that are event-driven, highly complex, and not amenable to the classical treatments based on differential or difference equations. Discrete event systems is a growing field that utilizes many interesting mathematical models and techniques. In this book we focus on a high level treatment of discrete event systems. where the order of events. rather than their occurrence times, is the principal concern. Such treatment is needed to guarantee that the system under study meets desired logical goals. In this framework, dis crete event systems are modeled by formal languages or, equivalently, by state machines. The field of logical discrete event systems is an interdisciplinary field-it in cludes ideas from computer science, control theory, and operations research. Our goal is to bring together in one book the relevant techniques from these fields. This is the first book of this kind, and our hope is that it will be useful to professionals in the area of discrete event systems since most of the material presented has appeared previously only in journals. The book is also designed for a graduate level course on logical discrete event systems. It contains all the necessary background material in formal language theory and lattice the ory. The only prerequisite is some degree of "mathematical maturity".
Author: W.F. Lucas
Publisher: Springer
ISBN: 1461254434
Category : Mathematics
Languages : en
Pages : 372
Get Book Here
Book Description
The purpose of this four volume series is to make available for college teachers and students samples of important and realistic applications of mathematics which can be covered in undergraduate programs. The goal is to provide illustrations of how modem mathematics is actually employed to solve relevant contemporary problems. Although these independent chapters were prepared primarily for teachers in the general mathematical sciences, they should prove valuable to students, teachers, and research scientists in many of the fields of application as well. Prerequisites for each chapter and suggestions for the teacher are provided. Several of these chapters have been tested in a variety of classroom settings, and all have undergone extensive peer review and revision. Illustrations and exercises be covered in one class, are included in most chapters. Some units can whereas others provide sufficient material for a few weeks of class time. Volume 1 contains 23 chapters and deals with differential equations and, in the last four chapters, problems leading to partial differential equations. Applications are taken from medicine, biology, traffic systems and several other fields. The 14 chapters in Volume 2 are devoted mostly to problems arising in political science, but they also address questions appearing in sociology and ecology. Topics covered include voting systems, weighted voting, proportional representation, coalitional values, and committees. The 14 chapters in Volume 3 emphasize discrete mathematical methods such as those which arise in graph theory, combinatorics, and networks.
Author: Branislav Hrúz
Publisher: Springer Science & Business Media
ISBN: 1846288770
Category : Science
Languages : en
Pages : 342
Get Book Here
Book Description
Discrete-event dynamic systems (DEDs) permeate our world. They are of great importance in modern manufacturing processes, transportation and various forms of computer and communications networking. This book begins with the mathematical basics required for the study of DEDs and moves on to present various tools used in their modeling and control. Industrial examples illustrate the concepts and methods discussed, making this book an invaluable aid for students embarking on further courses in control, manufacturing engineering or computer studies.
Author: Christos G. Cassandras
Publisher: Springer Nature
ISBN: 3030722740
Category : Computers
Languages : en
Pages : 821
Get Book Here
Book Description
This unique textbook comprehensively introduces the field of discrete event systems, offering a breadth of coverage that makes the material accessible to readers of varied backgrounds. The book emphasizes a unified modeling framework that transcends specific application areas, linking the following topics in a coherent manner: language and automata theory, supervisory control, Petri net theory, Markov chains and queueing theory, discrete-event simulation, and concurrent estimation techniques. Topics and features: detailed treatment of automata and language theory in the context of discrete event systems, including application to state estimation and diagnosis comprehensive coverage of centralized and decentralized supervisory control of partially-observed systems timed models, including timed automata and hybrid automata stochastic models for discrete event systems and controlled Markov chains discrete event simulation an introduction to stochastic hybrid systems sensitivity analysis and optimization of discrete event and hybrid systems new in the third edition: opacity properties, enhanced coverage of supervisory control, overview of latest software tools This proven textbook is essential to advanced-level students and researchers in a variety of disciplines where the study of discrete event systems is relevant: control, communications, computer engineering, computer science, manufacturing engineering, transportation networks, operations research, and industrial engineering. Christos G. Cassandras is Distinguished Professor of Engineering, Professor of Systems Engineering, and Professor of Electrical and Computer Engineering at Boston University. Stéphane Lafortune is Professor of Electrical Engineering and Computer Science at the University of Michigan, Ann Arbor.
Author: Yoshifumi Okuyama
Publisher: Springer Science & Business Media
ISBN: 1447156676
Category : Technology & Engineering
Languages : en
Pages : 259
Get Book Here
Book Description
Discrete Control Systems establishes a basis for the analysis and design of discretized/quantized control systems for continuous physical systems. Beginning with the necessary mathematical foundations and system-model descriptions, the text moves on to derive a robust stability condition. To keep a practical perspective on the uncertain physical systems considered, most of the methods treated are carried out in the frequency domain. As part of the design procedure, modified Nyquist–Hall and Nichols diagrams are presented and discretized proportional–integral–derivative control schemes are reconsidered. Schemes for model-reference feedback and discrete-type observers are proposed. Although single-loop feedback systems form the core of the text, some consideration is given to multiple loops and nonlinearities. The robust control performance and stability of interval systems (with multiple uncertainties) are outlined. Finally, the monograph describes the relationship between feedback-control and discrete event systems. The nonlinear phenomena associated with practically important event-driven systems are elucidated. The dynamics and stability of finite-state and discrete-event systems are defined. Academic researchers interested in the uses of discrete modelling and control of continuous systems will find Discrete Control Systems instructive. The inclusion of end-of-chapter problems also makes the book suitable for use in self study either by professional control engineers or graduate students supplementing a more formal regimen of learning.
Author: Claudius Ptolemaeus
Publisher: Lee & Seshia
ISBN: 1304421066
Category : Computers
Languages : en
Pages : 687
Get Book Here
Book Description
This book is a definitive introduction to models of computation for the design of complex, heterogeneous systems. It has a particular focus on cyber-physical systems, which integrate computing, networking, and physical dynamics. The book captures more than twenty years of experience in the Ptolemy Project at UC Berkeley, which pioneered many design, modeling, and simulation techniques that are now in widespread use. All of the methods covered in the book are realized in the open source Ptolemy II modeling framework and are available for experimentation through links provided in the book. The book is suitable for engineers, scientists, researchers, and managers who wish to understand the rich possibilities offered by modern modeling techniques. The goal of the book is to equip the reader with a breadth of experience that will help in understanding the role that such techniques can play in design.
Author: W. Delaney
Publisher: CRC Press
ISBN: 9780824776541
Category : Technology & Engineering
Languages : en
Pages : 692
Get Book Here
Book Description
This book aims to clarify exactly how simulation studies can be carried out in the system theory paradigm, while providing a realistically complete coverage of (discrete event) simulation in its more traditional aspects. It focuses on the subclass of predictive, generative and dynamic system models.
