Dynamic spatio‐temporal logic based on RCC‐8

Cheng, Haitao; Wang, Ruchuan; Xu, He

doi:10.1002/cpe.5900

Cited by 6 publications

(1 citation statement)

References 32 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Many efforts have been made to describe the geometric semantics of general objects, usually in the form of qualitative spatial relations [25], such as cone-shaped direction [26], projection-based direction [27], and double-cross direction calculus [28]. Among them, RCC (Region Connection Calculus) [29][30][31][32][33] and n-intersections [19,[34][35][36] are the most representative. Many existing approaches are extensions or improvements of these two approaches.…”

Section: Related Workmentioning

confidence: 99%

A Formal Representation of the Semantics of Structural Geological Models

Zhan

Cai

2022

Scientific Programming

View full text Add to dashboard Cite

A structural geological model describes the structure of subsurface and plays an important role in the exploration of mineral and petroleum resources. Despite the widespread use of three-dimensional geological models, the theoretical research of informatics in the field of structural geology is still very limited. We have noticed a lack of methods for integrating explicit semantics of field observation data and geophysical data into geological models. The existing model representation methods focus on accurately representing the geometric morphological information of underground structures, ignoring the high-level semantics implied in the model. The formal representation of the semantic information is necessary to promote the development of intelligent methods in geomodeling and geophysical inversion. In this paper, we propose a new framework to formally represent the semantics of structural geological models with a clear distinction of geometric and geological semantics. For the geometric semantics, based on the extension of the 9-intersection model, we mathematically define the spatial topological relations between geometric objects that make up the geological model. For the geological semantics, we define the geological contact and compositional relations between geological bodies and geological surfaces and reveal the temporal implications of these geological relationships. We design a multilayer heterogeneous network as a computer characterization of the semantics of the geological model. A better representation of semantic information aids in the creation and validation of geological models, as well as management, queries, and analyses of geological knowledge.

show abstract

Section: Related Workmentioning

confidence: 99%

A Formal Representation of the Semantics of Structural Geological Models

Zhan

Cai

2022

Scientific Programming

View full text Add to dashboard Cite

show abstract

Keywords Query of uncertain spatiotemporal data based on XML

Zhu

Bai

et al. 2023

Earth Sci Inform

View full text Add to dashboard Cite

Statistical Model Checking for Stochastic and Hybrid Autonomous Driving Based on Spatio-Clock Constraints

Wang¹,

Huang²,

Shen³

et al. 2022

Int. J. Soft. Eng. Knowl. Eng.

View full text Add to dashboard Cite

Autonomous driving vehicles are a kind of typical cyber-physical systems integrating complex interactions between hardware and software components such as collaborative computation, distributed communication, and spatio-clock synchronous control with surrounding traffic environment. They can percept the environment, communicate with surroundings, and react fast enough to control independently. The purpose of autonomous driving emergence is to improve driving safety, reduce environmental pollution, and ease the traffic congestion. However, new features with surrounding open and dynamic environment make systems design and verification becoming more and more complex than ever, such as stochastic communication delay, hardware spontaneous failure distribution, and natively hybrid behaviors described by ordinary differential equations. Spatial and time collision avoidance remains crucial obstacles on the path to becoming ubiquitous and dependable. In this paper, we adopt statistical model checking (SMC) to enlighten possible hazards affected by stochastic and hybrid features in the design phase of autonomous driving systems. In order to provide safety and accountability, we first propose a dedicated multi-lane spatio-clock stochastic specification language (MLSCL) to describe safety invariants and guards in domain-specific autonomous driving systems. Then, we present the semantic mapping rules between MLSCL and UPPAAL SMC models, and design the spatio-clock stochastic and hybrid automata based on MLSCL in order to model inherently stochastic and hybrid behaviors. Finally, we present an illustrative lane-change case study to verify spatio-clock stochastic and hybrid-related properties adopting SMC, and demonstrate the effectiveness of our proposed approach.

show abstract

Dynamic spatio‐temporal logic based on RCC‐8

Cited by 6 publications

References 32 publications

A Formal Representation of the Semantics of Structural Geological Models

A Formal Representation of the Semantics of Structural Geological Models

Keywords Query of uncertain spatiotemporal data based on XML

Statistical Model Checking for Stochastic and Hybrid Autonomous Driving Based on Spatio-Clock Constraints

Contact Info

Product

Resources

About