Download or read book Proceedings of the 44th Annual American Astronautical Society Guidance Navigation and Control Conference 2022 written by Matt Sandnas and published by Springer Nature. This book was released on 2024 with total page 1810 pages. Available in PDF, EPUB and Kindle. Book excerpt: Zusammenfassung: This conference attracts GN&C specialists from across the globe. The 2022 Conference was the 44th Annual GN&C conference with more than 230 attendees from six different countries with 44 companies and 28 universities represented. The conference presented more than 100 presentations and 16 posters across 18 topics. This year, the planning committee wanted to continue a focus on networking and collaboration hoping to inspire innovation through the intersection of diverse ideas. These proceedings present the relevant topics of the day while keeping our more popular and well-attended sessions as cornerstones from year to year. Several new topics including "Autonomous Control of Multiple Vehicles" and "Results and Experiences from OSIRIS-REx" were directly influenced by advancements in our industry. In the end, the 44th Annual GN&C conference became a timely reflection of the current state of the GN&C ins the space industry. The annual American Astronautical Society Rocky Mountain Guidance, Navigation and Control (GN&C) Conference began 1977 as an informal exchange of ideas and reports of achievements among guidance and control specialists local to the Colorado area. Bud Gates, Don Parsons, and Bob Culp organized the first conference, and began the annual series of meetings the following winter. In March 1978, the First Annual Rocky Mountain Guidance and Control Conference met at Keystone, Colorado. It met there for eighteen years, moving to Breckenridge in 1996 where it has been for over 25 years

Download or read book Decision and Game Theory for Security written by Fei Fang and published by Springer Nature. This book was released on 2023-03-12 with total page 324 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 13th International Conference on Decision and Game Theory for Security, GameSec 2022, held in October 2022 in Pittsburgh, PA, USA. The 15 full papers presented were carefully reviewed and selected from 39 submissions. The papers are grouped thematically on: deception in security; planning and learning in dynamic environments; security games; adversarial learning and optimization; novel applications and new game models.

Download or read book Advanced Model Predictive Control for Autonomous Marine Vehicles written by Yang Shi and published by Springer Nature. This book was released on 2023-02-13 with total page 210 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book provides a comprehensive overview of marine control system design related to underwater robotics applications. In particular, it presents novel optimization-based model predictive control strategies to solve control problems appearing in autonomous underwater vehicle applications. These novel approaches bring unique features, such as constraint handling, prioritization between multiple design objectives, optimal control performance, and robustness against disturbances and uncertainties, into the control system design. They therefore form a more general framework to design marine control systems and can be widely applied. Advanced Model Predictive Control for Autonomous Marine Vehicles balances theoretical rigor – providing thorough analysis and developing provably-correct design conditions – and application perspectives – addressing practical system constraints and implementation issues. Starting with a fixed-point positioning problem for a single vehicle and progressing to the trajectory-tracking and path-following problem of the vehicle, and then to the coordination control of a large-scale multi-robot team, this book addresses the motion control problems, increasing their level of challenge step-by-step. At each step, related subproblems such as path planning, thrust allocation, collision avoidance, and time constraints for real-time implementation are also discussed with solutions. In each chapter of this book, compact and illustrative examples are provided to demonstrate the design and implementation procedures. As a result, this book is useful for both theoretical study and practical engineering design, and the tools provided in the book are readily applicable for real-world implementation.

Download or read book 16th International Symposium on Advanced Vehicle Control written by Giampiero Mastinu and published by Springer Nature. This book was released on with total page 1016 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Communications Signal Processing and Systems written by Qilian Liang and published by Springer Nature. This book was released on 2023-05-01 with total page 333 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book brings together papers presented at the 2022 International Conference on Communications, Signal Processing, and Systems, online, July 23-24, 2022, which provides a venue to disseminate the latest developments and to discuss the interactions and links between these multidisciplinary fields. Spanning topics ranging from communications, signal processing and systems, this book is aimed at undergraduate and graduate students in Electrical Engineering, Computer Science and Mathematics, researchers and engineers from academia and industry as well as government employees (such as NSF, DOD and DOE).

Download or read book Communications and Networking written by Feifei Gao and published by Springer Nature. This book was released on 2023-06-09 with total page 426 pages. Available in PDF, EPUB and Kindle. Book excerpt: This proceedings constitutes the refereed proceedings of the 17th International Conference on Communications and Networking, ChinaCom 2022, held in November 19-20, 2022. Due to COVID-19 pandemic the conference was held virtually. The 31 full papers presented were carefully selected from 83 submissions. The papers are organized in topical sections on Signal Processing and Communication Optimization; Scheduling and Transmission Optimization; Network Communication Performance Enhancement; Deep Learning Applications and Optimization; Deep Learning and Network Performance Optimization; Edge Computing and Artificial Intelligence Applications.

