{"type":"ScholarlyArticle","title":"Best-first Enumeration Based on Bounding Conflicts, and its Application to Large-scale Hybrid Estimation (Extended Abstract)","authors":[{"name":"Eric Timmons","slug":"eric-timmons","given":"Eric","family":"Timmons","affiliation":"Computer Science and Artificial Intelligence Laboratory , Massachusetts Institute of Technology"},{"name":"Brian C. Williams","slug":"brian-c-williams","given":"Brian C.","family":"Williams","affiliation":"Computer Science and Artificial Intelligence Laboratory , Massachusetts Institute of Technology"}],"abstract":"State estimation methods based on hybrid discrete and continuous state models have emerged as a method of precisely computing belief states for real world systems, however they have difficulty scaling to systems with more than a handful of components. Classical, consistency based diagnosis methods scale to this level by combining best-first enumeration and conflict-directed search. While best-first methods have been developed for hybrid estimation, conflict-directed methods have thus far been elusive as conflicts summarize constraint violations, but probabilistic hybrid estimation is relatively unconstrained. In this paper we present an approach (A*BC) that unifies best-first enumeration and conflict-directed search in relatively unconstrained problems through the concept of \"bounding\" conflicts, an extension of conflicts that represent tighter bounds on the cost of regions of the search space. Experiments show that an A*BC powered state estimator produces estimates up to an order of magnitude faster than the current state of the art, particularly on large systems.","doi":"10.24963/ijcai.2020/721","url":"https://ijcai.org/proceedings/2020/721","pdf":"https://ijcai.org/proceedings/2020/0721.pdf","markdown":"https://ijcai.org/proceedings/2020/721.md","bibtex":"https://ijcai.org/proceedings/2020/bibtex/721","volume":{"slug":"2020","title":"Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2020","url":"https://ijcai.org/proceedings/2020/","year":2020,"location":"Yokohama","dates":"January 2021 (postponed from 11-17 July 2020)","editors":"Christian Bessiere","isbn":"978-0-9992411-6-5","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2020"},"section":"Journal track","track":"Journal track","number":721,"pages":{"first":5130,"last":5134},"keywords":["Uncertainty in AI: Approximate Probabilistic Inference","Heuristic Search and Game Playing: Combinatorial Search and Optimisation"],"videos":[{"label":"Video","url":"https://videos.ijcai20.org/25330/file_25330.m3u8","length_sec":298,"provider":"hls"}],"references":[{"position":1,"raw":"[Ackerson and Fu, 1970] G Ackerson and K Fu. On state estimation in switching environments. IEEE Transactions on Automatic Control, 15(1):10-17, 1970.","title":"On state estimation in switching environments","authors":"G Ackerson, Fu","year":"1970","venue":"IEEE Transactions on Automatic Control","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Blackmore et al., 2008] Lars Blackmore, Stanislav Funiak, and Brian C. Williams. A combined stochastic and greedy hybrid estimation capability for concurrent hybrid models with autonomous mode transitions. Journal of Robotic and Autonomous Systems, 56(2):105-129, February 2008.","title":"A combined stochastic and greedy hybrid estimation capability for concurrent hybrid models with autonomous mode transitions","authors":"Blackmore","year":"2008","venue":"Journal of Robotic and Autonomous Systems","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Blom and Bar-Shalom, 1988] Henk AP Blom and Yaakov Bar-Shalom. The interacting multiple model algorithm for systems with markovian switching coefficients. IEEE Transactions on Automatic Control, 33(8):780-783, 1988.","title":"The interacting multiple model algorithm for systems with markovian switching coefficients","authors":"Bar-Shalom ; Blom, A P Henk, Yaakov Blom, Bar-Shalom","year":"1988","venue":"IEEE Transactions on Automatic Control","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Dago and Verfaillie, 1996] Pierre Dago and Gérard Verfail- lie. Nogood recording for valued constraint satisfaction problems. In Proceedings Eighth IEEE International Con- ference on Tools with Artificial Intelligence, pages 132- 139. IEEE, 1996.","title":"Nogood recording for valued constraint satisfaction problems","authors":"Verfaillie Dago","year":"1996","venue":"Proceedings Eighth IEEE International Conference on Tools with Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[De Kleer and Williams, 1987] Johan De Kleer and Brian C Williams. Diagnosing multiple faults. Artificial Intelli- gence, 32(1):97-130, 1987.","title":"Diagnosing multiple faults","authors":"De Kleer, Williams, Johan De Kleer, Brian C Williams","year":"1987","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Feldman et al., 2010] Alexander Feldman, Gregory Provan, and Arjan Van Gemund. Approximate model-based diag- nosis using greedy stochastic search. Journal of Artificial Intelligence Research, 38:371-413, 2010.","title":"Approximate model-based diagnosis using greedy stochastic search","authors":"Alexander Feldman, Gregory Provan, Arjan Van Gemund","year":"2010","venue":"Journal of Artificial Intelligence Research","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Garcia-Fernandez et al., 2012] Ángel F Garcia-Fernandez, Mark R Morelande, and Jesús Grajal. Truncated unscented kalman filtering. IEEE Transactions on Signal Processing, 60(7):3372-3386, 2012.","title":"Truncated unscented kalman filtering","authors":"F Ángel, Mark R Garcia-Fernandez, Jesús Morelande, Grajal","year":"2012","venue":"IEEE Transactions on Signal Processing","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Hanlon and Maybeck, 2000] Peter D Hanlon and Peter S Maybeck. Multiple-model adaptive estimation using a residual correlation kalman filter bank. IEEE Transac- tions on Aerospace and Electronic Systems, 36(2):393- 406, 2000.","title":"Multiple-model adaptive estimation using a residual correlation kalman filter bank","authors":"D Peter, Peter S Hanlon, Maybeck","year":"2000","venue":"IEEE Transactions on Aerospace and Electronic Systems","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Hofbaur and Williams, 2002] Michael W Hofbaur and Brian C Williams. Mode estimation of probabilistic hybrid systems. In Hybrid Systems: Computation and Control, pages 253-266. Springer, 2002.","title":"Mode estimation of probabilistic hybrid systems","authors":"W Michael, Brian C Hofbaur, Williams","year":"2002","venue":"Hybrid Systems: Computation and Control","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Hofbaur and Williams, 2004] Michael W Hofbaur and Brian C Williams. Hybrid estimation of complex systems. IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics), 34(5):2178-2191, 2004.","title":"Hybrid estimation of complex systems","authors":"W Michael, Brian C Hofbaur, Williams","year":"2004","venue":"IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics)","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Julier and Uhlmann, 1997] Simon J Julier and Jeffrey K Uhlmann. New extension of the kalman filter to nonlin- ear systems. In Signal Processing, Sensor Fusion, and Target Recognition VI, volume 3068, pages 182-193. In- ternational Society for Optics and Photonics, 1997.","title":"New extension of the kalman filter to nonlinear systems","authors":"J Simon, Jeffrey K Julier, Uhlmann","year":"1997","venue":"Signal Processing, Sensor Fusion, and Target Recognition VI","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Li and Bar-Shalom, 1996] Xiao-Rong Li and Yaakov Bar- Shalom. Multiple-model estimation with variable struc- ture. IEEE Transactions on Automatic control, 41(4):478- 493, 1996.","title":"Multiple-model estimation with variable structure","authors":"Xiao-Rong Li, Yaakov Bar-Shalom","year":"1996","venue":"IEEE Transactions on Automatic control","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Li et al., 1999] X Rong Li, Xiaorong Zwi, and Youmin Zwang. Multiple-model estimation with variable struc- ture. iii. model-group switching algorithm. IEEE Trans- actions on Aerospace and Electronic Systems, 35(1):225- 241, 1999.","title":"Multiple-model estimation with variable structure. iii. model-group switching algorithm","authors":"Li","year":"1999","venue":"IEEE Trans-actions on Aerospace and Electronic Systems","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Li, 2000] X Rong Li. Multiple-model estimation with vari- able structure. ii. model-set adaptation. IEEE Transactions on Automatic Control, 45(11):2047-2060, 2000.","title":"Multiple-model estimation with variable structure. ii. model-set adaptation","authors":"Li Rong","year":"2000","venue":"IEEE Transactions on Automatic Control","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Narasimhan and Brownston, 2007] Sriram Narasimhan and Lee Brownston. Hyde-a general framework for stochastic and hybrid model-based diagnosis. Proc. DX, 7:162-169, 2007.","title":"Hyde-a general framework for stochastic and hybrid model-based diagnosis","authors":"Sriram Narasimhan, Lee Brownston","year":"2007","venue":"Proc. DX","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Nayak, 1995] Pandurang Nayak. Automated Modeling of Physical Systems. Lecture Notes in Artificial Intelligence. Springer, 1995.","title":"Automated Modeling of Physical Systems","authors":"Pandurang Nayak","year":"1995","venue":"Lecture Notes in Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Simon, 2010] Dan Simon. Kalman filtering with state con- straints: a survey of linear and nonlinear algorithms. IET Control Theory & Applications, 4(8):1303-1318, 2010.","title":"Kalman filtering with state constraints: a survey of linear and nonlinear algorithms","authors":"Dan Simon","year":"2010","venue":"IET Control Theory & Applications","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Sorenson, 1985] Harold Wayne Sorenson. Kalman filtering: theory and application. IEEE, 1985.","title":"Kalman filtering: theory and application","authors":"Harold Wayne Sorenson","year":"1985","venue":"IEEE","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Teixeira et al., 2010] Bruno OS Teixeira, Leonardo AB Tôrres, Luis A Aguirre, and Dennis S Bernstein. On unscented kalman filtering with state interval constraints. Journal of Process Control, 20(1):45-57, 2010.","title":"On unscented kalman filtering with state interval constraints","authors":"Leonardo Ab Bruno Os Teixeira, Luis A Tôrres, Dennis S Aguirre, Bernstein","year":"2010","venue":"Journal of Process Control","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Timmons and Williams, 2020] Eric Timmons and Brian C. Williams. Best-first enumeration based on bounding con- flicts, and its application to large-scale hybrid estimation. Journal of Artificial Intelligence Research, 67:1-34, 2020.","title":"Best-first enumeration based on bounding conflicts, and its application to large-scale hybrid estimation","authors":"Eric Timmons, Brian C Williams","year":"2020","venue":"Journal of Artificial Intelligence Research","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Trave-Massuyes and Pons, 1997] Louise Trave-Massuyes and Renaud Pons. Causal ordering for multiple mode systems. In Proceedings of the Eleventh International Workshop on Qualitative Reasoning, pages 203-214, 1997.","title":"Causal ordering for multiple mode systems","authors":"Trave-Massuyes, Pons, Louise Trave-Massuyes, Renaud Pons","year":"1997","venue":"Proceedings of the Eleventh International Workshop on Qualitative Reasoning","doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[Tugnait, 1982] Jitendra K Tugnait. Detection and es- timation for abruptly changing systems. Automatica, 18(5):607-615, 1982.","title":"Detection and estimation for abruptly changing systems","authors":"K Jitendra, Tugnait","year":"1982","venue":"Automatica","doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[Williams and Ragno, 2007] Brian C Williams and Robert J Ragno. Conflict-directed A* and its role in model- based embedded systems. Discrete Applied Mathematics, 155(12):1562-1595, 2007.","title":"Conflict-directed A* and its role in modelbased embedded systems","authors":"C Brian, Robert J Williams, Ragno","year":"2007","venue":"Discrete Applied Mathematics","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}