Download or read book Reliable and Autonomous Computational Science written by Sung Y. Shin and published by Springer Science & Business Media. This book was released on 2011-02-02 with total page 416 pages. Available in PDF, EPUB and Kindle. Book excerpt: Increasing size and complexity of software and hardware systems makes it harder to ensure their reliability. At the same time, the issues of autonomous computing become more critical as we more and more rely on software systems in our daily life. Such complexity is getting even more critical with the ubiquitous computing of embedded devices and other pervasive systems. These trends ask for techniques and tools for developing reliable and autonomous software which can support software engineers in their efforts. This book summarizes the state of the art of research in the diverse fields concerned, including novel designs, case studies and experimental as well as theoretical results.

Download or read book Reliability Engineering and Computational Intelligence written by Coen van Gulijk and published by Springer Nature. This book was released on 2021-08-06 with total page 307 pages. Available in PDF, EPUB and Kindle. Book excerpt: Computational intelligence is rapidly becoming an essential part of reliability engineering. This book offers a wide spectrum of viewpoints on the merger of technologies. Leading scientists share their insights and progress on reliability engineering techniques, suitable mathematical methods, and practical applications. Thought-provoking ideas are embedded in a solid scientific basis that contribute to the development the emerging field. This book is for anyone working on the most fundamental paradigm-shift in resilience engineering in decades. Scientists benefit from this book by gaining insight in the latest in the merger of reliability engineering and computational intelligence. Businesses and (IT) suppliers can find inspiration for the future, and reliability engineers can use the book to move closer to the cutting edge of technology.

Download or read book Creating Autonomous Vehicle Systems written by Shaoshan Liu and published by Morgan & Claypool Publishers. This book was released on 2017-10-25 with total page 285 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book is the first technical overview of autonomous vehicles written for a general computing and engineering audience. The authors share their practical experiences of creating autonomous vehicle systems. These systems are complex, consisting of three major subsystems: (1) algorithms for localization, perception, and planning and control; (2) client systems, such as the robotics operating system and hardware platform; and (3) the cloud platform, which includes data storage, simulation, high-definition (HD) mapping, and deep learning model training. The algorithm subsystem extracts meaningful information from sensor raw data to understand its environment and make decisions about its actions. The client subsystem integrates these algorithms to meet real-time and reliability requirements. The cloud platform provides offline computing and storage capabilities for autonomous vehicles. Using the cloud platform, we are able to test new algorithms and update the HD map—plus, train better recognition, tracking, and decision models. This book consists of nine chapters. Chapter 1 provides an overview of autonomous vehicle systems; Chapter 2 focuses on localization technologies; Chapter 3 discusses traditional techniques used for perception; Chapter 4 discusses deep learning based techniques for perception; Chapter 5 introduces the planning and control sub-system, especially prediction and routing technologies; Chapter 6 focuses on motion planning and feedback control of the planning and control subsystem; Chapter 7 introduces reinforcement learning-based planning and control; Chapter 8 delves into the details of client systems design; and Chapter 9 provides the details of cloud platforms for autonomous driving. This book should be useful to students, researchers, and practitioners alike. Whether you are an undergraduate or a graduate student interested in autonomous driving, you will find herein a comprehensive overview of the whole autonomous vehicle technology stack. If you are an autonomous driving practitioner, the many practical techniques introduced in this book will be of interest to you. Researchers will also find plenty of references for an effective, deeper exploration of the various technologies.

Download or read book Agents and Robots for Reliable Engineered Autonomy written by Rafael C Cardoso and published by Mdpi AG. This book was released on 2021-09-10 with total page 150 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book contains the contributions of the Special Issue entitled "Agents and Robots for Reliable Engineered Autonomy". The Special Issue was based on the successful first edition of the "Workshop on Agents and Robots for reliable Engineered Autonomy" (AREA 2020), co-located with the 24th European Conference on Artificial Intelligence (ECAI 2020). The aim was to bring together researchers from autonomous agents, as well as software engineering and robotics communities, as combining knowledge from these three research areas may lead to innovative approaches that solve complex problems related to the verification and validation of autonomous robotic systems.

Download or read book Computers at Risk written by National Research Council and published by National Academies Press. This book was released on 1990-02-01 with total page 320 pages. Available in PDF, EPUB and Kindle. Book excerpt: Computers at Risk presents a comprehensive agenda for developing nationwide policies and practices for computer security. Specific recommendations are provided for industry and for government agencies engaged in computer security activities. The volume also outlines problems and opportunities in computer security research, recommends ways to improve the research infrastructure, and suggests topics for investigators. The book explores the diversity of the field, the need to engineer countermeasures based on speculation of what experts think computer attackers may do next, why the technology community has failed to respond to the need for enhanced security systems, how innovators could be encouraged to bring more options to the marketplace, and balancing the importance of security against the right of privacy.

