Control of Discrete-Event Systems


Book Description

Control of Discrete-event Systems provides a survey of the most important topics in the discrete-event systems theory with particular focus on finite-state automata, Petri nets and max-plus algebra. Coverage ranges from introductory material on the basic notions and definitions of discrete-event systems to more recent results. Special attention is given to results on supervisory control, state estimation and fault diagnosis of both centralized and distributed/decentralized systems developed in the framework of the Distributed Supervisory Control of Large Plants (DISC) project. Later parts of the text are devoted to the study of congested systems though fluidization, an over approximation allowing a much more efficient study of observation and control problems of timed Petri nets. Finally, the max-plus algebraic approach to the analysis and control of choice-free systems is also considered. Control of Discrete-event Systems provides an introduction to discrete-event systems for readers that are not familiar with this class of systems, but also provides an introduction to research problems and open issues of current interest to readers already familiar with them. Most of the material in this book has been presented during a Ph.D. school held in Cagliari, Italy, in June 2011.




NBS Special Publication


Book Description




Dynamics Under Uncertainty: Modeling Simulation and Complexity


Book Description

The dynamics of systems have proven to be very powerful tools in understanding the behavior of different natural phenomena throughout the last two centuries. However, the attributes of natural systems are observed to deviate from their classical states due to the effect of different types of uncertainties. Actually, randomness and impreciseness are the two major sources of uncertainties in natural systems. Randomness is modeled by different stochastic processes and impreciseness could be modeled by fuzzy sets, rough sets, Dempster-Shafer theory, etc.




Intelligent Marine Robotics Modelling, Simulation and Applications


Book Description

The biennial Congress of the Italian Society of Oral Pathology and Medicine (SIPMO) is an International meeting dedicated to the growing diagnostic challenges in the oral pathology and medicine field. The III International and XV National edition will be a chance to discuss clinical conditions which are unusual, rare, or difficult to define. Many consolidated national and international research groups will be involved in the debate and discussion through special guest lecturers, academic dissertations, single clinical case presentations, posters, and degree thesis discussions. The SIPMO Congress took place from the 17th to the 19th of October 2019 in Bari (Italy), and the enclosed copy of Proceedings is a non-exhaustive collection of abstracts from the SIPMO 2019 contributions.




Digital Urban Modeling and Simulation


Book Description

This book is thematically positioned at the intersections of Urban Design, Architecture, Civil Engineering and Computer Science, and it has the goal to provide specialists coming from respective fields a multi-angle overview of state-of-the-art work currently being carried out. It addresses both newcomers who wish to obtain more knowledge about this growing area of interest, as well as established researchers and practitioners who want to keep up to date. In terms of organization, the volume starts out with chapters looking at the domain at a wide-angle and then moves focus towards technical viewpoints and approaches.







Agent-Directed Simulation and Systems Engineering


Book Description

The only book to present the synergy between modeling and simulation, systems engineering, and agent technologies expands the notion of agent-based simulation to also deal with agent simulation and agent-supported simulation. Accessible to both practitioners and managers, it systematically addresses designing and building agent systems from a systems engineering perspective.




Discrete-Event Modeling and Simulation


Book Description

Collecting the work of the foremost scientists in the field, Discrete-Event Modeling and Simulation: Theory and Applications 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.




Simulation Modeling - Recent Advances, New Perspectives, and Applications


Book Description

A simulation is the imitation of the operation of a real-world process or system over time. Simulations require the use of models in which a model represents the key characteristics or behaviors of the selected system or process and the simulation represents the evolution of the model over time. Computers are often used to execute simulations. This book provides a comprehensive overview of simulation modeling and explores its use to solve a large set of problems. It is a useful resource for scholars, researchers, and undergraduate and graduate students in pure and applied mathematics, physical sciences, engineering and technology, computer science, numerical analysis, scientific computing, and science in general.




Recent Developments in Applied Probability and Statistics


Book Description

This book is devoted to Professor Jürgen Lehn, who passed away on September 29, 2008, at the age of 67. It contains invited papers that were presented at the Wo- shop on Recent Developments in Applied Probability and Statistics Dedicated to the Memory of Professor Jürgen Lehn, Middle East Technical University (METU), Ankara, April 23–24, 2009, which was jointly organized by the Technische Univ- sität Darmstadt (TUD) and METU. The papers present surveys on recent devel- ments in the area of applied probability and statistics. In addition, papers from the Panel Discussion: Impact of Mathematics in Science, Technology and Economics are included. Jürgen Lehn was born on the 28th of April, 1941 in Karlsruhe. From 1961 to 1968 he studied mathematics in Freiburg and Karlsruhe, and obtained a Diploma in Mathematics from the University of Karlsruhe in 1968. He obtained his Ph.D. at the University of Regensburg in 1972, and his Habilitation at the University of Karlsruhe in 1978. Later in 1978, he became a C3 level professor of Mathematical Statistics at the University of Marburg. In 1980 he was promoted to a C4 level professorship in mathematics at the TUD where he was a researcher until his death.