This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Modelling and Simulation for Autonomous Systems, MESAS 2018, held in Prague, Czech Republic, in October 2018. The 46 revised full papers included in the volume were carefully reviewed and selected from 66 submissions. They are organized in the following topical sections: Future Challenges of Advanced M&S Technology; Swarming - R&D and Application; M&S of Intelligent Systems - AI, R&D and Application; AxS in Context of Future Warfare and Security Environment (Concepts, Applications, Training, Interoperability, etc.).

This book constitutes the thoroughly refereed post-workshop proceedings of the Second International Workshop on Modelling and Simulation for Autonomous Systems, MESAS 2015, held in Prague, Czech Republic, in April 2015. The 18 revised full papers included in the volume were carefully reviewed and selected from 33 submissions. They are organized in the following topical sections: state of the art and future of AS; MS experimental frameworks for AS; methods and algorithms for AS.

The chasm between the physical capabilities of Intelligent Robotics and Autonomous Systems (IRAS) and their cognitive potential presents a formidable challenge. While these machines exhibit astonishing strength, precision, and speed, their intelligence and adaptability lag far behind. This inherent limitation obstructs the realization of autonomous systems that could reshape industries, from self-driving vehicles to industrial automation. The solution to this dilemma is unveiled within the pages of Modeling, Simulation, and Control of AI Robotics and Autonomous Systems. Find within the pages of this book answers for the cognitive deficit within IRAS. While these systems boast remarkable physical capabilities, their potential for intelligent decision-making and adaptation remains stunted, thereby bringing innovation to a halt. Solving this issue would mean the re-acceleration of multiple industries that could utilize automation to prevent humans from needing to do work that is dangerous, and could revolutionize transportation, and more.

The Workshops on Autonomous Systems emanated from a gathering with the doctoral students of just three chairs at Fernuniversität in Hagen, which we organise twice per year for a number of years now. Their purpose is to discuss on-going research and to create a community spirit. Furthermore, they serve as a means of structuring the students' research processes. The workshop has grown and matured in several respects. The doctoral students presenting their work do not come from a single university anymore, but from three. Besides them and their supervisors, also other scientists became interested in the event and contribute to its programme. Following the model of Advanced Study Institutes, they are available on the premises for relaxed, informal discussions outside the formal sessions. Finally, with the co-sponsorship of Gesellschaft für Informatik, the German Computer Society, and this surprisingly comprehensive volume of contributions published by Springer-Verlag the workshop turned into a visible scientific event.

This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on Modelling and Simulation for Autonomous Systems, MESAS 2016, held in Rome, Italy, in June 2016. The 33 revised full papers included in the volume ware carefully reviewed and selected from 38 submissions. They are organized in the following topical sections: human machine integration and interfaces; autonomous systems and MS frameworks and architectures; autonomous systems principles and algorithms; unmanned aerial vehicles and remotely piloted aircraft systems; modelling and simulation application.

Going beyond the traditional field of robotics to include other mobile vehicles, this reference and "recipe book" describes important theoretical concepts, techniques, and applications that can be used to build truly mobile intelligent autonomous systems (MIAS). With the infusion of neural networks, fuzzy logic, and genetic algorithm paradigms for MIAS, it blends modeling, sensors, control, estimation, optimization, signal processing, and heuristic methods in MIAS and robotics, and includes examples and applications throughout. Offering a comprehensive view of important topics, it helps readers understand the subject from a system-theoretic and practical point of view.

This book offers a new Modular Petri Net as a solution to the vast Petri net models. It presents some approaches centering around modules (known as “Petri modules”). The goal of this book is to introduce a methodology in which Petri nets are moved to a new level. In this new level, large Petri net models are made of Petri modules, which are independent and run on different computers. This book also contains the literature study on modular Petri nets and definitions for the newer Petri modules. Also, algorithms for extracting Petri modules, and algorithms for connecting Petri modules, and applications are given in this book. Besides, the ideas and algorithms given in this book are implemented in the software General-purpose Petri Net Simulator (GPenSIM). Hence, with the use of this book the readers/users would be able to know that real-life discrete event systems could be modeled, analyzed, and performance-optimized with GPenSIM.

This book is intended to meet the needs of those who seek to develop control systems for ROVs when there is no model available during the initial design stage. The modeling, simulation and application of marine vehicles like underwater robotic vehicles (URVs) are multidisciplinary, and combine mathematical aspects from various engineering disciplines. URVs such as remotely operated vehicle (ROVs) are used for a wide range of applications such as exploring the extreme depths of our ocean, where a hard-wired link is still required. Most ROVs operate in extreme environments with uncertainties in the model prior to control system design. However, the method involved extensive testing before the system model could be used for any control actions. It has been found that the range of error can be extensive and uncertain in actual, continuously varying conditions. Hence, it is important to address the problem of reliance on model testing using different modeling approaches. In this book, approaches such as WAMIT, ANSYS-CFX, STAR CCM+, MATLAB and Simulink are used to model parameters for ROVs. A few benchmark models are provided, allowing researchers and students to explore and test different control schemes. Given its scope, the book offers a valuable reference guide for postgraduate and undergraduate students engaged in modeling and simulation for ROV control.

This book constitutes the thoroughly refereed post-proceedings of the 12th International Conference on Computer Aided Systems Theory, EUROCAST 2009, held in Las Palmas de Gran Canaria, Spain in February 2009. The 120 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on systems theory and simulation: formal approaches, computation and simulation in modeling biological Systems, intelligent information processing, applied formal verification, computer vision and image processing, mobile and autonomous systems: robots and cars, simulation based system optimization, signal processing methods in systems design and cybernetics, polynomial models in control system design, heurist problem solving, simulation and formal methods in systems design and engineering, models of co-operative engineering systems.

This text presents the proceedings of a conference on intelligent autonomous systems. Papers contribute solutions to the task of designing autonomous systems that are capable of operating independently of a human in partially structured and unstructured environments. For specific application, these systems should also learn from their actions in order to improve and optimize planning and execution of new tasks.