Download or read book Embedded Robotics written by Thomas Bräunl and published by Springer Science & Business Media. This book was released on 2008-09-20 with total page 536 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents a unique examination of mobile robots and embedded systems, from introductory to intermediate level. It is structured in three parts, dealing with Embedded Systems (hardware and software design, actuators, sensors, PID control, multitasking), Mobile Robot Design (driving, balancing, walking, and flying robots), and Mobile Robot Applications (mapping, robot soccer, genetic algorithms, neural networks, behavior-based systems, and simulation). The book is written as a text for courses in computer science, computer engineering, IT, electronic engineering, and mechatronics, as well as a guide for robot hobbyists and researchers.

Download or read book Proceedings of the 2022 International Conference on Computer Science Information Engineering and Digital Economy CSIEDE 2022 written by Haocun Wu and published by Springer Nature. This book was released on 2023-01-13 with total page 943 pages. Available in PDF, EPUB and Kindle. Book excerpt: This is an open access book.The 2022 International Conference on Computer Science, Information Engineering and Digital Economy(CSIEDE 2022) will be held on October 28-30 in Guangzhou, China. CSIEDE 2022 is to bring together innovative academics and industrial experts in the field of Computer Science, Information Engineering and Digital Economy to a common forum. The primary goal of the conference is to promote research and developmental activities in Computer Science, Information Engineering, Digital Economy and another goal is to promote scientific information interchange between researchers, developers, engineers, students, and practitioners working all around the world. The conference will be held every year to make it an ideal platform for people to share views and experiences in Computer Science, Information Engineering, Digital Economy and related areas. We warmly invite you to participate in CSIEDE 2022!

Download or read book High Reliability Autonomous Management Systems for Spacecraft written by Jianjun Zhang and published by Elsevier. This book was released on 2023-08-22 with total page 208 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book examines the autonomous management of spacecraft, which uses modern control technologies such as artificial intelligence to establish a remote intelligent body on the spacecraft so that the spacecraft can complete its flight tasks by itself. Its goal is to accurately perceive its own state and external environment without relying on external information injection and control, or rely on external control as little as possible, make various appropriate decisions based on this information and user tasks, and be able to autonomously control spacecraft to complete various tasks. - Divides the autonomous management level of spacecraft into two levels: - Basic autonomy to meet spacecraft health requirements, namely, autonomous health management, and autonomy of the advanced stage. - Divides the implementation of spacecraft autonomous management into three aspects: - Autonomous health management of spacecraft – the spacecraft can monitor and sense its own state and can autonomously detect, isolate, and recover from faults. - Autonomous mission management – the spacecraft can directly receive the mission, formulate a reasonable plan according to the current state and working environment of the spacecraft, and convert the mission into a specific sequence of instructions. - Spacecraft autonomous data management – the spacecraft processes a large amount of raw data and extracts useful information and autonomously executes or changes flight tasks. - The autonomous management model of the spacecraft is divided into two points: - Compatibility – the existing traditional control systems belong to the execution layer logic and are compatible with the existing systems. - Scalability – it adopts a layered structure, and each layer has different autonomous capabilities.

Download or read book Artificial Intelligence in Wireless Robotics written by Kwang-Cheng Chen and published by CRC Press. This book was released on 2022-09-01 with total page 354 pages. Available in PDF, EPUB and Kindle. Book excerpt: Robots, autonomous vehicles, unmanned aerial vehicles, and smart factory, will significantly change human living style in digital society. Artificial Intelligence in Wireless Robotics introduces how wireless communications and networking technology enhances facilitation of artificial intelligence in robotics, which bridges basic multi-disciplinary knowledge among artificial intelligence, wireless communications, computing, and control in robotics. A unique aspect of the book is to introduce applying communication and signal processing techniques to enhance traditional artificial intelligence in robotics and multi-agent systems. The technical contents of this book include fundamental knowledge in robotics, cyber-physical systems, artificial intelligence, statistical decision and Markov decision process, reinforcement learning, state estimation, localization, computer vision and multi-modal data fusion, robot planning, multi-agent systems, networked multi-agent systems, security and robustness of networked robots, and ultra-reliable and low-latency machine-to-machine networking. Examples and exercises are provided for easy and effective comprehension. Engineers wishing to extend knowledge in the robotics, AI, and wireless communications, would be benefited from this book. In the meantime, the book is ready as a textbook for senior undergraduate students or first-year graduate students in electrical engineering, computer engineering, computer science, and general engineering students. The readers of this book shall have basic knowledge in undergraduate probability and linear algebra, and basic programming capability, in order to enjoy deep reading.

