Filters








8,738 Hits in 4.8 sec

Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL [article]

L. Nenzi, L. Bortolussi, V. Ciancia, M. Loreti, M. Massink
2018 arXiv   pre-print
a given spatio-temporal property.  ...  In this paper we present the Signal Spatio-Temporal Logic (SSTL), a modal logic that can be used to specify spatio-temporal properties of linear time and discrete space models.  ...  To support qualitative and quantitative monitoring of SSTL properties, a prototype tool has been developed.  ... 
arXiv:1706.09334v3 fatcat:pp6rcpzz7jb5de5x26w2se5dfe

Qualitative and Quantitative Monitoring of Spatio-Temporal Properties [chapter]

Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink
2015 Lecture Notes in Computer Science  
We address the specification and verification of spatio-temporal behaviours of complex systems, extending Signal Spatio-Temporal Logic (SSTL) with a spatial operator capable of specifying topological properties  ...  We illustrate the expressiveness of SSTL and the effectiveness of the monitoring procedures on the formation of patterns in a Turing reaction-diffusion system.  ...  Logical specification and monitoring of temporal properties is a welldeveloped area.  ... 
doi:10.1007/978-3-319-23820-3_2 fatcat:nvieotx67rdqlps7o237tg4kjy

MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties [article]

Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Simone Silvetti
2021 arXiv   pre-print
We present MoonLight, a tool for monitoring temporal and spatio-temporal properties of mobile and spatially distributed cyber-physical systems (CPS).  ...  MoonLight is implemented in Java and supports the monitoring of Spatio-Temporal Reach and Escape Logic (STREL).  ...  This research has been partially supported by the Austrian FWF projects ZK-35 and W1255-N23, by the Italian PRIN project "SEDUCE" n. 2017TWRCNB and by the Italian PRIN project "IT-MaTTerS" n, 2017FTXR7S  ... 
arXiv:2104.14333v1 fatcat:tisnqr2ljvchhgzwgsekxtbroy

Monitoring mobile and spatially distributed cyber-physical systems

Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi
2017 Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design - MEMOCODE '17  
In this work, we pursue a complementary approach by introducing STREL a novel spatio-temporal logic that enables the specification of spatio-temporal requirements and their monitoring over the execution  ...  We propose both a qualitative and quantitative semantics based on constraint semirings, an algebraic structure suitable for constraint satisfaction and optimisation.  ...  and to enable the qualitative and quantitative spatio-temporal monitoring of such properties over spatially distributed CPS.  ... 
doi:10.1145/3127041.3127050 dblp:conf/memocode/BartocciBLN17 fatcat:rifwgo3t3jcwbjkqu4smwsjv3a

Developments in remote sensing, dynamic modelling and GIS applications for integrated coastal zone management

Robert A. Van Zuidam, Jamshid Farifteh, Marieke A. Eleveld, Cheng Tao
1998 Journal of Coastal Conservation  
The third subproject leads to a spatio-temporal working platform which supports data integration of RS and in-situ measurements, and qualitative and quantitative analysis for the prediction of coastal  ...  The second subproject facilitates qualitative and quantitative analysis and prediction of the physical aspects of coastal landscape development under the influence of natural processes and human impacts  ...  The research was supported by the Survey Department of Rijkswaterstaat and by the ITC Research Fund.  ... 
doi:10.1007/bf02806511 fatcat:hrxgqfqsxrg3hfbbxroaqfymay

A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems [article]

L. Nenzi, E. Bartocci, L. Bortolussi, M. Loreti
2022 arXiv   pre-print
We revisit here the Spatio-Temporal Reach and Escape Logic (STREL), a logic-based formal language designed to express and monitor spatio-temporal requirements over the execution of mobile and spatially  ...  In this scenario, monitoring spatial and temporal properties plays a key role in the understanding of how complex behaviors can emerge from local and dynamic interactions.  ...  Acknowledgment This research has been partially supported by the Austrian FWF projects ZK-35 and W1255-N23, by the Italian PRIN project "SEDUCE" n. 2017TWRCNB and by the Italian PRIN project "IT-MaTTerS  ... 
arXiv:2105.11400v4 fatcat:drm3vkpabreklplhyfshiv3xjm

Geospatial Narratives and their Spatio-Temporal Dynamics: Commonsense Reasoning for High-level Analyses in Geographic Information Systems [article]

Mehul Bhatt, Jan Oliver Wallgruen
2013 arXiv   pre-print
With this as a basis, and within the backdrop of an illustrated scenario involving the spatio-temporal dynamics of urban narratives, we address specific problems and solutions techniques chiefly involving  ...  Building on formal methods in the areas of commonsense reasoning, qualitative reasoning, spatial and temporal representation and reasoning, reasoning about actions and change, and computational models  ...  The spatio-temporal aspects can be co-related with other kinds of quantitative and qualitative data (e.g., economic and demographic measures, census studies); however, a formal treatment of such correlations  ... 
arXiv:1307.2541v2 fatcat:d43muvnsnzaazlqdrkbem3zmbu

Geospatial Narratives and Their Spatio-Temporal Dynamics: Commonsense Reasoning for High-Level Analyses in Geographic Information Systems

