In the early 1990s, NASA Goddard Space Flight Center started researching and developing autonomous and autonomic ground and spacecraft control systems for future NASA missions. This research started by experimenting with and developing expert systems to automate ground station software and reduce the number of people needed to control a spacecraft. This was followed by research into agent-based technology to develop autonomous ground c- trol and spacecraft. Research into this area has now ...

Aerodynamic design, like many other engineering applications, is increasingly relying on computational power. The growing need for multi-disciplinarity and high fidelity in design optimization for industrial applications requires a huge number of repeated simulations in order to find an optimal design candidate. The main drawback is that each simulation can be computationally expensive – this becomes an even bigger issue when used within parametric studies, automated search or optimization...

Defining a new development life-cycle methodology, together with a set of associated techniques and tools to develop highly critical systems using formal techniques, this book adopts a rigorous safety assessment approach explored via several layers (from requirements analysis to automatic source code generation).This is assessed and evaluated via a standard case study: the cardiac pacemaker. Additionally a formalisation of an Electrocardiogram (ECG) is used to identify anomalies in...

Historians have different views on the core identity of analogue computing. Some portray the technology solely as a precursor to digital computing, whereas others stress that analogue applications existed well after 1940. Even within contemporary sources, there is a spectrum of understanding around what constitutes analogue computing. To understand the relationship between analogue and digital computing, and what this means for users today, the history must consider how the technology is u...

This user’s reference is a companion to the separate book also titled “Guide to Modelling and Simulation of Systems of Systems.” The principal book explicates integrated development environments to support virtual building and testing of systems of systems, covering in some depth the MS4 Modelling Environment™. This user’s reference provides a quick reference and exposition of the various concepts and functional features covered in that book. The topics in the user’s reference are grouped ...

This book constitutes the refereed proceedings of the nine workshops co-located with the 15th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2017, held in Porto, Portugal, in June 2017.The 41 full papers presented were carefully reviewed and selected from 80 submissions. The volume presents the papers that have been accepted for the following workshops: Workshop on Agent based Applications for Air Transport and Application of Agents to P...

After a brief introduction to the main law of physics and fundamental concepts inherent in electromechanical conversion, Vector Control of Induction Machines introduces the standard mathematical models for induction machines – whichever rotor technology is used – as well as several squirrel-cage induction machine vector-control strategies. The use of causal ordering graphs allows systematization of the design stage, as well as standardization of the structure of control devices.

This book presents papers by experts in the field of Industrial Engineering, covering topics in business strategy; modelling and simulation in operations research; logistics and production; service systems; innovation and knowledge; and project management. The focus of operations and production management has evolved from product and manufacturing to the capabilities of firms and collaborative management. Nowadays, Industrial Engineering is concerned with the study of how to design, modify...

This book constitutes the proceedings of the 15th IFIP TC8 International Conference on Computer Information Systems and Industrial Management, CISIM 2016, held in Vilnius, Lithuania, in September 2016.The 63 regular papers presented together with 1 inivted paper and 5 keynotes in this volume were carefully reviewed and selected from about 89 submissions. The main topics covered are rough set methods for big data analytics; images, visualization, classification; optimization, tuning...

This book constitutes the proceedings of the 8th International Conference on Ad Hoc Networks, ADHOCNETS 2016, held in Ottawa, Canada, September 26-17, 2016.The 34 revised full papers presented were carefully reviewed and selected from 46 submissions. The papers provide visions, trends, challenges and opportunities in the area of ad hoc networking and emerging applications. The conference also features two workshops on ad hoc network security and vulnerability, and convergence of wi...