Download or read book Emerging Research Directions in Computer Science written by Victor Pankratius and published by KIT Scientific Publishing. This book was released on 2014-10-16 with total page 104 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Dependable Computing EDCC 2022 Workshops written by Stefano Marrone and published by Springer Nature. This book was released on 2022-09-08 with total page 161 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes refereed proceedings of the Workshops of the 18th European Dependable Computing Conference, EDCC: ​13th Workshop on Software Engineering for Resilient Systems, SERENE 2022; Third Worskhop on Dynamic Risk Management for Autonomous Systems, DREAMS 2022, Third Workshop on Artificial Intelligence for Railways, AI4RAILS, held in Zaragoza, Spain, in September 2022. The 11 workshop papers presented were thoroughly reviewed and selected from 22 submissions. The workshop papers complement the main conference topics by addressing dependability or security issues in specic application domains or by focussing in specialized topics, such as system resilience.

Download or read book Dependable Computing written by Ravishankar K. Iyer and published by John Wiley & Sons. This book was released on 2024-05-29 with total page 852 pages. Available in PDF, EPUB and Kindle. Book excerpt: Dependable Computing Covering dependability from software and hardware perspectives Dependable Computing: Design and Assessment looks at both the software and hardware aspects of dependability. This book: Provides an in-depth examination of dependability/fault tolerance topics Describes dependability taxonomy, and briefly contrasts classical techniques with their modern counterparts or extensions Walks up the system stack from the hardware logic via operating systems up to software applications with respect to how they are hardened for dependability Describes the use of measurement-based analysis of computing systems Illustrates technology through real-life applications Discusses security attacks and unique dependability requirements for emerging applications, e.g., smart electric power grids and cloud computing Finally, using critical societal applications such as autonomous vehicles, large-scale clouds, and engineering solutions for healthcare, the book illustrates the emerging challenges faced in making artificial intelligence (AI) and its applications dependable and trustworthy. This book is suitable for those studying in the fields of computer engineering and computer science. Professionals who are working within the new reality to ensure dependable computing will find helpful information to support their efforts. With the support of practical case studies and use cases from both academia and real-world deployments, the book provides a journey of developments that include the impact of artificial intelligence and machine learning on this ever-growing field. This book offers a single compendium that spans the myriad areas in which dependability has been applied, providing theoretical concepts and applied knowledge with content that will excite a beginner, and rigor that will satisfy an expert. Accompanying the book is an online repository of problem sets and solutions, as well as slides for instructors, that span the chapters of the book.

Download or read book Autonomic and Trusted Computing written by Bin Xiao and published by Springer. This book was released on 2007-08-13 with total page 588 pages. Available in PDF, EPUB and Kindle. Book excerpt: No fewer than 55 revised full papers are presented in this volume, all given at the 4th International Conference on Autonomic and Trusted Computing, held in Hong Kong, China in July 2007. The papers, presented together with one keynote lecture, were carefully reviewed and selected from 223 submissions. The papers are organized in topical sections on, among others, cryptography and signatures, autonomic computing and services, and secure and trusted computing.

Download or read book NASA Technical Memorandum written by and published by . This book was released on 1984 with total page 220 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Computer Safety Reliability and Security SAFECOMP 2023 Workshops written by Jérémie Guiochet and published by Springer Nature. This book was released on 2023-10-15 with total page 448 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2023, held in Toulouse, France, during September 19, 2023. The 35 full papers included in this volume were carefully reviewed and selected from 49 submissions. - - 8th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2023) - - 18th International Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems (DECSoS 2023) - - 10th International Workshop on Next Generation of System Assurance Approaches for Critical Systems (SASSUR 2023) - - Second International Workshop on Security and Safety Interactions (SENSEI 2023) - - First International Workshop on Safety/ Reliability/ Trustworthiness of Intelligent Transportation Systems (SRToITS 2023) - - 6th International Workshop on Artificial Intelligence Safety Engineering (WAISE 2023)

Download or read book Computer Safety Reliability and Security written by Andrea Ceccarelli and published by Springer Nature. This book was released on with total page 325 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Computer Safety Reliability and Security written by Jérémie Guiochet and published by Springer Nature. This book was released on 2023-09-10 with total page 291 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 42nd International Conference on Computer Safety, Reliability and Security, SAFECOMP 2023, which took place in Toulouse, France, in September 2023. The 20 full papers included in this volume were carefully reviewed and selected from 100 submissions. They were organized in topical sections as follows: Safety assurance; software testing and reliability; neural networks robustness and monitoring; model-based security and threat analysis; safety of autonomous driving; security engineering; AI safety; and neural networks and testing.