Cyber-physical systems (CPSs) combine cyber capabilities, such as computation or communication, with physical capabilities, such as motion or other physical processes. Cars, aircraft, and robots are prime examples, because they move physically in space in a way that is determined by discrete computerized control algorithms. Designing these algorithms is challenging due to their tight coupling with physical behavior, while it is vital that these algorithms be correct because we rely on them for safety-critical tasks. This textbook teaches undergraduate students the core principles behind CPSs. It shows them how to develop models and controls; identify safety specifications and critical properties; reason rigorously about CPS models; leverage multi-dynamical systems compositionality to tame CPS complexity; identify required control constraints; verify CPS models of appropriate scale in logic; and develop an intuition for operational effects. The book is supported with homework exercises, lecture videos, and slides.

Mapping and localization are two essential tasks in autonomous mobile robotics. Due to the unavoidable noise that sensors present, mapping algorithms usually rely on loop closure detection techniques, which entail the correct identification of previously seen places to reduce the uncertainty of the resulting maps. This book deals with the problem of generating topological maps of the environment using efficient appearance-based loop closure detection techniques. Since the quality of a visual loop closure detection algorithm is related to the image description method and its ability to index previously seen images, several methods for loop closure detection adopting different approaches are developed and assessed. Then, these methods are used in three novel topological mapping algorithms. The results obtained indicate that the solutions proposed attain a better performance than several state-of-the-art approaches. To conclude, given that loop closure detection is also a key component in other research areas, a multi-threaded image mosaicing algorithm is proposed. This approach makes use of one of the loop closure detection techniques previously introduced in order to find overlapping pairs between images and finally obtain seamless mosaics of different environments in a reasonable amount of time.

This book presents recent methodological, technological, and experimental developments concerning human-friendly robots and their introduction into everyday life. The book contains a selection of 10 papers presented at the 13th edition of the International Workshop on Human-Friendly Robotics (HFR). The International Workshop on Human-Friendly Robotics (HFR) is an annual meeting that brings together academic scientists, researchers, and research scholars to present their latest, original findings on all aspects concerning human-friendly robotics where safe and dependable machines operate in close proximity to humans or directly interact with them in a wide range of contexts. The 13th edition was organized by the University of Innsbruck and took place in Innsbruck, Austria. The book is primarily intended for robotics researchers and postgraduates which are doing or willing to do research in fields related to human-friendly robotics, including human-robot interaction, robot control, robot learning, and intuitive interfaces. .

This book highlights papers presented at the Second International Conference on Smart Vehicular Technology, Transportation, Communication and Applications (VTCA 2018), which was held at Mount Emei, Sichuan Province, China from 25 to 28 October 2018. The conference was co-sponsored by Springer, Southwest Jiaotong University, Fujian University of Technology, Chang'an University, Shandong University of Science and Technology, Fujian Provincial Key Lab of Big Data Mining and Applications, and the National Demonstration Center for Experimental Electronic Information and Electrical Technology Education (Fujian University of Technology). The conference was intended as an international forum for researchers and professionals engaged in all areas of smart vehicular technology, vehicular transportation, vehicular communication, and applications.

These proceedings present selected research papers from CISC'18, held in Wenzhou, China. The topics include Multi-Agent Systems, Networked Control Systems, Intelligent Robots, Complex System Theory and Swarm Behavior, Event-Triggered Control and Data-Driven Control, Robust and Adaptive Control, Big Data and Brain Science, Process Control, Nonlinear and Variable Structure Control, Intelligent Sensor and Detection Technology, Deep learning and Learning Control Guidance, Navigation and Control of Flight Vehicles, and so on. Engineers and researchers from academia, industry, and government can get an insight view of the solutions combining ideas from multiple disciplines in the field of intelligent systems.

