Computer Aided Systems Theory – EUROCAST 2019: 17th International Conference, Las Palmas de Gran Canaria, Spain, February 17–22, 2019, Revised ... Computer Science and General Issues)

The two-volume set LNCS 12013 and 12014 constitutes the thoroughly refereed proceedings of the 17th International Conference on Computer Aided Systems Theory, EUROCAST 2019, held in Las Palmas de Gran Canaria, Spain, in February 2019. The 123 full papers presented were carefully reviewed and selected from 172 submissions. The papers are organized in the following topical sections: Part I: systems theory and applications; pioneers and landmarks in the development of information and communication technologies; stochastic models and applications to natural, social and technical systems; theory and applications of metaheuristic algorithms; model-based system design, verification and simulation. Part II: applications of signal processing technology; artificial intelligence and data mining for intelligent transportation systems and smart mobility; computer vision, machine learning for image analysis and applications; computer and systems based methods and electronic technologies in medicine; advances in biomedical signal and image processing; systems concepts and methods in touristic flows; systems in industrial robotics, automation and IoT. Preface Organization Plenary Lectures Tales of Computer and Systems Theory Promises and Challenges of Automated Vehicles Automated Mathematical Invention: Would Gröbner Need a PhD Student Today? Contents – Part I Contents – Part II Systems Theory and Applications Design and Implementation of an Autopilot for an UAV 1 Preface 2 Optimizing of the Airframe 3 Electronic System of the UAV 3.1 Sensors 4 Model of the Autopilot 5 Flight Test 6 Summary and Outlook References ROS-Based Architecture for Multiple Unmanned Vehicles (UXVs) Formation 1 Introduction 2 Formation Manager 2.1 Leader Selection 2.2 Formation Status 2.3 Formation Assignment 3 Robot Manager 4 Experimental Work 4.1 Setup and Scenarios 4.2 Evaluation Metrics (EM) 5 Results and Discussion 6 Conclusion and Future Work References Knowledge Discovery: From Uncertainty to Ambiguity and Back 1 Introduction to Data Modeling 2 Knowledge Discovery and Big Data 3 Uncertainty vs. Ambiguity 4 Uncertainty, Ambiguity and Decision Making 5 Comparative Study of Model Ambiguity 5.1 The Data 5.2 The Models 5.3 The Results 6 Conclusions and Future Work References From Linear Systems to Fuzzy Systems to Perception-Based Systems 1 Introduction 2 Zadeh’s System Theory in the 1960s 3 From Fuzzy Logic to Computing with Words 4 An Outlook: Perception-Based System Modelling References A Latent Variable Model in Conflict Research 1 Traditional Approaches on Available Quantitative Data 2 Extension of the Data Base to Measure Additional Information 2.1 Example for the Meaningful Recording of Structure, Learned from Data 2.2 Solution Spaces in Consideration of Qualitative Information 2.3 Bayes Network Combined with Expert-Specified Nodes that Cannot Be Found in Data 3 Hybrid Approach 4 Data Sources 5 Implementation References Model Based Design of Inductive Components - Thermal Simulation and Parameter Determination 1 Introduction 2 Modeling Process 2.1 Thermal Network Model 2.2 Calculation of Thermal Resistance and Thermal Conductivity 3 Measurement of Winding Parameters 3.1 Measurement Setup 3.2 Consideration of Heat Losses 3.3 FEM Simulation 4 Conclusion and Future Prospects References Predictive Model of Births and Deaths with ARIMA 1 Introduction 2 Method 3 Results 4 Conclusions and Future Work References Automated Load Classification in Smart Micro-grid Systems 1 Introduction 2 Problem Statement 2.1 Origin of the Problem 2.2 Consumer Integration and Home Automation 3 Load Classification Algorithm 4 Conclusion References An Overview About the Physical Layer of the VHF Data Exchange System (VDES) 1 A New Age for Maritime Communications 1.1 Description of the AIS 1.2 AIS Security and Channel Saturation 2 VHF Data Exchange System (VDES) 2.1 Description of the VDES 2.2 Physical Layer in VDES 2.3 Challenges and Applications Using the VDES 3 Conclusions References A Job-Seeking Advisor Bot Based in Data Mining 1 Introduction 2 Profile Information 2.1 Input 2.2 Pre-processing of Input 3 Selection and Learning Processes 3.1 The Job Offer 3.2 Selection Process 3.3 Learning Phase 4 Recommendations and Suggestions 4.1 The Recommendation Request 5 Conclusions References Bluetooth Low Energy Technology Applied to Indoor Positioning Systems: An Overview 1 Introduction 1.1 IPS Technologies 1.2 Bluetooth Low Energy 1.3 Position Calculation Techniques 2 Proximity 3 Triangulation and Centroids 4 Received Signal Strength Indicator (RSSI) 5 Fingerprinting References Pioneers and Landmarks in the Development of Information and Communication Technologies The Origin, Evolution and Applications of Visual Bio-cybernetics Concepts Included in the Original MIT-NASA Reports for Designing a Mars Rover (1965–1985) 1 The Environment 2 The Instrumentation Laboratory MIT Report R-548 3 The Instrumentation Laboratory MIT Report R-548 4 Subsequent Influence 5 Conclusions References Lotfi Zadeh: Fuzzy Sets and Systems 1 Introduction 2 Thinking Machines 3 Information Theory 4 Fuzzy Sets References Mathematical Reconstruction of the Enigma 1 The Enigma Machine and Its Operation Procedure 2 The Enigma Equation and the Reconstruction of the Internal Wirings of the Three Rotors and the Reflector Drum Reference Heinz von Foerster and Early Research in the Field of Pattern Recognition at the Biological Computer Laboratory 1 Introduction: Numa-rete Would Count No More 2 A Very Brief History of the Biological Computer Laboratory 2.1 Growth Phase of the BCL 2.2 Decline of the BCL 2.3 Departure from the Mainstream of Research 3 Pattern Recognition Research at the BCL 3.1 The Adaptive Reorganizing Automaton 3.2 The Numa-rete 3.3 The Dynamic Signal Analyzer 4 Conclusion: Lively Artifacts References Remarks on the Design of First Digital Computers in Japan - Contributions of Yasuo Komamiya 1 Introduction 2 Professional Biography of Yasuo Komamiya 3 Theory of Computing Networks 4 First Relay Computers in Japan 5 Summary of the Work on First Computers in Japan References From the Discovery of Electro-Magnetism and Electro-Magnetic Induction to the Maxwell Equations 1 Introduction 2 Electro-Magnetism and Electro-Dynamics 3 Electro-Magnetic Induction 4 Modeling Electrical Phenomena by ``Lines of Force'' 5 On Maxwell's Equation System 6 Deriving Maxwell Equations from the Fundamental Laws of Faraday and Ampère 7 Concluding Remarks References Stochastic Models and Applications to Natural, Social and Technical Systems Bounds on the Rate of Convergence for Nonstationary MX/Mn/1 Queue with Catastrophes and State-Dependent Control at Idle Time 1 Introduction 2 Basic Notions 3 Nonstationary MX/Mn/1 Queue Without Catastrophes with the Special Resurrection Intensities 4 General Nonstationary MX/Mn/1 Queue with Mass Arrivals and Catastrophes References Some Remarks on the Prendiville Model in the Presence of Jumps 1 Introduction 2 The Prendiville Process with Jumps 2.1 The Prendiville Process 3 Closed Form Results References Continuous-Time Birth-Death Chains Generate by the Composition Method 1 Introduction and Background 1.1 Composition Method 1.2 Birth-Death Chain N"0365N(t) 2 Restricted Birth-Death Process 3 Symmetric BD Chain with Respect to Zero State References Unimodularity of Network Representations of Time-Series for Unbiased Parameter Estimation 1 Introduction 1.1 Problem Description: Parameter Estimation of Production Data 1.2 Directed Graphical Models (DGM) for Production Lines 1.3 Unimodularity 1.4 Statement of the Result 2 Unimodular Graphical Models 2.1 Proof of the Theorem 2.2 How to Unimodularize a Production Line 3 Applications 3.1 Controlled Processes 3.2 Outlook and Acknowledgments References Volatility Modelling for Air Pollution Time Series 1 Introduction 2 The Model 3 Application to PM10 Time Series from Torino Area References HAR-type Models for Volatility Forecasting: An Empirical Investigation 1 Introduction 2 Methodology 3 Application to Real Data 4 Concluding Remarks References On the Successive Passage Times of Certain One-Dimensional Diffusions 1 Introduction 2 Preliminary Results on the nth-Passage Time of BM 3 The nth-Passage Time of a Diffusion Conjugated to BM 4 The nth-Passage Time of Time-Changed BM 5 Some Examples References Diffusion Processes for Weibull-Based Models 1 Introduction 2 Generalized Weibull Model 2.1 Hyperbolastic Model of Type III 3 Stochastic Model 3.1 Inference with Unknown g 4 Conclusions References On the Integration of Fractional Neuronal Dynamics Driven by Correlated Processes 1 Introduction 2 A First Model 2.1 The (t) Process 2.2 The V(t) Process 2.3 Some Simulations Results 3 A Fractional LIF-type Model with a Correlated Input References Simulation of an -Stable Time-Changed SIR Model 1 Introduction 2 The Stochastic SIR Model 2.1 Asymptotic Behaviour 2.2 The Jump Chain and the Inter-jump Times 2.3 Simulation of the Model 3 The -Stable Time-Changed SIR Model 3.1 The Inter-jump Times 3.2 Simulation of a Mittag-Leffler Random Variable 3.3 Simulation of the -Stable Time-Changed SIR Model 4 Simulation Results 5 Conclusions References Some Results on a Growth Model Governed by a Fractional Differential Equation*-6pt 1 Introduction 2 Background on Some Growth Models 3 Fractional Extension of a Growth Model References Theory and Applications of Metaheuristic Algorithms Surrogate-Assisted Multi-Objective Parameter Optimization for Production Planning Systems 1 Introduction 2 Simulated Flow Shop 3 Efficient Global Optimization 4 Optimization Networks 4.1 Single-Objective, Synchronous Optimization Network 4.2 Multi-Objective, Asynchronous Optimization Network 5 Experiments and Results 6 Conclusion and Outlook References Surrogate-Assisted Fitness Landscape Analysis for Computationally Expensive Optimization References VNS and PBIG as Optimization Cores in a Cooperative Optimization Approach for Distributing Service Points 1 Introduction 2 The Service Point Distribution Problem 3 Related Work 4 coa 4.1 VNS and PBIG as Core Optimization of COA 5 Experimental Evaluation 5.1 Computational Results 6 Conclusion and Future Work References Concept for a Technical Infrastructure for Management of Predictive Models in Industrial Applications 1 Motivation 1.1 Model Management in the Machine Learning Workflow 1.2 Managing the Model Lifecycle - Industrial Applications 2 Related Work 3 Design and Architecture 3.1 Data Management 3.2 Model Management 3.3 Model Deployment 3.4 Data Feedback 4 Summary References Guiding Autonomous Vehicles Past Obstacles – Theory and Practice 1 Introduction 2 Collision-Free Route Planning in Theory 2.1 Heuristic Approach 2.2 Exact Approach 3 Collision-Free Route Planning in Practice 4 Experimental Results 5 Conclusions and Future Work References Casual Employee Scheduling with Constraint Programming and Metaheuristics 1 Introduction 2 Problem Formulation 3 Exact Solution Approach 4 Hybrid Approach 5 Computational Study 6 Conclusion References White Box vs. Black Box Modeling: On the Performance of Deep Learning, Random Forests, and Symbolic Regression in Solving Regression Problems 1 Introduction: Machine Learning 2 Black-Box vs. White Box Modeling Methods 2.1 Black-Box Modeling 2.2 White-Box Modeling 3 Test Studies 3.1 Solving Regression Problems of the PMLB Benchmark Data Set Suite 3.2 Identification of Classifiers for Medical Data 3.3 Prediction of Peptide Fragment Intensities in Tandem Mass Spectrometry 4 Discussion and Conclusion References Concept Drift Detection with Variable Interaction Networks 1 Motivation 2 Variable Interaction Networks for Drift Detection 2.1 Network Modeling 2.2 Network Evaluation 3 Test Problem: Clogging Communicating Vessels 4 Experiments and Results 5 Conclusion and Outlook References Visualization of Solution Spaces for the Needs of Metaheuristics 1 Introduction 2 Distance Measures 3 Distance Between Combinatorial Objects 4 Mappings 5 Conclusion References Preprocessing and Modeling of Radial Fan Data for Health State Prediction 1 Introduction 2 Setup 3 Methodology 4 Results 5 Conclusion References On Modeling the Dynamic Thermal Behavior of Electrical Machines Using Genetic Programming and Artificial Neural Networks 1 Introduction and Motivation 2 Research Focus and Approach 3 Experimental Setup 4 Results - Comparative Performance 5 Conclusions and Future Work References Solving a Flexible Resource-Constrained Project Scheduling Problem Under Consideration of Activity Priorities 1 Introduction 2 Literature Review 3 Priority Maximization for a Flexible RCPSP 3.1 Definitions and Notations 3.2 Introduction of Priority Maximization 4 Computational Results 5 Conclusion and Outlook References A Simulated Annealing-Based Approach for Aid Distribution in Post-disaster Scenarios 1 Introduction 2 Emergency k-Localization Routing Problem 3 Metaheuristic Approach 3.1 Constructive Heuristic 3.2 Simulated Annealing 4 Computational Experiments 4.1 SA Computational Results 5 Conclusions References Decision Diagram Based Limited Discrepancy Search for a Job Sequencing Problem 1 Introduction 2 PC-JSOCMSR with Precedence Constraints 3 Exact/Relaxed Decision Diagrams and Filtering 4 Limited Discrepancy Search 5 Computational Study 6 Conclusion References The Potential of Restarts for ProbSAT 1 Introduction 2 The Potential of Restarts in ProbSAT 3 From Theory to Practice 4 Conclusion and Outlook References Hash-Based Tree Similarity and Simplification in Genetic Programming for Symbolic Regression 1 Introduction 2 Methodology 3 Empirical Results 4 Summary References Identification of Dynamical Systems Using Symbolic Regression 1 Background and Motivation 1.1 Related Work 2 Methods 2.1 Algorithm Description 2.2 Computational Experiments 3 Results 4 Discussion References Data Aggregation for Reducing Training Data in Symbolic Regression 1 Introduction 2 Aggregation Methods 3 Experimental Setup 4 Results 5 Conclusion References Genetic Programming Based Evolvement of Models of Models 1 Introduction 2 Genetic Programming Based Evolvement of Models of Models 2.1 Model Sets Description 2.2 Mutation Operators 2.3 Island Map 3 Empirical Results 4 Conclusion References ``Incremental'' Evaluation for Genetic Crossover 1 Introduction 2 State of the Art 3 Materials and Methods 4 Experimental Setup and Results 5 Conclusion References A Model-Based Learning Approach for Controlling the Energy Flows of a Residential Household Using Genetic Programming to Perform Symbolic Regression 1 Introduction 2 Model-Based Optimization Approach 3 Simulation Model 4 Data Basis 5 Evaluation 6 Results 7 Conclusions and Future Work References Understanding and Preparing Data of Industrial Processes for Machine Learning Applications 1 Introduction 2 Methods 2.1 Data Subset Strategies 2.2 Ensemble Modeling 2.3 Ensemble Prediction 3 Application 4 Conclusion References Genetic Algorithm Applied to Real-Time Short-Term Wave Prediction for Wave Generator System in the Canary Islands 1 Introduction 2 Available Data 3 Prediction Model 3.1 Genetic Algorithm 3.2 Yule-Walker Equations (YW) 4 Results 5 Conclusions References A Heuristic Approach for Solving the Longest Common Square Subsequence Problem 1 Introduction 2 Solution Approaches for the LCS Problem 2.1 Estimating the Length of the LCS Problem 3 Algorithms for Solving the LCSqS Problem 3.1 Randomized Local Search Approach 3.2 RVNS and BS Approach 4 Computational Experiments 5 Conclusions and Future Work References Investigating the Dynamic Block Relocation Problem 1 Introduction 2 Dynamic Block Relocation Problem 2.1 Arrival of a New Item 2.2 Swapping Delivery Priorities 3 Experiments 4 Conclusion and Outlook References Multi-objective Evolutionary Approaches for Solving the Hybrid Flowshop Scheduling Problem 1 Introduction 2 Literature Review 3 Problem Formulation 4 Approaches Proposed 5 Computational Experiments 6 Conclusions References Model-Based System Design, Verification and Simulation Models of the Heat Exchanger Assuming the Ideal Mixing 1 Introduction 2 The Static M and L Models 3 The M Model as an Approximation of the L Model 4 The Dynamic Models M and L 5 Conclusions References Algorithm to Express Lie Monomials in Ph. Hall Basis and Its Practical Applications 1 Introduction 2 Terminology 3 Ph. Hall Expansion of log(exp X exp Y) 4 Conclusions References Simulation Infrastructure for Automated Anesthesia During Operations 1 Introduction 2 Principle of Controlled Hypotension 3 Simulation Infrastructure 4 Patient Model 5 Deployment of the System 6 Test Scenarios and Experiments 7 Conclusions and Future Work References Approximating Complex Arithmetic Circuits with Guaranteed Worst-Case Relative Error 1 Introduction 2 Search-Based Circuit Approximation 3 SAT-based WCRE Evaluation 3.1 A Generic WCRE Miter 3.2 Variants of the WCRE Miter 4 Experimental Evaluation 4.1 Comparison of the WCRE Miters 4.2 Circuit Approximation References Solving String Constraints with Approximate Parikh Image 1 Introduction 2 Preliminaries 3 String Language 4 Parikh Image 4.1 Operations on Parikh Images 5 Decision Procedure 6 Experiments References Verification of Architectural Views Model 1+5 Applicability 1 Introduction 2 Architectural Views Model 1+5 3 UML Extensions for Architecture Modeling 3.1 UML Profiles 3.2 Integration Flow Diagram 4 Automation of Integration Platform Design 4.1 Transformations of Model-to-model Type 4.2 Transformations of Model-to-code Type 5 Case Studies 5.1 Circulation of Electronic Prescription 5.2 ARMA and AFQI Communication 6 Integration Platform Development Process 7 Conclusions and Further Work References Modeling of Smart Contracts in Blockchain Solution for Renewable Energy Grid 1 Introduction 2 Electricity Consumption and Supply Management System 3 Smart Contracts in Architectural Views Model 1+5 3.1 Use Cases View 3.2 Contracts View 3.3 Logical View 4 UML Profile for Smart Contracts 5 Smart Contract Implementation in Java 6 Conclusions and Further Work References Author Index