Download or read book Computer Aided Verification written by Constantin Enea and published by Springer Nature. This book was released on 2023-07-16 with total page 512 pages. Available in PDF, EPUB and Kindle. Book excerpt: The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows: Part I: Automata and logic; concurrency; cyber-physical and hybrid systems; synthesis; Part II: Decision procedures; model checking; neural networks and machine learning; Part II: Probabilistic systems; security and quantum systems; software verification.

Download or read book Machine Intelligence for Research and Innovations written by Om Prakash Verma and published by Springer Nature. This book was released on 2024-02-13 with total page 345 pages. Available in PDF, EPUB and Kindle. Book excerpt: The book is a collection of high-quality peer-reviewed research papers presented in the First International Conference on Machine Intelligence for Research and Innovations (MAiTRI 2023 Summit), held at Dr B R Ambedkar National Institute of Technology Jalandhar, Punjab, India during 1 – 3 September 2023. This book focuses on recent advancement in the theory and realization of machine intelligence (MI) and their tools and growing applications such as machine learning, deep learning, quantum machine learning, real-time computer vision, pattern recognition, natural language processing, statistical modelling, autonomous vehicles, human interfaces, computational intelligence, and robotics.

Download or read book AISMA 2024 International Workshop on Advanced Information Security Management and Applications written by Maria Lapina and published by Springer Nature. This book was released on with total page 357 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Mechatronics and Automation Technology written by J.-Y. Xu and published by IOS Press. This book was released on 2024-02-27 with total page 696 pages. Available in PDF, EPUB and Kindle. Book excerpt: Mechatronics and automation technology has led to technological change and innovation in all engineering fields, affecting various disciplines, including machine technology, electronics, and computing. It plays a vital role in improving production efficiency, reducing energy consumption and improving product quality and safety, and will be central to the further advancement of technology and industry, bringing convenience and innovation to even more areas. This book presents the proceedings of ICMAT 2023, the 2nd International Conference on Mechatronics and Automation Technology, held as a virtual event on 27 October 2023. The aim of the conference was to provide a platform for scientists, scholars, engineers and researchers from universities and scientific institutes around the world to share the latest research achievements in mechatronics and automation technology, explore key challenges and research directions, and promote the development and application of theory and technology in this field. A total of 121 submissions were received for the conference, of which 77 were ultimately accepted after a rigorous peer-review process. The papers cover a wide range of topics falling within the scope of mechatronics and automation technology, including smart manufacturing; digital manufacturing; additive manufacturing; robotics; sensors; control; electronic and electrical engineering; intelligent systems; and automation technology, as well as other related fields. Providing an overview of recent developments in mechatronics and automation technology, the book will be of interest to all those working in the field.

Download or read book Inverse Optimal Control and Inverse Noncooperative Dynamic Game Theory written by Timothy L. Molloy and published by Springer Nature. This book was released on 2022-02-18 with total page 278 pages. Available in PDF, EPUB and Kindle. Book excerpt: This 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.

Download or read book Analysis and Design of Control Laws for Advanced Driver Assistance Systems written by Nicola Mimmo and published by Springer Nature. This book was released on 2024-01-01 with total page 288 pages. Available in PDF, EPUB and Kindle. Book excerpt: Analysis and Design of Control Laws for Advanced Driver-Assistance Systems (ADAS) teaches students how to solve classical problems in automotive control in a step-by-step fashion. It begins by motivating the use of ADAS and then explains different ADAS models and the goals of their control systems. Systems analysis and control architectures are presented, followed by a treatment of the use of optimal control and the Kalman filter. The author then presents more advanced control techniques and gives an overview of control problems involved in fully autonomous, hybrid and electric vehicles. Each chapter contains a specific discussion of its subject in terms of various ADAS functionalities, such as active suspension, power steering, lane control and automated parking. The text is developed by extensive use of worked examples, related to the applications discussed. Appendices, including necessary aspects of linear algebra and the use of MATLAB render the text self-contained. MATLAB files are provided to help both student and instructor model and analyse the systems being discussed. An electronic solutions manual is freely available for download by instructors adopting the book for their classroom teaching. This textbook will help final-year undergraduate and graduate students to understand the practical issues they will face when working on automotive systems in the real world and the theoretical underpinnings they will need to get to grips with the control systems of present and future generations of cars and other automotive transport. A basic grounding in mathematics and physics is all that is required to get the most from this text.

