FRINK Linked Data Fragments server

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

• W2887282479 abstract "Cyber-physical systems must satisfy performance and safety criteria in spite of malicious attacks. In this paper, we investigate the problem of automatically synthesizing a control policy that maximizes the probability of satisfying safety and liveness constraints modeled using Linear Temporal Logic in the presence of an adversary. We develop a Stackelberg game framework, in which the controller chooses a probabilistic policy and the adversary chooses an attack strategy based on observation of that policy. We prove that maximizing the probability of satisfying safety and liveness constraints in this framework is equivalent to a worst-case reachability problem, and propose polynomial-time algorithms for computing the optimal policy. We illustrate our approach via numerical study." @default.
• W2887282479 created "2018-08-22" @default.
• W2887282479 creator A5004774385 @default.
• W2887282479 creator A5018806127 @default.
• W2887282479 date "2018-06-01" @default.
• W2887282479 modified "2023-09-25" @default.
• W2887282479 title "Secure Control Under Linear Temporal Logic Constraints" @default.
• W2887282479 cites W1498432697 @default.
• W2887282479 cites W1531214994 @default.
• W2887282479 cites W1586832890 @default.
• W2887282479 cites W1651728063 @default.
• W2887282479 cites W1965878388 @default.
• W2887282479 cites W1966347268 @default.
• W2887282479 cites W1970269621 @default.
• W2887282479 cites W1971309210 @default.
• W2887282479 cites W1971996841 @default.
• W2887282479 cites W2050884389 @default.
• W2887282479 cites W2052092737 @default.
• W2887282479 cites W2055936398 @default.
• W2887282479 cites W2059470663 @default.
• W2887282479 cites W2067064328 @default.
• W2887282479 cites W2069038223 @default.
• W2887282479 cites W2084289603 @default.
• W2887282479 cites W2104241562 @default.
• W2887282479 cites W2110504778 @default.
• W2887282479 cites W2117489655 @default.
• W2887282479 cites W2124339220 @default.
• W2887282479 cites W2134032706 @default.
• W2887282479 cites W2149452580 @default.
• W2887282479 cites W2150335178 @default.
• W2887282479 cites W2154136656 @default.
• W2887282479 cites W2156123119 @default.
• W2887282479 cites W2157807654 @default.
• W2887282479 cites W2163941698 @default.
• W2887282479 cites W2165364079 @default.
• W2887282479 cites W2284340808 @default.
• W2887282479 cites W2402328699 @default.
• W2887282479 cites W2470448410 @default.
• W2887282479 cites W2575731723 @default.
• W2887282479 cites W2606702697 @default.
• W2887282479 cites W2963639842 @default.
• W2887282479 cites W2963714625 @default.
• W2887282479 cites W2964131705 @default.
• W2887282479 doi "https://doi.org/10.23919/acc.2018.8431595" @default.
• W2887282479 hasPublicationYear "2018" @default.
• W2887282479 type Work @default.
• W2887282479 sameAs 2887282479 @default.
• W2887282479 citedByCount "4" @default.
• W2887282479 countsByYear W28872824792018 @default.
• W2887282479 countsByYear W28872824792020 @default.
• W2887282479 countsByYear W28872824792021 @default.
• W2887282479 crossrefType "proceedings-article" @default.
• W2887282479 hasAuthorship W2887282479A5004774385 @default.
• W2887282479 hasAuthorship W2887282479A5018806127 @default.
• W2887282479 hasConcept C11413529 @default.
• W2887282479 hasConcept C126255220 @default.
• W2887282479 hasConcept C136643341 @default.
• W2887282479 hasConcept C144237770 @default.
• W2887282479 hasConcept C154945302 @default.
• W2887282479 hasConcept C15569618 @default.
• W2887282479 hasConcept C199510392 @default.
• W2887282479 hasConcept C25016198 @default.
• W2887282479 hasConcept C311688 @default.
• W2887282479 hasConcept C33923547 @default.
• W2887282479 hasConcept C38652104 @default.
• W2887282479 hasConcept C41008148 @default.
• W2887282479 hasConcept C41065033 @default.
• W2887282479 hasConcept C4777664 @default.
• W2887282479 hasConcept C49937458 @default.
• W2887282479 hasConcept C7606001 @default.
• W2887282479 hasConcept C80444323 @default.
• W2887282479 hasConceptScore W2887282479C11413529 @default.
• W2887282479 hasConceptScore W2887282479C126255220 @default.
• W2887282479 hasConceptScore W2887282479C136643341 @default.
• W2887282479 hasConceptScore W2887282479C144237770 @default.
• W2887282479 hasConceptScore W2887282479C154945302 @default.
• W2887282479 hasConceptScore W2887282479C15569618 @default.
• W2887282479 hasConceptScore W2887282479C199510392 @default.
• W2887282479 hasConceptScore W2887282479C25016198 @default.
• W2887282479 hasConceptScore W2887282479C311688 @default.
• W2887282479 hasConceptScore W2887282479C33923547 @default.
• W2887282479 hasConceptScore W2887282479C38652104 @default.
• W2887282479 hasConceptScore W2887282479C41008148 @default.
• W2887282479 hasConceptScore W2887282479C41065033 @default.
• W2887282479 hasConceptScore W2887282479C4777664 @default.
• W2887282479 hasConceptScore W2887282479C49937458 @default.
• W2887282479 hasConceptScore W2887282479C7606001 @default.
• W2887282479 hasConceptScore W2887282479C80444323 @default.
• W2887282479 hasLocation W28872824791 @default.
• W2887282479 hasOpenAccess W2887282479 @default.
• W2887282479 hasPrimaryLocation W28872824791 @default.
• W2887282479 hasRelatedWork W2096300648 @default.
• W2887282479 hasRelatedWork W2117027428 @default.
• W2887282479 hasRelatedWork W2119249434 @default.
• W2887282479 hasRelatedWork W2131086574 @default.
• W2887282479 hasRelatedWork W2163468230 @default.
• W2887282479 hasRelatedWork W2230402893 @default.
• W2887282479 hasRelatedWork W2275740409 @default.
• W2887282479 hasRelatedWork W2292078779 @default.
• W2887282479 hasRelatedWork W2344134837 @default.

• next