Difference between revisions of "Lakeside Research Days'09"

From Self-Organization Wiki
Jump to: navigation, search
(Group Work 1)
(Robustness and Dependability)
 
(21 intermediate revisions by 6 users not shown)
Line 5: Line 5:
 
Participants: Christian Hofbauer (NES/ES), Alexander Onic (NES/ES), Markus Reichhartinger (SST/CM), Evsen Yanmaz (NES/MS), Johannes Klinglmayr (NES/MS), Istvan Fehervari (NES/MS), Kostyantyn Shchekotykhin (AINF/ISBI), Simon Triebenbacher (SST/AM), Markus Quaritsch (NES/PC), Helmut Adam (NES/MS), Laszlo Böszörmenyi (ITEC), Gerhard Friedrich (AINF/ISBI)
 
Participants: Christian Hofbauer (NES/ES), Alexander Onic (NES/ES), Markus Reichhartinger (SST/CM), Evsen Yanmaz (NES/MS), Johannes Klinglmayr (NES/MS), Istvan Fehervari (NES/MS), Kostyantyn Shchekotykhin (AINF/ISBI), Simon Triebenbacher (SST/AM), Markus Quaritsch (NES/PC), Helmut Adam (NES/MS), Laszlo Böszörmenyi (ITEC), Gerhard Friedrich (AINF/ISBI)
  
== Research Days'09 ==
+
== Schedule ==
  
 
The Lakeside Research Days 2009 take place as a five days workshop from July 13 to July 17, 2009.
 
The Lakeside Research Days 2009 take place as a five days workshop from July 13 to July 17, 2009.
Line 15: Line 15:
 
Register to the workshop [http://www.doodle.com/4re2ysqd48nif2bg via doodle].
 
Register to the workshop [http://www.doodle.com/4re2ysqd48nif2bg via doodle].
  
=== Group Works ===
+
== Research Talks ==
  
==== Group Work 1 ====
+
===Introduction to Self-Organizing Systems===
 +
F. Heylighen
  
===== Group 2 - Bettstetter, Hofbauer, Marchenko, Tusch =====
+
===Robustness and Dependability===
 +
W. Elmenreich
  
Selected case study for robust self-organizing systems: Parliament
+
Todays' systems tend to be more and more complex, which makes it difficult to specify a complete fault hypothesis covering all possible expected faults. Robust systems tend to have a better resilience on non-specified system faults, which makes it an attractive concept for complex systems. While dependability concepts such as reliability, availability, and maintainability have been established in the engineering practice, the concept of robustness is much more difficult to define and apply in an engineering process. In this talk we elaborate the basic concepts of the robustness and dependability approach based on real system examples.
  
The parliament is (up to a certain minimum size) robust against instant and repeating (spreading)
+
===Self-organization: phase transitions, percolation and jamming===
 +
R. D'Souza
  
* failures/removals of nodes (i.e., representatives)
+
Self-organization comes in many forms and seems to lack precise definition. Perhaps universal to all the phenomena is the formation of order from purely local interactions. Yet, local structures may also be influenced by global constraints. Here we review 1) a simple model of granular flow showing how the interplay of local and global constraints can delay the onset of jamming; and 2) limited pertubations that change the nature of the percolation transition in random networks. I will also attempt to discuss the robustness (or lack thereof) of these dynamical processes.
* faulty/unexpected/unwanted behaviour of nodes, and
 
* malicious behaviour of nodes.
 
  
It shows the following properties:
+
===Self-Organization in Modular Robotics and Wireless Sensor Networks===
 +
A. van Rossum
  
* Self-healing due to iterated renewals based on elections
+
Almende is a research company, based in Rotterdam, with a special focus on self-organization. In the form of a communication platform this is implemented as feedback of users of the system that subsequently reconfigures communication channels between them or service providers. A wireless sensor network takes this concept further in the form of a Kohonen network implemented on a wireless sensor nodes, that is able to cluster certain patterns which can be used for intruder detection or toilet management. At the end of the spectrum of self-organization lies modular robotics in which a Itti-Koch sensor fusion architecture is implemented, with an underlying evo-devo engine. Without human design changes in the topology are tested within such a developmental paradigm, so certain symmetries remain preserved across mutations. The developmental engine is a gene regulatory network as build by Bongard and the interactions between genes and their products is one of the most salient examples of self-organization at work. In engineering this type of non-linearities and dynamics is seen more and more as a tool, rather then a problem. There is however a real demand for thorough mathematical approaches similar to e.g. renormalization theory and applicable to real world problems and software.
* External observation from mass press and citizens
 
