Computer Aided Systems Theory – EUROCAST 2015: 15th International Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015, Revised Selected Papers (Lecture Notes in Computer Science, 9520)

This volume constitutes the papers presented at the 15th International Conference on Computer Aided Systems Theory, EUROCAST 2015, held in February 2015 in Las Palmas de Gran Canaria, Spain. The total of 107 papers presented were carefully reviewed and selected for inclusion in the book. The contributions are organized in topical sections on Systems Theory and Applications; Modelling Biological Systems; Intelligent Information Processing; Theory and Applications of Metaheuristic Algorithms; Computer Methods, Virtual Reality and Image Processing for Clinical and Academic Medicine; Signals and Systems in Electronics; Model-Based System Design, Verification, and Simulation; Digital Signal Processing Methods and Applications; Modelling and Control of Robots; Mobile Platforms, Autonomous and Computing Traffic Systems; Cloud and Other Computing Systems; and Marine Sensors and Manipulators. Front Matter....Pages I-XVIII Front Matter....Pages 1-1 Which State Feedback Control Laws will not Alter the System’s Transfer Function?....Pages 3-9 A Simple Linearisation of the Self-shrinking Generator....Pages 10-17 Systems Theory and Model of Diversification in Building of Information Systems....Pages 18-24 Time Sub-Optimal Control of Triple Integrator Applied to Real Three-Tank Hydraulic System....Pages 25-32 Use of the Automatic Identification System in Academic Research....Pages 33-40 Application of Multi-valued Decision Diagrams in Computing the Direct Partial Logic Derivatives....Pages 41-48 Identification of First Order Plants by Relay Feedback with Non-symmetrical Oscillations....Pages 49-56 Managing Certificate Revocation in VANETs Using Hash Trees and Query Frequencies....Pages 57-63 Constrained Pole Assignment Control for a 2nd Order Oscillatory System....Pages 64-71 Parallel and Distributed Metaheuristics....Pages 72-79 Dynamic Similarity and Distance Measures Based on Quantiles....Pages 80-87 Eulerian Numbers Weigths in Distributed Computing Nets....Pages 88-94 Autonomous Paracopter Control Design....Pages 95-102 A Class of 3-D Distributed Modular Computing Nets....Pages 103-109 Standardized Mapping Model for Heritage Preservation and Serendipity in Cloud....Pages 110-117 Structuring the Model of Complex System Using Parallel Computing Techniques....Pages 118-125 The Evolution of Models: Uncovering the Path of Model Improvement....Pages 126-132 Front Matter....Pages 133-133 Some Remarks on First-Passage Times for Integrated Gauss-Markov Processes....Pages 135-142 A Sequential Test for Evaluating Air Quality....Pages 143-149 Population Models and Enveloping....Pages 150-157 Front Matter....Pages 133-133 Fractional Growth Process with Two Kinds of Jumps....Pages 158-165 Towards Stochastic Modeling of Neuronal Interspike Intervals Including a Time-Varying Input Signal....Pages 166-173 A Cancer Dynamics Model for an Intermittent Treatment Involving Reduction of Tumor Size and Rise of Growth Rate....Pages 174-182 On Time Non-homogeneous Feller-Type Diffusion Process in Neuronal Modeling....Pages 183-191 Front Matter....Pages 193-193 A Practical Experience on Reusing Problem-Solving Methods for Assessment Tasks....Pages 195-202 Requirements for Long-Term Preservation of Digital Videos and First Experiments with an XMT-Based Approach....Pages 203-210 Adaptive Flood Forecasting for Small Catchment Areas....Pages 211-218 A Scalable Monitoring Solution for Large-Scale Distributed Systems....Pages 219-227 Using Smart Grid Data to Predict Next-Day Energy Consumption and Photovoltaic Production....Pages 228-235 Sitting Property-Based Testing at the Desktop....Pages 236-243 Adaptation Engine for Large-Scale Distributed Systems....Pages 244-251 Front Matter....Pages 252-252 A Multi-stage Approach Aimed at Optimizing the Transshipment of Containers in a Maritime Container Terminal....Pages 255-262 A Greedy Randomized Adaptive Search Procedure for Solving the Uncapacitated Plant Cycle Problem....Pages 263-270 On the Comparison of Decoding Strategies for a Memetic Algorithm for the Multi Layer Hierarchical Ring Network Design Problem....Pages 271-278 Metaheuristics and Cloud Computing: A Case Study on the Probabilistic Traveling Salesman Problem with Deadlines....Pages 279-285 Optimizing Set-Up Times Using the HeuristicLab Optimization Environment....Pages 286-293 The Bike Request Scheduling Problem....Pages 294-301 Classification of the States of Human Adaptive Immune Systems by Analyzing Immunoglobulin and T Cell Receptors Using ImmunExplorer....Pages 302-309 Classifying Human Blood Samples Using Characteristics of Single Molecules and Cell Structures on Microscopy Images....Pages 310-317 Prediction of Stem Cell Differentiation in Human Amniotic Membrane Images Using Machine Learning....Pages 318-325 Front Matter....Pages 252-252 Dynamics of Predictability and Variable Influences Identified in Financial Data Using Sliding Window Machine Learning....Pages 326-333 Modeling a Lot-Aware Slab Stack Shuffling Problem....Pages 334-341 Heuristic Approaches for the Probabilistic Traveling Salesman Problem....Pages 342-349 Increasing the Sensitivity of Cancer Predictors Using Confidence Based Ensemble Modeling....Pages 350-358 Optimization Strategies for Integrated Knapsack and Traveling Salesman Problems....Pages 359-366 On the Effectiveness of Genetic Operations in Symbolic Regression....Pages 367-374 Smooth Symbolic Regression: Transformation of Symbolic Regression into a Real-Valued Optimization Problem....Pages 375-383 A Scalable Approach for the K-Staged Two-Dimensional Cutting Stock Problem with Variable Sheet Size....Pages 384-392 Diversity-Based Offspring Selection Criteria for Genetic Algorithms....Pages 393-400 CPU Versus GPU Parallelization of an Ant Colony Optimization for the Longest Common Subsequence Problem....Pages 401-408 Complexity Measures for Multi-objective Symbolic Regression....Pages 409-416 Using Contextual Information in Sequential Search for Grammatical Optimization Problems....Pages 417-424 A New Type of Metamodel for Longitudinal Dynamics Optimization of Hybrid Electric Vehicles....Pages 425-432 Automatic Adaption of Operator Probabilities in Genetic Algorithms with Offspring Selection....Pages 433-438 A Cluster-First Route-Second Approach for Balancing Bicycle Sharing Systems....Pages 439-446 Front Matter....Pages 447-447 MATLAB/Simulink-Supported EMG Classification on the Raspberry Pi....Pages 449-456 Applicability of Patient-Specific Simulation....Pages 457-462 Application of Image Processing and Virtual Reality Technologies in Simulation of Laparoscopic Procedures....Pages 463-470 Differential Evolution Multi-objective Optimisation for Chemotherapy Treatment Planning....Pages 471-478 Automatic Selection of Video Frames for Hyperemia Grading....Pages 479-486 Front Matter....Pages 447-447 A Texture-Based Method for Choroid Segmentation in Retinal EDI-OCT Images....Pages 487-493 Analysis of Global and Local Intensity Distributions for the Segmentation of Computed Tomography Images....Pages 494-501 Complexity Analysis of HEVC Decoding for Multi-core Platforms....Pages 502-509 Front Matter....Pages 511-511 On the Sensitivity Degradation Caused by Short-Range Leakage in FMCW Radar Systems....Pages 513-520 Parameter Optimization for Step-Adaptive Approximate Least Squares....Pages 521-528 Extrinsic LLR Computation by the SISO LMMSE Detector: Four Different Approaches....Pages 529-536 CWCU LMMSE Estimation Under Linear Model Assumptions....Pages 537-545 Model Based Design of Inductive Components - A Comparision Between Measurement and Simulation....Pages 546-551 Front Matter....Pages 553-553 Dynamic Validation of Contracts in Concurrent Code....Pages 555-564 Formal Modeling of a Client-Middleware Interaction System Regarding Content and Layout Adaptation....Pages 565-572 Modeling Accuracy of Indoor Localization Systems....Pages 573-580 Request Driven Generation of RFLP Elements at Product Definition....Pages 581-588 Modeling of a High Voltage Ignition Coil with Nonlinear Magnetic Behavior....Pages 589-596 Simple Models of Central Heating System with Heat Exchangers in the Quasi-static Conditions....Pages 597-604 Microprocessor Hazard Analysis Via Formal Verification of Parameterized Systems....Pages 605-614 Front Matter....Pages 615-615 Evaluation and Optimization of GPU Based Unate Covering Algorithms....Pages 617-624 On the Complexity of Rules for the Classification of Patterns....Pages 625-631 Remarks on Characterization of Bent Functions in Terms of Gibbs Dyadic Derivatives....Pages 632-639 The Extended 1-D (One-Dimensional) Discrete Phase Retrieval Problem....Pages 640-647 Statistically Characterizing Void Density by Ultrasonic Speckles....Pages 648-654 Front Matter....Pages 615-615 The Quantization Effect on Audio Signals for Wildlife Intruder Detection Systems....Pages 655-662 Combining Relational and NoSQL Database Systems for Processing Sensor Data in Disaster Management....Pages 663-670 Front Matter....Pages 671-671 An Almost Time Optimal Route Planning Method for Complex Manufacturing Topologies....Pages 673-680 Serre-Frenet Frame in n-dimensions at Regular and Minimally Singular Points....Pages 681-688 An Efficient Method for the Dynamical Modeling of Serial Elastic Link/Joint Robots....Pages 689-697 On Impact Behavior of Force Controlled Robots in Environments with Varying Contact Stiffness....Pages 698-705 A Robotic Platform Prototype for Telepresence Sessions....Pages 706-713 Ocean Glider Path Planning Based on Automatic Structure Detection and Tracking....Pages 714-719 Front Matter....Pages 721-721 Mobile AgeCI: Potential Challenges in the Development and Evaluation of Mobile Applications for Elderly People....Pages 723-730 Cross Pocket Gait Authentication Using Mobile Phone Based Accelerometer Sensor....Pages 731-738 SIFT and SURF Performance Evaluation and the Effect of FREAK Descriptor in the Context of Visual Odometry for Unmanned Aerial Vehicles....Pages 739-747 Stereo Road Detection Based on Ground Plane....Pages 748-755 Clustering Traffic Flow Patterns by Fuzzy C-Means Method: Some Preliminary Findings....Pages 756-764 Platoon Driving Intelligence. A Survey....Pages 765-772 How to Simulate Traffic with SUMO....Pages 773-778 Front Matter....Pages 779-779 Using Data Mining to Improve the Public Transport in Gran Canaria Island....Pages 781-788 A New Large Neighborhood Search Based Matheuristic Framework for Rich Vehicle Routing Problems....Pages 789-796 A Cloud Architecture Approximation to Collaborative Environments for Image Analysis Applications....Pages 797-804 Deployment Models and Optimization Procedures in Cloud Computing....Pages 805-812 A Model for Intelligent Treatment of Floodwaters....Pages 813-821 Front Matter....Pages 779-779 Hybrid Method for Forecasting Next Values of Time Series for Intelligent Building Control....Pages 822-829 Front Matter....Pages 831-831 Low-Cost Plug-and-Play Optical Sensing Technology for USVs’ Collision Avoidance....Pages 833-840 Experimental Evaluation of Sealing Materials in 6-Axis Force/Torque Sensors for Underwater Applications....Pages 841-852 Underwater Glider Path Planning and Population Size Reduction in Differential Evolution....Pages 853-860 On Underwater Vehicle Routing Problem....Pages 861-868 Belief Space Planning for an Underwater Floating Manipulator....Pages 869-876 Intervention Payload for Valve Turning with an AUV....Pages 877-884 Back Matter....Pages 885-887