FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1978510523> ?p ?o ?g. }

• W1978510523 endingPage "1541" @default.
• W1978510523 startingPage "1528" @default.
• W1978510523 abstract "We consider an optimal control problem for a weighted deterministic transition system required to satisfy a constraint expressed as a linear temporal logic (LTL) formula over its labels. By assuming that the executions of the system incur time-varying penalties modeled as Markov chains, our goal is to minimize the expected average cumulative penalty incurred between consecutive satisfactions of a desired property. Using concepts from theoretical computer science, we provide two solutions to this problem. First, we derive a provably correct optimal strategy within the class of strategies that do not exploit values of penalties sensed in real time. Second, we show that by taking advantage of locally sensing the penalties, we can construct heuristic strategies leading to lower collected penalty. While still ensuring satisfaction of the LTL constraint, we cannot guarantee optimality in the latter case. We provide a user-friendly implementation of the proposed algorithms and analysis of two case studies." @default.
• W1978510523 created "2016-06-24" @default.
• W1978510523 creator A5014178090 @default.
• W1978510523 creator A5086742095 @default.
• W1978510523 creator A5089563210 @default.
• W1978510523 date "2015-06-01" @default.
• W1978510523 modified "2023-10-16" @default.
• W1978510523 title "Optimal Temporal Logic Control for Deterministic Transition Systems With Probabilistic Penalties" @default.
• W1978510523 cites W1943821960 @default.
• W1978510523 cites W1990609140 @default.
• W1978510523 cites W2001914359 @default.
• W1978510523 cites W2036772106 @default.
• W1978510523 cites W2041960188 @default.
• W1978510523 cites W2044323243 @default.
• W1978510523 cites W2069888227 @default.
• W1978510523 cites W2079042739 @default.
• W1978510523 cites W2117927826 @default.
• W1978510523 cites W2150335178 @default.
• W1978510523 cites W2154136656 @default.
• W1978510523 cites W2158345050 @default.
• W1978510523 cites W2165364079 @default.
• W1978510523 cites W2169289043 @default.
• W1978510523 cites W2185277641 @default.
• W1978510523 cites W2534652523 @default.
• W1978510523 cites W3103706207 @default.
• W1978510523 cites W4299401133 @default.
• W1978510523 cites W61606928 @default.
• W1978510523 doi "https://doi.org/10.1109/tac.2014.2381451" @default.
• W1978510523 hasPublicationYear "2015" @default.
• W1978510523 type Work @default.
• W1978510523 sameAs 1978510523 @default.
• W1978510523 citedByCount "6" @default.
• W1978510523 countsByYear W19785105232015 @default.
• W1978510523 countsByYear W19785105232016 @default.
• W1978510523 countsByYear W19785105232019 @default.
• W1978510523 countsByYear W19785105232021 @default.
• W1978510523 countsByYear W19785105232023 @default.
• W1978510523 crossrefType "journal-article" @default.
• W1978510523 hasAuthorship W1978510523A5014178090 @default.
• W1978510523 hasAuthorship W1978510523A5086742095 @default.
• W1978510523 hasAuthorship W1978510523A5089563210 @default.
• W1978510523 hasConcept C105795698 @default.
• W1978510523 hasConcept C106189395 @default.
• W1978510523 hasConcept C111472728 @default.
• W1978510523 hasConcept C119857082 @default.
• W1978510523 hasConcept C126255220 @default.
• W1978510523 hasConcept C138885662 @default.
• W1978510523 hasConcept C154945302 @default.
• W1978510523 hasConcept C159886148 @default.
• W1978510523 hasConcept C165696696 @default.
• W1978510523 hasConcept C173801870 @default.
• W1978510523 hasConcept C189950617 @default.
• W1978510523 hasConcept C199360897 @default.
• W1978510523 hasConcept C25016198 @default.
• W1978510523 hasConcept C2524010 @default.
• W1978510523 hasConcept C2776036281 @default.
• W1978510523 hasConcept C2777212361 @default.
• W1978510523 hasConcept C2779167558 @default.
• W1978510523 hasConcept C2780801425 @default.
• W1978510523 hasConcept C33923547 @default.
• W1978510523 hasConcept C38652104 @default.
• W1978510523 hasConcept C41008148 @default.
• W1978510523 hasConcept C44616089 @default.
• W1978510523 hasConcept C4777664 @default.
• W1978510523 hasConcept C49937458 @default.
• W1978510523 hasConcept C80444323 @default.
• W1978510523 hasConcept C98763669 @default.
• W1978510523 hasConceptScore W1978510523C105795698 @default.
• W1978510523 hasConceptScore W1978510523C106189395 @default.
• W1978510523 hasConceptScore W1978510523C111472728 @default.
• W1978510523 hasConceptScore W1978510523C119857082 @default.
• W1978510523 hasConceptScore W1978510523C126255220 @default.
• W1978510523 hasConceptScore W1978510523C138885662 @default.
• W1978510523 hasConceptScore W1978510523C154945302 @default.
• W1978510523 hasConceptScore W1978510523C159886148 @default.
• W1978510523 hasConceptScore W1978510523C165696696 @default.
• W1978510523 hasConceptScore W1978510523C173801870 @default.
• W1978510523 hasConceptScore W1978510523C189950617 @default.
• W1978510523 hasConceptScore W1978510523C199360897 @default.
• W1978510523 hasConceptScore W1978510523C25016198 @default.
• W1978510523 hasConceptScore W1978510523C2524010 @default.
• W1978510523 hasConceptScore W1978510523C2776036281 @default.
• W1978510523 hasConceptScore W1978510523C2777212361 @default.
• W1978510523 hasConceptScore W1978510523C2779167558 @default.
• W1978510523 hasConceptScore W1978510523C2780801425 @default.
• W1978510523 hasConceptScore W1978510523C33923547 @default.
• W1978510523 hasConceptScore W1978510523C38652104 @default.
• W1978510523 hasConceptScore W1978510523C41008148 @default.
• W1978510523 hasConceptScore W1978510523C44616089 @default.
• W1978510523 hasConceptScore W1978510523C4777664 @default.
• W1978510523 hasConceptScore W1978510523C49937458 @default.
• W1978510523 hasConceptScore W1978510523C80444323 @default.
• W1978510523 hasConceptScore W1978510523C98763669 @default.
• W1978510523 hasFunder F4320306076 @default.
• W1978510523 hasFunder F4320326548 @default.
• W1978510523 hasIssue "6" @default.
• W1978510523 hasLocation W19785105231 @default.
• W1978510523 hasOpenAccess W1978510523 @default.

• next