1 code implementation • 31 Aug 2023 • Alessandro Tundo, Marco Mobilio, Shashikant Ilager, Ivona Brandić, Ezio Bartocci, Leonardo Mariani
In this paper, we present an energy-aware approach for the design and deployment of self-adaptive AI-based applications that can balance application objectives (e. g., accuracy in object detection and frames processing rate) with energy consumption.
no code implementations • 10 Jul 2023 • Roman Andriushchenko, Ezio Bartocci, Milan Ceska, Francesco Pontiggia, Sarah Sallinger
Our specification language builds on top of the logic HyperPCTL and enhances it with structural constraints over the synthesized controllers.
no code implementations • 21 Sep 2021 • Jie He, Ezio Bartocci, Dejan Ničković, Haris Isakovic, Radu Grosu
In this paper we propose DeepSTL, a tool and technique for the translation of informal requirements, given as free English sentences, into Signal Temporal Logic (STL), a formal specification language for cyber-physical systems, used both by academia and advanced research labs in industry.
no code implementations • 6 Apr 2021 • Suhail Alsalehi, Noushin Mehdipour, Ezio Bartocci, Calin Belta
We propose a framework for solving control synthesis problems for multi-agent networked systems required to satisfy spatio-temporal specifications.
no code implementations • 31 Oct 2020 • Meiyi Ma, John Stankovic, Ezio Bartocci, Lu Feng
We develop a novel approach for monitoring sequential predictions generated from Bayesian Recurrent Neural Networks (RNNs) that can capture the inherent uncertainty in CPS, drawing on insights from our study of real-world CPS datasets.
no code implementations • 18 Jul 2020 • Ezio Bartocci, Laura Kovács, Miroslav Stankovič
Prob-solvable loops are probabilistic programs with polynomial assignments over random variables and parametrised distributions, for which the full automation of moment-based invariant generation is decidable.
1 code implementation • 25 Apr 2019 • Iman Haghighi, Noushin Mehdipour, Ezio Bartocci, Calin Belta
We present a framework to synthesize control policies for nonlinear dynamical systems from complex temporal constraints specified in a rich temporal logic called Signal Temporal Logic (STL).
Systems and Control
no code implementations • 16 Oct 2018 • Denise Ratasich, Faiq Khalid, Florian Geissler, Radu Grosu, Muhammad Shafique, Ezio Bartocci
Furthermore, this paper presents the main challenges in building a resilient IoT for CPS which is crucial in the era of smart CPS with enhanced connectivity (an excellent example of such a system is connected autonomous vehicles).
no code implementations • 13 Nov 2017 • Laura Nenzi, Simone Silvetti, Ezio Bartocci, Luca Bortolussi
We consider the problem of mining signal temporal logical requirements from a dataset of regular (good) and anomalous (bad) trajectories of a dynamical system.
no code implementations • 21 Dec 2016 • Anna Lukina, Lukas Esterle, Christian Hirsch, Ezio Bartocci, Junxing Yang, Ashish Tiwari, Scott A. Smolka, Radu Grosu
Inspired by Importance Splitting, the length of the horizon and the number of particles are chosen such that at least one particle reaches a next-level state, that is, a state where the cost decreases by a required delta from the previous-level state.
1 code implementation • 27 Oct 2015 • Alena Rodionova, Ezio Bartocci, Dejan Nickovic, Radu Grosu
We also provide a quantitative semantics for MTL, which measures the normalized, maximum number of times a formula is satisfied within its associated kernel, by a given signal.
Logic in Computer Science 03B44 F.4.1; D.3.1
no code implementations • 13 Feb 2015 • Konstantin Selyunin, Denise Ratasich, Ezio Bartocci, Radu Grosu
We introduce Deep Neural Programs (DNP), a novel programming paradigm for writing adaptive controllers for cy-ber-physical systems (CPS).
no code implementations • 12 Sep 2014 • Ebru Aydin Gol, Ezio Bartocci, Calin Belta
We propose a technique to detect and generate patterns in a network of locally interacting dynamical systems.
no code implementations • 29 Dec 2013 • Ezio Bartocci, Luca Bortolussi, Guido Sanguinetti
We present a novel approach to learn the formulae characterising the emergent behaviour of a dynamical system from system observations.
no code implementations • 3 Sep 2013 • Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Guido Sanguinetti
By discussing two examples, we show how to approximate the distribution of the robustness score and its key indicators: the average robustness and the conditional average robustness.
no code implementations • 24 Aug 2013 • Ezio Bartocci, Radu Grosu
We discuss the problem of runtime verification of an instrumented program that misses to emit and to monitor some events.