* Well-defined structure and function
 
** Mandate distribution is defined by distributions of votes
 
** Government is defined by major number of mandates (mostly by coalitions)
 
** Goal is to make decisions and laws
 
* Each representative may act as attractor, detractor, or neutral node
 
* Adaptive to change in the social environment
 
* Shows the emergent property of issued laws initiated by some voters, set up by its representatives, and valid for all citizens
 
* Fullfills all attributes of dependability: high availability, high reliability, safe, maintable, and secure
 
  
[[User:Rotusch|Rotusch]] 13:25, 13 July 2009 (UTC)
+
===Synchronization and Spatio-Temporal Patterns in Neural Networks===
 +
M. Timme
  
===== Group 5 =====
+
Patterns of precisely timed and spatially distributed spikes
 +
have been experimentally observed in different neuronal systems. These
 +
spike patterns correlate with external stimuli and internal states and are
 +
thus considered key features of neural computation. Their dynamical
 +
origin, however, is unclear. One possible explanation for their occurrence
 +
is the existence of excitatorily coupled feed-forward structures, synfire
 +
chains, which are embedded in a network of otherwise random connectivity
 +
and receive a large number of random external inputs. We here show how
 +
precise spike timing and temporal locking can naturally arise in the
 +
nonlinear dynamics of recurrent neural networks that contain no
 +
additionally embedded feed-forward structures.
  
  
* Self-organizing traffic lights
 
** Waiting time depends on number of cars waiting (only sensor being a single camera)
 
** No explicit communication between the lights - communication media = cars
 
** Emergence of grups of cars that propagate on a green wave
 
** Robust to changes in traffic situation, break-down of single lights (if they fall into a fail-safe state, such as a flashing yellow light or shutting down completely).
 
** Discussion: Depends a lot on the density of the traffic (jamming situations). Explicit communication for traffic may be desirable, even though that may go against the self-organizing nature of the system.
 
* Self-organizing network routing
 
** Any routing protocol broadcasting to discover a specific route (example: choose route which contains the packet with the highest TTL)
 
** Ant routing
 
** Robustness: break-down of nodes/lines, overload in parts of the network are handled in a self-organized way.
 
** Limits: Package loss (needs to be handled by the upper layers)
 
* Viruses and worms (whether this is truly a self-organizing network was left open for discussion)
 
** Worms start out as sngle "agent" that broadcasts itself throughout the network
 
** Infected network-node is closed and can't be infected again.
 
** Is this "epidemic" distribution a kind of self-organization?
 
*** Multiple agents
 
*** Distribution
 
** But:
 
*** Emergence of structure?
 
*** Adaptability to changes from the environment?
 
  
[[User:Rotusch|Rotusch]] 13:55, 13 July 2009 (UTC)
+
===Self-organizing Synchronization===
 +
C. Bettstetter and J. Klinglmayr
  
== Scheduled Talks ==
+
This talk briefly outlines our research on a biologically-inspired approach for distributed slot synchronization in wireless networks, based on the theory of pulse-coupled oscillators. We modifyied and extended the underlying model for synchronization of pulse coupled oscillators to make it feasible and efficient for wireless networks. The resulting algorithm avoids a dedicated synchronization phase but multiplexes synchronization words with data packets. In this way, a common slot structure emerges seamlessly over time as nodes exchange packets. Synchronization is accomplished from a random initial situation. There is no need for the selection of master nodes as all nodes cooperate in a completely self-organized manner to achieve slot synchrony.
 +
