Show simple item record

dc.contributor.authorCizelj, Igoren_US
dc.contributor.authorDing, Xu Chu (Dennis)en_US
dc.contributor.authorLahijanian, Mortezaen_US
dc.contributor.authorPinto, Alessandroen_US
dc.contributor.authorBelta, Calinen_US
dc.date.accessioned2018-07-11T18:50:11Z
dc.date.available2018-07-11T18:50:11Z
dc.date.issued2011-01
dc.identifier.citationIgor Cizelj, Xu Chu (Dennis) Ding, Morteza Lahijanian, Alessandro Pinto, Calin Belta. 2011. "Probabilistically Safe Vehicle Control in a Hostile Environment." IFAC Proceedings Volumes, Volume 44, Issue 1, pp. 11803 - 11808.
dc.identifier.issn1474-6670
dc.identifier.urihttps://hdl.handle.net/2144/29823
dc.description.abstractIn this paper we present an approach to control a vehicle in a hostile environment with static obstacles and moving adversaries. The vehicle is required to satisfy a mission objective expressed as a temporal logic specification over a set of properties satisfied at regions of a partitioned environment. We model the movements of adversaries in between regions of the environment as Poisson processes. Furthermore, we assume that the time it takes for the vehicle to traverse in between two facets of each region is exponentially distributed, and we obtain the rate of this exponential distribution from a simulator of the environment. We capture the motion of the vehicle and the vehicle updates of adversaries distributions as a Markov Decision Process. Using tools in Probabilistic Computational Tree Logic, we find a control strategy for the vehicle that maximizes the probability of accomplishing the mission objective. We demonstrate our approach with illustrative case studies.en_US
dc.format.extent11803 - 11808en_US
dc.relation.ispartofIFAC Proceedings Volumes
dc.rightsCopyright 2011 International Federation of Automatic Control (IFAC). Copyright information must be referenced if derivative journal papers are produced from this conference paper.en_US
dc.subjectSystems and controlen_US
dc.subjectOptimization and controlen_US
dc.subjectComputer scienceen_US
dc.titleProbabilistically safe vehicle control in a hostile environmenten_US
dc.typeArticleen_US
dc.identifier.doi10.3182/20110828-6-IT-1002.03248
pubs.elements-sourcecrossrefen_US
pubs.notesEmbargo: Not knownen_US
pubs.organisational-groupBoston Universityen_US
pubs.organisational-groupBoston University, College of Engineeringen_US
pubs.organisational-groupBoston University, College of Engineering, Department of Mechanical Engineeringen_US
pubs.publication-statusPublisheden_US


This item appears in the following Collection(s)

Show simple item record