Decentralized Reasoning about Gradual Changes of Topological Relationships between Continuously Evolving Regions

A key challenge facing many applications of new geosensor networks technology is to derive meaningful spatial knowledge from low-level sensed data. This paper presents a formal model for representing and computing topological relationship changes between continuously evolving regions monitored by a geosensor network. The definition of "continuity" is used to constrain region evolution and enables the local detection of node state transitions in the network. The model provides a computational framework for the detection of global high-level qualitative relationship changes from local low-level quantitative sensor measurements. In this paper, an efficient decentralized algorithm is also designed and implemented to detect relationship changes and its computational efficiency is evaluated experimentally using simulation.

[1]  I. Good,et al.  Fractals: Form, Chance and Dimension , 1978 .

[2]  Nicola Santoro.  Design and Analysis of Distributed Algorithms (Wiley Series on Parallel and Distributed Computing) , 2006 .

[3]  Antony Galton,et al.  Continuous Motion in Discrete Space , 2000, KR.

[4]  Michael F. Worboys,et al.  Event‐based topology for dynamic planar areal objects , 2009, Int. J. Geogr. Inf. Sci..

[5]  Michael F. Worboys,et al.  Detecting Topological Change Using a Wireless Sensor Network , 2008, GIScience.

[6]  Markus Schneider,et al.  Tracking continuous topological changes of complex moving regions , 2011, SAC.

[7]  Stephan Winter.  Topological Relations between Regions in Raster , 1995, SSD.

[8]  Leonidas J. Guibas,et al.  Wireless sensor networks - an information processing approach , 2004, The Morgan Kaufmann series in networking.

[9]  Silvia Nittel.  Geosensor Networks , 2008, Encyclopedia of GIS.

[10]  Wei Hong,et al.  Beyond Average: Toward Sophisticated Sensing with Queries , 2003, IPSN.

[11]  Hagit Attiya,et al.  Wiley Series on Parallel and Distributed Computing , 2004, SCADA Security: Machine Learning Concepts for Intrusion Detection and Prevention.

[12]  Jayant Sharma,et al.  A Critical Comparison of the 4-Intersection and 9-Intersection Models for Spatial Relations: Formal Analysis* , 2003 .

[13]  Michael F. Worboys,et al.  Qualitative change detection using sensor networks based on connectivity information , 2011, GeoInformatica.

[14]  Max J. Egenhofer,et al.  Advances in Spatial Databases , 1997, Lecture Notes in Computer Science.

[15]  Leonidas J. Guibas,et al.  Sensing, tracking and reasoning with relations , 2002, IEEE Signal Process. Mag..

[16]  Max J. Egenhofer,et al.  The Family of Conceptual Neighborhood Graphs for Region-Region Relations , 2010, GIScience.

[17]  M. Egenhofer,et al.  Topological Relations Between Regions in IR 2 and ZZ 2 * , 1993 .

[18]  Max J. Egenhofer,et al.  Reasoning about Gradual Changes of Topological Relationships , 1992, Spatio-Temporal Reasoning.

[19]  Sanjiang Li,et al.  Decentralized querying of topological relations between regions without using localization , 2010, GIS '10.

[20]  Guang Jin,et al.  Efficient tracking of 2D objects with spatiotemporal properties in wireless sensor networks , 2010, Distributed and Parallel Databases.

[21]  Stephan Winter,et al.  Detecting Change in Snapshot Sequences , 2010, GIScience.

[22]  Anthony G. Cohn,et al.  A Spatial Logic based on Regions and Connection , 1992, KR.

[23]  Daniel R. Montello,et al.  Spatial Information Theory A Theoretical Basis for GIS , 1995, Lecture Notes in Computer Science.

[24]  Nicola Santoro,et al.  Efficient, Decentralized Computation of the Topology of Spatial Regions , 2011, IEEE Transactions on Computers.

[25]  Andrew U. Frank,et al.  Theories and Methods of Spatio-Temporal Reasoning in Geographic Space , 1992, Lecture Notes in Computer Science.

[26]  Michael F. Worboys,et al.  Monitoring qualitative spatiotemporal change for geosensor networks , 2006, Int. J. Geogr. Inf. Sci..

[27]  M. Egenhofer,et al.  Point-Set Topological Spatial Relations , 2001 .

[28]  Satish Kumar,et al.  Next century challenges: scalable coordination in sensor networks , 1999, MobiCom.

[29]  Antony Galton.  Continuous Change in Spatial Region , 1997, COSIT.

[31]  Stephan Winter,et al.  Topological relations between discrete regions , 1995 .

[32]  Michael F. Worboys,et al.  Qualitative Change to 3-Valued Regions , 2010, GIScience.

[33]  Rui Li,et al.  The Endpoint Hypothesis: A Topological-Cognitive Assessment of Geographic Scale Movement Patterns , 2009, COSIT.

[34]  Eliseo Clementini,et al.  A Small Set of Formal Topological Relationships Suitable for End-User Interaction , 1993, SSD.

[35]  Nicola Santoro,et al.  Design and analysis of distributed algorithms , 2006, Wiley series on parallel and distributed computing.

[36]  Azriel Rosenfeld,et al.  Digital topology: Introduction and survey , 1989, Comput. Vis. Graph. Image Process..

[37]  Wei Hong,et al.  Proceedings of the 5th Symposium on Operating Systems Design and Implementation Tag: a Tiny Aggregation Service for Ad-hoc Sensor Networks , 2022 .

[38]  Max J. Egenhofer,et al.  On the Equivalence of Topological Relations , 1995, Int. J. Geogr. Inf. Sci..

[39]  Longin Jan Latecki,et al.  Digital Topology , 1994 .