[http://mobile.uni-klu.ac.at/selforganized-wiki/images/3/3b/B-09-07-research-days.pdf Slides].
  
===Introduction to Self-Organizing Systems===
+
The talk is followed by a demonstration of "electronic fireflies" given by Johannes Klinglmayr and a brief discussion on ongoing work on robustness of the system with respect to faulty devices.
F. Heylighen
 
  
===Robustness and Dependability===
+
===Local Rules and Global Effect - Measures of Self-Organizing System===
W. Elmenreich
+
H. de Meer
 
 
 
 
===Self-Organization in Modular Robotics and Wireless Sensor Networks===
 
A. van Rossum
 
 
 
Almende is a research company, based in Rotterdam, with a special focus on self-organization. In the form of a communication platform this is implemented as feedback of users of the system that subsequently reconfigures communication channels between them or service providers. A wireless sensor network takes this concept further in the form of a Kohonen network implemented on a wireless sensor nodes, that is able to cluster certain patterns which can be used for intruder detection or toilet management. At the end of the spectrum of self-organization lies modular robotics in which a Itti-Koch sensor fusion architecture is implemented, with an underlying evo-devo engine. Without human design changes in the topology are tested within such a developmental paradigm, so certain symmetries remain preserved across mutations. The developmental engine is a gene regulatory network as build by Bongard and the interactions between genes and their products is one of the most salient examples of self-organization at work. In engineering this type of non-linearities and dynamics is seen more and more as a tool, rather then a problem. There is however a real demand for thorough mathematical approaches similar to e.g. renormalization theory and applicable to real world problems and software.
 
  
 
===High resolution dynamical mapping of social interactions with active RFID===
 
===High resolution dynamical mapping of social interactions with active RFID===
Line 99: Line 78:
 
applicability in many areas concerned with human dynamics.
 
applicability in many areas concerned with human dynamics.
  
===Self-Organizing Networked Control Systems===
+
===Networked Control Systems and Self-Organization===
C. Zschoppe
+
T. Bauschert
 
 
===Vortrag Passau===
 
H. de Meer
 
 
 
===Self-organization: phase transitions, percolation and jamming===
 
R. de Souza
 
 
 
Self-organization comes in many forms and seems to lack precise definition. Perhaps universal to all the phenomena is the formation of order from purely local interactions. Yet, local structures may also be influenced by global constraints. Here we review 1) a simple model of granular flow showing how the interplay of local and global constraints can delay the onset of jamming; and 2) limited pertubations that change the nature of the percolation transition in random networks. I will also attempt to discuss the robustness (or lack thereof) of these dynamical processes.
 
 
 
===Synchronization and Spatio-Temporal Patterns in Neural Networks===
 
M. Timme
 
 
 
Patterns of precisely timed and spatially distributed spikes
 
have been experimentally observed in different neuronal systems. These
 
spike patterns correlate with external stimuli and internal states and are
 
thus considered key features of neural computation. Their dynamical
 
origin, however, is unclear. One possible explanation for their occurrence
 
is the existence of excitatorily coupled feed-forward structures, synfire
 
chains, which are embedded in a network of otherwise random connectivity
 
and receive a large number of random external inputs. We here show how
 
precise spike timing and temporal locking can naturally arise in the
 
nonlinear dynamics of recurrent neural networks that contain no
 
additionally embedded feed-forward structures.
 
  
===Robustness in Synchronization===
+
==Group Work==
C. Bettstetter and J. Klinglmayr
+
===[[Case Studies for Robust Self-Organizing Systems]]===
 +
===[[Modeling Techniques for Self-Organizing Systems]]===
 +
===[[Curriculum on Self-Organizing Systems]]===
 +
===[[Research Areas on Self-Organizing Systems]]===
 +
===[[Designing Robust Self-Organizing Systems]]===

Latest revision as of 23:49, 30 September 2009

Prolog

This meeting has been held on Friday, 19th of June 2009, 9AM - 1PM. The overall aim of this meeting was to collect ideas/problems which should be tackled during the Lakeside Research Days'09.

Participants: Christian Hofbauer (NES/ES), Alexander Onic (NES/ES), Markus Reichhartinger (SST/CM), Evsen Yanmaz (NES/MS), Johannes Klinglmayr (NES/MS), Istvan Fehervari (NES/MS), Kostyantyn Shchekotykhin (AINF/ISBI), Simon Triebenbacher (SST/AM), Markus Quaritsch (NES/PC), Helmut Adam (NES/MS), Laszlo Böszörmenyi (ITEC), Gerhard Friedrich (AINF/ISBI)

Schedule

The Lakeside Research Days 2009 take place as a five days workshop from July 13 to July 17, 2009.

Tentative workshop schedule:

Schedule-research-days09.png

Register to the workshop via doodle.

Research Talks

Introduction to Self-Organizing Systems

F. Heylighen

Robustness and Dependability

W. Elmenreich

