Search

This book reflects the latest research trends, methods and experimental results in the field of electrical and information technologies for rail transportation, which covers abundant state-of-the-art research theories and ideas. As a vital field of research that is highly relevant to current developments in a number of technological domains, the subjects it covered include intelligent computing, information processing, communication technology, automatic control, etc. The objective of the proceedings is to provide a major interdisciplinary forum for researchers, engineers, academicians and industrial professionals to present the most innovative research and development in the field of rail transportation electrical and information technologies. Engineers and researchers in academia, industry and government will also explore an insightful view of the solutions that combine ideas from multiple disciplines in this field. The volumes serve as an excellent reference work for researchers andgraduate students working on rail transportation and electrical and information technologies.

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 diagnosiscomprehensive coverage of centralized and decentralized supervisory control of partially-observed systemstimed models, including timed automata and hybrid automatastochastic models for discrete event systems and controlled Markov chainsdiscrete event simulationan introduction to stochastic hybrid systemssensitivity analysis and optimization of discrete event and hybrid systemsnew in the third edition: opacity properties, enhanced coverage of supervisory control, overview of latest software toolsThis 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.

The proceedings collect the latest research trends, methods and experimental results in the field of electrical and information technologies for rail transportation. The topics cover novel traction drive technologies of rail transportation, safety technology of rail transportation system, rail transportation information technology, rail transportation operational management technology, rail transportation cutting-edge theory and technology etc. The proceedings can be a valuable reference work for researchers and graduate students working in rail transportation, electrical engineering and information technologies.

This book introduces different interconnection networks applied to different systems. Interconnection networks are used to communicate processing units in a multi-processor system, routers in communication networks, and servers in data centers. Queuing techniques are applied to interconnection networks to support a higher utilization of resources. There are different queuing strategies, and these determine not only the performance of the interconnection network, but also the set of requirements to make them work effectively and their cost. Routing algorithms are used to find routes to destinations and directions in what information travels. Additional properties, such as avoiding deadlocks and congestion, are sought. Effective routing algorithms need to be paired up with these networks. The book will introduce the most relevant interconnection networks, queuing strategies, and routing algorithm. It discusses their properties and how these leverage the performance of the whole interconnection system. In addition, the book covers additional topics for memory management and congestion avoidance, used to extract higher performance from the interconnection network.

The proceedings collect the latest research trends, methods and experimental results in the field of electrical and information technologies for rail transportation. The topics cover intelligent computing, information processing, communication technology, automatic control, and their applications in rail transportation etc. The proceedings can be a valuable reference work for researchers and graduate students working in rail transportation, electrical engineering and information technologies.

The proceedings collect the latest research trends, methods and experimental results in the field of electrical and information technologies for rail transportation. The topics cover intelligent computing, information processing, communication technology, automatic control, and their applications in rail transportation etc. The proceedings can be a valuable reference work for researchers and graduate students working in rail transportation, electrical engineering and information technologies.

Dynamic Systems (DEDS) are almost endless: military C31 Ilogistic systems, the emergency ward of a metropolitan hospital, back offices of large insurance and brokerage fums, service and spare part operations of multinational fums.... the point is the pervasive nature of such systems in the daily life of human beings. Yet DEDS is a relatively new phenomenon in dynamic systems studies. From the days of Galileo to Newton to quantum mechanics and cosmology of the present, dynamic systems in nature are primarily differential equations based and time driven. A large literature and endless success stories have been built up on such Continuous Variable Dynamic Systems (CVDS). It is, however, equally clear that DEDS are fundamentally different from CVDS. They are event driven, asynchronous, mostly man-made and only became significant during the past generation. Increasingly, however, it can be argued that in the modem world our lives are being impacted by and dependent upon the efficient operations of such DEDS. Yet compared to the successful paradigm of differential equations for CVDS the mathematical modelling of DEDS is in its infancy. Nor are there as many successful and established techniques for their analysis and synthesis. The purpose of this series is to promote the study and understanding of the modelling, analysis, control, and management of DEDS. The idea of the series came from editing a special issue of the Proceedings of IEEE on DEOS during 1988.

Introduction to Discrete Event Systems is a comprehensive introduction to 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 queuing theory, discrete-event simulation, and concurrent estimation techniques. This edition includes new material pertaining to the diagnosis of discrete event systems, decentralized supervisory control, and interval-based timed automata and hybrid automata models. This textbook is valuable 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, operations research, and industrial engineering.