River Publishers Series in Automation, Control and Robotics – serie

This book details cutting-edge technologies, versatile tools, adaptive processes, integrated platforms, and best practices of digitized systems. With the faster maturity and stability of digitization and digitalization technologies, all kinds of physical, mechanical, and electrical systems in our everyday environments (homes, hotels, hospitals, manufacturing floors, etc.) have become digitized systems. Such technology has empowered systems to gain the power to join and contribute to fulfilling the goals of modern computing. Such digitized entities assist in producing and deploying hugely complicated yet sophisticated context-aware services and applications. The other principal contribution is capturing environmental data in real time and enabling local data processing to bring forth actionable insights. This facilitates insight-driven decisions and deeds. Precisely speaking, the aspects of real-time knowledge discovery and dissemination enable the creation and delivery of real-time and real-world features and functionalities.All industrial artifacts are being digitized, connected and empowered to be cognitive in their operations, offerings and outputs. By smartly leveraging a dazzling array of digital technologies and tools, the interaction and collaboration with human experts becomes hugely simplified and speeded up considerably. Such cognition-enabled industrial machineries, equipment, appliances, assembly lines, robots, vehicles, drones, and other assets collectively provide an intelligent environment to envisage and realize state-of-the-art industry 4.0 and 5.0 applications. Every industrial process gets optimized and automated to produce next-generation products to ensure customer delight, to explore fresh avenues to enhance revenues and to embark on higher productivity.In addition, there are chapters illustrating industrial use cases, infrastructure optimization, technology assimilation, and AI-powered data analytics towards industry automation.

In recent years, a considerable amount of effort has been devoted, both in industry and academia, towards the development of advanced methods of control theory with focus on its practical implementation in various fields of human activity such as space control, robotics, control applications in marine systems, control processes in agriculture and food production.Control Systems: Theory and Applications consists of selected best papers which were presented at XXIV International conference on automatic control “Automatics 2017” (September 13-15, 2017, Kyiv, Ukraine) organized by Ukrainian Association on Automatic Control (National member organization of IFAC – International Federation on Automatic Control) and National University of Life and Environmental Sciences of Ukraine. More than 120 presentations where discussed at the conference, with participation of the scientists from the numerous countries. The book is divided into two main parts, a first on Theory of Automatic Control (5 chapters) and the second on Control Systems Applications (8 chapters). The selected chapters provide an overview of challenges in the area of control systems design, modeling, engineering and implementation and the approaches and techniques that relevant research groups within this area are employing to try to resolve these.This book on advanced methods of control theory and successful cases in the practical implementation is ideal for personnel in modern technological processes automation and SCADA systems, robotics, space and marine industries as well as academic staff and master/research students in computerized control systems, automatized and computer-integrated systems, electrical and mechanical engineering.

The present book provides a comprehensive description of some of the most representative solutions that offered by these three projects, along with the ways these solutions can be combined in order to achieve multiplier effects and maximize the benefits of their use. The presented solutions include standards-based digital automation solutions, following different deployment paradigms, such as cloud and edge computing systems. Moreover, they also comprise a rich set of digital simulation solutions, which are explored in conjunction with the H2020 MAYA project (http://www.maya-euproject.com/).

This monograph provides an overview of the recent developments in modern control systems including new theoretical findings and successful examples of practical implementation of the control theory in different areas of industrial and special applications.Recent Developments in Automatic Control Systems consists of extended versions of selected papers presented at the XXVI International Conference on Automatic Control "Automation 2020" (October 13–15, 2020, Kyiv, Ukraine) which is the main Ukrainian Control Conference organized by the Ukrainian Association on Automatic Control (national member organization of IFAC) and the National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute."This is the third monograph in the River Publishers series in Automation, Control and Robotics based on the selected papers of the Ukrainian Control Conferences "Automation," in particular, the first monograph Control Systems: Theory and Applications (2018) was published based on "Automation – 2017" and the second monograph Advanced Control Systems: Theory and Applications was based on "Automation – 2018."The monograph is divided into three main parts: (a) Advances in Theoretical Research of Control Systems; (b) Advances in Control Systems Application; (c) Recent Developments in Collaborative Automation.The chapters have been structured to provide an easy-to-follow introduction to the topics that are addressed, including the most relevant references, so that anyone interested in this field can get started in the area.This book may be useful for researchers and students who are interested in recent developments in modern control systems, robust adaptive systems, optimal control, fuzzy control, motion control, identification, modelling, differential games, evolutionary optimization, reliability control, security control, intelligent robotics and cyber–physical systems.

This book captures multidisciplinary research encompassing various facets of autonomous vehicle systems (AVS) research and developments. The AVS field is rapidly moving towards realization with numerous advances continually reported. The contributions to this field come from widely varying branches of knowledge, making it a truly multidisciplinary area of research and development. The topics covered in the book include:AI and deep learning for AVSAutonomous steering through deep neural networksAdversarial attacks and defenses on autonomous vehiclesGesture recognition for vehicle controlMulti-sensor fusion in autonomous vehiclesTeleoperation technologies for AVSSimulation and game theoretic decision making for AVSPath following control system design for AVSHybrid cloud and edge solutions for AVSEthics of AVS

Behavioural type systems in programming languages support the specification and verification of properties of programs beyond the traditional use of type systems to describe data processing. A major example of such a property is correctness of communication in concurrent and distributed systems, motivated by the importance of structured communication in modern software. Behavioural Types: from Theory to Tools presents programming languages and software tools produced by members of COST Action IC1201: Behavioural Types for Reliable Large-Scale Software Systems, a European research network that was funded from October 2012 to October 2016. As a survey of the most recent developments in the application of behavioural type systems, it is a valuable reference for researchers in the field, as well as an introduction to the area for graduate students and software developers.