[Lecture Notes in Computer Science] Computer Aided Systems Theory – EUROCAST 2019 Volume 12014 (17th International Conference, Las Palmas de Gran Canaria, Spain, February 17–22, 2019, Revised Selected Papers, Part II) ||

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. -- Provided by publisher Preface Organization Contents – Part II Contents – Part I Applications of Signal Processing Technology Robust Factor Analysis Parameter Estimation 1 Introduction 1.1 Related Works 1.2 Contributions 2 Gaussian FA Problem 3 Problem Statement 4 Problem Solution 4.1 The RFA Algorithm 4.2 An Acceleration Scheme: PX-EM 4.3 Robust Enhancement to Missing Data 5 Numerical Experiments 5.1 Synthetic Data 5.2 Real Data 6 Conclusion References Multiple-Model Estimation Applied to Unequal, Heterogeneous State Space Models 1 Introduction 2 Modelling of Systems Subject to Faults 3 Multiple-Model Estimation Approaches 4 Numerical Results 5 Conclusion References A Gradient Ascent Approach for Multiple Frequency Estimation 1 Introduction 2 Signal Model 3 Gradient Ascent for Frequency Estimation 4 Simulation Results 5 Conclusions References Enhanced Transform-Domain LMS Based Self-interference Cancellation in LTE Carrier Aggregation Transceivers 1 Introduction 2 Modulated Spurs 3 LTE Uplink Signal Generation 4 Algorithm 4.1 TD-LMS 4.2 MB-LMS 4.3 Stability Analysis 5 Simulation Results 6 Conclusion References Kernel Adaptive Filters: A Panacea for Self-interference Cancellation in Mobile Communication Transceivers? 1 Introduction 2 Problem Statement 2.1 Tx-Harmonics 2.2 (2nd Order) Intermodulation Distortion 3 Kernel Adaptive Filtering 4 Simulation Results 5 Discussion and Conclusion References Acoustic Monitoring – A Deep LSTM Approach for a Material Transport Process 1 Introduction 2 Feature Fusion 3 Decision Process 4 Performance Evaluation 5 Conclusion References Requirement-Adapted Enhancementpg of a Faraday Rotation Magnetometer's Output 1 Introduction and Theoretical Background 2 Production Process, Setup Principle, and First Results 3 Characterisation Setup and Signal Enhancement 3.1 Light Source and Camera 3.2 Faraday Crystal 4 Conclusion References Simultaneous Measurement of the Flow Velocities of Liquids and Gases 1 Introduction 2 Measuring Principle 3 Measuring System 3.1 Electronics 3.2 Signal Processing 4 Results 4.1 Results with Zero Flow Velocity 4.2 Results with Non-zero Flow Velocity 4.3 Results of In Situ Measurements 5 Conclusion References Counter-Based vs. Shift-Register-Based Signal Processing in Stochastic Computing 1 Introduction 2 Encoding Formats 2.1 Single-Line Encoding Formats 2.2 Two-Line Encoding Formats 3 Non-scaled Adder 3.1 SRB Non-scaled Adder 3.2 UCB Non-scaled Adder 3.3 Fault Tolerance 4 Simulation Results 5 Conclusions References Artificial Intelligence and Data Mining for Intelligent Transportation Systems and Smart Mobility Analyzing Network-Wide Effects of Cooperative Adaptive Cruise Control Without Traffic Signal Control at Intersections 1 Introduction 2 Literature Review 3 Methodology and Simulation Setup 3.1 Models of Motion and Emission in SUMO 3.2 Test Cases 4 Results 5 Conclusion and Future Research References Convolutional Gated Recurrent Units for Obstacle Segmentation in Bird-Eye-View 1 Introduction 2 Related Work 3 Method 3.1 World Model 3.2 Architecture 3.3 Advantages of Recurrent Units 3.4 Decoupling of Ego-Motion 3.5 Ground-Truth Generation 4 Experiments and Results 4.1 Dataset Preparation 4.2 Training Procedure 4.3 Evaluation 5 Conclusion and Future Work References Lane Detection and Classification Using Cascaded CNNs 1 Introduction 2 Method 2.1 Instance Segmentation 2.2 Classification 3 Results 4 Conclusions References CNNs for Fine-Grained Car Model Classification 1 Introduction 2 Related Work 3 System Description and Results 3.1 Ratio Adaptation 3.2 Data-Augmentation 3.3 Learning Rate Policies 3.4 Fine-Tuning Process 3.5 Other Models 4 Conclusions and Future Works References License Plate Corners Localization Using CNN-Based Regression 1 Introduction 2 System Description 2.1 System Architecture 2.2 Dataset and Training 3 Results 4 Conclusions and Future Works References Analysis on Pedestrian Green Time Period: Preliminary Findings from a Case Study 1 Introduction 2 Literature Review 2.1 Bi-directional Flow 2.2 Delay Models 2.3 Pedestrian Speed 2.4 Signal Optimization 3 Methodology and Case Study 3.1 Signal Controller Design 3.2 Case Study Area 3.3 Simulation Environment 4 Simulation Results 5 Conclusions and Future Research References Intelligent Longitudinal Merging Maneuver at Roundabouts Based on Hybrid Planning Approach 1 Introduction 2 Simulation Environment 3 Implemented Strategy 3.1 Hybrid Approach 4 Results 5 Conclusion References Data Sources for Information Extraction in Automotive Forensics 1 Introduction and Related Work 2 Data Sources for Automotive Forensics 2.1 Front End 2.2 Connected Back End 2.3 Vehicle Electronics 3 Data Processing for Automotive Forensics 3.1 Forensic Data Standardization 3.2 Attribution of Forensic Data 4 Conclusion and Future Work References Autonomous Vehicle Architecture for High Automation 1 Introduction 2 Hardware Architecture 2.1 Sensors 2.2 Processing 2.3 Communication 2.4 Low Level Control 2.5 Power 3 Software Architecture 3.1 ROS Architecture 3.2 Image Obstacle Detection and Classification 3.3 LiDAR Odometry 3.4 Calibration 4 Results 5 Conclusions and Future Work References A Mixed Integer Linear Programming Formulation for Green Vehicle Routing Problem: Case for Shuttle Services 1 Introduction 2 Methodology 2.1 Analyzing Fuel Consumption Change with Respect to Vehicle Speed 2.2 Formulation for Mixed Integer Linear Programming Models 3 Case Study and Results 3.1 Results of Model I 3.2 Results of Model II 4 Conclusions References An Integrated Decision-Making Framework for Shuttle Bus Selection Using DEMATEL and MULTIMOORA Methods 1 Introduction 2 Problem Definition 3 Problem Solution 3.1 Calculation of the Criteria Weights Using DEMATEL Method [10] 3.2 Ranking of the Selected Alternatives Using MULTIMOORA Method 4 Discussion and Conclusion References Floating Car Data: Comparison of Smartphone and On-Board Diagnostics (OBD) 1 Introduction 2 Implementation 2.1 OBD Data Collection 2.2 Smart Phone Data Collection and Analysis 3 Results References Promotion of Sustainable Transport by a Tracking System for Bicycles 1 Introduction 2 Related Work 3 Technical Implementation 3.1 Hardware 3.2 Software 4 Results References What Can Smart Mobility Offer to Tourism Economy? 1 Introduction 2 Smart Cities and Smart Tourism 2.1 Smart Cities and Smart Mobility 2.2 Smart Tourism 2.3 Relations Between Smart Mobility and Smart Tourism 3 Research Areas and Distributions 4 Conclusion References Traffic Predictive Analysis Through Data Stream Mining 1 Introduction 2 Computational Improvements and Big Data 3 Data Stream Mining Applied to Traffic Forecasting 4 Traffic Prediction's State of the Art 5 Conclusion References Smart Recommender for Blue Tourism Routing 1 Introduction 2 System Architecture 3 Recommendation Component 4 Routes Generation Component 4.1 The Route Generation Problem 4.2 Routes Generation Solution Approach 5 Software Developed and Technologies 6 Conclusions References Computer Vision, Machine Learning for Image Analysis and Applications Hand Gesture Recognition Using Computer Vision Applied to Colombian Sign Language 1 Introduction 2 Gestures Recognition 2.1 Pre-processing and Detection 2.2 Feature Description 2.3 Tracking Procedure Description 3 Results and Analysis 3.1 Static Signs 3.2 Dynamic Signs 4 Conclusions 4.1 Future Work References Jupyter Notebooks for Simplifying Transfer Learning 1 Introduction 2 Jupyter Notebooks for FrImCla 3 Case Study 4 Conclusions and Further Work References Impact of the Circular Region of Interest on the Performance of Multimodal Reconstruction of Retinal Images 1 Introduction 2 Methodology 2.1 Self-supervised Multimodal Reconstruction 2.2 Experimental Analysis of the Circular ROI 3 Results and Discussion 4 Conclusions References Google Colaboratory for Quantifying Stomata in Images 1 Introduction 2 Training a Stomata Detection Model 3 A Google Colaboratory Notebook 4 Conclusions and Further Work References Unsupervised Anomaly Map for Image-Based Screening 1 Introduction 2 Methodology 2.1 The Blind-Spot Network Architecture 3 Results and Discussion 4 Conclusions References Automatic Identification of Diabetic Macular Edema Biomarkers Using Optical Coherence Tomography Scans 1 Introduction 2 Methodology 2.1 Retinal Layer Segmentation 2.2 Division in ILM/OPL, OPL/ISOS and ISOS/RPE Regions 2.3 ME Biomarker Identification 2.4 ERM Biomarker Identification 3 Experimental Results 4 Discussion and Conclusions References DeepCompareJ: Comparing Image Classification Models 1 Introduction 2 DeepClas4Bio and DeepCompareJ 3 Case Studies 4 Conclusions 5 Availability and Requirements References Applying SSD to Real World Food Production Environments 1 Introduction 2 Materials and Methods 3 Results 4 Discussion 5 Conclusion and Perspective References Intuitive and Coherent Intraretinal Cystoid Map Representation in Optical Coherence Tomography Images 1 Introduction 2 Methodology 2.1 Retinal Layer Segmentation 2.2 Image Sampling and Subsample Extraction 2.3 Sample Voting and Normalization 2.4 Intuitive Color Mapping 3 Results and Conclusions References Computer and Systems Based Methods and Electronic Technologies in Medicine Autoencoder Features for Differentiation of Leukocytes Based on Digital Holographic Microscopy (DHM) 1 Motivation 2 State of the Art 3 Data Set 4 Autoencoder and Principal Component Analysis 5 Experiments 6 Conclusion References Automatic ECG Screening as a Supporting Tool on a Telemedicine Framework 1 Introduction 2 Telemedicine Framework eDSalud 3 ECG Supporting Tool 3.1 Automatic Screening of ECGs 4 Discussions References Adaptive Robotic Platform as an Inclusive Education Aid for Children with Autism Spectrum Disorder 1 Introduction 2 Related Work 3 Development of Diagnostic Module 4 Development of Robots Module 5 Analysis of Results 6 Conclusions and Future Work References Smart Sensors and Communication Technologies for Triage Procedures 1 Introduction 2 First Response at the Mass Casualty Incidents 2.1 Triage Procedures for Wounded People 2.2 Techniques and Communication in Triage Realization 3 Smart Sensor Technologies for Triage Procedures 3.1 Noninvasive Sensing of Human Vital Parameters 3.2 Position Tracking and Sensing of the Environment Parameters 4 IoT and LAN Communication Solutions 4.1 Bluetooth Low Energy Communication Technology 4.2 Long Range Wide Area Network Communication 4.3 Narrow Band IoT WAN Technology 5 Conclusion References Motion Capture Analysis Supporting Lifting Technique Optimization for Occupational Safety Diagnosis 1 Introduction 2 Spinal Column Mechanical Principles for Lifting 2.1 Reducing Undue Spinal Stress 3 Application of Motion Capture Analysis 3.1 MCA for Lifting Practice Applications 3.2 Gait Capture Techniques 3.3 Current Motion Capture Technologies 4 Proposed MCA Technologies for Lifting Technique Optimization 4.1 Motion Capture Systems Employed 4.2 Background Research Utilized 5 Conclusion References Advances in Biomedical Signal and Image Processing ECG Morphological Changes Due to Age and Heart Rate Variability 1 Introduction 2 Experimental Data 3 Methods 3.1 Linear Models - Autoregressive Model with Exogenous Input (ARX) 3.2 Nonlinear Models - Radial Basis Function Based Autoregressive Model with Exogenous Input (RBF-ARX) 3.3 Model Order Selection and Hyperparameter Optimization 3.4 Quantifying the Effect of HRV and Age on the ECG Waveform 4 Results and Conclusions References Overcomplete Multi-scale Dictionaries for Efficient Representation of ECG Signals 1 Introduction 2 Sparse Representation Problem Formulation 3 Multi-scale Dictionary Derivation 4 Experimental Results 4.1 Dictionary Construction 4.2 Sparse ECG Representation 5 Conclusions References A Linear Parameter Varying ARX Model for Describing Biomedical Signal Couplings 1 Introduction 2 LPV–ARX Model for HRV Estimation 3 Experiments 4 Results 5 Conclusion References ECG Segmentation by Adaptive Rational Transform 1 Introduction 2 Rational Function Systems 3 Methodology 3.1 Preprocessing and Heartbeat Extraction 3.2 Adaptive Rational Transformation 3.3 Fiducial Point Extraction 4 Results and Conclusion References Ensemble Learning for Heartbeat Classification Using Adaptive Orthogonal Transformations 1 Introduction 2 Feature Extraction 2.1 Adaptive Signal Models 2.2 Rational Model 2.3 B-Spline Model 2.4 Hermite-Model 3 Classification 3.1 Classifier 3.2 Classification Scheme 3.3 Ensemble Learning 4 Results 5 Conclusion References Epileptic Seizure Detection Using Piecewise Linear Reduction 1 Introduction 2 Dataset and Channel Selection 2.1 Dataset 2.2 Channel Selection 3 Methodologies Used 3.1 Signal Reduction in Time Domain: Half-Wave Method 3.2 Signal Reduction in Frequency Domain: Franklin Transform 3.3 Feature Extraction 3.4 Classification References Improved Classification of Myoelectric Signals by Using Normalized Signal Trains 1 Introduction 2 Method 3 Results 4 Conclusions References Hyperbolic Transformations of Zernike Functions and Coefficients 1 Introduction 2 Problem Description 3 Rational Zernike Functions and Coefficients 3.1 The Basic Zernike Functions and Their Discretization 3.2 Hyperbolic Translations of Zernike Functions 3.3 Discretization and Coefficient Transformation 4 Concluding Remarks References Neural Personal Profile Identification Based on Environmental Performance Analysis of Intelligent Building 1 The Need for Analysis of Environmental Measures in the Intelligent Building 2 Measurement Methods and Data Analysis 3 Measurement Environment and the Course of the Experiment 4 Analysis of Research Results 5 Summary and Conclusion References Systems Concepts and Methods in Touristic Flows Re-aligning Business Ecosystem Data Sharing to Support City Hotel Operations Planning 1 Introduction 2 Hospitality Data Services Ecosystem 2.1 Identifying the Players 2.2 Data Storing Strategies 3 Summary References A Survey to Create Attractive Contents for Tourism -To Comprehend Other Cultures- 1 Introduction 2 Related Works 2.1 Application Using BLE Beacon 2.2 Psychology of Tourism 3 Consideration About Tourism at the Viewpoints of Psychology to Create Our Smartphone Application 3.1 Psychology of Tourists 3.2 Looking at the Display of Smartphone Application 4 Our Application 4.1 Aim and Methods 4.2 Our Beacon System and Screenshots of Our Application 4.3 Contents and Interface in Consideration of Cognitive Science 4.4 Experiments 5 Conclusion References Experiments of LoRa to Develop Services for Tourists 1 Introduction 2 Outline of LPWA 3 Outline of LoRa 4 Model 4.1 Outlook Distance 4.2 Okumura-Hata-Model 5 Experiments 5.1 Device Parameters 5.2 Experiment in Oku-Nikko 5.3 Experiment in Utsunomiya 6 Discussion 7 Conclusion and Further Study References Evaluation of Sightseeing Support Application Using BLE Beacon in Oku-Nikko 1 Introduction 2 Design of Application for Oku-Nikko 3 Solar Beacon 4 Trial in Oku-Nikko 5 Problems of the Trial 5.1 Water Leaking 5.2 Out of Battery 5.3 Other Issues 6 Conclusion References CAST Dynamic Modeling of Competitive Tourism Destinations: Gran Canaria and Its Nordic Markets 1 Background 2 Touristic Model for a Single Destination Without Competition 3 A Case Study of the Gran Canaria Touristic Destiny in the Nordic Markets 4 Conclusions References Towards a Simulation Model of Competition Between Touristic Destinations Using Dynamic Systems Tools 1 Models of Tourism Flows: From Stochastic to Analytical 2 Fundamentals of the Dynamic Competition Model 3 Competition Without Predation Between Markets 4 The Full Competition Model 5 Conclusions References Systems in Industrial Robotics, Automation and IoT IEC 61499 Runtime Environments: A State of the Art Comparison 1 Introduction 2 Background 2.1 Execution Models 3 Methods 3.1 Archimedes 3.2 FBBeam 3.3 FBDK FBRT 3.4 4diac FORTE 3.5 Fuber 3.6 ICARU_FB 3.7 ISaGRAF 3.8 nxtControl nxtIECRT 3.9 RTFM-RT 4 Discussion 5 Conclusion References Skill-Based Motion Control with OPC UA and Deterministic Ethernet 1 Introduction 2 Background 3 Concept and Implementation 3.1 Concept 3.2 Implementation 4 Experiments 5 Conclusion and Future Work 5.1 Conclusion 5.2 Perspective References Enhancing Industrial Maintenance Through Intelligent Data Analysis 1 Introduction and Motivation 2 Related Work 3 Visualization of Alarm Data 3.1 System Architecture 3.2 Visualization 3.3 Trends 3.4 Technologies 4 Demonstration 5 Conclusion and Future Work References Simulator for Planning Collision-Free Trajectories in Manipulation of Objects Applications 1 Introduction 2 Trajectory Planning Simulator 2.1 Virtual Environment 2.2 3D Object Recognition 2.3 Collision Detector Algorithm 2.4 Lazy PRM Path Planning Algorithm 3 Results 4 Conclusions References Real-Time IoT-Based Production Planning and Control of Industrial Robots in an Automated Cyber-Physical Production System Under Dynamic Conditions: Lessons Learned from a Make-to-Order Usage Case 1 Introduction 2 Design and Implementation of a Highly Automated CPPS in a Real-Time Make-to-Order Usage Case 2.1 Initial Situation and Requirements 2.2 Sectoring Robot CPS Design and Implementation Usage Case 3 Lessons Learned 3.1 Implications for Robotics 3.2 Implications for the Internet of Things 3.3 Implications for Production Planning and Control 4 A Holistic Approach to IoT-PPC CPS/CPPS Design 5 Summary and Outlook References A Smart and Flexible Study Course for Industry 4.0 – Systems Engineering 1 Content of the Course 2 Study Model 3 Study Content and Didactic Methods 4 Study Centers and Used Technologies 5 Cooperation with Companies 6 Summary References Simulation-Based Design and Evaluation of a Smart Energy Manager 1 Introduction 2 Simulation Model 2.1 Simulation-Controller Interface 3 Controller Approaches 3.1 Basic EM: PMax 3.2 Surplus Charging 3.3 Emergency Charging: Last2H 3.4 New Controller 4 Objective Functions 4.1 Customer Satisfaction Indicator 5 Results 6 Summary and Conclusion References Authentication of Internet Connected White Goods Using Gestures or Key Sequences 1 Introduction 2 Advantages Using Connected Devices and Information Sharing 3 Problem Statement and Legal Baseline 4 Proposed Solution 5 Conclusion References Author Index