Power system state estimation: theory and implementation, CRC, vol.24, 2004. ,
DOI : 10.1201/9780203913673
When the greedy algorithm fails, Discrete Optimization, vol.1, issue.2, pp.121-127, 2004. ,
DOI : 10.1016/j.disopt.2004.03.007
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
Real-time modeling of power networks, Proc. of the IEEE, pp.1607-1622, 1987. ,
DOI : 10.1109/PROC.1987.13930
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
Adaptive submodularity: Theory and applications in active learning and stochastic optimization, Journal of Artificial Intelligence Research, vol.42, issue.1, pp.427-486, 2011. ,
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. ,
Estimation of faults in DC electrical power system, 2009 American Control Conference, pp.4334-4339, 2009. ,
DOI : 10.1109/ACC.2009.5160301
Average-Case Active Learning with Costs, Algorithmic Learning Theory, pp.141-155, 2009. ,
DOI : 10.1007/3-540-48447-7_17
Aircraft Electrical Power Systems Prognostics and Health Management, 2006 IEEE Aerospace Conference, p.12, 2006. ,
DOI : 10.1109/AERO.2006.1656087
Submodular Function Maximization, Tractability: Practical Approaches to Hard Problems ,
DOI : 10.1017/CBO9781139177801.004
Fault detection, diagnostics, and prognostics: software agent solutions. Vehicular Technology, IEEE Transactions on, vol.56, issue.4, pp.1613-1622, 2007. ,
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
Aircraft Systems: Mechanical, Electrical and Avionics Subsystems Integration, 2001. ,
Electric power system state estimation, Proc. of the IEEE, pp.262-282, 2000. ,
Active sequential hypothesis testing. CoRR, abs/1203, 2012. ,
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
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
Failure diagnosis using discrete-event models. Control Systems Technology, IEEE Transactions on, vol.4, issue.2, pp.105-124, 1996. ,
Efficient planning of informative paths for multiple robots, 2006. ,
Formal Synthesis of Embedded Control Software: Application to Vehicle Management Systems, Infotech@Aerospace 2011, 2011. ,
DOI : 10.2514/6.2011-1506
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