M
Maria Domenica Di Benedetto
Researcher at University of L'Aquila
Publications - 154
Citations - 2722
Maria Domenica Di Benedetto is an academic researcher from University of L'Aquila. The author has contributed to research in topics: Hybrid system & Bisimulation. The author has an hindex of 25, co-authored 148 publications receiving 2385 citations. Previous affiliations of Maria Domenica Di Benedetto include Sapienza University of Rome.
Papers
More filters
Proceedings ArticleDOI
Symbolic models for networks of discrete-time nonlinear control systems
TL;DR: A network of symbolic models can be constructed which approximates a network of incrementally stable control systems in the sense of approximate bisimulation with any desired accuracy under some small gain theorem-type conditions.
Journal ArticleDOI
Observability and diagnosability of finite state systems: A unifying framework
TL;DR: The proposed framework makes it possible to precisely compare some of the observability and diagnosability notions existing in the literature with the ones introduced in the paper, and this comparison is presented.
Posted Content
Observability and diagnosability of finite state systems: a unifying framework
TL;DR: In this article, a general framework for the analysis and characterization of observability and diagnosability of finite state systems is proposed, where observability corresponds to the reconstruction of the system's discrete state, while diagnostic means the possibility of determining the past occurrence of some particular states, for example faulty states.
Journal ArticleDOI
Randomized sampling for large zero-sum games
Shaunak D. Bopardikar,Alessandro Borri,Joao P. Hespanha,Maria Prandini,Maria Domenica Di Benedetto +4 more
TL;DR: This paper formalizes a procedure, termed as the sampled security policy (SSP) algorithm, by which a player can compute policies that, with a high confidence, are security policies against an adversary using randomized methods to explore the possible outcomes of the game.
Journal ArticleDOI
Symbolic control design of nonlinear systems with outputs
TL;DR: This paper focuses on a control problem where the plant is described by a possibly unstable continuous-time nonlinear control system, the controller is dynamic, digital and quantized, and takes as input a (quantized) measurement of the output of the plant, and the specification is expressed in terms of regular languages.