Show simple item record

dc.contributor.authorUlusoy, Alphanen_US
dc.contributor.authorWongpiromsarn, Tichakornen_US
dc.contributor.authorBelta, Calinen_US
dc.coverage.spatialHIen_US
dc.date.accessioned2018-07-17T19:46:03Z
dc.date.available2018-07-17T19:46:03Z
dc.date.issued2012-01-01
dc.identifierhttp://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000327200407142&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=6e74115fe3da270499c3d65c9b17d654
dc.identifier.citationAlphan Ulusoy, Tichakorn Wongpiromsarn, Calin Belta. 2012. "Incremental Control Synthesis in Probabilistic Environments with Temporal Logic Constraints." 2012 IEEE 51st IEEE Conference on Decision and Control (CDC), pp. 7658 - 7663 (6).
dc.identifier.issn0743-1546
dc.identifier.urihttps://hdl.handle.net/2144/29962
dc.description.abstractIn this paper, we present a method for optimal control synthesis of a plant that interacts with a set of agents in a graph-like environment. The control specification is given as a temporal logic statement about some properties that hold at the vertices of the environment. The plant is assumed to be deterministic, while the agents are probabilistic Markov models. The goal is to control the plant such that the probability of satisfying a syntactically co-safe Linear Temporal Logic formula is maximized. We propose a computationally efficient incremental approach based on the fact that temporal logic verification is computationally cheaper than synthesis. We present a case-study where we compare our approach to the classical non-incremental approach in terms of computation time and memory usage.en_US
dc.format.extentp. 7658 - 7663en_US
dc.languageEnglish
dc.publisherIEEEen_US
dc.relation.ispartof2012 IEEE 51st IEEE Conference on Decision and Control (CDC)
dc.subjectScience & technologyen_US
dc.subjectTechnologyen_US
dc.subjectAutomation & control systemsen_US
dc.subjectComputer science, artificial intelligenceen_US
dc.subjectEngineering, electrical & electronicen_US
dc.subjectComputer scienceen_US
dc.subjectEngineeringen_US
dc.subjectModel checkingen_US
dc.subjectSafety propertiesen_US
dc.titleIncremental control synthesis in probabilistic environments with temporal logic constraintsen_US
dc.typeArticleen_US
dc.identifier.doi10.1109/CDC.2012.6426346
pubs.elements-sourceweb-of-scienceen_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