scispace - formally typeset
Search or ask a question
Author

Maria Prandini

Bio: 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
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.

458 citations

Journal ArticleDOI
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.

337 citations

Journal ArticleDOI
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.
Abstract: Conflict detection and resolution schemes operating at the mid-range and short-range level of the air traffic management process are discussed. Probabilistic models for predicting the aircraft position in the near-term and mid-term future are developed. Based on the mid-term prediction model, the maximum instantaneous probability of conflict is proposed as a criticality measure for two aircraft encounters. Randomized algorithms are introduced to efficiently estimate this measure of criticality and provide quantitative bounds on the level of approximation introduced. For short-term detection, approximate closed-form analytical expressions for the probability of conflict are obtained, using the short-term prediction model. Based on these expressions, an algorithm for decentralized conflict detection and resolution that generalizes potential fields methods for path planning to a probabilistic dynamic environment is proposed. The algorithms are validated using Monte Carlo simulations.

299 citations

Journal ArticleDOI
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.

190 citations

Journal ArticleDOI
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.
Abstract: In this paper, we study the problem of designing optimal coordinated maneuvers for multiple aircraft conflict resolution. We propose an energy function to select among all the conflict-free maneuvers the optimal one. The introduced cost function incorporates a priority mechanism that favors those maneuvers where aircraft with lower priority assume more responsibility in resolving the predicted conflicts. The energy-minimizing resolution maneuvers may involve changes of heading and speed, as well as of altitude. However, vertical maneuvers are penalized with respect to horizontal ones for the sake of passenger comfort. A geometric construction and a numerical algorithm for computing the optimal resolution maneuvers are given in the two aircraft case. As for the multiaircraft case, an approximation scheme is proposed to compute a suboptimal two-legged solution. Extensive examples are presented to illustrate the effectiveness of the proposed algorithms.

152 citations


Cited by
More filters
Christopher M. Bishop1
01 Jan 2006
TL;DR: Probability distributions of linear models for regression and classification are given in this article, along with a discussion of combining models and combining models in the context of machine learning and classification.
Abstract: Probability Distributions.- Linear Models for Regression.- Linear Models for Classification.- Neural Networks.- Kernel Methods.- Sparse Kernel Machines.- Graphical Models.- Mixture Models and EM.- Approximate Inference.- Sampling Methods.- Continuous Latent Variables.- Sequential Data.- Combining Models.

10,141 citations

Journal ArticleDOI
05 Mar 2007
TL;DR: A theoretical framework for analysis of consensus algorithms for multi-agent networked systems with an emphasis on the role of directed information flow, robustness to changes in network topology due to link/node failures, time-delays, and performance guarantees is provided.
Abstract: This paper provides a theoretical framework for analysis of consensus algorithms for multi-agent networked systems with an emphasis on the role of directed information flow, robustness to changes in network topology due to link/node failures, time-delays, and performance guarantees. An overview of basic concepts of information consensus in networks and methods of convergence and performance analysis for the algorithms are provided. Our analysis framework is based on tools from matrix theory, algebraic graph theory, and control theory. We discuss the connections between consensus problems in networked dynamic systems and diverse applications including synchronization of coupled oscillators, flocking, formation control, fast consensus in small-world networks, Markov processes and gossip-based algorithms, load balancing in networks, rendezvous in space, distributed sensor fusion in sensor networks, and belief propagation. We establish direct connections between spectral and structural properties of complex networks and the speed of information diffusion of consensus algorithms. A brief introduction is provided on networked systems with nonlocal information flow that are considerably faster than distributed systems with lattice-type nearest neighbor interactions. Simulation results are presented that demonstrate the role of small-world effects on the speed of consensus algorithms and cooperative control of multivehicle formations

9,715 citations

Journal ArticleDOI
TL;DR: In this article, the authors reviewed some main results and progress in distributed multi-agent coordination, focusing on papers published in major control systems and robotics journals since 2006 and proposed several promising research directions along with some open problems that are deemed important for further investigations.
Abstract: This paper reviews some main results and progress in distributed multi-agent coordination, focusing on papers published in major control systems and robotics journals since 2006. Distributed coordination of multiple vehicles, including unmanned aerial vehicles, unmanned ground vehicles, and unmanned underwater vehicles, has been a very active research subject studied extensively by the systems and control community. The recent results in this area are categorized into several directions, such as consensus, formation control, optimization, and estimation. After the review, a short discussion section is included to summarize the existing research and to propose several promising research directions along with some open problems that are deemed important for further investigations.

1,814 citations

Book ChapterDOI
11 Dec 2012

1,704 citations