Reliable and Autonomous Computational Science
Reliable and Autonomous Computational Science

Author: Sung Y. Shin

Publisher: Springer Science & Business Media

Published: 2011-02-02

Total Pages: 416

ISBN-13: 3034800312

DOWNLOAD EBOOK

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.

Reliability Engineering and Computational Intelligence
Reliability Engineering and Computational Intelligence

Author: Coen van Gulijk

Publisher: Springer Nature

Published: 2021-08-06

Total Pages: 307

ISBN-13: 3030745562

DOWNLOAD EBOOK

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.

Creating Autonomous Vehicle Systems
Creating Autonomous Vehicle Systems

Author: Shaoshan Liu

Publisher: Morgan & Claypool Publishers

Published: 2017-10-25

Total Pages: 285

ISBN-13: 1681731673

DOWNLOAD EBOOK

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.

Embedded Robotics
Embedded Robotics

Author: Thomas Bräunl

Publisher: Springer Science & Business Media

Published: 2008-09-20

Total Pages: 536

ISBN-13: 3540705341

DOWNLOAD EBOOK

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.

Computers at Risk
Computers at Risk

Author: National Research Council

Publisher: National Academies Press

Published: 1990-02-01

Total Pages: 320

ISBN-13: 0309043883

DOWNLOAD EBOOK

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.

Agents and Robots for Reliable Engineered Autonomy
Agents and Robots for Reliable Engineered Autonomy

Author: Angelo Ferrando

Publisher: Springer

Published: 2024-12-02

Total Pages: 0

ISBN-13: 9783031731792

DOWNLOAD EBOOK

This book constitutes the proceedings of the 4th Workshops on Agents and Robots for Reliable Engineered Autonomy, AREA 2024, which took place in Santiago de Compostela, Spain, on October 19, 2024, in conjunction with ECAI 2024. The 9 full papers and 1 short paper included in this book were carefully reviewed and selected from 14 submissions. They deal with agent-oriented software engineering, robotic applications, formal verification, and artificial intelligence.

Proceedings of the 2022 International Conference on Computer Science, Information Engineering and Digital Economy (CSIEDE 2022)
Proceedings of the 2022 International Conference on Computer Science, Information Engineering and Digital Economy (CSIEDE 2022)

Author: Haocun Wu

Publisher: Springer Nature

Published: 2023-01-13

Total Pages: 943

ISBN-13: 9464631082

DOWNLOAD EBOOK

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!

Autonomous Control for a Reliable Internet of Services
Autonomous Control for a Reliable Internet of Services

Author: Ivan Ganchev

Publisher: Springer

Published: 2018-05-30

Total Pages: 416

ISBN-13: 3319904159

DOWNLOAD EBOOK

This open access book was prepared as a Final Publication of the COST Action IC1304 “Autonomous Control for a Reliable Internet of Services (ACROSS)”. The book contains 14 chapters and constitutes a show-case of the main outcome of the Action in line with its scientific goals. It will serve as a valuable reference for undergraduate and post-graduate students, educators, faculty members, researchers, engineers, and research strategists working in this field. The explosive growth of the Internet has fundamentally changed the global society. The emergence of concepts like SOA, SaaS, PaaS, IaaS, NaaS, and Cloud Computing in general has catalyzed the migration from the information-oriented Internet into an Internet of Services (IoS). This has opened up virtually unbounded possibilities for the creation of new and innovative services that facilitate business processes and improve the quality of life. However, this also calls for new approaches to ensuring the quality and reliability of these services. The objective of this book is, by applying a systematic approach, to assess the state-of-the-art and consolidate the main research results achieved in this area.

High-Reliability Autonomous Management Systems for Spacecraft
High-Reliability Autonomous Management Systems for Spacecraft

Author: Jianjun Zhang

Publisher: Elsevier

Published: 2023-08-22

Total Pages: 208

ISBN-13: 0443132828

DOWNLOAD EBOOK

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.

Autonomic and Trusted Computing
Autonomic and Trusted Computing

Author: Bin Xiao

Publisher: Springer

Published: 2007-08-13

Total Pages: 588

ISBN-13: 354073547X

DOWNLOAD EBOOK

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.