Autonomous Systems : Self-Organization, Management, and Control : Proceedings of the 8th International Workshop held at Shanghai Jiao Tong University, Shanghai, China, October 6-7, 2008

The 2008 TUB-SJTU joint workshop on "Autonomous Systems - Self-Organization, Management, and Control" was held on October 6, 2008 at Shanghai Jiao Tong University, Shanghai, China. The workshop, sponsored by Shanghai Jiao Tong University and Technical University of Berlin brought together scientists and researchers from both universities to present and discuss the latest progress on autonomous systems and its applications in diverse areas. Autonomous systems are designed to integrate machines, computing, sensing, and software to create intelligent systems capable of interacting with the complexities of the real world. Autonomous systems represent the physical embodiment of machine intelligence. Topics of interest include, but are not limited to theory and modeling for autonomous systems; organization of autonomous systems; learning and perception; complex systems; multi-agent systems; robotics and control; and, applications of autonomous systems Autonomous Systems – Self-Organization,Management, and Control......Page 2 Cover ......Page 1 Title Page ......Page 3 Copyright......Page 4 Committee......Page 6 Preface......Page 8 Contents......Page 10 1 Introduction......Page 12 2 The Perception Model for Pose Estimation......Page 13 3 Simulations and Results......Page 16 References......Page 20 1 Introduction......Page 22 2 Active Learning by Reduction of Version Space......Page 23 3 Error Bounds for Spherical Subdivision......Page 26 4 Application in Psychoacoustic Experiments......Page 28 References......Page 30 1 Introduction......Page 32 2 Experiment Setup......Page 33 3 Methods......Page 34 4 Results......Page 37 References......Page 39 1 Introduction......Page 40 2 Methods......Page 41 3 Hit Rat Game......Page 45 4 Results......Page 46 References......Page 47 1 Introduction......Page 50 2 Pattern Generation Based on PIPM......Page 52 3 Pattern Generation Extended to Any Desired Terrain......Page 54 4 Experiments......Page 55 References......Page 57 1 Introduction To Slung Load Transportation......Page 60 2 Problem Description......Page 62 3 State of The Art......Page 63 4 Concepts......Page 64 5 Realization......Page 66 6 Experimental Results......Page 67 7 Possible Applications......Page 70 8 Conclusions......Page 71 References......Page 72 1 Introduction......Page 74 2 Related Works......Page 75 3 Wind Tunnel Experiments......Page 76 4 Data Fusion and Management......Page 77 References......Page 81 1 Introduction......Page 82 2 Space Systems......Page 83 3 Properties of Swarm Systems......Page 85 4 Applications......Page 86 Further Reading......Page 87 1 Introduction......Page 90 2 ∈μ-Logics......Page 92 3 Self-Referential Sentences in ∈μ-Logics......Page 96 References......Page 97 1 Introduction......Page 98 2 Preliminaries......Page 99 3 A Theory of Aspects in Isabelle/HOL......Page 101 4 Compositionality and Run-Time Weaving......Page 104 5 Conclusions......Page 105 References......Page 106 1 Introduction......Page 108 2 Chord: A Motivating Challenge......Page 109 4 A Calculus for Peer-to-Peer Systems......Page 112 References......Page 115 1 Introduction......Page 116 2 Architecture......Page 117 3 UML-like Models......Page 119 4 ESPECS......Page 120 5 Using Especs for Autonomic Computing......Page 123 6 Interfaces and Parameterized Especs......Page 126 7 Conclusion......Page 127 References......Page 128 1 Motivation......Page 130 2 Actor-Based Object-Oriented Programming......Page 132 3 Testing Actor Networks......Page 135 References......Page 137 1 Introduction......Page 138 2 Overview of The Approach......Page 139 3 Related Work......Page 140 5 Run-Time Optimization and Architectural Translucency......Page 141 6 Case Study......Page 142 References......Page 144 1 Introduction......Page 146 2 Related Work......Page 147 4 Coordinated Reconfiguratio with Layered Self-Stabilization......Page 148 References......Page 157 1 Introduction......Page 160 2 Information Collection......Page 161 3 Finding User Interests......Page 163 4 Experiments......Page 164 References......Page 167 1 Introduction......Page 168 3 Min-Max Modular Support Vector Machine......Page 169 4 Patent Classificatio Experiments......Page 175 5 Conclusion......Page 177 References......Page 178 1 Introduction......Page 180 2 Related Work and NIL Forms......Page 181 3 Data Source and Corpus Established......Page 182 4 Recognize the NIL Expressions......Page 183 5 Experiment......Page 184 References......Page 185 1 Introduction......Page 188 2 Related Work......Page 189 3 Domain Word Identificatio......Page 190 4 Topic Identificatio......Page 191 5 Experimental Results......Page 193 References......Page 194 The International Workshop on "Autonomous Systems - Self-Organization, Management, and Control " is the eighth in a successful series of workshops that were established by Shanghai Jiao Tong University and Technische Universitat Berlin. The goal of these workshops is to bring together researchers from both universities in order to present research results to an international community. In recent years autonomy of action has become a broadly desirable property of systems which operate in complex technical, societal and natural environments. Moving or flying robots, for example, need to act on sensor data in real time, semantic services need to adapt to changing requirements of their users, and information systems which are based on huge information sources, like the World Wide Web, need to select information in view of their user's opinions and interests. To develop such systems and applications advanced techniques, algorithms, languages, methodologies, and architectures are required, which allow for self-organization, selfmanagement, and self-control. Reporting on recent developments in autonomous systems and on studies of their specification and analysis, this workshop addresses the following topics: Techniques of Sensing and Recognition Applications of Autonomous Behavior Self-Reference and Formal Analysis Architecting and Management Opinion Mining and User Interest