Show simple item record

Fast, Approximate State Estimation of Concurrent Probabilistic Hybrid Automata

dc.date.accessioned2018-01-30T23:46:03Z
dc.date.accessioned2018-11-26T22:27:47Z
dc.date.available2018-01-30T23:46:03Z
dc.date.available2018-11-26T22:27:47Z
dc.date.issued2013-12-11
dc.identifier.urihttp://hdl.handle.net/1721.1/113364
dc.identifier.urihttp://repository.aust.edu.ng/xmlui/handle/1721.1/113364
dc.descriptionSM thesisen_US
dc.description.abstractIt is an undeniable fact that autonomous systems are simultaneously becoming more common place, more complex, and deployed in more inhospitable environments. Examples include smart homes, smart cars, Mars rovers, unmanned aerial vehicles, and autonomous underwater vehicles. A common theme that all of these autonomous systems share is that in order to appropriately control them and prevent mission failure, they must be able to quickly estimate their internal state and the state of the world. A natural representation of many real world systems is to describe them in terms of a mixture of continuous and discrete variables. Unfortunately, hybrid estimation is typically intractable due to the large space of possible assignments to the discrete variables. In this thesis, we investigate how to incorporate conflict directed techniques from the consistency-based, model-based diagnosis community into a hybrid framework that is no longer purely consistency based. We introduce a novel search algorithm, A∗ with Bounding Conflicts, that uses conflicts to not only record infeasiblilities, but also learn where in the search space the heuristic function provided to the A∗ search is weak (possibly due to heavy to moderate sensor or process noise). Additionally, we describe a hybrid state estimation algorithm that uses this new search to perform estimation on hybrid discrete/continuous systems.en_US
dc.format.extent73 p.en_US
dc.rightsCreative Commons Attribution-NonCommercial-NoDerivatives 4.0 Internationalen
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/
dc.titleFast, Approximate State Estimation of Concurrent Probabilistic Hybrid Automataen_US


Files in this item

FilesSizeFormatView
MIT-CSAIL-TR-2018-004.pdf918.3Kbapplication/pdfView/Open

This item appears in the following Collection(s)

Show simple item record

Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International
Except where otherwise noted, this item's license is described as Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International