Applications of Neural Networks in High Assurance Systems


Book Description

"Applications of Neural Networks in High Assurance Systems" is the first book directly addressing a key part of neural network technology: methods used to pass the tough verification and validation (V&V) standards required in many safety-critical applications. The book presents what kinds of evaluation methods have been developed across many sectors, and how to pass the tests. A new adaptive structure of V&V is developed in this book, different from the simple six sigma methods usually used for large-scale systems and different from the theorem-based approach used for simplified component subsystems.




Safety of the Intended Functionality


Book Description

Safety has been ranked as the number one concern for the acceptance and adoption of automated vehicles since safety has driven some of the most complex requirements in the development of self-driving vehicles. Recent fatal accidents involving self-driving vehicles have uncovered issues in the way some automated vehicle companies approach the design, testing, verification, and validation of their products. Traditionally, automotive safety follows functional safety concepts as detailed in the standard ISO 26262. However, automated driving safety goes beyond this standard and includes other safety concepts such as safety of the intended functionality (SOTIF) and multi-agent safety. Safety of the Intended Functionality (SOTIF) addresses the concept of safety for self-driving vehicles through the inclusion of 10 recent and highly relevent SAE technical papers. Topics that these papers feature include the system engineering management approach and redundancy technical approach to safety. As the third title in a series on automated vehicle safety, this contains introductory content by the Editor with 10 SAE technical papers specifically chosen to illuminate the specific safety topic of that book.




Integration of Cloud Computing with Internet of Things


Book Description

The book aims to integrate the aspects of IoT, Cloud computing and data analytics from diversified perspectives. The book also plans to discuss the recent research trends and advanced topics in the field which will be of interest to academicians and researchers working in this area. Thus, the book intends to help its readers to understand and explore the spectrum of applications of IoT, cloud computing and data analytics. Here, it is also worth mentioning that the book is believed to draw attention on the applications of said technology in various disciplines in order to obtain enhanced understanding of the readers. Also, this book focuses on the researches and challenges in the domain of IoT, Cloud computing and Data analytics from perspectives of various stakeholders.




Characterizing the Safety of Automated Vehicles


Book Description

Safety has been ranked as the number one concern for the acceptance and adoption of automated vehicles since safety has driven some of the most complex requirements in the development of self-driving vehicles. Recent fatal accidents involving self-driving vehicles have uncovered issues in the way some automated vehicle companies approach the design, testing, verification, and validation of their products. Traditionally, automotive safety follows functional safety concepts as detailed in the standard ISO 26262. However, automated driving safety goes beyond this standard and includes other safety concepts such as safety of the intended functionality (SOTIF) and multi-agent safety. Characterizing the Safety of Automated Vehicles addresses the concept of safety for self-driving vehicles through the inclusion of 10 recent and highly relevent SAE technical papers. Topics that these papers feature include functional safety, SOTIF, and multi-agent safety. As the first title in a series on automated vehicle safety, each will contain introductory content by the Editor with 10 SAE technical papers specifically chosen to illuminate the specific safety topic of that book.




Cyber Physical Systems. Design, Modeling, and Evaluation


Book Description

This book constitutes the proceedings of the 7th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy2017, held in conjunction with ESWeek 2017, in Seoul, South Korea, in October 2017. The 10 papers presented together with 1 extended and 1 invited abstracts in this volume were carefully reviewed and selected from 16 submissions. The conference presents a wide range of domains including robotics; smart homes, vehicles, and buildings; medical implants; and future-generation sensor networks.




Big Data Analytics Techniques for Market Intelligence


Book Description

The ever-expanding realm of Big Data poses a formidable challenge for academic scholars and professionals due to the sheer magnitude and diversity of data types, along with the continuous influx of information from various sources. Extracting valuable insights from this vast and complex dataset is crucial for organizations to uncover market intelligence and make informed decisions. However, without the proper guidance and understanding of Big Data analytics techniques and methodologies, scholars may struggle to navigate this landscape and maximize the potential benefits of their research. In response to this pressing need, Professor Dina Darwish presents Big Data Analytics Techniques for Market Intelligence, a groundbreaking book that addresses the specific challenges faced by scholars and professionals in the field. Through a comprehensive exploration of various techniques and methodologies, this book offers a solution to the hurdles encountered in extracting meaningful information from Big Data. Covering the entire lifecycle of Big Data analytics, including preprocessing, analysis, visualization, and utilization of results, the book equips readers with the knowledge and tools necessary to unlock the power of Big Data and generate valuable market intelligence. With real-world case studies and a focus on practical guidance, scholars and professionals can effectively leverage Big Data analytics to drive strategic decision-making and stay at the forefront of this rapidly evolving field.




