A. Abur and A. G. Exposito, Power system state estimation: theory and implementation, CRC, vol.24, 2004.
DOI : 10.1201/9780203913673

J. Bang-jensen, G. Gutin, and A. Yeo, When the greedy algorithm fails, Discrete Optimization, vol.1, issue.2, pp.121-127, 2004.
DOI : 10.1016/j.disopt.2004.03.007

L. Blackmore, S. Rajamanoharan, and B. C. Williams, Active Estimation for Jump Markov Linear Systems, IEEE Transactions on Automatic Control, vol.53, issue.10, pp.2223-2236, 2008.
DOI : 10.1109/TAC.2008.2006100

A. Bose and K. A. Clements, Real-time modeling of power networks, Proc. of the IEEE, pp.1607-1622, 1987.
DOI : 10.1109/PROC.1987.13930

E. M. Davidson, S. D. Mcarthur, and J. R. Mcdonald, A toolset for applying model-based reasoning techniques to diagnostics for power systems protection, IEEE Transactions on Power Systems, vol.18, issue.2, pp.680-687, 2003.
DOI : 10.1109/TPWRS.2003.810981

D. Golovin and A. Krause, Adaptive submodularity: Theory and applications in active learning and stochastic optimization, Journal of Artificial Intelligence Research, vol.42, issue.1, pp.427-486, 2011.

A. J. Gonzalez, R. A. Morris, F. D. Mckenzie, D. J. Carreira, and B. K. Gann, Model-based, real-time control of electrical power systems. Systems, Man and Cybernetics, Part A: Systems and Humans, IEEE Transactions on, vol.26, issue.4, pp.470-482, 1996.

D. Gorinevsky, S. Boyd, and S. Poll, Estimation of faults in DC electrical power system, 2009 American Control Conference, pp.4334-4339, 2009.
DOI : 10.1109/ACC.2009.5160301

A. Guillory and J. Bilmes, Average-Case Active Learning with Costs, Algorithmic Learning Theory, pp.141-155, 2009.
DOI : 10.1007/3-540-48447-7_17

K. Keller, K. Swearingen, J. Sheahan, M. Bailey, J. Dunsdon et al., Aircraft Electrical Power Systems Prognostics and Health Management, 2006 IEEE Aerospace Conference, p.12, 2006.
DOI : 10.1109/AERO.2006.1656087

A. Krause and D. Golovin, Submodular Function Maximization, Tractability: Practical Approaches to Hard Problems
DOI : 10.1017/CBO9781139177801.004

L. Liu, K. P. Logan, D. A. Cartes, and S. K. Srivastava, Fault detection, diagnostics, and prognostics: software agent solutions. Vehicular Technology, IEEE Transactions on, vol.56, issue.4, pp.1613-1622, 2007.

L. Mihaylova, T. Lefebvre, H. Bruyninckx, K. Gadeyne, and J. Schutter, A Comparison of Decision Making Criteria and Optimization Methods for Active Robotic Sensing, Numerical Methods and Applications, pp.316-324, 2003.
DOI : 10.1007/3-540-36487-0_35

I. Moir and A. Seabridge, Aircraft Systems: Mechanical, Electrical and Avionics Subsystems Integration, 2001.

A. Monticelli, Electric power system state estimation, Proc. of the IEEE, pp.262-282, 2000.

M. Naghshvar and T. Javidi, Active sequential hypothesis testing. CoRR, abs/1203, 2012.

N. Ozay, U. Topcu, and R. M. Murray, Distributed power allocation for vehicle management systems, IEEE Conference on Decision and Control and European Control Conference, pp.4841-4848, 2011.
DOI : 10.1109/CDC.2011.6161470

R. Rogersten, H. Xu, N. Ozay, U. Topcu, and R. M. Murray, An aircraft electric power testbed for validating automatically synthesized reactive control protocols, Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC '13, p.13, 2013.
DOI : 10.1145/2461328.2461344

M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. C. Teneketzis, Failure diagnosis using discrete-event models. Control Systems Technology, IEEE Transactions on, vol.4, issue.2, pp.105-124, 1996.

A. Singh, A. Krause, C. Guestrin, W. Kaiser, and M. Batalin, Efficient planning of informative paths for multiple robots, 2006.

T. Wongpiromsarn, U. Topcu, and R. M. Murray, Formal Synthesis of Embedded Control Software: Application to Vehicle Management Systems, Infotech@Aerospace 2011, 2011.
DOI : 10.2514/6.2011-1506

H. Xu, U. Topcu, and R. M. Murray, A case study on reactive protocols for aircraft electric power distribution, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC), 2012.
DOI : 10.1109/CDC.2012.6426175