Cooperatively Interacting Vehicles
Author: Christoph Stiller
Publisher: Springer Nature
Published:
Total Pages: 601
ISBN-13: 3031604946
DOWNLOAD EBOOKPosts
Proceedings of 2023 Chinese Intelligent Systems Conference
Author: Yingmin Jia
Publisher: Springer Nature
Published: 2023-11-05
Total Pages: 850
ISBN-13: 9819968860
DOWNLOAD EBOOKThis book constitutes the proceedings of the 19th Chinese Intelligent Systems Conference, CISC 2023, which was held during October 14–15, 2023, in Ningbo, Zhejiang, China. The book focuses on new theoretical results and techniques in the field of intelligent systems and control. This is achieved by providing in-depth studies of a number of important topics such as multi-agent systems, complex networks, intelligent robots, complex systems theory and swarm behavior, event-driven and data-driven control, robust and adaptive control, big data and brain science, process control, intelligent sensors and detection technology, deep learning and learning control, navigation and control of aerial vehicles, and so on. The book is particularly suitable for readers interested in learning intelligent systems and control and artificial intelligence. The book can benefit researchers, engineers and graduate students.
Inverse Optimal Control and Inverse Noncooperative Dynamic Game Theory
Author: Timothy L. Molloy
Publisher: Springer Nature
Published: 2022-02-18
Total Pages: 278
ISBN-13: 3030933172
DOWNLOAD EBOOKThis book presents a novel unified treatment of inverse problems in optimal control and noncooperative dynamic game theory. It provides readers with fundamental tools for the development of practical algorithms to solve inverse problems in control, robotics, biology, and economics. The treatment involves the application of Pontryagin's minimum principle to a variety of inverse problems and proposes algorithms founded on the elegance of dynamic optimization theory. There is a balanced emphasis between fundamental theoretical questions and practical matters. The text begins by providing an introduction and background to its topics. It then discusses discrete-time and continuous-time inverse optimal control. The focus moves on to differential and dynamic games and the book is completed by consideration of relevant applications. The algorithms and theoretical results developed in Inverse Optimal Control and Inverse Noncooperative Dynamic Game Theory provide new insights into information requirements for solving inverse problems, including the structure, quantity, and types of state and control data. These insights have significant practical consequences in the design of technologies seeking to exploit inverse techniques such as collaborative robots, driver-assistance technologies, and autonomous systems. The book will therefore be of interest to researchers, engineers, and postgraduate students in several disciplines within the area of control and robotics.
Applications of Mobile Robots
Author:
Publisher: BoD – Books on Demand
Published: 2019-03-20
Total Pages: 230
ISBN-13: 1789857554
DOWNLOAD EBOOKThis book includes a selection of research work in the mobile robotics area, where several interesting topics are presented. In this way we find a review of multi-agents, different techniques applied to the navigation systems, artificial intelligence algorithms, which include deep learning applications, systems where a Kalman filter estimator is extended for visual odometry, and finally the design of an on-chip system for the execution of cognitive agents. Additionally, the development of different ideas in mobile robot applications are included and hopefully will be useful and enriching for readers.
Smart Cities, Green Technologies and Intelligent Transport Systems
Author: Markus Helfert
Publisher: Springer Nature
Published: 2021-01-29
Total Pages: 389
ISBN-13: 3030680282
DOWNLOAD EBOOKThis book includes extended and revised selected papers from the 8th International Conference on Smart Cities and Green ICT Systems, SMARTGREENS 2019, and the 5th International Conference on Vehicle Technology and Intelligent Transport Systems, VEHITS 2019, held in Heraklion, Crete, Greece, in May 2019. The 17 full papers presented during SMARTGREENS and VEHITS 2019 were carefully reviewed and selected from the 134 submissions. The papers present research on advances and applications in the fiels of smart cities, green information and communication technologies, sustainability, energy aware systems and technologies, vehicle technology and intelligent transport systems.
Formal Aspects of Component Software
Author: Farhad Arbab
Publisher: Springer Nature
Published: 2020-02-12
Total Pages: 268
ISBN-13: 3030409147
DOWNLOAD EBOOKThis book constitutes the thoroughly revised selected papers from the 16th International Conference on Formal Aspects of Component Software, FACS 2019, held in Amsterdam, The Netherlands, in October 2019. The 9 full papers presented together with 9 full papers and 3 short papers as well as 2 other papers were carefully reviewed and selected from 27 submissions. FACS 2019 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification.
Proceedings of the 12th International Conference on Soft Computing and Pattern Recognition (SoCPaR 2020)
Author: Ajith Abraham
Publisher: Springer Nature
Published: 2021-04-15
Total Pages: 1061
ISBN-13: 303073689X
DOWNLOAD EBOOKThis book highlights the recent research on soft computing and pattern recognition and their various practical applications. It presents 62 selected papers from the 12th International Conference on Soft Computing and Pattern Recognition (SoCPaR 2020) and 35 papers from the 16th International Conference on Information Assurance and Security (IAS 2020), which was held online, from December 15 to 18, 2020. A premier conference in the field of artificial intelligence, SoCPaR-IAS 2020 brought together researchers, engineers and practitioners whose work involves intelligent systems, network security and their applications in industry. Including contributions by authors from 40 countries, the book offers a valuable reference guide for all researchers, students and practitioners in the fields of Computer Science and Engineering.
Wireless Networks: Characteristics and Applications
Author: MDPI
Publisher: MDPI
Published: 2019-10-18
Total Pages: 230
ISBN-13: 3039216848
DOWNLOAD EBOOKWireless technology has become extremely important for human life and nearly everyone carries at least one cell/mobile phone. Voice communication affects our daily lives and we are influenced by day-to-day routine. Wireless systems are being explored for numerous applications in addition to their current communication function. One can only imagine the possible innovations from an area is expanding at an unprecedented rate and offers significant future potentials. This volume is a carefully selected collection of papers that characterizes the technology and establishes its use.
Software Verification
Author: Maria Christakis
Publisher: Springer Nature
Published: 2020-12-05
Total Pages: 239
ISBN-13: 3030636186
DOWNLOAD EBOOKThis book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and the 13th International Workshop on Numerical Software Verification, NSV 2020, held in Los Angeles, CA, USA, in July 2020. Due to COVID-19 pandemic the conference was held virtually. The 13 papers presented in this volume were carefully reviewed and selected from 21 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies. The conference was co-located with the 32nd International Conference on Computer-Aided Verification (CAV 2020).
Innovation and Sustainable Manufacturing
Author: Carolina Machado
Publisher: Elsevier
Published: 2022-09-29
Total Pages: 278
ISBN-13: 0128195614
DOWNLOAD EBOOKInnovation and Sustainable Manufacturing: Research and Development addresses the manufacturing sustainability challenge from different points of view, drawing on research from different disciplines to shed light on the latest green technologies, green product design methods, and materials. Addressing the needs of practitioners as well as academics, this book examines a range of important themes such as environmental impacts and how to assess them, how to set boundary conditions to include or exclude downstream supply chains, how to improve sustainability without sacrificing productivity, the cost benefits of sustainability, and how to trace impacts in manufacturing. By providing a thorough review of global research in this field, Innovation and Sustainable Manufacturing acts as an ideal entry point into this discipline for researchers, and a guide to the latest developments for forward-thinking practitioners. - Covers how different stages of the manufacturing supply chain can impact on sustainability - Combines research from a variety of disciplines to provide a comprehensive coverage of this complex subject - Explores the relationship between sustainability and other goals such as productivity, quality, and profitability
