Formal and conceptual modeling of spatio-temporal granularities

Belussi, Alberto; Combi, Carlo; Pozzani, Gabriele

doi:10.1145/1620432.1620462

Cited by 20 publications

(18 citation statements)

References 19 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…A few authors have discussed the modeling challenges brought by such systems [3], [4], [5], [6], [7], [8], and have demonstrated their relevance in some application domains such as medical data.…”

Section: Introduction and Overviewmentioning

confidence: 99%

Automata-based Verification of Linear Temporal Logic Models with Bounded Variability

Furia

Spoletini

2012

2012 19th International Symposium on Temporal Representation and Reasoning

View full text Add to dashboard Cite

Abstract-A model has variability bounded by v/k when the state changes at most v times over any linear interval containing k time instants. When interpreted over models with bounded variability, specification formulae that contain redundant metric information-through the usage of next operators-can be simplified without affecting their validity. This paper shows how to harness this simplification in practice: we present a translation of LTL into Büchi automata that removes redundant metric information, hence makes for more efficient verification over models with bounded variability. To show the feasibility of the approach, we also implement a proofof-concept translation in ProMeLa and verify it using the Spin off-the-shelf model checker.

show abstract

Section: Introduction and Overviewmentioning

confidence: 99%

Automata-based Verification of Linear Temporal Logic Models with Bounded Variability

Furia

Spoletini

2012

2012 19th International Symposium on Temporal Representation and Reasoning

View full text Add to dashboard Cite

show abstract

“…Granularities are partitions of the space domain in disjoint sets of points called granules. Definitions of spatial granularities have been proposed in [2,3,12]. Usual spatial granularities are, for example, Municipalities and Countries.…”

Section: Introductionmentioning

confidence: 99%

“…These granularities can be organized in a lattice according to the relationships existing between them. Relationships between spatial granularities have been proposed in [2,3].…”

Section: Introductionmentioning

confidence: 99%

“…In this section we briefly present the definition of spatial granularity proposed in [2]. A spatial granularity represents a partition of a space domain in disjoint regions, called granules.…”

Section: Introductionmentioning

confidence: 99%

“…In [2] spatial granularities are defined by using a two-level model. The lower level represents the spatial domain, on which we can recognize geometrical information and in which vector data representing granules are defined.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

An inference system for relationships between spatial granularities

Pozzani

Combi

2011

Proceedings of the 19th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems

Self Cite

View full text Add to dashboard Cite

Spatial granularities allow one to qualify classical data adding them space locations. In order to compare data qualified with different granularities and to associate data to different granularities (e.g., in analysis similar to drill-down and roll-up operations), it is necessary to know how the involved granularities are related. However, the explicit evaluation of these relationships may be heavy from a computational point of view. Moreover, the explicit evaluation of these relationships could not be requested, as relationships can be derived from already established ones. Thus, in this paper, we propose an inference system for deriving spatial relationships that definitely hold, starting from a given set of relationships between spatial granularities, without evaluating them explicitly.

show abstract

A Multi-granular Database Model

Bravo

Rodríguez

2014

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Formal and conceptual modeling of spatio-temporal granularities

Cited by 20 publications

References 19 publications

Automata-based Verification of Linear Temporal Logic Models with Bounded Variability

Automata-based Verification of Linear Temporal Logic Models with Bounded Variability

An inference system for relationships between spatial granularities

A Multi-granular Database Model

Contact Info

Product

Resources

About