Zobrazeno 1 - 10
of 26
pro vyhledávání: '"Cairoli, Francesca"'
This tutorial focuses on efficient methods to predictive monitoring (PM), the problem of detecting at runtime future violations of a given requirement from the current state of a system. While performing model checking at runtime would offer a precis
Externí odkaz:
http://arxiv.org/abs/2312.01959
We consider the problem of predictive monitoring (PM), i.e., predicting at runtime the satisfaction of a desired property from the current system's state. Due to its relevance for runtime safety assurance and online control, PM methods need to be eff
Externí odkaz:
http://arxiv.org/abs/2211.02375
Parametric verification of linear temporal properties for stochastic models can be expressed as computing the satisfaction probability of a certain property as a function of the parameters of the model. Smoothed model checking (smMC) aims at inferrin
Externí odkaz:
http://arxiv.org/abs/2205.05398
We consider the problem of predictive monitoring (PM), i.e., predicting at runtime future violations of a system from the current state. We work under the most realistic settings where only partial and noisy observations of the state are available at
Externí odkaz:
http://arxiv.org/abs/2108.07134
Markov Population Models are a widespread formalism used to model the dynamics of complex systems, with applications in Systems Biology and many other fields. The associated Markov stochastic process in continuous time is often analyzed by simulation
Externí odkaz:
http://arxiv.org/abs/2106.12981
Autor:
Bortolussi, Luca, Cairoli, Francesca, Carbone, Ginevra, Franchina, Francesco, Regolin, Enrico
We introduce a novel learning-based approach to synthesize safe and robust controllers for autonomous Cyber-Physical Systems and, at the same time, to generate challenging tests. This procedure combines formal methods for model verification with Gene
Externí odkaz:
http://arxiv.org/abs/2009.02019
Publikováno v:
In Theoretical Computer Science August 2023
Autor:
Bortolussi, Luca, Cairoli, Francesca, Carbone, Ginevra, Franchina, Francesco, Regolin, Enrico
Publikováno v:
In IFAC PapersOnLine 2021 54(5):223-228
Autor:
CAIROLI, FRANCESCA
Cyber-Physical Systems (CPS) consist of digital devices that interact with some physical components. Their popularity and complexity are growing exponentially, giving birth to new, previously unexplored, safety-critical application domains. As CPS pe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dris___01099::f0779ff1d7ff474b632e4db474142c4f
https://hdl.handle.net/11368/3031103
https://hdl.handle.net/11368/3031103
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.