Download or read book Automated Technology for Verification and Analysis written by Ahmed Bouajjani and published by Springer Nature. This book was released on 2022-10-22 with total page 442 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 20th International Symposium on Automated Technology for Verification and Analysis, ATVA 2022, held in Beiging, China in October 2022. The symposium is dedicated to promoting research in theoretical and practical aspects of automated analysis, verification and synthesis by providing an international venue for the researchers to present new results. The 21 regular papers presented together with 5 tool papers and 1 invited paper were carefully reviewed and selected from 81 submissions. The papers are divided into the following topical sub-headings: reinforcement learning; program analysis and verification; smt and verification; automata and applications; active learning; probabilistic and stochastic systems; synthesis and repair; and verification of neural networks.

Download or read book Advances in Artificial Intelligence Application in Data Analysis and Control of Smart Grid written by Xin Ning and published by Frontiers Media SA. This book was released on 2023-11-23 with total page 273 pages. Available in PDF, EPUB and Kindle. Book excerpt: Smart grid (SG) is considered a form of intelligent system that allows the electric grid to perform its functions efficiently. The SG is a network that allows for the flow of electrical energy and data, where the data is used to make intelligent decisions in the operation of the electric grid. Artificial intelligence (AI) techniques, such as expert system (ES), Machine Learning (ML), and deep Learning (DL) have brought an advancing frontier in power electronics and power engineering with their powerful data processing capabilities. The SG relies on the flow of data to make its intelligent control; therefore, AI technology is a perfect fit for the SG. The application of AI technology in the SG has the potential to improve the intelligence of the SG. This research topic is focused on ways of improving the data analysis and control of SG by leveraging technologies. Manuscripts with the progress made in solving a range of miscellaneous and critical problems in SG by leveraging AI methods such as ES, ML, and DL methods are welcome. Reviews and original research that describe the latest developments in this field are considered for publication in this research topic. The scope of this Research Topic will include the following themes, but are not limited to: 1. Data-driven and artificial intelligence approaches to enhancing flexibility and resilience of SG. 2. Expert system, Machine Learning and Deep Learning, reinforcement learning and transfer learning for applications in SG. 3. AI for development in ensuring high reliability and stability of electric power system with high penetration of renewable energy. 4. AI for studies in operation protection, integrated planning, and control of SG systems. 5. AI for development in diagnostics and diagnostics for SG. 6. Health monitoring of a modern wind generation system using an adaptive neuro-fuzzy system. 7. Space vector fault pattern identification of a smart grid subsystem by neural mapping. 8. Control techniques, mathematical programming methods, optimization techniques and metaheuristics applied in SG. 9. AI and optimization techniques for green energy and carbon footprint. 10. Novel applications of AI-based smart grids in smart cities, smart transportation, smart healthcare, and smart manufacturing.

Download or read book Distributed Attitude Consensus of Multiple Flexible Spacecraft written by Ti Chen and published by Springer Nature. This book was released on 2022-09-17 with total page 218 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book mainly presents the authors' recent studies on the distributed attitude consensus of multiple flexible spacecraft. Modified Rodrigues parameters and rotation matrix are used to represent spacecraft attitude. Several distributed adaptive controllers are presented with theoretical analyses, numerical simulations and experimental verifications. The authors intend to provide a manual that allows researchers, engineers and students in the field of aerospace engineering and mechanics to learn a theoretical and practical approach to the design of attitude consensus algorithms.

Download or read book IoT Big Data and AI for Improving Quality of Everyday Life Present and Future Challenges written by Pradeep Kumar Singh and published by Springer Nature. This book was released on 2023-08-23 with total page 386 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book focuses mainly on the usages of three key technologies: IoT, big data, and AI for various day to day applications. Further, it explores the possibilities of future research based on the usages of latest information systems. This book explores the current research and challenges to be faced by different researchers for building intelligent information solutions using key technologies; IoT, big data, and AI in improving quality of lives in smart cities and explores the limitations and capabilities of these three key computing technologies. The book is organized into three major parts; each part includes chapters exploring a specific topic, and there are: PART-1: IoT for Real World Solutions , (ii) Part-2: Big Data And Cloud Computing for Innovative Solutions For Day to Day Lives, and (iii) Part-3 Artificial Intelligence for Everyday Lives. This book may be useful to the scientists, scholars, and researchers who are working in the field of computer science and engineering, and communication engineering, along with the students in these subjects who are working or willing to work on IoT, big data, and AI technologies for improving quality of everyday life. Specialists as well as student readers find the book chapters encouraging and helpful. IoT, data science & cloud, and AI all are the undergraduate (UG/ bachelor) subjects. Use of these three key technologies for building new applications for better world is helpful for UG and postgraduate (PG/ MS) Programmes students (as an elective and core course). This book may also be very useful for the Ph.D. (research scholars) during their course work and may be used as an instrument to identify the different challenges associated with information systems.

Download or read book Trajectory Optimization and Guidance Methods for Mars Entry written by Shuang Li and published by Springer Nature. This book was released on with total page 297 pages. Available in PDF, EPUB and Kindle. Book excerpt: