Search

This book constitutes the refereed post-proceedings of the 11th International Conference on Industrial Engineering and Applications, ICIEA 2024, held in Nice, France, during January 10-12, 2024. The 16 full papers and 3 short papers included in this book were carefully reviewed and selected from 90 submissions. They focus on the most recent and relevant research, theories and practices in industrial engineering and its applications.

This volume constitutes revised selected papers from the four workshops collocated with the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held virtually during December 6–10, 2021.The 21 contributed papers presented in this volume were carefully reviewed and selected from a total of 29 submissions. The book also contains 3 invited talks.SEFM 2021 presents the following four workshops:CIFMA 2021 - 3rd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications;CoSim-CPS 2021 - 5th Workshop on Formal Co-Simulation of Cyber-Physical Systems;OpenCERT 2021 - 10th International Workshop on Open Community approaches to Education, Research and Technology;ASYDE 2021 - 3rd International Workshop on Automated and verifiable Software sYstem Development.Due to the Corona pandemic this event washeld virtually.

The book focuses the latest endeavors relating researches and developments conducted in fields of control, robotics, and automation. Through ten revised and extended articles, the present book aims to provide the most up-to-date state-of-the-art of the aforementioned fields allowing researcher, Ph.D. students, and engineers not only updating their knowledge but also benefiting from the source of inspiration that represents the set of selected articles of the book. The deliberate intention of editors to cover as well theoretical facets of those fields as their practical accomplishments and implementations offers the benefit of gathering in a same volume a factual and well-balanced prospect of nowadays research in those topics. A special attention toward “Intelligent Robots and Control” may characterize another benefit of this book.

This volume constitutes the revised selected papers from the three workshops collocated with the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020. The 15 full papers presented together with 8 short papers in this volume were carefully reviewed and selected from a total of 35 submissions. The contributions that are collected in this volume have been selected from the presentations at the following workshops: ASYDE 2020: Second International Workshop on Automated and Verifiable Software System Development; CIFMA 2020: Second International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications; and CoSim-CPS 2020: Fourth International Workshop on Formal Co-Simulation of Cyber-Physical Systems. Due to the Corona pandemic this event was held virtually.

This book presents essentially a collection of proceedings that deliberate on the key challenges and recent trends on robotics, automation and data analytics which are the pillars of Industry 4.0. Solutions that are employed in the multitude spectra of innovative robotics & automation and data analytics are discussed. The readers are expected to gain an insightful view on the current trends, issues, mitigating factors as well as solutions from the book. This book consists of selected papers presented at the 2nd International Conference on Innovative Technology, Engineering and Sciences 2020 (iCITES) hosted virtually by Universiti Malaysia Pahang on 22nd December 2020. iCITES is a biennial conference, aimed at building a platform that allows relevant stakeholders to share and discuss their latest researches, ideas and survey reports from theoretical to a practical standpoint especially in the Innovative Robotics & Automation and Data Analytics tracks which was published in this book.

This book presents selected papers from The 1st International Conference on Computational Design and Robotic Fabrication (CDRF 2019). Focusing on novel architecture theories, tools, methods, and procedures for digital design and construction in architecture, it promotes dialogs between architecture, engineer, computer science, robotics, and other relevant disciplines to establish a new way of production in the building industry in the digital age. The contents make valuable contributions to academic researchers and engineers in the industry. At the same time, it offers readers new ideas for the application of digital technology.

The goal of this book is to familiarize readers with the latest research on, and recent advances in, the field of Informatics in Control, Automation and Robotics. It gathers a selection of papers highlighting the state-of-the-art in Intelligent Control Systems, Optimization, Robotics and Automation, Signal Processing, Sensors, Systems Modelling and Control. Combining theoretical aspects with practical applications, the book offers a well-balanced overview of the latest achievements, and will provide researchers, engineers and PhD students with both a vital update and new inspirations for their own research.

This book describes new theories and applications of artificial neural networks, with a special focus on answering questions in neuroscience, biology and biophysics and cognitive research. It covers a wide range of methods and technologies, including deep neural networks, large scale neural models, brain computer interface, signal processing methods, as well as models of perception, studies on emotion recognition, self-organization and many more. The book includes both selected and invited papers presented at the XXI International Conference on Neuroinformatics, held on October 7-11, 2019, in Dolgoprudny, a town in Moscow region, Russia.

The book focuses the latest endeavours relating researches and developments conducted in fields of Control, Robotics and Automation. Through more than twenty revised and extended articles, the present book aims to provide the most up-to-date state-of-art of the aforementioned fields allowing researcher, PhD students and engineers not only updating their knowledge but also benefiting from the source of inspiration that represents the set of selected articles of the book.The deliberate intention of editors to cover as well theoretical facets of those fields as their practical accomplishments and implementations offers the benefit of gathering in a same volume a factual and well-balanced prospect of nowadays research in those topics. A special attention toward “Intelligent Robots and Control” may characterize another benefit of this book.

The book reports on advanced topics in interactive robotics research and practice; in particular, it addresses non-technical obstacles to the broadest uptake of these technologies. It focuses on new technologies that can physically and cognitively interact with humans, including neural interfaces, soft wearable robots, and sensor and actuator technologies; further, it discusses important regulatory challenges, including but not limited to business models, standardization, education and ethical–legal–socioeconomic issues. Gathering the outcomes of the 1st INBOTS Conference (INBOTS2018), held on October 16–20, 2018 in Pisa, Italy, the book addresses the needs of a broad audience of academics and professionals working in government and industry, as well as end users. In addition to providing readers with detailed information and a source of inspiration for new projects and collaborations, it discusses representative case studies highlighting practical challenges in the implementation of interactive robots in a number of fields, as well as solutions to improve communication between different stakeholders. By merging engineering, medical, ethical and political perspectives, the book offers a multidisciplinary, timely snapshot of interactive robotics.

This book is aimed at researchers specializing in the kinematics of robot mechanisms as well as at doctoral students in guiding their research work. A spectrum of the latest achievements in kinematics analysis, modelling, simulation, design and control is covered. New theories and methods are applied to serial, parallel and cable-driven mechanisms for use in industrial or service robotics. The systems range from being less than fully mobile to kinematically redundant and over-constrained. Forty-nine papers are included, arranged in seven chapters, as presented at the 19th Symposium on Advances in Robot Kinematics 2024. The symposium, which has been held since 1988, was organized this time in Ljubljana (Slovenia), where it began thirty-six years ago. The papers have been rigorously selected based on peer review and are arranged in chapters randomly, as is the prevailing tradition of these symposia. In doing so, we aim to give equal emphasis to each of these achievements.

This book includes original, peer-reviewed research papers from the 2023 7th Chinese Conference on Swarm Intelligence and Cooperative Control (CCSICC2023), held in Nanjing, China on November 17-19, 2023. The topics covered include but are not limited to: reviews and discussions of swarm intelligence, basic theories on swarm intelligence, swarm communication and networking, swarm perception, awareness and location, swarm decision and planning, cooperative control, cooperative guidance, swarm simulation and assessment. The papers showcased here share the latest findings on theories, algorithms and applications in swarm intelligence and cooperative control, making the book a valuable asset for researchers, engineers, and university students alike.

This book includes original, peer-reviewed research papers from the 2023 7th Chinese Conference on Swarm Intelligence and Cooperative Control (CCSICC2023), held in Nanjing, China on November 17-19, 2023. The topics covered include but are not limited to: reviews and discussions of swarm intelligence, basic theories on swarm intelligence, swarm communication and networking, swarm perception, awareness and location, swarm decision and planning, cooperative control, cooperative guidance, swarm simulation and assessment. The papers showcased here share the latest findings on theories, algorithms and applications in swarm intelligence and cooperative control, making the book a valuable asset for researchers, engineers, and university students alike.

This book includes original, peer-reviewed research papers from the 2023 7th Chinese Conference on Swarm Intelligence and Cooperative Control (CCSICC2023), held in Nanjing, China on November 17-19, 2023. The topics covered include but are not limited to: reviews and discussions of swarm intelligence, basic theories on swarm intelligence, swarm communication and networking, swarm perception, awareness and location, swarm decision and planning, cooperative control, cooperative guidance, swarm simulation and assessment. The papers showcased here share the latest findings on theories, algorithms and applications in swarm intelligence and cooperative control, making the book a valuable asset for researchers, engineers, and university students alike.

This book includes original, peer-reviewed research papers from the 2023 7th Chinese Conference on Swarm Intelligence and Cooperative Control (CCSICC2023), held in Nanjing, China on November 17-19, 2023. The topics covered include but are not limited to: reviews and discussions of swarm intelligence, basic theories on swarm intelligence, swarm communication and networking, swarm perception, awareness and location, swarm decision and planning, cooperative control, cooperative guidance, swarm simulation and assessment. The papers showcased here share the latest findings on theories, algorithms and applications in swarm intelligence and cooperative control, making the book a valuable asset for researchers, engineers, and university students alike.

This book includes original, peer-reviewed research papers from the 3rd ICAUS 2023, which provides a unique and engaging platform for scientists, engineers and practitioners from all over the world to present and share their most recent research results and innovative ideas. The 3rd ICAUS 2023 aims to stimulate researchers working in areas relevant to intelligent unmanned systems. Topics covered include but are not limited to: Unmanned Aerial/Ground/Surface/Underwater Systems, Robotic, Autonomous Control/Navigation and Positioning/ Architecture, Energy and Task Planning and Effectiveness Evaluation Technologies, Artificial Intelligence Algorithm/Bionic Technology and their Application in Unmanned Systems.The papers presented here share the latest findings in unmanned systems, robotics, automation, intelligent systems, control systems, integrated networks, modelling and simulation. This makes the book a valuable resource for researchers, engineers and students alike.

The book is a unique collection of studies involving intelligent systems and applications of artificial intelligence in the real world to provide solutions to most vexing problems. IntelliSys received an overwhelming 605 papers which were put under strict double-blind peer-review for their novelty, originality and exhaustive research. Finally, 227 papers were sieved and chosen to be published in the proceedings.This book is a valuable collection of all the latest research in the field of artificial intelligence and smart systems. It provides a ready-made resource to all the readers keen on gaining information regarding the latest trends in intelligent systems. It also renders a sneak peek into the future world governed by artificial intelligence.

The book is a unique collection of studies involving intelligent systems and applications of artificial intelligence in the real world to provide solutions to most vexing problems. IntelliSys received an overwhelming 605 papers which were put under strict double-blind peer-review for their novelty, originality and exhaustive research. Finally, 227 papers were sieved and chosen to be published in the proceedings.This book is a valuable collection of all the latest research in the field of artificial intelligence and smart systems. It provides a ready-made resource to all the readers keen on gaining information regarding the latest trends in intelligent systems. It also renders a sneak peek into the future world governed by artificial intelligence.

The book is a unique collection of studies involving intelligent systems and applications of artificial intelligence in the real world to provide solutions to most vexing problems. IntelliSys received an overwhelming 605 papers which were put under strict double-blind peer-review for their novelty, originality and exhaustive research. Finally, 227 papers were sieved and chosen to be published in the proceedings.This book is a valuable collection of all the latest research in the field of artificial intelligence and smart systems. It provides a ready-made resource to all the readers keen on gaining information regarding the latest trends in intelligent systems. It also renders a sneak peek into the future world governed by artificial intelligence.

This book contains a selection of papers accepted for presentation and discussion at ROBOT2023, the Sixth Iberian Robotics Conference, held in the University of Coimbra, Coimbra, Portugal, during November 22nd-24th, 2023. ROBOT2023 is part of a series of conferences that are jointly organized by Sociedade Portuguesa de Robótica (SPR) / Portuguese Society for Robotics and by Sociedad Española para la Investigación y Desarrollo en Robótica (SEIDROB) / Spanish Society for Research and Development in Robotics. These conferences, now occurring with a yearly periodicity, provide a forum to roboticists mostly from Iberia, but also from other parts of the world, to present and discuss their research results, new developments, and applications in the field of Robotics. The volume 1 of this book contains 45 papers addressing fundamental aspects of mobile robotics and robot manipulation while volume 2 contains 45 papers covering the application of robotics in different domains and environments.

The 11th International Conference on Creative Technology (ICCT2023): To Added Value Innovations in Engineering, Materials and Manufacturing was held in Rajamangala University of Technology Krungthep, 2 Nanglinchi Road, Thungmahamek, Sathorn, Bangkok, Thailand, between July 20 and 22, 2023. The conference was organized by three universities from three countries, namely Rajamangala University of Technology Krungthep (RMUTK, Thailand), Vellore Institute of Technology (VIT, India), and Liverpool John Moores University (LJMU, England). The conference aimed to give an opportunity for students, government organizations, private sectors, and universities to exchange experiences in advances in materials and manufacturing, simulation, automation, optimization of production processes, production management, maintenance, simulation, Industry 4.0, AI, and robotics. This book presents a collection of 58 peer-reviewed papers. The organizers received 61 contributions from 12 countries around the world. After a thorough peer-review process, the committee accepted 33 papers for conference proceedings prepared by 142 authors from 11 countries (acceptance rate of around 54%).

This volume is a collection of meticulously crafted, insightful, and state-of-the-art papers presented at the Intelligent Systems Conference 2024, held in Amsterdam, The Netherlands, on 5-6 September 2024. The conference received an overwhelming response, with a total of 535 submissions. After a rigorous double-blind peer review process, 181 papers were selected for presentation. These papers span a wide range of scientific topics, including Artificial Intelligence, Computer Vision, Robotics, Intelligent Systems, and more. We hope that readers find this volume both interesting and valuable. Furthermore, we expect that the conference and its proceedings will inspire further research and technological advancements in these critical areas of study. Thank you for engaging with this collection of works from the Intelligent Systems Conference 2024. Your interest and support contribute significantly to the ongoing progress and innovation in the field of intelligent systems.

This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024. The 9 full papers, 3 short papers and 2 invited papers included in this book were carefully reviewed and selected from 23 submissions. They are organized in topical sections as follows: model checking; anniversary; automated reasoning; and verification tools.

This volume is a collection of meticulously crafted, insightful, and state-of-the-art papers presented at the Intelligent Systems Conference 2024, held in Amsterdam, The Netherlands, on 5-6 September 2024. The conference received an overwhelming response, with a total of 535 submissions. After a rigorous double-blind peer review process, 181 papers were selected for presentation. These papers span a wide range of scientific topics, including Artificial Intelligence, Computer Vision, Robotics, Intelligent Systems, and more. We hope that readers find this volume both interesting and valuable. Furthermore, we expect that the conference and its proceedings will inspire further research and technological advancements in these critical areas of study. Thank you for engaging with this collection of works from the Intelligent Systems Conference 2024. Your interest and support contribute significantly to the ongoing progress and innovation in the field of intelligent systems.

This volume is a collection of meticulously crafted, insightful, and state-of-the-art papers presented at the Intelligent Systems Conference 2024, held in Amsterdam, The Netherlands, on 5-6 September 2024. The conference received an overwhelming response, with a total of 535 submissions. After a rigorous double-blind peer review process, 181 papers were selected for presentation. These papers span a wide range of scientific topics, including Artificial Intelligence, Computer Vision, Robotics, Intelligent Systems, and more. We hope that readers find this volume both interesting and valuable. Furthermore, we expect that the conference and its proceedings will inspire further research and technological advancements in these critical areas of study. Thank you for engaging with this collection of works from the Intelligent Systems Conference 2024. Your interest and support contribute significantly to the ongoing progress and innovation in the field of intelligent systems.

This volume is a collection of meticulously crafted, insightful, and state-of-the-art papers presented at the Intelligent Systems Conference 2024, held in Amsterdam, The Netherlands, on 5-6 September 2024. The conference received an overwhelming response, with a total of 535 submissions. After a rigorous double-blind peer review process, 181 papers were selected for presentation. These papers span a wide range of scientific topics, including Artificial Intelligence, Computer Vision, Robotics, Intelligent Systems, and more. We hope that readers find this volume both interesting and valuable. Furthermore, we expect that the conference and its proceedings will inspire further research and technological advancements in these critical areas of study. Thank you for engaging with this collection of works from the Intelligent Systems Conference 2024. Your interest and support contribute significantly to the ongoing progress and innovation in the field of intelligent systems.

This book includes original, peer-reviewed research papers from the 2023 7th Chinese Conference on Swarm Intelligence and Cooperative Control (CCSICC2023), held in Nanjing, China on November 17-19, 2023. The topics covered include but are not limited to: reviews and discussions of swarm intelligence, basic theories on swarm intelligence, swarm communication and networking, swarm perception, awareness and location, swarm decision and planning, cooperative control, cooperative guidance, swarm simulation and assessment. The papers showcased here share the latest findings on theories, algorithms and applications in swarm intelligence and cooperative control, making the book a valuable asset for researchers, engineers, and university students alike.

This book constitutes the proceedings of the BPM 2024 Blockchain/RPA/CEE/Educators/Industry Forum held at the 22nd International Conference on Business Process Management, BPM 2024, which took place in Krakow, Poland, in September 2024. The Blockchain Forum provided a platform for exploring and discussing innovative ideas on the intersection of BPM and blockchain technology. The CEE Forum deals with BPM research in Central and Eastern European countries, emphasizing the specific challenges due to cultural, political, regional, or organizational differences. The RPA Forum focused on the use of the Robotic Process Automation (RPA) in the field of Business Process Management. The Educators Forum brought together educators within the BPM community for sharing resources to improve the practice of teaching BPM-related topics. The Industry Forum served as a platform connecting academia and industry professionals to exchange real-world experiences and insights on leveraging Business Process Management. The total of 35 papers included in this book was carefully reviewed and selected from a total of 69 papers submitted to these forums.

This book includes original, peer-reviewed research papers from the 3rd ICAUS 2023, which provides a unique and engaging platform for scientists, engineers and practitioners from all over the world to present and share their most recent research results and innovative ideas. The 3rd ICAUS 2023 aims to stimulate researchers working in areas relevant to intelligent unmanned systems. Topics covered include but are not limited to: Unmanned Aerial/Ground/Surface/Underwater Systems, Robotic, Autonomous Control/Navigation and Positioning/ Architecture, Energy and Task Planning and Effectiveness Evaluation Technologies, Artificial Intelligence Algorithm/Bionic Technology and their Application in Unmanned Systems.The papers presented here share the latest findings in unmanned systems, robotics, automation, intelligent systems, control systems, integrated networks, modelling and simulation. This makes the book a valuable resource for researchers, engineers and students alike.

This book includes original, peer-reviewed research papers from the 3rd ICAUS 2023, which provides a unique and engaging platform for scientists, engineers and practitioners from all over the world to present and share their most recent research results and innovative ideas. The 3rd ICAUS 2023 aims to stimulate researchers working in areas relevant to intelligent unmanned systems. Topics covered include but are not limited to: Unmanned Aerial/Ground/Surface/Underwater Systems, Robotic, Autonomous Control/Navigation and Positioning/ Architecture, Energy and Task Planning and Effectiveness Evaluation Technologies, Artificial Intelligence Algorithm/Bionic Technology and their Application in Unmanned Systems.The papers presented here share the latest findings in unmanned systems, robotics, automation, intelligent systems, control systems, integrated networks, modelling and simulation. This makes the book a valuable resource for researchers, engineers and students alike.

This book includes original, peer-reviewed research papers from the 3rd ICAUS 2023, which provides a unique and engaging platform for scientists, engineers and practitioners from all over the world to present and share their most recent research results and innovative ideas. The 3rd ICAUS 2023 aims to stimulate researchers working in areas relevant to intelligent unmanned systems. Topics covered include but are not limited to: Unmanned Aerial/Ground/Surface/Underwater Systems, Robotic, Autonomous Control/Navigation and Positioning/ Architecture, Energy and Task Planning and Effectiveness Evaluation Technologies, Artificial Intelligence Algorithm/Bionic Technology and their Application in Unmanned Systems.The papers presented here share the latest findings in unmanned systems, robotics, automation, intelligent systems, control systems, integrated networks, modelling and simulation. This makes the book a valuable resource for researchers, engineers and students alike.

This book includes original, peer-reviewed research papers from the 3rd ICAUS 2023, which provides a unique and engaging platform for scientists, engineers and practitioners from all over the world to present and share their most recent research results and innovative ideas. The 3rd ICAUS 2023 aims to stimulate researchers working in areas relevant to intelligent unmanned systems. Topics covered include but are not limited to: Unmanned Aerial/Ground/Surface/Underwater Systems, Robotic, Autonomous Control/Navigation and Positioning/ Architecture, Energy and Task Planning and Effectiveness Evaluation Technologies, Artificial Intelligence Algorithm/Bionic Technology and their Application in Unmanned Systems.The papers presented here share the latest findings in unmanned systems, robotics, automation, intelligent systems, control systems, integrated networks, modelling and simulation. This makes the book a valuable resource for researchers, engineers and students alike.

