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
Journal ArticleDOI
Robust LQR for time-inhomogeneous Markov jump switched linear systems
TL;DR: This work presents and solves for this class of systems the finite horizon optimal control problem in a polytopic time-inhomogeneous setting, where the transition probabilities associated to each discrete action are varying over time.
Journal ArticleDOI
Design of a Motorcycle Engine Control Unit Using an Integrated Control-Implementation Approach
Andrea Balluchi,Maria Domenica Di Benedetto,Alberto Ferrari,Giovanni Gaviani,Giovanni Girasole,Claudio Grossi,Walter Nesci,Michele Pennese,Alberto Sangiovanni-Vincentelli +8 more
TL;DR: In this article, the authors illustrate the application of an integrated control-implementation design methodology to the development of the top few layers of abstraction in the design flow of an engine control system for motorcycles.
Posted Content
Hide-and-Seek with Directional Sensing
TL;DR: A novel search heuristic is presented and bounds on the expected distance covered before reaching the object are characterized and it is observed that, when the randomized sampling approach is only allowed to select a very small number of samples, the costs of the heuristic are comparable to the security level provided by the randomized procedure.
Journal ArticleDOI
Approximate Diagnosis of Metric Systems
TL;DR: This letter introduces and characterize the notion of approximate diagnosability for the general class of metric systems, which are typically used in the research community working on hybrid systems to deal with complex heterogeneous processes in, e.g., cyber-physical systems.
Proceedings ArticleDOI
An assume-guarantee approach to sampled-data quantized glucose control
TL;DR: In this paper, assume-guarantee contracts theory is applied to the glucose regulation system, a topic of major importance in diabetes treatment, in the context of the so-called Artificial Pancreas.