International Series on Discrete Event Dynamic Systems – serie

During the last decade, the area of stochastic max-plus linear systems has witnessed a rapid development, which created a growing interest in this area. This book provides a thorough treatment of the theory of stochastic max-plus linear systems. Max-plus algebra is an algebraic approach to discrete event systems (DES), like queuing networks that are prone to synchronization. Perturbation analysis studies the sensitivity of the performance of DES with respect to changes in a particular system parameter.The first part of the book addresses modeling issues and stability theory for stochastic max-plus systems. The second part of the book treats perturbation analysis of max-plus systems: a calculus for differentiation of max-plus systems is developed. This calculus leads to numerical evaluations of performance indices of max-plus linear stochastic systems, such as the Lyapunov exponent or waiting times.

An up-to-date report on the status of important research topics in algebraic geometry and its applications, such as computational algebra and geometry, singularity theory algorithms, numerical solutions of polynomial systems, coding theory, communication networks, and computer vision. Contributions on more fundamental aspects of algebraic geometry include expositions related to counting points on varieties over finite fields, Mori theory, linear systems, Abelian varieties, vector bundles on singular curves, degenerations of surfaces, and mirror symmetry of Calabi-Yau manifolds.

This text explains the concepts of supervisory control and discrete event systems, and the background material on general Petri net theory necessary for using the book's control techniques is provided. A large number of examples is used to illustrate the concepts and techniques presented in the text, and there are references for those interested in additional study or more information on a particular topic. The text is intended for graduate students, advanced undergraduates, and practicing engineers who are interested in the control problems of manufacturing, communication and computer networks, chemical process plants, and other high-level control applications. The text is written from an engineering perspective, but it is also appropriate for students of computer science, applied mathematics, or economics. The book contains enough background material to stand alone as an introduction to supervisory control with Petri nets, but it may also be used as a supplemental text in a course on discrete event systems or intelligent autonomous control.

Driven by the request for increased productivity, flexibility, and competitiveness, modern civilization increasingly has created high-performance discrete event dynamic systems (DEDSs). These systems exhibit concurrent, sequential, competitive activities among their components. They are often complex and large in scale, and necessarily flexible and thus highly capital-intensive. Examples of systems are manufacturing systems, communication networks, traffic and logistic systems, and military command and control systems. Modelling and performance evaluation play a vital role in the design and operation of such high-performance DEDSs and thus have received widespread attention from researchers over the past two decades. One methodology resulting from this effort is based on timed Petri nets and related graphical and mathematical tools. The popularity that Petri nets have been gaining in modelling of DEDSs is due to their powerful representational ability of concurrency and synchronization; however these properties of DEDSs cannot be expressed easily in traditional formalisms developed for analysis of "classical" systems with sequential behaviours.This text introduces the theories and applications of timed Petri nets systematically. Moreover, it also presents many practical applications in addition to theoretical developments, together with the latest research results and industrial applications of timed Petri nets. The book is intended for use by researchers and practitioners in the area of Discrete Event Dynamic Systems.

This text offers a comprehensive presentation of a wide repertoire of computer simulation techniques available to the modellers of dynamic systems. It includes a complete and balanced description of all essential issues relevant to computer simulation of discrete event systems, and it teaches simulation users how to design, programme and exploit their own computer simulation models. In addition, it uses the object-oriented methodology throughout the book as its main programming platform. The reader is expected to have some background in the theory of probability and statistics and only a little programming experience in C++, as the book is not tied down to any particular simulation language. The book also provides 50 complete simulation problems to assist with writing such simulation programs. The book demonstrates the basic and generic concepts used in computer simulation of discrete-event systems in a comprehensive, uniform and self-contained manner.

This overview presents a unified and systematic treatment of manufacturing enterprises. These enterprises are networks of companies working in partnership. Such networks are a common occurrence in auto, grocery, apparel, computer and other industries; and competition is among enterprises rather than between individual companies. Thus, for these enterprises (global or local) to succeed, there is a need for systematically designing the enterprise-wide value delivery processes such as the order-to-delivery process, supply chain process, and new product development process. This calls for developing systematic analysis methodologies for evaluating the performance of value delivering processes. This work aims to fill this need. The first part of the book focuses on foundations of manufacturing enterprises: the generic value delivery process, their performance measures and redesign to meet specifications on lead time and defect levels. The second part provides a discussion on new product development, order to delivery, and supply chain processes, which are core processes of a manufacturing enterprise.

This is a collection of contributions from leading international researchers in the fields of dynamic systems, control theory, and modelling. These papers were presented at the Symposium on Modeling and Optimization of Complex Systems in honor of Larry Yu-Chi Ho in June 2001. They include research topics such as: the modelling of complex systems; power control in ad hoc wireless networks; adaptive control using multiple models; constrained control; linear quadratic control; discrete events; Markov decision processes and reinforcement learning; optimal control for discrete event and hybrid systems; and optimal representation and visualization of multivariate data and functions in low-dimensional spaces.