This book includes original, peer-reviewed research papers from the 3rd ICAUS 2023, which provides a unique and engaging platform for scientists, engineers and practitioners from all over the world to present and share their most recent research results and innovative ideas. The 3rd ICAUS 2023 aims to stimulate researchers working in areas relevant to intelligent unmanned systems. Topics covered include but are not limited to: Unmanned Aerial/Ground/Surface/Underwater Systems, Robotic, Autonomous Control/Navigation and Positioning/ Architecture, Energy and Task Planning and Effectiveness Evaluation Technologies, Artificial Intelligence Algorithm/Bionic Technology and their Application in Unmanned Systems.The papers presented here share the latest findings in unmanned systems, robotics, automation, intelligent systems, control systems, integrated networks, modelling and simulation. This makes the book a valuable resource for researchers, engineers and students alike.

This book includes original, peer-reviewed research papers from the 3rd ICAUS 2023, which provides a unique and engaging platform for scientists, engineers and practitioners from all over the world to present and share their most recent research results and innovative ideas. The 3rd ICAUS 2023 aims to stimulate researchers working in areas relevant to intelligent unmanned systems. Topics covered include but are not limited to: Unmanned Aerial/Ground/Surface/Underwater Systems, Robotic, Autonomous Control/Navigation and Positioning/ Architecture, Energy and Task Planning and Effectiveness Evaluation Technologies, Artificial Intelligence Algorithm/Bionic Technology and their Application in Unmanned Systems.The papers presented here share the latest findings in unmanned systems, robotics, automation, intelligent systems, control systems, integrated networks, modelling and simulation. This makes the book a valuable resource for researchers, engineers and students alike.

The book is a unique collection of studies involving intelligent systems and applications of artificial intelligence in the real world to provide solutions to most vexing problems. IntelliSys received an overwhelming 605 papers which were put under strict double-blind peer-review for their novelty, originality and exhaustive research. Finally, 227 papers were sieved and chosen to be published in the proceedings.This book is a valuable collection of all the latest research in the field of artificial intelligence and smart systems. It provides a ready-made resource to all the readers keen on gaining information regarding the latest trends in intelligent systems. It also renders a sneak peek into the future world governed by artificial intelligence.