One of the goals of artificial intelligence (AI) is creating autonomous agents that must make decisions based on uncertain and incomplete information. The goal is to design rational agents that must take the best action given the information available and their goals. Decision Theory Models for Applications in Artificial Intelligence: Concepts and Solutions provides an introduction to different types of decision theory techniques, including MDPs, POMDPs, Influence Diagrams, and Reinforcement Learning, and illustrates their application in artificial intelligence. This book provides insights into the advantages and challenges of using decision theory models for developing intelligent systems.

This book starts with the proposition that digital media invite play and indeed need to be played by their everyday users. Play is probably one of the most visible and powerful ways to appropriate the digital world. The diverse, emerging practices of digital media appear to be essentially playful: Users are involved and active, produce form and content, spread, exchange and consume it, take risks, are conscious of their own goals and the possibilities of achieving them, are skilled and know how to acquire more skills. They share a perspective of can-do, a curiosity of what happens next? Play can be observed in social, economic, political, artistic, educational and criminal contexts and endeavours. It is employed as a (counter) strategy, for tacit or open resistance, as a method and productive practice, and something people do for fun. The book aims to define a particular contemporary attitude, a playful approach to media. It identifies some common ground and key principles in this novel terrain. Instead of looking at play and how it branches into different disciplines like business and education, the phenomenon of play in digital media is approached unconstrained by disciplinary boundaries. The contributions in this book provide a glimpse of a playful technological revolution that is a joyful celebration of possibilities that new media afford. This book is not a practical guide on how to hack a system or to pirate music, but provides critical insights into the unintended, artistic, fun, subversive, and sometimes dodgy applications of digital media. Contributions from Chris Crawford, Mathias Fuchs, Rilla Khaled, Sybille Lammes, Eva and Franco Mattes, Florian 'Floyd' Mueller, Michael Nitsche, Julian Oliver, and others cover and address topics such as reflective game design, identity and people's engagement in online media, conflicts and challenging opportunities for play, playing with cartographical interfaces, player-emergent production practices, the re-purposing of data, game creation as an educational approach, the ludification of society, the creation of meaning within and without play, the internalisation and subversion of roles through play, and the boundaries of play.

This book reflects the latest research trends, methods and experimental results in the field of electrical and information technologies for rail transportation, which covers abundant state-of-the-art research theories and ideas. As a vital field of research that is highly relevant to current developments in a number of technological domains, the subjects it covered include intelligent computing, information processing, Communication Technology, Automatic Control, etc. The objective of the proceedings is to provide a major interdisciplinary forum for researchers, engineers, academicians as well as industrial professionals to present the most innovative research and development in the field of rail transportation electrical and information technologies. Engineers and researchers in academia, industry, and the government will also explore an insight view of the solutions that combine ideas from multiple disciplines in this field. The volumes serve as an excellent reference work for researchers and graduate students working on rail transportation, electrical and information technologies.

This book presents cutting-edge research on various ways to bridge the semantic gap in image and video analysis. The respective chapters address different stages of image processing, revealing that the first step is a future extraction, the second is a segmentation process, the third is object recognition, and the fourth and last involve the semantic interpretation of the image. The semantic gap is a challenging area of research, and describes the difference between low-level features extracted from the image and the high-level semantic meanings that people can derive from the image. The result greatly depends on lower level vision techniques, such as feature selection, segmentation, object recognition, and so on. The use of deep models has freed humans from manually selecting and extracting the set of features. Deep learning does this automatically, developing more abstract features at the successive levels. The book offers a valuable resource for researchers, practitioners, students and professors in Computer Engineering, Computer Science and related fields whose work involves images, video analysis, image interpretation and so on.

In today's society, the utilization of social media platforms has become an abundant forum for individuals to post, share, tag, and, in some cases, overshare information about their daily lives. As significant amounts of data flood these venues, it has become necessary to find ways to collect and evaluate this information. Social Media Data Extraction and Content Analysis explores various social networking platforms and the technologies being utilized to gather and analyze information being posted to these venues. Highlighting emergent research, analytical techniques, and best practices in data extraction in global electronic culture, this publication is an essential reference source for researchers, academics, and professionals.