Todays' systems tend to be more and more complex, which makes it difficult to specify a complete fault hypothesis covering all possible expected faults. Robust systems tend to have a better resilience on non-specified system faults, which makes it an attractive concept for complex systems. While dependability concepts such as reliability, availability, and maintainability have been established in the engineering practice, the concept of robustness is much more difficult to define and apply in an engineering process. In this talk we elaborate the basic concepts of the robustness and dependability approach based on real system examples.

Self-organization: phase transitions, percolation and jamming

R. D'Souza

Self-organization comes in many forms and seems to lack precise definition. Perhaps universal to all the phenomena is the formation of order from purely local interactions. Yet, local structures may also be influenced by global constraints. Here we review 1) a simple model of granular flow showing how the interplay of local and global constraints can delay the onset of jamming; and 2) limited pertubations that change the nature of the percolation transition in random networks. I will also attempt to discuss the robustness (or lack thereof) of these dynamical processes.

Self-Organization in Modular Robotics and Wireless Sensor Networks

A. van Rossum

Almende is a research company, based in Rotterdam, with a special focus on self-organization. In the form of a communication platform this is implemented as feedback of users of the system that subsequently reconfigures communication channels between them or service providers. A wireless sensor network takes this concept further in the form of a Kohonen network implemented on a wireless sensor nodes, that is able to cluster certain patterns which can be used for intruder detection or toilet management. At the end of the spectrum of self-organization lies modular robotics in which a Itti-Koch sensor fusion architecture is implemented, with an underlying evo-devo engine. Without human design changes in the topology are tested within such a developmental paradigm, so certain symmetries remain preserved across mutations. The developmental engine is a gene regulatory network as build by Bongard and the interactions between genes and their products is one of the most salient examples of self-organization at work. In engineering this type of non-linearities and dynamics is seen more and more as a tool, rather then a problem. There is however a real demand for thorough mathematical approaches similar to e.g. renormalization theory and applicable to real world problems and software.

Synchronization and Spatio-Temporal Patterns in Neural Networks

M. Timme

Patterns of precisely timed and spatially distributed spikes have been experimentally observed in different neuronal systems. These spike patterns correlate with external stimuli and internal states and are thus considered key features of neural computation. Their dynamical origin, however, is unclear. One possible explanation for their occurrence is the existence of excitatorily coupled feed-forward structures, synfire chains, which are embedded in a network of otherwise random connectivity and receive a large number of random external inputs. We here show how precise spike timing and temporal locking can naturally arise in the nonlinear dynamics of recurrent neural networks that contain no additionally embedded feed-forward structures.


Self-organizing Synchronization

C. Bettstetter and J. Klinglmayr

This talk briefly outlines our research on a biologically-inspired approach for distributed slot synchronization in wireless networks, based on the theory of pulse-coupled oscillators. We modifyied and extended the underlying model for synchronization of pulse coupled oscillators to make it feasible and efficient for wireless networks. The resulting algorithm avoids a dedicated synchronization phase but multiplexes synchronization words with data packets. In this way, a common slot structure emerges seamlessly over time as nodes exchange packets. Synchronization is accomplished from a random initial situation. There is no need for the selection of master nodes as all nodes cooperate in a completely self-organized manner to achieve slot synchrony. Slides.

The talk is followed by a demonstration of "electronic fireflies" given by Johannes Klinglmayr and a brief discussion on ongoing work on robustness of the system with respect to faulty devices.

Local Rules and Global Effect - Measures of Self-Organizing System

H. de Meer

High resolution dynamical mapping of social interactions with active RFID

A. Barrat, C. Cattuto, V. Colizza, J-F Pinton, W. van den Broeck, A. Vespignani

In this paper we present an experimental framework to gather data on face-to-face social interactions between individuals, with a high spatial and temporal resolution. We use active Radio Frequency Identification (RFID) devices that assess contacts with one another by exchanging low-power radio packets. When individuals wear the beacons as a badge, a persistent radio contact between the RFID devices can be used as a proxy for a social interaction between individuals. We present the results of recent pilot studies performed during conferences, and a subsequent preliminary data analysis, that provides an assessment of our method and highlights its versatility and applicability in many areas concerned with human dynamics.

Networked Control Systems and Self-Organization

T. Bauschert

Group Work

Case Studies for Robust Self-Organizing Systems

Modeling Techniques for Self-Organizing Systems

Curriculum on Self-Organizing Systems

Research Areas on Self-Organizing Systems

Designing Robust Self-Organizing Systems