Mehul Bhatt, Jan Wallgrün
2014 ISPRS International Journal of Geo-Information  
With this as a basis and within the backdrop of an illustrated scenario involving the spatio-temporal dynamics of urban narratives, we address specific problems and solution techniques chiefly involving  ...  Building on formal methods in the areas of commonsense reasoning, qualitative reasoning, spatial and temporal representation and reasoning, reasoning about actions and change and computational models of  ...  Mehul Bhattt gratefully acknowledges the funding and support of the German Research Foundation (DFG, www.dfg.de), via the Spatial Cognition Research Center (SFB/TR8), and the SFB/TR 8 Project DesignSpace  ... 
doi:10.3390/ijgi3010166 fatcat:i4ldhndv3jcxdgi2kj7pttvofa

A Semantic Mediator for Handling Heterogeneity of Spatio-Temporal Environment Data [chapter]

Ba-Huy Tran, Christine Plumejeaud-Perreau, Alain Bouju, Vincent Bretagnolle
2015 Communications in Computer and Information Science  
We show how a framework which uses a spatio-temporal ontology as a semantic mediator can solve challenges related to the analysis and maintenance of these heterogeneous data.  ...  From a case study, we summarize the difficulties encountered by biologists and ecologists experts when maintaining and analyzing environmental data, essentially the spatial organization of the landscape  ...  The ontology is used first to describe the temporal content of Web pages and temporal properties of web services.  ... 
doi:10.1007/978-3-319-24129-6_33 fatcat:afu4r2tjvbdpbpfknrz26zeicq

Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic [chapter]

Ezio Bartocci, Luca Bortolussi, Dimitrios Milios, Laura Nenzi, Guido Sanguinetti
2015 Lecture Notes in Computer Science  
and system design of spatio-temporal properties.  ...  In [10, 24] , the authors provide a qualitative and quantitative semantics of SSTL and efficient monitoring algorithms for both semantics.  ...  These properties are specified using the spatio-temporal logic SSTL.  ... 
doi:10.1007/978-3-319-26916-0_9 fatcat:c7gkyopeevdrne6dkeez736qyi

Detection of aortic wall inclusions using regional pulse wave propagation and velocity in silico

Danial Shahmirzadi, Elisa E. Konofagou
2012 Artery Research  
In each case, spatio-temporal maps of the wall motion were used to analyze the regional pulse wave propagation.  ...  Monitoring of the regional stiffening of the arterial wall may prove important in the diagnosis of various vascular pathologies.  ...  Acknowledgements This study was supported in part by the National Institutes of Health (R01-HL098830).  ... 
doi:10.1016/j.artres.2012.05.004 pmid:24235978 pmcid:PMC3824606 fatcat:rosq642nzjcbdjpbgc5wl3kpvy

Identification of geodynamic movements based on the results of geodetic monitoring measurements

Andrey Panzhin, I. Rasskazov, S. Tkach
2020 E3S Web of Conferences  
The methodology and results of an experimental study of modern geodynamic movements using the data from geodetic deformation monitoring are presented.  ...  It is shown that as a key source of information on geodynamic movements over large spatio-temporal intervals, it is advisable to use not the absolute values of the vectors of displacement of observation  ...  Meantime, much depends on the research adequate to the object and its components: identification and visualization of both quantitative and qualitative spatio-temporal information [4] .  ... 
doi:10.1051/e3sconf/202019204001 fatcat:atinj4dlmne3jckmk6hkuqek54

Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications [chapter]

Ezio Bartocci, Jyotirmoy Deshmukh, Alexandre Donzé, Georgios Fainekos, Oded Maler, Dejan Ničković, Sriram Sankaranarayanan
2018 Lecture Notes in Computer Science  
In this chapter, we summarise the state-of-the-art techniques for qualitative and quantitative monitoring of CPS behaviours.  ...  As such they can replace or complement tedious manual inspection of simulation traces or ad hoc programming of property testers.  ...  Ničković acknowledge the partial support of the EU ICT COST Action IC1402 on Runtime Verification beyond Monitoring (ARVI) and of the HARMONIA (845631) project, funded by a national Austrian grant from  ... 
doi:10.1007/978-3-319-75632-5_5 fatcat:2m52qvfax5cn3fgyhcl3piy2ui

Efficient Satellite Image Time Series Analysis Under Time Warping

Francois Petitjean, Jonathan Weber
2014 IEEE Geoscience and Remote Sensing Letters  
While dealing with spatial and temporal dimensions of SITS at the same time had already proven to be very challenging, this article proves that taking advantage of the spatial and temporal connectivities  ...  In this letter, we show that its non-linear distortion behavior is compatible with the use of a spatio-temporal segmentation of the data cube that is formed by a satellite image time series (SITS).  ...  The F-measure corresponds to the harmonic mean between precision (P) and recall (R): F = 2 · P · R P+R . B. Results We present quantitative and qualitative results.  ... 
doi:10.1109/lgrs.2013.2288358 fatcat:qcry6p7i2ngojoqgoy5kaxuq34

Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis (Dagstuhl Seminar 14512)

Jane Hillston, Jeremy Pitt, Martin Wirsing, Franco Zambonelli, Marc Herbstritt
2015 Dagstuhl Reports  
This report documents the program and the outcomes of Dagstuhl Seminar 14512 "Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis".  ...  Modelling and engineering collective adaptive systems (CAS) has to take into account such "emergent" properties in addition to satisfying functional and quantitative requirements.  ...  Some such properties are spatio-temporal in nature and spatial [12, 10] and spatio-temporal model-checking [11] could be one of the techniques to be considered to automatically verify such properties  ... 
doi:10.4230/dagrep.4.12.68 dblp:journals/dagstuhl-reports/HillstonPWZ14 fatcat:65ubygwg6zht3pdl4mgynl2knq
« Previous Showing results 1 — 15 out of 8,738 results