M
Maria Prandini
Researcher at Polytechnic University of Milan
Publications - 219
Citations - 4710
Maria Prandini is an academic researcher from Polytechnic University of Milan. The author has contributed to research in topics: Probabilistic logic & Optimization problem. The author has an hindex of 29, co-authored 212 publications receiving 4032 citations. Previous affiliations of Maria Prandini include University of Oxford & Brescia University.
Papers
More filters
Journal ArticleDOI
Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
TL;DR: In this work, probabilistic reachability over a finite horizon is investigated for a class of discrete time stochastic hybrid systems with control inputs and it is revealed that it is amenable to two complementary interpretations, leading to dual algorithms for reachability computations.
Journal ArticleDOI
The scenario approach for systems and control design
TL;DR: The scenario approach is illustrated at a tutorial level, focusing mainly on algorithmic aspects, and its versatility and virtues will be pointed out through a number of examples in model reduction, robust and optimal control.
Journal ArticleDOI
A probabilistic approach to aircraft conflict detection
TL;DR: An algorithm for decentralized conflict detection and resolution that generalizes potential fields methods for path planning to a probabilistic dynamic environment is proposed and validated using Monte Carlo simulations.
Journal ArticleDOI
Approximate Model Checking of Stochastic Hybrid Systems
TL;DR: Under certain regularity conditions on the transition and reset kernels governing the dynamics of the stochastic hybrid system, the invariance probability computed using the approximating Markov chain is shown to converge to the invariant probability of the original stochastics hybrid system as the grid used in the approximation gets finer.
Journal ArticleDOI
Optimal coordinated maneuvers for three dimensional aircraft conflict resolution
TL;DR: In this article, an energy function was proposed to select among all the conflict-free maneuvers the optimal one, and a geometric construction and a numerical algorithm for computing the optimal resolution maneuvers were given in the two aircraft case.