Zobrazeno 1 - 10
of 71
pro vyhledávání: '"Nenzi L."'
Publikováno v:
Logical Methods in Computer Science, Volume 18, Issue 1 (January 7, 2022) lmcs:7505
Cyber-Physical Systems (CPS) consist of inter-wined computational (cyber) and physical components interacting through sensors and/or actuators. Computational elements are networked at every scale and can communicate with each other and with humans. N
Externí odkaz:
http://arxiv.org/abs/2105.11400
Publikováno v:
Logical Methods in Computer Science, Volume 14, Issue 4, Modal and temporal logics (October 23, 2018) lmcs:3774
In spatially located, large scale systems, time and space dynamics interact and drives the behaviour. Examples of such systems can be found in many smart city applications and Cyber-Physical Systems. In this paper we present the Signal Spatio-Tempora
Externí odkaz:
http://arxiv.org/abs/1706.09334
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Logical Methods in Computer Science 14 (2018): 1–38. doi:10.23638/LMCS-14(4:2)2018
info:cnr-pdr/source/autori:Nenzi L.; Bortolussi L.; Ciancia V.; Loreti M.; Massink M./titolo:Qualitative and quantitative monitoring of spatio-temporal properties with SSTL/doi:10.23638%2FLMCS-14(4:2)2018/rivista:Logical Methods in Computer Science/anno:2018/pagina_da:1/pagina_a:38/intervallo_pagine:1–38/volume:14
info:cnr-pdr/source/autori:Nenzi L.; Bortolussi L.; Ciancia V.; Loreti M.; Massink M./titolo:Qualitative and quantitative monitoring of spatio-temporal properties with SSTL/doi:10.23638%2FLMCS-14(4:2)2018/rivista:Logical Methods in Computer Science/anno:2018/pagina_da:1/pagina_a:38/intervallo_pagine:1–38/volume:14
In spatially located, large scale systems, time and space dynamics interact and drives the behaviour. Examples of such systems can be found in many smart city applications and Cyber-Physical Systems. In this paper we present the Signal Spatio-Tempora
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ca8f8dbc939bd3c18c97e70bf92d7283
Publikováno v:
Project report, QUANTICOL, Deliverable D5.3, 2017
This deliverable is an account of the QUANTICOL software tool suite, with application to the smart city scenarios studied in the project. While Deliverable D4.3 focuses on the CARMA language and its implementation with the CARMA Eclipse plug-in, in t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a3644514978fcfc8189f5e978d8db31c
http://www.cnr.it/prodotto/i/384715
http://www.cnr.it/prodotto/i/384715
Autor:
Bortolussi L., Ciancia V., Gilmore S., Hillston J., Latella D., Loreti M., Massink M., Nenzi L., Paskauskas R., Tribastone M., Tschaikowski M.
Publikováno v:
ISTI Technical reports, 2016
This Internal Report describes the status of the work performed in the project on the extension of the theoretical foundations of scalable model-checking approaches with suitable notions of spatial verification. Various forms of scalable model-checki
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::00f68fa37f979e471e6416543cc3bc33
https://openportal.isti.cnr.it/doc?id=people______::00f68fa37f979e471e6416543cc3bc33
https://openportal.isti.cnr.it/doc?id=people______::00f68fa37f979e471e6416543cc3bc33
Publikováno v:
ISTI Technical reports, 2015
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 in a discrete space. The latter is mode
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e477d0566c23adbc484425a3def15700
https://openportal.isti.cnr.it/doc?id=people______::e477d0566c23adbc484425a3def15700
https://openportal.isti.cnr.it/doc?id=people______::e477d0566c23adbc484425a3def15700
Autor:
Galpin V., Bortolussi L., Ciancia V., Clark A., De Nicola R., Feng C., Gilmore S., Gast N., Hillston J., Lluch-Lafuente A., Loreti M., Massink M., Nenzi L., Reijsbergen D., Senni V., Tiezzi F., Tribastone M., Tschaikowski M.
Publikováno v:
Project report, QUANTICOL, Deliverable D2.1, 2014
Space is important in the QUANTICOL project because the project case studies include smart transport, and quantitative modelling of transport has inherent spatial aspects. This deliverable presents a review of the literature about spatial modelling w
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::336f5c0635d50901879359157354aee2
http://www.cnr.it/prodotto/i/362768
http://www.cnr.it/prodotto/i/362768
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.