This book presents a selection of recently developed collective and computational intelligence techniques, which it subsequently applies to energy management problems ranging from performance analysis to economic analysis, and from strategic analysis to operational analysis, with didactic numerical examples. As a form of intelligence emerging from the collaboration and competition of individuals, collective and computational intelligence addresses new methodological, theoretical, and practical aspects of complex energy management problems. The book offers an excellent reference guide for practitioners, researchers, lecturers and postgraduate students pursuing research on intelligence in energy management. The contributing authors are recognized researchers in the energy research field.

Agenda Relevance is the first volume in the authors' omnibus investigation of
the logic of practical reasoning, under the collective title, A Practical Logic
of Cognitive Systems. In this highly original approach, practical reasoning is
identified as reasoning performed with comparatively few cognitive assets,
including resources such as information, time and computational capacity. Unlike
what is proposed in optimization models of human cognition, a practical reasoner
lacks perfect information, boundless time and unconstrained access to
computational complexity. The practical reasoner is therefore obliged to be a
cognitive economizer and to achieve his cognitive ends with considerable
efficiency. Accordingly, the practical reasoner avails himself of various
scarce-resource compensation strategies. He also possesses neurocognitive
traits that abet him in his reasoning tasks. Prominent among these is the
practical agent's striking (though not perfect) adeptness at evading irrelevant
information and staying on task. On the approach taken here, irrelevancies are
impediments to the attainment of cognitive ends. Thus, in its most basic sense,
relevant information is cognitively helpful information. Information can then be
said to be relevant for a practical reasoner to the extent that it advances or
closes some cognitive agenda of his. The book explores this idea with a
conceptual detail and nuance not seen the standard semantic, probabilistic and
pragmatic approaches to relevance; but wherever possible, the authors seek to
integrate alternative conceptions rather than reject them outright. A further
attraction of the agenda-relevance approach is the extent to which its principal
conceptual findings lend themselves to technically sophisticated re-expression
in formal models that marshal the resources of time and action logics and
label led deductive systems.

Agenda Relevance is necessary reading for researchers in logic, belief
dynamics, computer science, AI, psychology and neuroscience, linguistics,
argumentation theory, and legal reasoning and forensic science, and will repay
study by graduate students and senior undergraduates in these same fields.

Key features:

relevance
action and agendas
practical reasoning
belief dynamics
non-classical logics
labelled deductive systems

"

The book describes an approach to the multi-agent systems (MAS) design for applications of robotic soccer in the MiroSot category. The described MAS is designed for dynamic, quickly changing environments, in which not only the actions of our MAS are observed, but also those of the opposing MAS. It actively tries to affect the environment to score goals faster than the opposing MAS. Multi-agent systems (MAS) are mostly applied in the environments in which they exist and act without an opposing system. The book also describes strategies based on a supervisor that makes decisions depending on behavior prediction of the opposing MAS and the ball movement in the working place. A sophisticated distribution of tasks was designed for each agent to cooperate in order score goals as fast as possible. Simultaneously, these agents try, by permitted means, to prevent the enemy agents from scoring goals. The approach described is an excellent guide to the constantly evolving abilities of mobile robotics, both for real-world applications, such as cooperation of multiple robots in life-saving activities, and for the steadily developing applications of mobile robots in various robotic competitions (e.g. Robocup, etc.). The book provides readers with high-level knowledge on how to design strategies and how to implement such systems, and the ideas presented enable them to further refine the approach utilizing the latest hardware and use it in new systems implementations of sophisticated intelligent engineering.