Deep Learning for Autonomous Vehicle Control


Book Description

The next generation of autonomous vehicles will provide major improvements in traffic flow, fuel efficiency, and vehicle safety. Several challenges currently prevent the deployment of autonomous vehicles, one aspect of which is robust and adaptable vehicle control. Designing a controller for autonomous vehicles capable of providing adequate performance in all driving scenarios is challenging due to the highly complex environment and inability to test the system in the wide variety of scenarios which it may encounter after deployment. However, deep learning methods have shown great promise in not only providing excellent performance for complex and non-linear control problems, but also in generalizing previously learned rules to new scenarios. For these reasons, the use of deep neural networks for vehicle control has gained significant interest. In this book, we introduce relevant deep learning techniques, discuss recent algorithms applied to autonomous vehicle control, identify strengths and limitations of available methods, discuss research challenges in the field, and provide insights into the future trends in this rapidly evolving field.




Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops


Book Description

This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2020, 39th International Conference on Computer Safety, Reliability and Security, Lisbon, Portugal, September 2020. The 26 regular papers included in this volume were carefully reviewed and selected from 45 submissions; the book also contains one invited paper. The workshops included in this volume are: DECSoS 2020: 15th Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems. DepDevOps 2020: First International Workshop on Dependable Development-Operation Continuum Methods for Dependable Cyber-Physical Systems. USDAI 2020: First International Workshop on Underpinnings for Safe Distributed AI. WAISE 2020: Third International Workshop on Artificial Intelligence Safety Engineering. The workshops were held virtually due to the COVID-19 pandemic.




On Fuzziness


Book Description

The notion of Fuzziness stands as one of the really new concepts that have recently enriched the world of Science. Science grows not only through technical and formal advances on one side and useful applications on the other side, but also as consequence of the introduction and assimilation of new concepts in its corpus. These, in turn, produce new developments and applications. And this is what Fuzziness, one of the few new concepts arisen in the XX Century, has been doing so far. This book aims at paying homage to Professor Lotfi A. Zadeh, the “father of fuzzy logic” and also at giving credit to his exceptional work and personality. In a way, this is reflected in the variety of contributions collected in the book. In some of them the authors chose to speak of personal meetings with Lotfi; in others, they discussed how certain papers of Zadeh were able to open for them a new research horizon. Some contributions documented results obtained from the author/s after taking inspiration from a particular idea of Zadeh, thus implicitly acknowledging him. Finally, there are contributions of several “third generation fuzzysists or softies” who were firstly led into the world of Fuzziness by a disciple of Lotfi Zadeh, who, following his example, took care of opening for them a new road in science. Rudolf Seising is Adjoint Researcher at the European Centre for Soft Computing in Mieres, Asturias (Spain). Enric Trillas and Claudio Moraga are Emeritus Researchers at the European Centre for Soft Computing, Mieres, Asturias (Spain). Settimo Termini is Professor of Theoretical Computer Science at the University of Palermo, Italy and Affiliated Researcher at the European Centre for Soft Computing, Mieres, Asturias (Spain)




Progress in Artificial Intelligence


Book Description

The two-volume set LNAI 14115 and 14116 constitutes the refereed proceedings of the 22nd EPIA Conference on Progress in Artificial Intelligence, EPIA 2023, held in Faial Island, Azores, in September 2023. The 85 full papers presented in these proceedings were carefully reviewed and selected from 163 submissions. The papers have been organized in the following topical sections: ambient intelligence and affective environments; ethics and responsibility in artificial intelligence; general artificial intelligence; intelligent robotics; knowledge discovery and business intelligence; multi-agent Systems: theory and applications; natural language processing, text mining and applications; planning, scheduling and decision-making in AI; social simulation and modelling; artifical intelligence, generation and creativity; artificial intelligence and law; artificial intelligence in power and energy systems; artificial intelligence in medicine; artificial intelligence and IoT in agriculture; artificial intelligence in transportation systems; artificial intelligence in smart computing; artificial intelligence for industry and societies.