Many complex structures in our modern world exist independent of the individual entities they are composed of, giving them an "organic" quality. Important examples include traffic phenomena, e.g., traffic jams; despite of strong efforts over many years, centralized computing has been unable to deal with the resulting problems in a satisfactory manner. With the growing power of sensing devices and wireless communication, participants in traffic are no longer restricted to display passive, particle-like behavior; instead, local data exchange makes it technically feasible to aim for decentralized coordination between cars. One fundamental concept for making use of these possibilities comprises Hovering Data Clouds, which consist of relevant information that is kept by ever-changing carriers; a prototypical scenario arises in a traffic jam, where data is maintained by passing it on to newly arriving cars. In this study, we present algorithmic methods for this concept.
|Title of host publication||Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006)|
|Number of pages||6|
|Publication status||Published - 01.12.2007|
|Event||2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Paphos, Cyprus|
Duration: 15.11.2006 → 19.11.2006
Conference number: 81670