This proceeding features papers discussing big data innovation for sustainable cognitive computing. The papers feature details on cognitive computing and its self-learning systems that use data mining, pattern recognition and natural language processing (NLP) to mirror the way the human brain works. This international conference focuses on cognitive computing technologies, from knowledge representation techniques and natural language processing algorithms to dynamic learning approaches. Topics covered include Data Science for Cognitive Analysis, Real-Time Ubiquitous Data Science, Platform for Privacy Preserving Data Science, and Internet-Based Cognitive Platform. The 2nd EAI International Conference on Big Data Innovation for Sustainable Cognitive Computing (BDCC 2019) took place in Coimbatore, India on December 12-13, 2019. Contains proceedings from 2nd EAI International Conference on Big Data Innovation for Sustainable Cognitive Computing (BDCC 2019), Coimbatore, India, December 12-13, 2019; Features topics ranging from Data Science for Cognitive Analysis to Internet-Based Cognitive Platforms; Includes contributions from researchers, academics, and professionals from around the world.

This book presents selected research papers from CISC'17, held in MudanJiang, China. The topics covered include Multi-agent system, Evolutionary Computation, Artificial Intelligence, Complex systems, Computation intelligence and soft computing, Intelligent control, Advanced control technology, Robotics and applications, Intelligent information processing, Iterative learning control, Machine Learning, and etc. Engineers and researchers from academia, industry, and government can gain valuable insights into solutions combining ideas from multiple disciplines in the field of intelligent systems.

This book highlights practical solutions for flight safety improvement techniques, which are currently the focus of the International Civil Aviation Organization (ICAO). It has become clear that, in order to rapidly and significantly improve flight safety, the integrated use of new aeronautical technologies is called for. Considering the size of the aviation fleet, its constant growth and the long service lives of aircraft, new technologies should be adapted both to cutting-edge air navigation systems and to those that have been used for over a decade. Concretely, the book discusses methodological approaches to the construction of ground and on-board avionics that make it possible to achieve improved flight safety using innovative new methods. The proposed approaches are illustrated with real-world examples of e.g. satellite-based navigation systems and enhanced ground proximity warning systems. The book is written for professionals involved in the development of avionics systems, as well as students, researchers and experts in the field of radiolocation, radio navigation and air traffic control, the book will support the development and modeling of radio technical complexes, as well as the analysis of complex radio technical systems.

This book concisely presents a broad range of models and theories on social systems. Because of the huge spectrum of topics involving social systems, various issues related to Mathematics, Statistics, Teaching, Social Science, and Economics are discussed. In an effort to introduce the subject to a wider audience, this volume, part of the series "Studies in Systems, Decision and Control", equally addresses the needs of mathematicians, statisticians, sociologists and philosophers. The studies examined here are divided into four parts. The first part, "Perusing the Minds Behind Scientific Discoveries", traces the winding path of Syamal K. Sen and Ravi P. Agarwal's scholarship throughout history, and most importantly, the thought processes that allowed each of them to master their subject. The second part covers "Theories in Social Systems" and the third discusses "Models in Social Systems", while the fourth and final part is dedicated to "Mathematical Methods in the Social Sciences". Given its breadth of coverage, the book will offer inquisitive readers a valuable point of departure for exploring these rich, vast, and ever-expanding fields of knowledge.

Robots challenge humans' beliefs and expectations. Hence, regardless of whether they are the audience of a conference, the visitors of a lab, the citizens in general, some journalists, or the European Parliament, the first step in order to gain a better understanding of the field of robotics is obviously to consult the experts. Roboticists seem indeed to be in the best position to guide society in this matter, whether it is in the everyday life or within an official institution. Today however, there is a gap between the robots, as they are actually thought and built, and the intelligent and autonomous machines, as they are perceived by the society. How can we explain it? Do the words borrowed from the living organisms and used to describe robots play a role in the confusion about the status of the discipline of robotics? The texts gathered within this book focus on the problematic of wording robotics from various perspectives. They are the results of a unique interdisciplinary meeting gathering roboticists, linguists, philosophers and neuroscientists, the 4th Workshop of Anthropomorphic Motion Factory held at LAAS-CNRS in Toulouse on Nov 31st - Dec 1st 2017.