During the last decade, the area of stochastic max-plus linear systems has witnessed a rapid development, which created a growing interest in this area. This book provides a thorough treatment of the theory of stochastic max-plus linear systems. Max-plus algebra is an algebraic approach to discrete event systems (DES), like queuing networks that are prone to synchronization. Perturbation analysis studies the sensitivity of the performance of DES with respect to changes in a particular system parameter.The first part of the book addresses modeling issues and stability theory for stochastic max-plus systems. The second part of the book treats perturbation analysis of max-plus systems: a calculus for differentiation of max-plus systems is developed. This calculus leads to numerical evaluations of performance indices of max-plus linear stochastic systems, such as the Lyapunov exponent or waiting times.

Modeling, Control And Optimization Of Complex Systems is a collection of contributions from leading international researchers in the fields of dynamic systems, control theory, and modeling. These papers were presented at the Symposium on Modeling and Optimization of Complex Systems in honor of Larry Yu-Chi Ho in June 2001. They include exciting research topics such as: -modeling of complex systems, -power control in ad hoc wireless networks, -adaptive control using multiple models, -constrained control, -linear quadratic control, -discrete events, -Markov decision processes and reinforcement learning, -optimal control for discrete event and hybrid systems, -optimal representation and visualization of multivariate data and functions in low-dimensional spaces.

Supervision of Petri Nets presents supervisory control theory for Petri nets with a legal set as the control goal. Petri nets model discrete event systems - dynamic systems whose evolution is completely determined by the occurrence of discrete events. Control laws, which guarantee that the system meets a set of specifications in the presence of uncontrollable and unobservable events, are studied and constructed, using application areas such as automated manufacturing and transportation systems. Supervision of Petri Nets introduces a new and mathematically sound approach to the subject. Existing results are unified by proposing a general mathematical language that makes extensive use of order theoretical ideas, and numerous new results are described, including ready-to-use algorithms that construct supervisory control laws for Petri nets. Supervision of Petri Nets is an excellent reference for researchers, and may also be used as a supplementary text for advanced courses on control theory.

Analysis of Manufacturing Enterprises presents a unified and systematic treatment of manufacturing enterprises. These enterprises are networks of companies working in partnership. Such networks are a common occurrence in auto, grocery, apparel, computer and other industries; and competition is among enterprises rather than between individual companies. Thus, for these enterprises (global or local) to succeed, there is a need for systematically designing the enterprise-wide value delivery processes such as the order-to-delivery process, supply chain process, and new product development process. This calls for developing systematic analysis methodologies for evaluating the performance of value delivering processes. Analysis of Manufacturing Enterprises fills this vital need. The first part of the book focuses on foundations of manufacturing enterprises: the generic value delivery process, their performance measures and redesign to meet specifications on lead time and defect levels. The second part provides a clear and comprehensive discussion on new product development, order to delivery, and supply chain processes, which are core processes of a manufacturing enterprise. Analysis of Manufacturing Enterprises is an excellent resource for researchers and professionals in the field of manufacturing engineering.

Object-Oriented Computer Simulation of Discrete-Event Systems offers a comprehensive presentation of a wide repertoire of computer simulation techniques available to the modelers of dynamic systems. Unlike other books on simulation, this book includes a complete and balanced description of all essential issues relevant to computer simulation of discrete event systems, and it teaches simulation users how to design, program and exploit their own computer simulation models. In addition, it uses the object-oriented methodology throughout the book as its main programming platform. The reader is expected to have some background in the theory of probability and statistics and only a little programming experience in C++, as the book is not tied down to any particular simulation language. The book also provides 50 complete simulation problems to assist with writing such simulation programs. Object-Oriented Computer Simulation of Discrete-Event Systems demonstrates the basic and generic concepts used in computer simulation of discrete-event systems in a comprehensive, uniform and self-contained manner.

Driven by the request for increased productivity, flexibility, and competitiveness, modern civilization increasingly has created high-performance discrete event dynamic systems (DEDSs). These systems exhibit concurrent, sequential, competitive activities among their components. They are often complex and large in scale, and necessarily flexible and thus highly capital-intensive. Examples of systems are manufacturing systems, communication networks, traffic and logistic systems, and military command and control systems. Modeling and performance evaluation play a vital role in the design and operation of such high-performance DEDSs and thus have received widespread attention from researchers over the past two decades. One methodology resulting from this effort is based on timed Petri nets and related graphical and mathematical tools. The popularity that Petri nets have been gaining in modeling of DEDSs is due to their powerful representational ability of concurrency and synchronization; however these properties of DEDSs cannot be expressed easily in traditional formalisms developed for analysis of `classical' systems with sequential behaviors. This book introduces the theories and applications of timed Petri nets systematically. Moreover, it also presents many practical applications in addition to theoretical developments, together with the latest research results and industrial applications of timed Petri nets. Timed Petri Nets: Theory and Application is intended for use by researchers and practitioners in the area of Discrete Event Dynamic Systems.