scispace - formally typeset
Search or ask a question

Showing papers by "Maria Prandini published in 2010"


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: It is argued that synergies between methods developed by different communities in computer science, control engineering, and stochastic analysis should be exploited to allow progress in real life, large scale applications.

55 citations


Journal ArticleDOI
TL;DR: In this article, a probabilistic measure of the airspace occupancy is proposed to evaluate air traffic complexity in 3D airspace through uncertainty in the future aircraft positions, and analytic expressions of the complexity measure are derived.
Abstract: In this paper, we propose a new method to evaluate air traffic complexity in 3-D airspace through a probabilistic measure of the airspace occupancy. The key novelty of the approach is that uncertainty in the future aircraft positions is explicitly accounted for when evaluating complexity. Analytic—though approximate—expressions of the complexity measure are derived. Prospective applications for the proposed complexity metric include the timely identification of those multi-aircraft conflict situations that would be difficult to solve because of limited maneuverability space, and the design of trajectories so as to avoid congested regions that would require many tactical maneuvers to pass them through. Numerical examples are provided to illustrate the approach. Copyright © 2010 John Wiley & Sons, Ltd.

31 citations


Proceedings ArticleDOI
01 Dec 2010
TL;DR: A procedure by which a player can compute mixed policies that, with high probability, are security policies against an adversary that is also using randomized methods to solve the game is provided.
Abstract: This paper addresses the solution of large zero-sum matrix games using randomized methods. We provide a procedure by which a player can compute mixed policies that, with high probability, are security policies against an adversary that is also using randomized methods to solve the game. The computational savings result from solving subgames that are much smaller than the original game and we provide bounds on how large these subgames should be to guarantee the desired high probability. We propose two methodologies to solve this problem. The first provides a game-independent bound on the size of the subgames that can be computed a-priori. The second procedure is useful when computation limitations prevent a player from satisfying the first a-priori bound and provides a high-probability a-posteriori bound on how much the outcome of the game can violate the precomputed security level. All our probabilistic bounds are independent of the size of the original game and could, in fact, apply to games with continuous action spaces. To demonstrate the usefulness of these results, we apply them to solve a hide-and-seek game that exhibits exponential complexity.

22 citations


01 Jan 2010
TL;DR: A new method to evaluate air tra‐c complexity in 3-D airspace through a probabilistic measure of the airspace occupancy is proposed, ensuring that uncertainty in the future aircraft positions is explicitly accounted for when evaluating complexity.
Abstract: SUMMARY In this paper, we propose a new method to evaluate air tra‐c complexity in 3-D airspace through a probabilistic measure of the airspace occupancy. The key novelty of the approach is that uncertainty in the future aircraft positions is explicitly accounted for when evaluating complexity. Analytic {though approximate{ expressions of the complexity measure are derived. Prospective applications for the proposed complexity metric include the timely identiflcation of those multi-aircraft con∞ict situations that would be di‐cult to solve because of limited maneuverability space, and the design of trajectories so as to avoid congested regions that would require many tactical maneuvers to pass them through. Numerical examples are provided to illustrate the approach. Copyright c ∞ 2010 John Wiley & Sons, Ltd.

20 citations


Proceedings ArticleDOI
01 Dec 2010
TL;DR: A method for assessing air traffic complexity in the long term is presented, that may be used to detect critical situations with limited aircraft manoeuvrability in the time/space coordinates, and provide support to the flow/strategic trajectory management functions.
Abstract: In the prospective next generation Air Traffic Management systems, aircraft will be endowed with part of the responsibility for separation maintenance, and traffic complexity reduction functions will play an important role in avoiding to overload the on-board conflict resolution system. In this work, a method for assessing air traffic complexity in the long term is presented, that may be used to detect critical situations with limited aircraft manoeuvrability in the time/space coordinates, and provide support to the flow/strategic trajectory management functions. The method is based on the concept of ‘influence zone’ of an aircraft, which accounts for both the direction and velocity of the aircraft, and can be regarded as the set of possible locations reachable by an aircraft through local deviations from its intended trajectory. Complexity is then related to the presence and magnitude of intersections between influence zones of different aircraft. The influence zones (as well as other regions of the airspace to be avoided) can be approximated with polyhedra, and their interaction analyzed using efficient tools borrowed from computational geometry.

5 citations


01 Jan 2010
TL;DR: The relevant features of a complexity metric in advanced automated ATM systems where part of the responsibility for separation maintenance is delegated to the aircrews, and trajectory management functions are further automated and distributed are discussed.
Abstract: In this paper we study the issue of characterizing the complexity of air traffic to support Air Traffic Management (ATM) operations. We discuss, in particular, the relevant features of a complexity metric in advanced automated ATM systems where part of the responsibility for separation maintenance is delegated to the aircrews, and trajectory management functions are further automated and distributed. A probabilistic complexity metric is described and analyzed in some detail. Possible applications to conflict detection and resolution and trajectory management operations are presented through numerical examples.

2 citations


01 Jan 2010
TL;DR: A randomized approach to constrained control design for linear systems affected by stochastic disturbances is introduced, which builds on certain recent results in robust convex optimization.
Abstract: This paper deals with constrained control design for linear systems affected by stochastic disturbances. The goal is to optimize the control performance while guaranteeing that the constraints are satisfied for most of the disturbance realizations, that is with probability 1 − . In mathematical terms, this amounts to solve a “chance-constrained” optimization program and we introduce here a randomized approach to this problem that builds on certain recent results in robust convex optimization.

1 citations