Railway Safety, Reliability, and Security: Technologies and Systems Engineering


Book Description

Human errors, as well as deliberate sabotage, pose a considerable danger to passengers riding on the modern railways and have created disastrous consequences. To protect civilians against both intentional and unintentional threats, rail transportation has become increasingly automated. Railway Safety, Reliability, and Security: Technologies and Systems Engineering provides engineering students and professionals with a collection of state-of-the-art methodological and technological notions to support the development and certification of ‘real-time safety-critical’ railway control systems, as well as the protection of rail transportation infrastructures.




Validation and Verification of Automated Systems


Book Description

The book summarizes the main results of the the project ENABLE-S3 covering the following aspects: validation and verification technology bricks (collection and selection of test scenarios, test executions envionments incl. respective models, assessment of test results), evaluation of technology bricks in selected use cases and standardization and related initiatives. ENABLE-S3 is an industry-driven EU-project and aspires to substitute todays' cost-intensive verification and validation efforts by more advanced and efficient methods. In addition, the book includes articles about complementary international activities in order to highlight the global importance of the topic and to cover the wide range of aspects that needs to be covered at a global scale.




A Mathematical Model for Railway Control Systems


Book Description

We present a general method for modeling safety aspects of railway control systems. Using our modeling method, one can progressively refine an abstract railway safety model, sucessively adding layers of detail about how a real system actually operates, while maintaining a safety property that refines the original abstract safety property. This method supports a top-down approach to specification of railway control systems and to proof of a variety of safety-related properties. We demonstrate our method by proving safety of the classical block control system. Hoover, D. N. Langley Research Center NAS1-20335; RTOP 505-64-50-03...




Networked Control Systems for Connected and Automated Vehicles


Book Description

This book is a collection of the latest research findings in such areas as networked multi-agent systems, co-design of communication and control, distributed control strategies that can cope with asynchrony between local loops, event-triggered control, modelling of network infrastructure, novel concepts of distributed control for networked and cyber-physical systems. The book contains the result of the latest research in the field of communication and control system design to support networked control systems with stringent real-time requirements. It introduces readers to research in the field of joint design of the control and communication protocol and presents the latest developments in the area of novel optimal control and scheduling designs under resource constraints. The book also covers the issues of creating emerging information and communication technologies for traffic estimation and control, connected and autonomous technology applications and modelling for commercial and shared vehicle operations. The reader will find information on emerging cyber-physical systems, networked multi-agent systems, large-scale distributed energy systems, as well as on real-time systems, safety and security systems. A significant block of studies is devoted to the topic of transitions towards electrification and automation of vehicles. Modern concepts of road infrastructure construction are described in detail in the presented research papers. Automotive industry professionals will be particularly interested in the sections on the novel mechanisms for medium access in multi-hop wireless networks with real-time requirements, optimal layering architecture and co-design for wireless communication. The book will be incredibly interesting for researchers interested in human–digital interfaces, industrial Internet of Things, artificial intelligence and machine learning.




Cellular Automata


Book Description

This book constitutes the refereed proceedings of the 9th International Conference on Cellular Automata for Research and Industry, ACRI 2010, held in Ascoli Piceno, Italy, in September 2010. The first part of the volume contains 39 revised papers that were carefully reviewed and selected from the main conference; they are organized according to six main topics: theoretical results on cellular automata, modeling and simulation with cellular automata, CA dynamics, control and synchronization, codes and cryptography with cellular automata, cellular automata and networks, as well as CA-based hardware. The second part of the volume comprises 35 revised papers dedicated to contributions presented during ACRI 2010 workshops on theoretical advances, specifically asynchronous cellular automata, and challenging application contexts for cellular automata: crowds and CA, traffic and CA, and the international workshop of natural computing.




Functional Manufacturing Technologies and Ceeusro II


Book Description

Selected, peer reviewed papers of the 4th International Conference on Engineering Technologies and Ceeusro 2011, 2011, Zhenjiang, Jiangsu, China




Rail Vehicle Mechatronics


Book Description

This unique and up-to-date work surveys the use of mechatronics in rail vehicles, notably traction, braking, communications, data sharing, and control. The results include improved safety, comfort, and fuel efficiency. Mechatronic systems are a key element in modern rail vehicle design and operation. Starting with an overview of mechatronic theory, the book covers such topics as modeling of mechanical and electrical systems for rail vehicles, open and closed loop control systems, sensors, actuators, and microprocessors. Modern simulation techniques and examples are included throughout the book. Numerical experiments and developed models for railway application are presented and explained. Case studies are used, alongside practical examples, to ensure that the reader can apply mechatronic theory to real world conditions. These case studies include modeling of a hybrid locomotive and simplified models of railway vehicle lateral dynamics for suspension control studies. Rail Vehicle Mechatronics provides current and in-depth content for design engineers, operations managers, systems engineers, and technical consultants working with freight, passenger, and urban transit railway systems worldwide.




Proceedings of the 2015 International Conference on Electrical and Information Technologies for Rail Transportation


Book Description

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.




CONTROL SYSTEMS, ROBOTICS AND AUTOMATION – Volume XX


Book Description

This Encyclopedia of Control Systems, Robotics, and Automation is a component of the global Encyclopedia of Life Support Systems EOLSS, which is an integrated compendium of twenty one Encyclopedias. This 22-volume set contains 240 chapters, each of size 5000-30000 words, with perspectives, applications and extensive illustrations. It is the only publication of its kind carrying state-of-the-art knowledge in the fields of Control Systems, Robotics, and Automation and is aimed, by virtue of the several applications, at the following five major target audiences: University and College Students, Educators, Professional Practitioners, Research Personnel and Policy Analysts, Managers, and Decision Makers and NGOs.