This book is a tribute to Julian Francis Miller's ideas and achievements in computer science, evolutionary algorithms and genetic programming, electronics, unconventional computing, artificial chemistry and theoretical biology. Leading international experts in computing inspired by nature offer their insights into the principles of information processing and optimisation in simulated and experimental living, physical and chemical substrates. Miller invented Cartesian Genetic Programming (CGP) in 1999, from a representation of electronic circuits he devised with Thomson a few years earlier. The book presents a number of CGP's wide applications, including multi-step ahead forecasting, solving artificial neural networks dogma, approximate computing, medical informatics, control engineering, evolvable hardware, and multi-objective evolutionary optimisations. The book addresses in depth the technique of 'Evolution in Materio', a term coined by Miller and Downing, using a range of examples of experimental prototypes of computing in disordered ensembles of graphene nanotubes, slime mould, plants, and reaction diffusion chemical systems. Advances in sub-symbolic artificial chemistries, artificial bio-inspired development, code evolution with genetic programming, and using Reed-Muller expansions in the synthesis of Boolean quantum circuits add a unique flavour to the content. The book is a pleasure to explore for readers from all walks of life, from undergraduate students to university professors, from mathematicians, computer scientists and engineers to chemists and biologists.

This book presents the Proceedings of The International Science and Technology Conference "FarEastCon-2018," which took place on October 2-4, 2018 in Vladivostok, Russian Federation. The conference provided a platform for accumulating expert opinion on projects and initiatives aimed at the implementation of far-sighted scientific research and development, and allowed current scientific and practical achievements to be shared with wide circle of researchers. Featuring selected papers from the conference, the book is of interest to a broad range of experts involved in developing innovative solutions and organizing events that increase the efficiency of economic and innovative activities.

This book is devoted to the development of complex methods and means of their implementation with using UAVs aimed for improving the safety and efficiency of the energy system. The scientific problem of complex automated monitoring of the energy system objects with using UAVs has been solved, including the control of its elements in the visible and infrared range, the acoustic spectrum, as well as by the levels of the electric field strength. The scientific foundations of mathematical, physical and statistical modeling of electromagnetic and acoustic fields in the elements of electric power objects of complex spatial configurations have been created, taking into account the possibility of the appearance of such nonlinear processes as corona discharges and breakdowns at long air gaps. Improved methods are proposed for determining the exact location of accidents on power lines using UAVs on the basis of the developed mathematical models and the obtained analytical expressions. Conceptual foundations for the creation of methods and means for monitoring the state of insulation, lightning protection systems and the integrity of the structures of electric power facilities with using UAVs have been formed.

This book covers computationally innovative methods and technologies including data collection and elicitation, data processing, data analysis, data visualizations, and data presentation. It explores how digital humanists have harnessed the hypersociality and social technologies, benefited from the open-source sharing not only of data but of code, and made technological capabilities a critical part of humanities work. Chapters are written by researchers from around the world, bringing perspectives from diverse fields and subject areas. The respective authors describe their work, their research, and their learning. Topics include semantic web for cultural heritage valorization, machine learning for parody detection by classification, psychological text analysis, crowdsourcing imagery coding in natural disasters, and creating inheritable digital codebooks.Designed for researchers and academics, this book is suitable for those interested in methodologies and analytics that can be applied in literature, history, philosophy, linguistics, and related disciplines. Professionals such as librarians, archivists, and historians will also find the content informative and instructive.

This book gathers revised and extended versions of the best papers presented at the 8th International Joint Conference on Computational Intelligence (IJCCI 2016), which was held in Porto, Portugal from 9 to 11 November 2016. The papers address three main fields of Computational Intelligence, namely: Evolutionary Computation, Fuzzy Computation, and Neural Computation. In addition to highlighting recent advances in these areas, the book offers veteran researchers new and innovative solutions, while also providing a source of information and inspiration for newcomers to the field.