Author: Jie Ji
Publisher: Springer Nature
ISBN: 303101507X
Category : Technology & Engineering
Languages : en
Pages : 144
Book Description
In recent years, the control of Connected and Automated Vehicles (CAVs) has attracted strong attention for various automotive applications. One of the important features demanded of CAVs is collision avoidance, whether it is a stationary or a moving obstacle. Due to complex traffic conditions and various vehicle dynamics, the collision avoidance system should ensure that the vehicle can avoid collision with other vehicles or obstacles in longitudinal and lateral directions simultaneously. The longitudinal collision avoidance controller can avoid or mitigate vehicle collision accidents effectively via Forward Collision Warning (FCW), Brake Assist System (BAS), and Autonomous Emergency Braking (AEB), which has been commercially applied in many new vehicles launched by automobile enterprises. But in lateral motion direction, it is necessary to determine a flexible collision avoidance path in real time in case of detecting any obstacle. Then, a path-tracking algorithm is designed to assure that the vehicle will follow the predetermined path precisely, while guaranteeing certain comfort and vehicle stability over a wide range of velocities. In recent years, the rapid development of sensor, control, and communication technology has brought both possibilities and challenges to the improvement of vehicle collision avoidance capability, so collision avoidance system still needs to be further studied based on the emerging technologies. In this book, we provide a comprehensive overview of the current collision avoidance strategies for traditional vehicles and CAVs. First, the book introduces some emergency path planning methods that can be applied in global route design and local path generation situations which are the most common scenarios in driving. A comparison is made in the path-planning problem in both timing and performance between the conventional algorithms and emergency methods. In addition, this book introduces and designs an up-to-date path-planning method based on artificial potential field methods for collision avoidance, and verifies the effectiveness of this method in complex road environment. Next, in order to accurately track the predetermined path for collision avoidance, traditional control methods, humanlike control strategies, and intelligent approaches are discussed to solve the path-tracking problem and ensure the vehicle successfully avoids the collisions. In addition, this book designs and applies robust control to solve the path-tracking problem and verify its tracking effect in different scenarios. Finally, this book introduces the basic principles and test methods of AEB system for collision avoidance of a single vehicle. Meanwhile, by taking advantage of data sharing between vehicles based on V2X (vehicle-to-vehicle or vehicle-to-infrastructure) communication, pile-up accidents in longitudinal direction are effectively avoided through cooperative motion control of multiple vehicles.
Path Planning and Tracking for Vehicle Collision Avoidance in Lateral and Longitudinal Motion Directions
Author: Jie Ji
Publisher: Springer Nature
ISBN: 303101507X
Category : Technology & Engineering
Languages : en
Pages : 144
Book Description
In recent years, the control of Connected and Automated Vehicles (CAVs) has attracted strong attention for various automotive applications. One of the important features demanded of CAVs is collision avoidance, whether it is a stationary or a moving obstacle. Due to complex traffic conditions and various vehicle dynamics, the collision avoidance system should ensure that the vehicle can avoid collision with other vehicles or obstacles in longitudinal and lateral directions simultaneously. The longitudinal collision avoidance controller can avoid or mitigate vehicle collision accidents effectively via Forward Collision Warning (FCW), Brake Assist System (BAS), and Autonomous Emergency Braking (AEB), which has been commercially applied in many new vehicles launched by automobile enterprises. But in lateral motion direction, it is necessary to determine a flexible collision avoidance path in real time in case of detecting any obstacle. Then, a path-tracking algorithm is designed to assure that the vehicle will follow the predetermined path precisely, while guaranteeing certain comfort and vehicle stability over a wide range of velocities. In recent years, the rapid development of sensor, control, and communication technology has brought both possibilities and challenges to the improvement of vehicle collision avoidance capability, so collision avoidance system still needs to be further studied based on the emerging technologies. In this book, we provide a comprehensive overview of the current collision avoidance strategies for traditional vehicles and CAVs. First, the book introduces some emergency path planning methods that can be applied in global route design and local path generation situations which are the most common scenarios in driving. A comparison is made in the path-planning problem in both timing and performance between the conventional algorithms and emergency methods. In addition, this book introduces and designs an up-to-date path-planning method based on artificial potential field methods for collision avoidance, and verifies the effectiveness of this method in complex road environment. Next, in order to accurately track the predetermined path for collision avoidance, traditional control methods, humanlike control strategies, and intelligent approaches are discussed to solve the path-tracking problem and ensure the vehicle successfully avoids the collisions. In addition, this book designs and applies robust control to solve the path-tracking problem and verify its tracking effect in different scenarios. Finally, this book introduces the basic principles and test methods of AEB system for collision avoidance of a single vehicle. Meanwhile, by taking advantage of data sharing between vehicles based on V2X (vehicle-to-vehicle or vehicle-to-infrastructure) communication, pile-up accidents in longitudinal direction are effectively avoided through cooperative motion control of multiple vehicles.
Publisher: Springer Nature
ISBN: 303101507X
Category : Technology & Engineering
Languages : en
Pages : 144
Book Description
In recent years, the control of Connected and Automated Vehicles (CAVs) has attracted strong attention for various automotive applications. One of the important features demanded of CAVs is collision avoidance, whether it is a stationary or a moving obstacle. Due to complex traffic conditions and various vehicle dynamics, the collision avoidance system should ensure that the vehicle can avoid collision with other vehicles or obstacles in longitudinal and lateral directions simultaneously. The longitudinal collision avoidance controller can avoid or mitigate vehicle collision accidents effectively via Forward Collision Warning (FCW), Brake Assist System (BAS), and Autonomous Emergency Braking (AEB), which has been commercially applied in many new vehicles launched by automobile enterprises. But in lateral motion direction, it is necessary to determine a flexible collision avoidance path in real time in case of detecting any obstacle. Then, a path-tracking algorithm is designed to assure that the vehicle will follow the predetermined path precisely, while guaranteeing certain comfort and vehicle stability over a wide range of velocities. In recent years, the rapid development of sensor, control, and communication technology has brought both possibilities and challenges to the improvement of vehicle collision avoidance capability, so collision avoidance system still needs to be further studied based on the emerging technologies. In this book, we provide a comprehensive overview of the current collision avoidance strategies for traditional vehicles and CAVs. First, the book introduces some emergency path planning methods that can be applied in global route design and local path generation situations which are the most common scenarios in driving. A comparison is made in the path-planning problem in both timing and performance between the conventional algorithms and emergency methods. In addition, this book introduces and designs an up-to-date path-planning method based on artificial potential field methods for collision avoidance, and verifies the effectiveness of this method in complex road environment. Next, in order to accurately track the predetermined path for collision avoidance, traditional control methods, humanlike control strategies, and intelligent approaches are discussed to solve the path-tracking problem and ensure the vehicle successfully avoids the collisions. In addition, this book designs and applies robust control to solve the path-tracking problem and verify its tracking effect in different scenarios. Finally, this book introduces the basic principles and test methods of AEB system for collision avoidance of a single vehicle. Meanwhile, by taking advantage of data sharing between vehicles based on V2X (vehicle-to-vehicle or vehicle-to-infrastructure) communication, pile-up accidents in longitudinal direction are effectively avoided through cooperative motion control of multiple vehicles.
Artificial Intelligence Applications and Innovations. AIAI 2021 IFIP WG 12.5 International Workshops
Author: Ilias Maglogiannis
Publisher: Springer Nature
ISBN: 3030791572
Category : Computers
Languages : en
Pages : 507
Book Description
This book constitutes the refereed proceedings of six International Workshops held as parallel events of the 17th IFIP WG 12.5 International Conference on Artificial Intelligence Applications and Innovations, AIAI 2021, virtually and in Hersonissos, Crete, Greece, in June 2021: the 6th Workshop on 5G-Putting Intelligence to the Network Edge, 5G-PINE 2021; Artificial Intelligence in Biomedical Engineering and Informatics Workshop, AI-BIO 2021; Workshop on Defense Applications of AI, DAAI 2021; Distributed AI for Resource-Constrained Platforms Workshop, DARE 2021; Energy Efficiency and Artificial Intelligence Workshop, EEAI 2021; and the 10th Mining Humanistic Data Workshop, MHDW 2021. The 24 full papers and 16 short papers presented at these workshops were carefully reviewed and selected from 72 submissions. The papers presented at 5G-PINE focus on the latest AI applications in the telecommunication industry and AI in modern 5G-oriented telecommunications infrastructures. The papers chosen for AI-BIO 2021 present research on the subject of AI, in its broadest sense, in biomedical engineering and health informatics. The DAAI 2021 papers aim at presenting recent evolutions in artificial intelligence applicable to defense and security applications. The papers selected for DARE 2021 address a variety of pertinent and challenging topics within the scope of distributed AI for resource-constrained platforms. The papers presented at EEAI 2021 aim to bring together interdisciplinary approaches that focus on the application of AI-driven solutions for increasing and improving energy efficiency of residential and tertiary buildings and of occupant behavior. The MHDW papers focus on topics such as recommendation systems, sentiment analysis, pattern recognition, data mining, and time series.
Publisher: Springer Nature
ISBN: 3030791572
Category : Computers
Languages : en
Pages : 507
Book Description
This book constitutes the refereed proceedings of six International Workshops held as parallel events of the 17th IFIP WG 12.5 International Conference on Artificial Intelligence Applications and Innovations, AIAI 2021, virtually and in Hersonissos, Crete, Greece, in June 2021: the 6th Workshop on 5G-Putting Intelligence to the Network Edge, 5G-PINE 2021; Artificial Intelligence in Biomedical Engineering and Informatics Workshop, AI-BIO 2021; Workshop on Defense Applications of AI, DAAI 2021; Distributed AI for Resource-Constrained Platforms Workshop, DARE 2021; Energy Efficiency and Artificial Intelligence Workshop, EEAI 2021; and the 10th Mining Humanistic Data Workshop, MHDW 2021. The 24 full papers and 16 short papers presented at these workshops were carefully reviewed and selected from 72 submissions. The papers presented at 5G-PINE focus on the latest AI applications in the telecommunication industry and AI in modern 5G-oriented telecommunications infrastructures. The papers chosen for AI-BIO 2021 present research on the subject of AI, in its broadest sense, in biomedical engineering and health informatics. The DAAI 2021 papers aim at presenting recent evolutions in artificial intelligence applicable to defense and security applications. The papers selected for DARE 2021 address a variety of pertinent and challenging topics within the scope of distributed AI for resource-constrained platforms. The papers presented at EEAI 2021 aim to bring together interdisciplinary approaches that focus on the application of AI-driven solutions for increasing and improving energy efficiency of residential and tertiary buildings and of occupant behavior. The MHDW papers focus on topics such as recommendation systems, sentiment analysis, pattern recognition, data mining, and time series.
Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems
Author: S. Ramesh
Publisher: Springer Science & Business Media
ISBN: 1402062540
Category : Technology & Engineering
Languages : en
Pages : 304
Book Description
This volume is the proceedings of a workshop organized by General Motors research and development laboratory in Bangalore, India. It was the first of its kind to be run by an automotive major to bring together the leaders in the field of embedded systems development to present state-of-the-art work, and to discuss future strategies for addressing the increasing complexity of embedded control systems. The workshop consisted of invited talks given by leading experts and researchers from academic and industrial organizations. It covered all areas of embedded systems development.
Publisher: Springer Science & Business Media
ISBN: 1402062540
Category : Technology & Engineering
Languages : en
Pages : 304
Book Description
This volume is the proceedings of a workshop organized by General Motors research and development laboratory in Bangalore, India. It was the first of its kind to be run by an automotive major to bring together the leaders in the field of embedded systems development to present state-of-the-art work, and to discuss future strategies for addressing the increasing complexity of embedded control systems. The workshop consisted of invited talks given by leading experts and researchers from academic and industrial organizations. It covered all areas of embedded systems development.
Research on Transport Economics 1999
Author: European Conference of Ministers of Transport
Publisher: OECD Publishing
ISBN: 9264074171
Category :
Languages : en
Pages : 430
Book Description
This Annual Information Bulletin presents a survey of research in hand on the social and economic aspects of transport in over 400 specialised agencies which are mainly European (West and East) but in some cases American, Canadian or Australian.
Publisher: OECD Publishing
ISBN: 9264074171
Category :
Languages : en
Pages : 430
Book Description
This Annual Information Bulletin presents a survey of research in hand on the social and economic aspects of transport in over 400 specialised agencies which are mainly European (West and East) but in some cases American, Canadian or Australian.
Federal Register
Leveraging Applications of Formal Methods, Verification and Validation
Author: Tiziana Margaria
Publisher: Springer Nature
ISBN: 3030891593
Category : Computers
Languages : en
Pages : 505
Book Description
This book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises contributions from the proceedings originally foreseen for ISoLA 2020 collected in 4 volumes, LNCS 12476: Verification Principles, LNCS 12477: Engineering Principles, LNCS 12478: Applications, and LNCS 12479: Tools and Trends. The contributions included in this volume were organized in the following topical sections: 6th International School on Tool-Based Rigorous Engineering of Software Systems; Industrial Track; Programming: What is Next; Software Verification Tools; Rigorous Engineering of Collective Adaptive Systems.
Publisher: Springer Nature
ISBN: 3030891593
Category : Computers
Languages : en
Pages : 505
Book Description
This book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises contributions from the proceedings originally foreseen for ISoLA 2020 collected in 4 volumes, LNCS 12476: Verification Principles, LNCS 12477: Engineering Principles, LNCS 12478: Applications, and LNCS 12479: Tools and Trends. The contributions included in this volume were organized in the following topical sections: 6th International School on Tool-Based Rigorous Engineering of Software Systems; Industrial Track; Programming: What is Next; Software Verification Tools; Rigorous Engineering of Collective Adaptive Systems.
PROCEEDINGS OF THE 22ND CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2022
Author: Alberto Griggio
Publisher: TU Wien Academic Press
ISBN: 3854480539
Category : Computers
Languages : en
Pages : 405
Book Description
The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system testing.
Publisher: TU Wien Academic Press
ISBN: 3854480539
Category : Computers
Languages : en
Pages : 405
Book Description
The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system testing.
Computational Collective Intelligence
Author: Ngoc Thanh Nguyen
Publisher: Springer
ISBN: 3319670778
Category : Computers
Languages : en
Pages : 630
Book Description
This two-volume set (LNAI 10448 and LNAI 10449) constitutes the refereed proceedings of the 9th International Conference on Collective Intelligence, ICCCI 2017, held in Nicosia, Cyprus, in September 2017. The 117 full papers presented were carefully reviewed and selected from 248 submissions. The conference focuseson the methodology and applications of computational collective intelligence, included: multi-agent systems, knowledge engineering and semantic web, social networks and recommender systems, text processing and information retrieval, data mining methods and applications, sensor networks and internet of things, decision support & control systems, and computer vision techniques.
Publisher: Springer
ISBN: 3319670778
Category : Computers
Languages : en
Pages : 630
Book Description
This two-volume set (LNAI 10448 and LNAI 10449) constitutes the refereed proceedings of the 9th International Conference on Collective Intelligence, ICCCI 2017, held in Nicosia, Cyprus, in September 2017. The 117 full papers presented were carefully reviewed and selected from 248 submissions. The conference focuseson the methodology and applications of computational collective intelligence, included: multi-agent systems, knowledge engineering and semantic web, social networks and recommender systems, text processing and information retrieval, data mining methods and applications, sensor networks and internet of things, decision support & control systems, and computer vision techniques.
Control Strategies for Advanced Driver Assistance Systems and Autonomous Driving Functions
Author: Harald Waschl
Publisher: Springer
ISBN: 331991569X
Category : Technology & Engineering
Languages : en
Pages : 235
Book Description
This book describes different methods that are relevant to the development and testing of control algorithms for advanced driver assistance systems (ADAS) and automated driving functions (ADF). These control algorithms need to respond safely, reliably and optimally in varying operating conditions. Also, vehicles have to comply with safety and emission legislation. The text describes how such control algorithms can be developed, tested and verified for use in real-world driving situations. Owing to the complex interaction of vehicles with the environment and different traffic participants, an almost infinite number of possible scenarios and situations that need to be considered may exist. The book explains new methods to address this complexity, with reference to human interaction modelling, various theoretical approaches to the definition of real-world scenarios, and with practically-oriented examples and contributions, to ensure efficient development and testing of ADAS and ADF. Control Strategies for Advanced Driver Assistance Systems and Autonomous Driving Functions is a collection of articles by international experts in the field representing theoretical and application-based points of view. As such, the methods and examples demonstrated in the book will be a valuable source of information for academic and industrial researchers, as well as for automotive companies and suppliers.
Publisher: Springer
ISBN: 331991569X
Category : Technology & Engineering
Languages : en
Pages : 235
Book Description
This book describes different methods that are relevant to the development and testing of control algorithms for advanced driver assistance systems (ADAS) and automated driving functions (ADF). These control algorithms need to respond safely, reliably and optimally in varying operating conditions. Also, vehicles have to comply with safety and emission legislation. The text describes how such control algorithms can be developed, tested and verified for use in real-world driving situations. Owing to the complex interaction of vehicles with the environment and different traffic participants, an almost infinite number of possible scenarios and situations that need to be considered may exist. The book explains new methods to address this complexity, with reference to human interaction modelling, various theoretical approaches to the definition of real-world scenarios, and with practically-oriented examples and contributions, to ensure efficient development and testing of ADAS and ADF. Control Strategies for Advanced Driver Assistance Systems and Autonomous Driving Functions is a collection of articles by international experts in the field representing theoretical and application-based points of view. As such, the methods and examples demonstrated in the book will be a valuable source of information for academic and industrial researchers, as well as for automotive companies and suppliers.
Tests and Proofs
Author: Virgile Prevosto
Publisher: Springer Nature
ISBN: 3031388283
Category : Philosophy
Languages : en
Pages : 202
Book Description
This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STAF 2023, a federation of conferences on Software Technologies, Applications and Foundations, which includes two more conferences besides TAP: ICGT (International Conference on Graph Transformations), and ECMFA (European Conference on Modelling Foundations and Applications) in Leicester, UK, in July 2023. The 8 full papers together with 2 short papers included in this volume were carefully reviewed and selected from 14 submissions. They were organized in topical sections on Low-level Code Verification, Formal Models, Model-based test generation, and Abstraction and Refinement.
Publisher: Springer Nature
ISBN: 3031388283
Category : Philosophy
Languages : en
Pages : 202
Book Description
This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STAF 2023, a federation of conferences on Software Technologies, Applications and Foundations, which includes two more conferences besides TAP: ICGT (International Conference on Graph Transformations), and ECMFA (European Conference on Modelling Foundations and Applications) in Leicester, UK, in July 2023. The 8 full papers together with 2 short papers included in this volume were carefully reviewed and selected from 14 submissions. They were organized in topical sections on Low-level Code Verification, Formal Models, Model-based test generation, and Abstraction and Refinement.