Research Scotland logo
View Item 
  •   Research Scotland Home
  • Biomathematics and Statistics Scotland (BioSS)
  • Journals
  • View Item
  •   Research Scotland Home
  • Biomathematics and Statistics Scotland (BioSS)
  • Journals
  • View Item
  •   Research Scotland Home
  • Biomathematics and Statistics Scotland (BioSS)
  • Journals
  • View Item
  • Login
JavaScript is disabled for your browser. Some features of this site may not work without it.

Analysis of Spatiotemporal Properties of Stochastic Systems Using TSTL

Thumbnail
Date
01/12/2019
Author
Vissat, L.L.
Loreti, M.
Nenzi, L.
Hillston, J.
Marion, G.
Publisher
ACM - Association for Computing Machinery
Version
2019-12-05
2019-12-05
Metadata
Show full item record
Abstract
In this article, we present Three-Valued Spatiotemporal Logic (TSTL), which enriches the available spatiotemporal analysis of properties expressed in Signal Spatiotemporal Logic (SSTL), to give further insight into the dynamic behavior of systems. Our novel analysis starts from the estimation of satisfaction probabilities of given SSTL properties and allows the analysis of their temporal and spatial evolution. Moreover, in our verification procedure, we use a three-valued approach to include the intrinsic and unavoidable uncertainty related to the simulation-based statistical evaluation of the estimates; this can be also used to assess the appropriate number of simulations to use depending on the analysis needs. We present the syntax and three-valued semantics of TSTL and specific extended monitoring algorithms to check the validity of TSTL formulas. We introduce a reliability requirement for TSTL monitoring and an automatic procedure to verify it. Two case studies demonstrate how TSTL broadens the application of spatiotemporal logics in realistic scenarios, enabling analysis of threat monitoring and privacy preservation based on spatial stochastic population models.
DOI
https://doi.org/10.1145/3326168
Link
https://hdl.handle.net/20.500.12594/10108
Citation
ACM Transactions on Modeling and Computer Simulation (TOMACS), 29 (4), Article 20
Collections
  • Journals [121]
©Research Scotland Consortium
c/o RGBE 20a Inverleith Row
EH3 5LR
Edinburgh, Scotland, UK

Tel: 0131 248 2850
Email: info@ResearchScotland.ac.uk
Items in Research Scotland are protected by copyright with all rights reserved unless otherwise indicated.
  • Privacy & Cookies
  • Takedown Policy
  • Accessibility
  • Policies
  • Contact
Privacy & Cookies
Takedown Policy
Accessibility
Policies
Contact
 
Advanced Search

Browse

All of Research ScotlandPartners & CollectionsBy Issue DateAuthorsTitlesSubjectsPublishersThis CollectionBy Issue DateAuthorsTitlesSubjectsPublishers

My Account

LoginRegister
©Research Scotland Consortium
c/o RGBE 20a Inverleith Row
EH3 5LR
Edinburgh, Scotland, UK

Tel: 0131 248 2850
Email: info@ResearchScotland.ac.uk
Items in Research Scotland are protected by copyright with all rights reserved unless otherwise indicated.
  • Privacy & Cookies
  • Takedown Policy
  • Accessibility
  • Policies
  • Contact
Privacy & Cookies
Takedown Policy
Accessibility
Policies
Contact