Control and Automation, and Energy System Engineering: International Conferences, CA and CES3 2011, Held as Part of the Future Generation Information ... in Computer and Information Science, 256)

Title
Foreword
Preface
Organization
Table of Contents
Fuzzy Logic System Based Obstacle Avoidance for a Mobile Robot
Introduction
Architecture of Mobile Robot System
Fuzzy Controller Design
Determination of Input Variables and Output Variables
Fuzzification
Development of Fuzzy Rules
Defuzzification
Simulation and Experiment
Conclusion
References
Solving the Generalized Steiner Problem in Edge-Survivable Networks
Introduction
Problem Formalization
The GRASP Metaheuristic
Construction Phase Algorithm
Local Search Phase Algorithms
GRASP Algorithm Description
Performance Tests
Conclusion
References
A Note on Practically Output Tracking Control of Nonlinear Systems That May Not Be Linearizable at the Origin
Introduction
Main Result
Proof of the Main Result
Conclusions
References
Analysis of Non-linear Adaptive Friction and Pitch Angle Control of Small-Scaled Wind Turbine System
Introduction
Introduction to Small-Scaled Wind Turbine System
Adaptive Control of Axis Friction
Simulation and Analysis
Results and Discussion
Conclusion
References
A High Accuracy Method for Rapid Measurement of Resulted Code Pattern Radial Runout of Rotary Optical Encoder Disc
Introduction
Error Sources of Code Pattern Radial Runout and Method to Reduce It
Design of Purposed Instrument
Measurement of Phase Jitter
Accuracy of Determination Analysis
Conclusion
References
Design of Genetic Algorithm-Based Parking System for an Autonomous Vehicle
Introduction
Autonomous Vehicle and Moving Trajectories
Design of GA-Based Parking System
Simulation Results
Conclusions
References
A Model of Hierarchically Consistent Control of Nonlinear Dynamical Systems
Introduction
A Framework for Hierarchical Control
Design and Synthesis of Hierarchical Control System
Conclusions
References
Characteristics Analysis of the Motor Block Lattice Resistor of a High Speed Train by Structure Improvement
Introduction
Motor Block Lattice Resistor
Structure of the Propulsion System of a High Speed Train
Structure and Role of the Motor Block Lattice Resistor
Suggested Lattice Resistor
Simulation Results and Analysis
Calculation of the Increase in the Temperature of a Lattice Resistor
Thermal Energy Distribution in a Lattice Resistor
Experiment Results and Analysis
Results of the Temperature Increase Experiment
Field Test Results
Conclusion
References
Structure Vibration Analysis and Active Noise Control of a Power Transformer by Mobility Measurement
Introduction
Power Transformer Structure Vibration Analysis and ANC Algorithm
FEM on ANSYS
Filtered-X LMS Algorithm
ANC System Configuration and Transformer Noise Analysis
ANC System Configuration
Simulation Test Measurement and Analysis
Field Experiment Measurement and Analysis
Conclusion
References
Estimation of Deterioration Degree in Overhead Transmission Lines by Tension Load Analysis
Introduction
Structure and Experiment Method of an ACSR
Structure and Corrosion of ACSR
Experiment Method
Experiment Method for the Specimens Affected by Forest Fire
Experiment Results and Analysis
Temperature Test Results Analysis
Mechanical Characteristics and Analysis
Tension Load Analysis and Deterioration Estimation for the Specimen Affected by Forest Fire
Conclusion
References
Structural and Electrical Properties of High Temperature Polycrystalline Silicon Films on Molybdenum Substrate
Introduction
Experiments
Results and Discussion
Conclusion
References
An Improved Method for High-Precision Measurement Using Recursive WLS
Introduction
Nonlinearity Error Modeling in Heterodyne Laser Interferometer
Nonlinearity Compensation Based on Recursive Weighted Least Squares
Simulation results
Conclusion
References
Formal Verification of DEV&DESS Formalism Using Symbolic Model Checker HyTech
Introduction
Background
DEV&DESS Formalism
HyTech and Linear Hybrid Automata
Hybrid System Modeling
Verification Using HyTech
Further Considerations on the Translation from DEV&DESS into Linear Hybrid Automata
Conclusion
References
DVML: DEVS-Based Visual Modeling Language for Hybrid Systems
Introduction
DEVS-Based Visual Modeling Language (DVML)
Basic Model Diagram (BMD)
BMD Example
Coupled Model Diagram (CMD)
CMD Example
DVML-Based Modeling Environment
Conclusions and Future Work
References
Fast Discovery Scheme Using DHT-Like Overlay Network for a Large-Scale DDS
Introduction
Related Works
Fast Discovery Scheme
Network Model and Message Delivery
Discovery Process
Message Formats
Failure Recovery
Performance Evaluations
Simulation Result
Conclusion
References
Approach to Generating Monitoring Code toward Advanced Self-healing
Introduction
Related Work
Layered Software Architecture for Self-healing Component
Autonomic Failure Detection Algorithm
Approach Architecture for Generating Resource Monitor
Problem Detection Algorithm
Self-healing Components Including Resource Monitor
Implementation and Evaluation
Normal Case and Abnormal Case
Objective of Evaluation and Results
Conclusion
References
Layer-3 Emulator Design for Efficient Protocol Debugging and Validation
Introduction
Emulator Design
Experiments
Conclusion and Future Work
References
A Schema Digest Based Metadata Encapsulation Architecture with Shared String Tables
Introduction
EXI Encoding Method
The Proposed Metadata Encapsulation Scheme
Experimental Results
Conclusion
References
Trusted CPS Server Discovery Mechanism in the Insecure Cloud Networks
Introduction
Group Based Trusted Server Management
Cloud Based CPS Scenario
Group Management and Trusted CPS Server Discovery
Key Distribution and Group Join/Leave Protocols
Code Encryption with Group Key
Implementation
Conclusion
References
Hybrid Middleware Architecture Supporting an Active Service Provisioning
Introduction
Hybrid Middleware Architecture
Active Service Provisioning
Terminal Provisioning
Service Provisioning
Conclusions
References
Performance Evaluation of Reliable Real-Time Data Distribution for UAV-aided Tactical Networks
Introduction
Resource-Aware CPS Networking
A Trace-Driven Simulation Environment for Performance Evaluation
Evaluation Results
Conclusion
References
Multi-level Access Control for GeoContents
Introduction
Multi-level Access Control
Multi-level Access Control Implementation
Experimental Results
Conclusions
References
Self-Managed System Development Method for Cyber-Physical Systems
Introduction
Self-Managed System Development Method
Conclusion
References
DSUENHANCER: A Dynamic Update System for Resource-Constrained Software
Introduction
DSUEnhancer
Patch Generation
Patch Injection
Related Work
Conclusions and Future Work
References
Evaluation of Real-Time Characteristics for Mission Critical Systems Using Hierarchically Profiled Petri Net
Introduction
Hierarchically Profiled Petri Net
Syntax
Semantics
Remarks
Analysis
Case Study
Scenario
Model Validation
Conclusion
References
Communication Entities Discovery in Complex CPS System
Introduction
Background
Design of Discovery Procedure
PDP Message Scheduling in Bootstrapping Phase
Conclusion
References
Key Distribution Method for Enhancing Secure Performances in Dynamic Filtering-Based Wireless Sensor Network
Introduction
Background
Filtering Scheme
Dynamic En-route Filtering Scheme (DEF)
Motivation
Key Distribution Method for Enhancing Secure Performances
Assumptions
Overview
Input Factors of the Fuzzy System
Simulation Evaluation
Simulation Results
The Conclusion and Future Work
References
The Application of the 0-1 Knapsack Problem to the Load-Shedding Problem in Microgrid Operation
Introduction
The Load-Shedding Problem and the 0-1 Knapsack Problem
The Branch-and-Bound Algorithm for the 0-1 Knapsack Problem
The Optimal Load-Shedding Model Represented by the 0-1 Knapsack Problem
How to Estimate the Value
The Case Study
The Competitive Environment
The Cooperative Environment
Discussion
Conclusion
References
A Load-Shedding Scheme Using Optimization for Proportional Fairness in the Islanded Microgrid
Introduction
Problem Definition
System Efficiency Optimization Problem
Proportional Fairness Optimization
Conclusions
References
Modeling and Analysis of Jeju Power System with HVDC Using PSCAD/EMTDC
Introduction
Modeling Jeju Power System Using PSCAD/EMTDC
Simulation
Case 1
Case 2
Conclusion
References
Controller-Hardware-In-The Loop Simulation Based Analysis of Photovoltaic Power Generation System under Variable Conditions of Utility
Introduction
PV Power Generation System
Voltage Source Inverter (VSI)
Controller-Hardware-In-The Loop Simulation Test System
Digital Signal Processor
Simulation and the Results
Conclusions
References
Dynamic Battery Modeling for Microgrid Operation
Introduction
Dynamic Model of Battery
Parameters of Battery Identification
Simulation Result
Conclusion
References
Simulation Analysis of Microgrid Using Real Time Digital Simulator
Introduction
Microgrid Modeling
Wind Turbine Power Generation System Modeling
Photovoltaic Power Generation System Modeling
ESS with an EDLC Modeling
Li-ion BESS Modeling
Diesel Power Generation System Modeling
Simulation Results
Grid-Connected Operation Mode
Islanded Operation Mode
Conclusion
References
PMSG Type Wind Power Generation System Connected with EDLC in DC-Link
Introduction
Modeling of the Proposed System
Wind Turbine Model
Electric Double Layer Capacitor Model
Control Design of Power Converter
Simulation Results
Conclusion
References
Development of Operation Strategy in Jeju Smart Grid Test-Bed Electricity Market
Introduction
Principles of Market Design
Market Participation by Demand Side Resources
Categorization of Demand Side Bidding by Consortium
Bidding Rules by Demand Side Resources
Scaling Up Demand Side Resources to National Level
Price Determination Process
Settlement for Demand Side Resources
Conclusion
References
The Design of CC2420-Based Laboratory Apparatus Monitoring System
Introduction
Related Work
The Design of Monitoring System
The Architecture of System
Monitoring System
Conclusion
References
A Case Study: Online Game Testing Using Massive Virtual Player
Introduction
Related Work
Game Development Process
Blackbox Based Online Game Testing Case Study
EasyQA
Case Study: WORLD FISHING (Moonlight, )
Test Results
Conclusion
References
Characteristics Analysis of the Motor Block Lattice Resistor of a High Speed Train by Structure Improvement
Introduction
Motor Block Lattice Resistor
Structure of the Propulsion System of a High Speed Train
Structure and Role of the Motor Block Lattice Resistor
Suggested Lattice Resistor
Simulation Results and Analysis
Calculation of the Increase in the Temperature of a Lattice Resistor
Thermal Energy Distribution in a Lattice Resistor
Experiment Results and Analysis
Results of the Temperature Increase Experiment
Field Test Results
Conclusion
References
Estimation of Deterioration Degree in Overhead Transmission Lines by Tension Load Analysis
Introduction
Structure and Experiment Method of an ACSR
Structure and Corrosion of ACSR
Experiment Method
Experiment Method for the Specimens Affected by Forest Fire
Experiment Results and Analysis
Temperature Test Results Analysis
Mechanical Characteristics and Analysis
Tension Load Analysis and Deterioration Estimation for the Specimen Affected by Forest Fire
Conclusion
References
Structure Vibration Analysis and Active Noise Control of a Power Transformer by Mobility Measurement
Introduction
Power Transformer Structure Vibration Analysis and ANC Algorithm
FEM on ANSYS
Filtered-X LMS Algorithm
ANC System Configuration and Transformer Noise Analysis
ANC System Configuration
Simulation Test Measurement and Analysis
Field Experiment Measurement and Analysis
Conclusion
References
Complexity Adaptive Branch Predictor for Thermal-Aware 3D Multi-core Processors
Introduction
Related Work
Dynamic Thermal Management
3D Stacking Technique
Thermal-Aware Branch Predictor
Experimental Methodology
Experimental Results
Temperature Analysis
Power Consumption Analysis
Performance Analysis
Conclusions
References
Convenient Way for Detecting Check Bits in Hamming Code
Introduction
Types of Errors
Error Detection
Redundancy
Vertical Redundancy Check
Longitudinal Redundancy Check
Block Parity
Checksum
Cyclic Redundancy Check
Hamming Code
Conclusion
References
Motion Vector Refinement Algorithm for the High Definition Video Coding
Rate-Distortion Optimisation Model
Proposed Method
Experiment Results
Conclusion
References
Novel Low-Voltage Small-Area I/O Buffer for Mixed-Voltage Application
Introduction
Proposed Mixed-Voltage I/O Buffer
Comparison Results
Conclusion
References
Study for the Improvement of the Energy Storage System Efficiency Using Auto Level-Tuning
Algorithm
Introduction
Catenary Voltage Change of DC Substation
Power Supply System of DC Subway
Analysis of Catenary Voltage Change of DC Substation
Construction of Energy Storage System
Construction of Bi-direction DC-DC Converter
Construction of System Controller
Early Charge Controller
Power Mode Controller
Charge-Discharge Auto Level Tuning Algorithm
Test
Test Conditions
Test Waveform
Conclusion
References
Development of Strain Sensor Using Aligned Carbon Nanotubes
Introduction
Experiment and Discussion
Conclusion
References
Design of a High Voltage Acceleration Power Supply for a Neutral Beam Injection System
Introduction
Design of the Power Supply
Conclusions
References
Retraction Note to: Control and Automation,and Energy System Engineering1
Author Index