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.

In today’s competitive global environment, manufacturers are offered with unprecedented opportunities to build hyper-efficient and highly flexible plants, towards meeting variable market demand, while at the same time supporting new production models such as make-to-order (MTO), configure-to-order (CTO) and engineer-to-order (ETO). During the last couple of years, the digital transformation of industrial processes is propelled by the emergence and rise of the fourth industrial revolution (Industry 4.0). The latter is based on the extensive deployment of Cyber-Physical Production Systems (CPPS) and Industrial Internet of Things (IIoT) technologies in the manufacturing shopfloor, as well as on the seamless and timely exchange of digital information across supply chain participants. The benefits of Industry 4.0 have been already proven in the scope of pilot and production deployments in a number of different use cases including flexibility in automation, predictive maintenance, zero defect manufacturing and more. Despite early implementations and proof-of-concepts, CPPS/IIoT deployments are still in their infancy for a number of reasons, including:• Manufacturers’ poor awareness about digital manufacturing solutions and their business value potential, as well as the lack of relevant internal CPPS/IIoT knowledge.• The high costs that are associated with the deployment, maintenance and operation of CPPS systems in the manufacturing shopfloors, which are particularly challenging in the case of SME (Small Medium Enterprises) manufacturers that lack the equity capital needed to invest in Industry 4.0.• The time needed to implement CPPS/IIoT and the lack of a smooth and proven migration path from existing OT solutions.• The uncertainty over the business benefits and impacts of IIoT and CPPS technologies, including the lack of proven methods for the techno-economic evaluation of Industry 4.0 systems. • Manufacturers’ increased reliance on external integrators, consultants and vendors. • The absence of a well-developed value chain needed to sustain the acceptance of these new technologies for digital automation.In order to alleviate these challenges, three European Commission funded projects (namely H2020 FAR-EDGE (http://www.far-edge.eu/), H2020 DAEDALUS (http://daedalus.iec61499.eu) and H2020 AUTOWARE (http://www.autoware-eu.org/)) have recently joined forces towards a “Digital Shopfloor Alliance”. The Alliance aims at providing leading edge and standards based digital automation solutions, along with guidelines and blueprints for their effective deployment, validation and evaluation. 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/). The latter facilitate the testing and evaluation of what-if scenarios at low risk and cost, but also without disrupting shopfloor operations. As already outlined, beyond leading edge scientific and technological development solutions, the book comprises a rich set of complementary assets that are indispensable to the successful adoption of IIoT/CPPS in the shopfloor. The book is structured in three parts as follows: • The first part of the book is devoted to digital automation platforms. Following an introduction to Industry 4.0 in general and digital automation platforms in particular, this part presents the digital automation platforms of the FAR-EDGE, AUTOWARE and DAEDALUS projects. • The second part of the book focuses on the presentation of digital simulation and digital twins’ functionalities. These include information about the models that underpin digital twins, as well as the simulators that enable experimentation with these processes over these digital models. • The third part of the book provides information about complementary assets and supporting services that boost the adoption of digital automation functionalities in the Industry 4.0 era. Training services, migration services and ecosystem building services are discussed based on the results of the three projects of the Digital Shopfloor Alliance. The target audience of the book includes:• Researchers in the areas of Digital Manufacturing and more specifically in the areas of digital automation and simulation, who wish to be updated about latest Industry 4.0 developments in these areas.• Manufacturers, with an interest in the next generation of digital automation solutions based on Cyber-Physical systems.• Practitioners and providers of Industrial IoT solutions, which are interested in the implementation of use cases in automation, simulation and supply chain management.• Managers wishing to understand technologies and solutions that underpin Industry 4.0, along with representative applications in the shopfloor and across the supply chain.

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.