Maria Prandini
Title
Cited by
Cited by
Year
Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
A Abate, M Prandini, J Lygeros, S Sastry
Automatica 44 (11), 2724-2734, 2008
3472008
A probabilistic approach to aircraft conflict detection
M Prandini, J Hu, J Lygeros, S Sastry
IEEE Transactions on intelligent transportation systems 1 (4), 199-220, 2000
3452000
The scenario approach for systems and control design
MC Campi, S Garatti, M Prandini
Annual Reviews in Control 33 (2), 149-157, 2009
2932009
Optimal coordinated maneuvers for three-dimensional aircraft conflict resolution
J Hu, M Prandini, S Sastry
Journal of Guidance, Control, and Dynamics 25 (5), 888-900, 2002
1742002
Approximate model checking of stochastic hybrid systems
A Abate, JP Katoen, J Lygeros, M Prandini
European Journal of Control 16 (6), 624-641, 2010
1652010
Probabilistic pursuit-evasion games: A one-step nash approach
JP Hespanha, M Prandini, S Sastry
Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No …, 2000
1482000
Semantic indexing of soccer audio-visual sequences: a multimodal approach based on controlled Markov chains
R Leonardi, P Migliorati, M Prandini
IEEE Transactions on Circuits and Systems for Video Technology 14 (5), 634-643, 2004
1422004
Aircraft conflict prediction in the presence of a spatially correlated wind field
J Hu, M Prandini, S Sastry
IEEE Transactions on Intelligent Transportation Systems 6 (3), 326-340, 2005
1232005
Toward air traffic complexity assessment in new generation air traffic management systems
M Prandini, L Piroddi, S Puechmorel, SL Brázdilová
IEEE transactions on intelligent transportation systems 12 (3), 809-818, 2011
1072011
Computational approaches to reachability analysis of stochastic hybrid systems
A Abate, S Amin, M Prandini, J Lygeros, S Sastry
International Workshop on Hybrid Systems: Computation and Control, 4-17, 2007
802007
Application of reachability analysis for stochastic hybrid systems to aircraft conflict prediction
M Prandini, J Hu
2008 47th IEEE Conference on Decision and Control, 4036-4041, 2008
712008
A randomized approach to stochastic model predictive control
M Prandini, S Garatti, J Lygeros
2012 IEEE 51st IEEE Conference on Decision and Control (CDC), 7315-7320, 2012
682012
Aircraft conflict prediction and resolution using Brownian Motion
J Hu, J Lygeros, M Prandini, S Sastry
Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No …, 1999
681999
Dual decomposition for multi-agent distributed optimization with coupling constraints
A Falsone, K Margellos, S Garatti, M Prandini
Automatica 84, 149-158, 2017
652017
Distributed constrained optimization and consensus in uncertain networks via proximal minimization
K Margellos, A Falsone, S Garatti, M Prandini
IEEE Transactions on Automatic Control 63 (5), 1372-1387, 2017
592017
Reachability analysis for controlled discrete time stochastic hybrid systems
S Amin, A Abate, M Prandini, J Lygeros, S Sastry
International Workshop on Hybrid Systems: Computation and Control, 49-63, 2006
592006
Probabilistic safety analysis in three dimensional aircraft flight
J Hu, M Prandini, S Sastry
42nd IEEE International Conference on Decision and Control (IEEE Cat. No …, 2003
572003
Stochastic reachability: Theory and numerical approximation
M Prandini, J Hu, C Cassandras, J Lygeros
Stochastic hybrid systems, Automation and Control Engineering Series 24, 107-138, 2006
552006
Optimal maneuver for multiple aircraft conflict resolution: a braid point of view
J Hu, M Prandini, S Sastry
Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No …, 2000
502000
Aircraft and weather models for probabilistic collision avoidance in air traffic control
J Lygeros, M Prandini
Proceedings of the 41st IEEE Conference on Decision and Control, 2002. 3 …, 2002
452002
The system can't perform the operation now. Try again later.
Articles 1–20