This book comprises the proceedings of the 13th National Technical Symposium on Unmanned System Technology 2023 (NUSYS'23) held on October 2–3, 2023. It covers a number of topics, including intelligent robotics, novel sensor technology, control algorithms, acoustics signal processing, imaging techniques, biomimetic robots, green energy sources, and underwater communication backbones and protocols, and it appeals to researchers developing marine technology solutions and policy-makers interested in technologies to facilitate the exploration of coastal and oceanic regions. This book consists of selected papers presented at the 3rd International Conference on Advances in Concrete, Structural, and Geotechnical Engineering (ACSGE 2024) held at BITS Pilani, India. The papers represent the latest research work in the fields of advanced composite materials, advanced computational techniques for structures, applications of nanotechnology in civil engineering, bridge engineering, composite structures, concrete technology, the fatigue life of structures, fire-resistant structures, functionally graded materials and structures, geotechnical processes, ground improvement techniques, offshore structures, performance-based design of structures, pre-cast pre-stressed concrete structures, seismic design, and construction, soil structure interaction, structural health assessment and rehabilitation, sustainability of construction, design, and management. The papers are presented by an international pool of academics, research scientists, and industrial experts and therefore cater to the global audience from the fields of construction materials, design guidelines, geotechnical engineering, concrete infrastructures, and structural engineering. This book is part of a 2-volume series of these conference proceedings, it represents Volume 2 in the series.

This book is an authoritative collection of contributions in the field of soft-computing. Based on selected works presented at the 6th World Conference on Soft Computing, held on May 22-25, 2016, in Berkeley, USA, it describes new theoretical advances, as well as cutting-edge methods and applications. Theories cover a wealth of topics, such as fuzzy logic, cognitive modeling, Bayesian and probabilistic methods, multi-criteria decision making, utility theory, approximate reasoning, human-centric computing and many others. Applications concerns a number of fields, such as internet and semantic web, social networks and trust, control and robotics, computer vision, medicine and bioinformatics, as well as finance, security and e-Commerce, among others. Dedicated to the 50th Anniversary of Fuzzy Logic and to the 95th Birthday Anniversary of Lotfi A. Zadeh, the book not only offers a timely view on the field, yet it also discusses thought-provoking developments and challenges, thus fosteringnew research directions in the diverse areas of soft computing.

This book constitutes the refereed proceedings of the 12th Latin American Robotics Symposium and Third Brazilian Symposium on Robotics, LARS 2015 / SBR 2015, held in Uberlândia, Brazil, in October/November 2015. The 17 revised full papers presented were carefully reviewed and selected from 80 submissions. The selected papers present a complete and solid reference of the state-of-the-art of intelligent robotics and automation research, covering the following areas: autonomous mobile robots, tele-operated and telepresence robots, human-robot interaction, trajectory control for mobile robots, autonomous vehicles, service-oriented robotic systems, semantic mapping, environment mapping, visual odometry, applications of RGB-D sensors, humanoid and biped robots, Robocup soccer robots, robot control, path planning, multiple vehicles and teams of robots.

This LNAI 9549 constitutes the refereed proceedings of the First International Workshop in Cultural Robotics 2015, held as part of the 24th International Symposium on Robot and Human Interactive Communication held in Kobe, Japan, in August/September 2015. A total of 12 full papers and 1 short paper were accepted from a total of 26 initially submitted.The following papers are organized into four categories. These categories are indicative of the extent to which culture has influenced the design or application of the robots involved, and explore a progression in the emersion and overlap between human and robotic generated culture.

The present book includes a set of selected extended papers from the 11th International Conference on Informatics in Control, Automation and Robotics (ICINCO 2014), held in Vienna, Austria, from 1 to 3 September 2014. The conference brought together researchers, engineers and practitioners interested in the application of informatics to Control, Automation and Robotics. Four simultaneous tracks will be held, covering Intelligent Control Systems, Optimization, Robotics, Automation, Signal Processing, Sensors, Systems Modelling and Control, and Industrial Engineering, Production and Management. Informatics applications are pervasive in many areas of Control, Automation and Robotics. ICINCO 2014 received 301 submissions, from 49 countries, in all continents. After a double blind paper review performed by the Program Committee, 20% were accepted as full papers and thus selected for oral presentation. Additional papers were accepted as short papers and posters. A further selection was made after the Conference, based also on the assessment of presentation quality and audience interest, so that this book includes the extended and revised versions of the very best papers of ICINCO 2014. Commitment to high quality standards is a major concern of ICINCO that will be maintained in the next editions, considering not only the stringent paper acceptance ratios but also the quality of the program committee, keynote lectures, participation level and logistics.

This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023, held in Paris, France, during April 26–27, 2023. The 9 full papers and 2 short papers included in this book were carefully reviewed and selected from 21 submissions. They were organized in topical sections as follows: binary decision diagrams, concurrency, testing, synthesis, explicit-state model checking.

This book presents selected research papers from China Satellite Navigation Conference (CSNC) 2024, held in Jinan, China, on 22–24 May 2024. These papers discuss the technologies and applications of the Global Navigation Satellite System (GNSS) and in particular the latest advances in the China BeiDou System (BDS). They are divided into 8 topics to match the corresponding sessions at CSNC 2024, which broadly covered key topics in GNSS. Readers learn about the BDS and keep abreast of the latest advances in GNSS technologies and applications.

This book contains select papers presented during the 2nd National Conference on Small Satellites, discussing the latest research and developments relating to small satellite technology. The papers cover various issues relating to design and engineering, ranging from the control, mechanical, and thermal systems to the sensors, antennas, and RF systems used. The book is of interest to scientists and engineers working on or utilizing satellite and space technologies.

This book presents selected research papers from China Satellite Navigation Conference (CSNC) 2024, held in Jinan, China, on 22–24 May 2024. These papers discuss the technologies and applications of the Global Navigation Satellite System (GNSS) and in particular the latest advances in the China BeiDou System (BDS). They are divided into 8 topics to match the corresponding sessions at CSNC 2024, which broadly covered key topics in GNSS. Readers learn about the BDS and keep abreast of the latest advances in GNSS technologies and applications.

This book presents the main results of the 19th Latin American Congress of Automatic Control held in November 2022 in Havana, Cuba. The Congress showed several main research results obtained by researchers from diverse countries in the last four years.Of the papers sent to Congress, 28 were finally accepted for presentation after a rigorous analysis of scientific novelty and quality. For their presentation in this book, the papers were divided into 5 major sections that appear in the following order:Part 1. Robust and Nonlinear ControlThe main research topics addressed in this part are related to fault-tolerant control loops, control by sliding modes, and robust tuning of PID controllers. Examples of electrical motors and chemical processes are used to demonstrate the feasibility of using the proposed techniques.Part 2. Fault Diagnosis in Industrial SystemsFault diagnosis in industrial plants is a very important topic in the Industry 4.0 paradigm.In this part, new techniques of fault diagnosis in mechanical systems using Poincaré features; a real case study for predicting the time of the remaining job cycle at a water treatment plant; and a predictive fault diagnosis for isolated photovoltaic systems are presented. A novel methodology for detecting and locating cyber-attacks in water distribution networks using computational intelligence tools is also presented.Part 3. Robotic and Autonomous SystemsNew control strategies for path following for autonomous tractors and unmanned aquatic vehicles are analyzed in this part. Moreover, the important topic related to the battery health-aware model predictive control planning for autonomous racing vehicles and the use of robots for monitoring and remediation applications are examined.Part 4. Modeling, Identification, and Delayed SystemsA model-based methodology for the efficient selection of centrifugal pumps; the use of probabilistic Boolean networks in smart grid models; the utilization of PSO metaheuristic algorithm in the selection of a model structure; and two schemes to control high-order delayed systems are among the main topics examined in this part.Part 5. Low-Cost Systems and Biomedical ApplicationsIn this part, some applications of low-cost monitoring and control systems and two automatic systems used for the characterization of creatinine in wastes samples during hemodialysis process and differential acquisition of blood pressure are shown.

This book includes original, peer-reviewed research papers from the ICAUS 2022, which offers a unique and interesting platform for scientists, engineers and practitioners throughout the world to present and share their most recent research and innovative ideas. The aim of the ICAUS 2022 is to stimulate researchers active in the areas pertinent to intelligent unmanned systems. The topics covered include but are not limited to Unmanned Aerial/Ground/Surface/Underwater Systems, Robotic, Autonomous Control/Navigation and Positioning/ Architecture, Energy and Task Planning and Effectiveness Evaluation Technologies, Artificial Intelligence Algorithm/Bionic Technology and Its Application in Unmanned Systems.The papers showcased here share the latest findings on Unmanned Systems, Robotics, Automation, Intelligent Systems, Control Systems, Integrated Networks, Modeling and Simulation. It makes the book a valuable asset for researchers, engineers, and university students alike.

This book contains the original peer-reviewed research papers presented at the 6th China Aeronautical Science and Technology Conference held in Wuzhen, Zhejiang Province, China, in September 2023. Topics covered include but are not limited to Navigation/Guidance and Control Technology, Aircraft Design and Overall Optimisation of Key Technologies, Aviation Testing Technology, Airborne Systems/Electromechanical Technology, Structural Design, Aerodynamics and Flight Mechanics, Advanced Aviation Materials and Manufacturing Technology, Advanced Aviation Propulsion Technology, and Civil Aviation Transportation.The papers presented here share the latest findings in aviation science and technology, making the book a valuable resource for researchers, engineers and students in related fields.

This book contains the original peer-reviewed research papers presented at the 6th China Aeronautical Science and Technology Conference held in Wuzhen, Zhejiang Province, China, in September 2023. Topics covered include but are not limited to Navigation/Guidance and Control Technology, Aircraft Design and Overall Optimisation of Key Technologies, Aviation Testing Technology, Airborne Systems/Electromechanical Technology, Structural Design, Aerodynamics and Flight Mechanics, Advanced Aviation Materials and Manufacturing Technology, Advanced Aviation Propulsion Technology, and Civil Aviation Transportation.The papers presented here share the latest findings in aviation science and technology, making the book a valuable resource for researchers, engineers and students in related fields.

This book presents select peer-reviewed papers from the International Conference on Robotics, Control, and Computer Vision (ICRCCV 2022). The contents focus on the latest research in the field of Robotics, their control, and computer vision in the context of robotics. The contributed papers have been arranged to give a flow to the reader. This book will be useful for students, researchers, and professionals from multidisciplinary fields such as mechanical engineering, electronics engineering, electrical engineering, computer science, and mathematics.

​This book includes original, peer-reviewed research papers from the 37th Annual Conference of Power System and Automation in Chinese Universities (CUS-EPSA), held in Hangzhou, China on October 23-25, 2022. These papers cover topics as Evolution and development path of the power system, Resilience assessment, analysis and planning of power system, Power system planning and reliability, Modelling and simulation of novel power system, Power electronic for power system stability analysis, Power system relay protection and automation and so on. The papers included in this proceedings share the latest research results and practical application examples on the methodologies and algorithms in these areas, which makes the book a valuable reference for researchers, engineers, and university students.