Computer Aided Systems Theory - EUROCAST 2009: 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers

Front Matter....Pages -
Kolmogorov Stream Ciphers....Pages 1-8
Morphotronic System (Theory)....Pages 9-16
Knowledge Discovery in Databases Using Multivalued Array Algebra....Pages 17-24
Local Space-Time Systems Simulation of Linear and Non-linear Retinal Processes....Pages 25-32
Analytical Representation of Intrinsic Directionality in Retinal Cells....Pages 33-40
Linear Complexity Measures for Multi-valued Cryptographic Data Streams by Application of the Rissanen Partial Realization Method....Pages 41-46
A Software Implementation of the Rissanen Method for Partial Linear Systems Realization....Pages 47-52
New Frontiers in the Validation of Simulation Models–Structural Dominance Analysis....Pages 53-62
Optimizing the Hardware Usage of Parallel FSMs....Pages 63-68
SynPSL: Behavioral Synthesis of PSL Assertions....Pages 69-74
Learning Autonomous Helicopter Flight with Evolutionary Reinforcement Learning....Pages 75-82
Designing Communication Space in Wireless Sensor Network Based on Relational Attempt....Pages 83-90
Boundary Scan Security Enhancements for a Cryptographic Hardware....Pages 91-97
Automated Design of Totally Self-Checking Sequential Circuits....Pages 98-105
A General Purpouse Control System....Pages 106-112
On the First Exit Time Problem for a Gompertz-Type Tumor Growth....Pages 113-120
A Neuronal Model with Excitatory and Inhibitory Inputs Governed by a Birth-Death Process....Pages 121-128
Diffusion Processes Subject to Catastrophes....Pages 129-136
Automatic System Identification of Tissue Abnormalities Based on 2D B–Mode Ultrasound Images....Pages 137-142
Vision–An Essay from a Computational View Point....Pages 143-151
On a Generalized Leaky Integrate–and–Fire Model for Single Neuron Activity....Pages 152-158
Mathematical and Computational Modeling of Neurons and Neuronal Ensembles....Pages 159-166
The Foldl Operator as a Coequalizer Using Coq....Pages 167-176
Algorithm for Testing the Leibniz Algebra Structure....Pages 177-186
Automatic Drusen Detection from Digital Retinal Images: AMD Prevention....Pages 187-194
A Study of Extracting Knowledge from Guideline Documents....Pages 195-202
Modelling Differential Structures in Proof Assistants: The Graded Case....Pages 203-210
Vascular Landmark Detection in Retinal Images....Pages 211-217
Web Applications: A Proposal to Improve Response Time and Its Application to MOODLE....Pages 218-225
Functional Disambiguation Using the Syntactic Structures Algorithm for Each Functional Interpretation for Spanish Language....Pages 226-230
On Similarity in Case-Based Reasoning for Structural Health Monitoring....Pages 231-238
A Distributed System for Massive Generation of Synthetic Video Using GPUs....Pages 239-246
Using a Rank Fusion Technique to Improve Shot Boundary Detection Effectiveness....Pages 247-254
Step-Guided Clinical Workflow Fulfilment Measure for Clinical Guidelines....Pages 255-262
Debugging and Verification of Multi-Agent Systems....Pages 263-270
Easing the Definition of N–Ary Relations for Supporting Spatio–Temporal Models in OWL....Pages 271-278
Separation of Transitions, Actions, and Exceptions in Model-Based Testing....Pages 279-286
Automatic Test Generation for Coverage Analysis Using CBMC....Pages 287-294
Self-healing Assurance Based on Bounded Model Checking....Pages 295-303
Effective Bit-Width and Under-Approximation....Pages 304-311
Observable Runtime Behavior for Defects Indicated by Automated Static Analysis....Pages 312-319
Real-Time Vision-Based Vehicle Detection for Rear-End Collision Mitigation Systems....Pages 320-325
Real–Time Hierarchical GPS Aided Visual SLAM on Urban Environments....Pages 326-333
Tomographic Image Reconstruction Using Abstractions....Pages 334-341
Unsupervised Clustering Using Diffusion Maps for Local Shape Modelling....Pages 342-349
Sensibility Analysis of an Object Movement Forecast Approximation in Real Image Sequences....Pages 350-357
Angular Contour Parameterization for Signature Identification....Pages 358-365
Image Sequences Noise Reduction: An Optical Flow Based Approach....Pages 366-373
From Industrial to Ubiqitous Robots....Pages 374-382
WiFi Localization System Using Fuzzy Rule-Based Classification....Pages 383-390
Vehicle Detection Based on Laser Radar....Pages 391-397
Biomimetic Controller for Situated Robots Based on State-Driven Behaviour....Pages 398-405
Supporting Information Services for Travellers of Public Transport by Road....Pages 406-412
Applying Reinforcement Learning to Multi-robot System Behavior Coordination....Pages 413-420
Safe Crossroads via Vehicle to Vehicle Communication....Pages 421-428
Cooperation Enforcement Schemes in Vehicular Ad-Hoc Networks....Pages 429-436
Cooperative and Competitive Behaviors in a Multi-robot System for Surveillance Tasks....Pages 437-444
Control Action Continuity on Situation-Based Obstacle Avoidance....Pages 445-452
Traffic Signals in Traffic Circles: Simulation and Optimization Based Efficiency Study....Pages 453-460
Integrated System and Network Simulation of a 5.8GHz Local Positioning System....Pages 461-468
Simulation Based Optimization of Vertex Packing Decoding Algorithms....Pages 469-476
Diversity Order of Spatial Multiplexing with Transmit Antenna Correlation Based Precoding....Pages 477-484
Software Simulator to Model an Energy Autonomous System....Pages 485-491
On Stochastic Variation in Discrete Time Systems....Pages 492-500
Convolution on Finite Groups and Fixed-Polarity Polynomial Expressions....Pages 501-509
Reversible Synthesis through Shared Functional Decision Diagrams....Pages 510-517
Ternary Haar-Like Transform and Its Application in Spectral Representation of Ternary-Valued Functions....Pages 518-525
Complete Sets of Hamiltonian Circuits for Classification of Documents....Pages 526-533
SPICE Simulation of Analog Filters: A Method for Designing Digital Filters....Pages 534-539
A Heterogeneous Decision Diagram Package....Pages 540-547
Walsh Matrices in the Design of Industrial Experiments....Pages 548-554
Dynamic Behavior of Time-Domain Features for Prosthesis Control....Pages 555-562
Decomposing Pattern Matching Circuit....Pages 563-570
Hardware Approach to Artificial Hand Control Based on Selected DFT Points of Myopotential Signals....Pages 571-578
System Approach to Complex Signal Processing Task....Pages 579-586
Symbolic Computations on Rings of Rational Functions and Applications in Control Engineering....Pages 587-594
Nonlinear Systems: A Polynomial Approach....Pages 595-602
Robust Control of a Two Tank System Using Algebraic Approach....Pages 603-609
Comparing Algebraic and Constrained Pole Assignment Controllers for a Thermal System....Pages 610-617
Nonlinear Controllers for a Fluid Tank System....Pages 618-625
Pre-identification for Real-Time Control....Pages 626-632
Realization of Continuous–Time Nonlinear Input–Output Equations: Polynomial Approach....Pages 633-640
Using Heuristic Optimization for Segmentation of Symbolic Music....Pages 641-648
Fitting Rectangular Signals to Time Series Data by Metaheuristic Algorithms....Pages 649-656
Virtual Sensors for Emissions of a Diesel Engine Produced by Evolutionary System Identification....Pages 657-664
Solving the Euclidean Bounded Diameter Minimum Spanning Tree Problem by Clustering–Based (Meta–)Heuristics....Pages 665-672
Solving the Rectangle Packing Problem by an Iterative Hybrid Heuristic....Pages 673-680
New Approximation-Based Local Search Algorithms for the Probabilistic Traveling Salesman Problem....Pages 681-688
Evolving 6-State Automata for Optimal Behaviors of Creatures Compared to Exhaustive Search....Pages 689-696
Analysis of the Properties of the Harmony Search Algorithm Carried Out on the One Dimensional Binary Knapsack Problem....Pages 697-704
An Algorithm of Schedule Planning for Tanker Drivers....Pages 705-712
A Kruskal-Based Heuristic for the Rooted Delay-Constrained Minimum Spanning Tree Problem....Pages 713-720
Applying Ant Colony Optimisation to Dynamic Pickup and Delivery....Pages 721-728
Model Driven Rapid Prototyping of Heuristic Optimization Algorithms....Pages 729-736
Heuristic Methods for Searching and Clustering Hierarchical Workflows....Pages 737-744
Model Instability in Microarray Gene Expression Class Prediction Studies....Pages 745-752
Conflict Resolution in Multiagent Systems Based on Wireless Sensor Networks....Pages 753-760
Evolutionary Selection in Simulation-Based Optimization....Pages 761-768
Feature Selection Based on Pairwise Classification Performance....Pages 769-776
On the Influence of Selection Schemes on the Genetic Diversity in Genetic Algorithms....Pages 777-784
Solving a Real–World FAP Using the Scatter Search Metaheuristic....Pages 785-792
On the Success Rate of Crossover Operators for Genetic Programming with Offspring Selection....Pages 793-800
On Structural Identification of 2D Regression Functions for Indoor Bluetooth Localization....Pages 801-808
Grid-Enabled Mutation-Based Genetic Algorithm to Optimise Nuclear Fusion Devices....Pages 809-816
Priority Rule Generation with a Genetic Algorithm to Minimize Sequence Dependent Setup Costs....Pages 817-824
A GRASP–VNS Hybrid for the Fuzzy Vehicle Routing Problem with Time Windows....Pages 825-832
Performance Modelling for Avionics Systems....Pages 833-840
Object-Oriented Petri Nets-Based Modeling of Resources in Project Engineering....Pages 841-848
Simulation Based Design of Control Systems Using DEVS and Petri Nets....Pages 849-856
Transforming UML-Based System Descriptions into Simulation Models as Part of System Development Frameworks....Pages 857-864
Model-Based Design and Verification of Reactive Systems....Pages 865-872
Resonant Tunnelling Diode-Based Circuits: Simulation and Synthesis....Pages 873-880
A Practical Methodology for Integration Testing....Pages 881-888
Safety Oriented Laparoscopic Surgery Training System....Pages 889-896
Co-operative Extended Kohonen Mapping (EKM) for Wireless Sensor Networks....Pages 897-904
Morphotronic System Applications....Pages 905-912
SNIPER: A Wireless Sensor Network Simulator....Pages 913-920
Embedded Fortress - Software Environment for Intellectual Property Protection in Embedded Systems....Pages 921-929
Collaborative XML Document Versioning....Pages 930-937
Parallel Distributed Genetic Algorithm for Expensive Multi-Objective Optimization Problems....Pages 938-946
Back Matter....Pages -