| Preface |
|
ix | |
| CISA'09 Organizing and Scientific Committees |
|
xi | |
| CISA'09 Sponsors and Supports |
|
xiii | |
|
|
|
|
SESSION A: DISCRETE EVENT DYNAMIC SYSTEMS |
|
|
|
Zero Forcing Conditions for Nonlinear Channel Equalization Using a Preceding Scheme |
|
|
3 | (4) |
|
|
|
|
|
|
|
Parallel State Space Construction for a Model Checking Based on Maximality Semantics |
|
|
7 | (6) |
|
|
|
|
|
Marking of Fluid Timed Events Graphs with Multipliers for a Desired Cycle Time |
|
|
13 | (5) |
|
|
|
|
|
A Model-based Design and Validation Approach with OMEGA-UML Profile and the IF Toolset |
|
|
18 | (9) |
|
|
|
|
|
|
|
|
|
SESSION B: MODELING AND IDENTIFICATION |
|
|
|
Pole-Zero Form Fractional Model Identification in Frequency Domain |
|
|
27 | (6) |
|
|
|
|
|
|
|
|
|
Robust Feedback Linearization Applied to a Separation Column for 13C |
|
|
33 | (4) |
|
|
|
|
|
|
|
|
|
State Space Realization of Fractional Order Systems |
|
|
37 | (6) |
|
|
|
|
|
|
|
|
|
Fast Simulating High Order Models Application to Micro Electromechanical Systems (MEMS) |
|
|
43 | (6) |
|
|
|
|
|
|
|
Development and Validation of a Mathematical Model for Olive Oil Oxidation |
|
|
49 | (5) |
|
|
|
|
|
|
|
Fusion of Inertial and Visual: A Geometrical Observer-based Approach |
|
|
54 | (5) |
|
|
|
|
|
Source Localization Using Stochastic Approximation and Least Squares Methods |
|
|
59 | (6) |
|
|
|
|
|
|
|
|
|
Towards a Unifying Framework for Pattern Transformation in Swarm Systems |
|
|
65 | (6) |
|
|
|
|
|
Nested Observer for Linear Hybrid Dynamical Systems |
|
|
71 | (8) |
|
|
|
|
|
|
|
SESSION C: FAULT DETECTION AND ISOLATION |
|
|
|
A H-infinity Fault Detection and Diagnosis Scheme for Discrete Nonlinear System Using Output Probability Density Estimation |
|
|
79 | (6) |
|
|
|
|
|
|
|
Training the Recurrent Neural Network by the Fuzzy Min-Max Algorithm for Fault Prediction |
|
|
85 | (6) |
|
|
|
|
|
|
|
|
|
|
|
Design and Real-time Implementation of a Fuzzy Residual Generator for Process Fault Detection in a Co-current Heat Exchanger |
|
|
91 | (5) |
|
|
|
|
|
|
|
|
|
Robust Sensor Faults Reconstruction for a Class of Uncertain Linear Systems Using a Sliding Mode Observer: An LMI Approach |
|
|
96 | (9) |
|
|
|
|
|
|
|
|
|
SESSION D: MOTION CONTROL |
|
|
|
Asynchronous Motor Nonlinear Control with Inverter Output LC Filter |
|
|
105 | (6) |
|
|
|
|
|
Further Results on Finite-Time Partial Stability and Stabilization: Applications to Nonlinear Control Systems |
|
|
111 | (6) |
|
|
|
Finite Time Stability of Some Perturbed Systems |
|
|
117 | (3) |
|
|
|
|
|
|
|
An Extension to Backstepping Control for a Class of Underactuated Mechanical System in Tree Structure |
|
|
120 | (6) |
|
|
|
|
|
Adaptive Backstepping Controller Design for Linear Induction Motor Position Control |
|
|
126 | (9) |
|
|
|
|
|
|
|
|
|
|
|
SESSION E: AUTONOMOUS ROBOTS |
|
|
|
Experimentation with GRACE: The Generic Model of Emotions for Computational Applications |
|
|
135 | (6) |
|
|
|
|
|
Modelling and Control of a Bidirectional Rotors X4-Flyer |
|
|
141 | (6) |
|
|
|
|
|
|
|
|
|
Shared Gaussian Process Latent Variable Models for Handling Ambiguous Facial Expressions |
|
|
147 | (7) |
|
|
|
|
|
|
|
|
|
|
|
Toward a General Nonlinear Model of Reduced Scale UAVs |
|
|
154 | (6) |
|
|
|
|
|
|
|
Sliding Mode Control Technique: Application to a Four Rotors Mini-Flying Robot |
|
|
160 | (9) |
|
|
|
|
|
|
|
|
|
SESSION F: VIRTUAL, AUGMENTED, AND MIXED ENVIRONMENTS |
|
|
|
Pose Computation Based on Correspondence between 2D GIS and Street Images |
|
|
169 | (6) |
|
|
|
|
|
|
|
An Optical Tracking System for Virtual Reality |
|
|
175 | (4) |
|
|
|
|
|
A Virtual Reality System Framework for Industrial Product Design Validation |
|
|
179 | (6) |
|
|
|
|
|
|
|
Augmented Reality System for E-maintenance Application |
|
|
185 | (5) |
|
|
|
|
|
|
|
|
|
A New Navigation Method for 3D Virtual Environment Exploration |
|
|
190 | (6) |
|
|
|
|
|
|
|
|
|
The Effect of Audio and Visual Aids on Task Performance in Distributed Collaborative Virtual Environments |
|
|
196 | (9) |
|
|
|
|
|
|
|
|
|
SESSION G: ROBUST CONTROL |
|
|
|
Homogeneous Piecewise Polynomial Lyapunov Function for Robust Stability of Uncertain Piecewise Linear System |
|
|
205 | (5) |
|
|
|
|
|
|
|
Robust Neural Sliding Mode Control of Robot Manipulators |
|
|
210 | (6) |
|
|
|
|
|
Dynamic Output Feedback for Non-Linear Systems Using Linear Technique |
|
|
216 | (6) |
|
|
|
|
|
Robust Sliding Mode Control Applied to Double Inverted Pendulum System |
|
|
222 | (9) |
|
|
|
|
|
|
|
SESSION H: INTELLIGENT CONTROL |
|
|
|
Exact Boundary Controllability for Korteweg-de Vries Equation |
|
|
231 | (6) |
|
|
|
State and Output Feedback Synthesis Using Orthogonal Functions |
|
|
237 | (6) |
|
|
|
|
|
Estimation Over Unreliable Communication Links without Arrival Information of Packet Losses |
|
|
243 | (6) |
|
|
|
|
|
|
|
|
|
|
|
A Novel Obstacle Avoidance Approach for Mobile Robot System Including Target Capturing |
|
|
249 | (8) |
|
|
|
|
|
|
|
|
|
SESSION I: INTELLIGENT AND FLEXIBLE MANUFACTURING |
|
|
|
An Application Oriented Guideline for Choosing a Prognostic Tool |
|
|
257 | (6) |
|
|
|
|
|
|
|
``PSA-SPN'' --- A Parameter Sensitivity Analysis Method Using Stochastic Petri Nets: Application to a Production Line System |
|
|
263 | (6) |
|
|
|
|
|
|
|
Maximality-Based Structural Operational Semantics for Petri Nets |
|
|
269 | (6) |
|
|
|
|
|
|
|
Extremum Seeking Tuning for Reel Tension Control in Haptic Application |
|
|
275 | (8) |
|
|
|
|
|
|
|
|
|
SESSION J: INTELLIGENT TRANSPORTATION SYSTEMS |
|
|
|
Ramp Metering by Limitation of Density and Queue length |
|
|
283 | (6) |
|
|
|
|
|
|
|
Preventive Safety: Warning System for Control Loss of Two-Wheeled Vehicles |
|
|
289 | (7) |
|
|
|
|
|
|
|
|
|
Flexible Virtual Structure Consideration in Dynamic Modeling of Mobile Robots Formation |
|
|
296 | (6) |
|
|
|
|
|
|
|
|
|
Supervisor Localization: A Top-Down Approach to Distributed Control of Discrete-Event Systems |
|
|
302 | (9) |
|
|
|
|
|
POSTER SESSION (Organizer: C. Domingues) |
|
|
|
Fast Algorithm for Collision Detection between Deformable Objects |
|
|
311 | (2) |
|
|
|
|
|
|
|
A Variable Neighbourhood Search Method to Solve Hierarchically Engineering Design Problems |
|
|
313 | (5) |
|
|
|
|
|
|
|
Analysis of Semi-Active and Passive Suspension Systems for Off-Road Vehicles |
|
|
318 | (6) |
|
|
|
|
|
|
|
Multimode Root Locus for a Matrix with Uncertainty Using Convex_Hull |
|
|
324 | (5) |
|
|
|
Magnetic Levitation of Iron Sphere Using Analog PD Controller |
|
|
329 | (5) |
|
|
|
|
|
Finite Time Stabilization of X4-bidirectional Flyer |
|
|
334 | (3) |
|
|
|
|
|
|
|
Towards Robot Teaching Based on Virtual and Augmented Reality Concepts |
|
|
337 | (5) |
|
|
|
|
|
|
|
|
|
|
|
Interpolation by Bezier Curves and NURBS Strategies of Machining of Complex Surfaces in CNC Milling |
|
|
342 | (5) |
|
|
|
|
|
Towards Multi-platform Software Architecture for Collaborative Teleoperation |
|
|
347 | (3) |
|
|
|
|
|
|
|
|
|
Design and Implementation of an Experimental Segway Model |
|
|
350 | (5) |
|
|
|
|
|
Computer-assisted Generation of Patterns and Virtual Reality Techniques for Fashion Design |
|
|
355 | (4) |
|
|
|
|
|
|
|
Temperature Effect on the Diffusion-convection of the Radon Gas in a Room: Numerical Simulation |
|
|
359 | (4) |
|
|
|
|
|
On the Piecewise Polynomial Reduction of Nonlinear Systems |
|
|
363 | (5) |
|
|
|
|
|
Global Localization and Concurrent Mapping for Mobile Robot on the Robotic Simulator ``SIMBAD'' |
|
|
368 | (5) |
|
|
|
|
|
TSP-based Evolutionary Optimization Approach for the Vehicle Routing Problem |
|
|
373 | (4) |
|
|
|
|
|
|
|
Control of an Aerospace Launcher |
|
|
377 | (6) |
|
|
|
|
|
PLENARY SESSION PRESENTATIONS (Abstracts only) |
|
|
|
Using Hyperbolic Systems of Balance Laws for Modeling, Control, and Stability Analysis of Physical Networks |
|
|
383 | (1) |
|
|
|
Non-smooth Mechanical Systems: Application to Systems with Clearance and to Dry Friction Oscillators |
|
|
384 | (1) |
|
|
|
Multi-agent Systems: An Innovative Technology to Build Intelligent Systems |
|
|
385 | (1) |
|
|
|
Formation Control of System of Mobile Robots |
|
|
386 | (1) |
|
|
|
Virtual Humans and Crowds in Virtual Reality |
|
|
387 | (1) |
|
|
|
Symmetry Preserving Asymptotic Observers: Theory and Examples |
|
|
388 | (1) |
|
|
|
Bio-inspired Intelligent Diagnostic System for Civil Structures |
|
|
389 | (2) |
|
|
| Author Index |
|
391 | |
