Matches in SemOpenAlex for { <https://semopenalex.org/work/W2041501217> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W2041501217 abstract "We study synthesis of controllers for real-time systems, where the objective is to stay in a given safe set. The problem is solved by obtaining winning strategies in the setting of concurrent two-player timed automaton games with safety objectives. To prevent a player from winning by blocking time, we restrict each player to strategies that ensure that the player cannot be responsible for causing a zeno run. We construct winning strategies for the controller which require access only to (1) the system clocks (thus, controllers which require their own internal infinitely precise clocks are not necessary), and (2) a linear (in the number of clocks) number of memory bits. Precisely, we show that for safety objectives, a memory of size (3 •|C| + lg(|C|+1)) bits suffices for winning controller strategies, where C is the set of clocks of the timed automaton game, significantly improving the previous known exponential bound. We also settle the open question of whether winning region controller strategies require memory for safety objectives by showing with an example the necessity of memory for region strategies to win for safety objectives." @default.
- W2041501217 created "2016-06-24" @default.
- W2041501217 creator A5019108795 @default.
- W2041501217 creator A5052607806 @default.
- W2041501217 date "2011-04-12" @default.
- W2041501217 modified "2023-09-26" @default.
- W2041501217 title "Synthesis of memory-efficient real-time controllers for safety objectives" @default.
- W2041501217 cites W1499620300 @default.
- W2041501217 cites W1506670447 @default.
- W2041501217 cites W2016014698 @default.
- W2041501217 cites W2057842062 @default.
- W2041501217 cites W2101508170 @default.
- W2041501217 cites W2139101939 @default.
- W2041501217 doi "https://doi.org/10.1145/1967701.1967734" @default.
- W2041501217 hasPublicationYear "2011" @default.
- W2041501217 type Work @default.
- W2041501217 sameAs 2041501217 @default.
- W2041501217 citedByCount "4" @default.
- W2041501217 countsByYear W20415012172013 @default.
- W2041501217 countsByYear W20415012172015 @default.
- W2041501217 countsByYear W20415012172017 @default.
- W2041501217 crossrefType "proceedings-article" @default.
- W2041501217 hasAuthorship W2041501217A5019108795 @default.
- W2041501217 hasAuthorship W2041501217A5052607806 @default.
- W2041501217 hasConcept C112505250 @default.
- W2041501217 hasConcept C120314980 @default.
- W2041501217 hasConcept C177264268 @default.
- W2041501217 hasConcept C199360897 @default.
- W2041501217 hasConcept C203479927 @default.
- W2041501217 hasConcept C2780801425 @default.
- W2041501217 hasConcept C30788636 @default.
- W2041501217 hasConcept C31258907 @default.
- W2041501217 hasConcept C41008148 @default.
- W2041501217 hasConcept C6557445 @default.
- W2041501217 hasConcept C79403827 @default.
- W2041501217 hasConcept C80444323 @default.
- W2041501217 hasConcept C86803240 @default.
- W2041501217 hasConceptScore W2041501217C112505250 @default.
- W2041501217 hasConceptScore W2041501217C120314980 @default.
- W2041501217 hasConceptScore W2041501217C177264268 @default.
- W2041501217 hasConceptScore W2041501217C199360897 @default.
- W2041501217 hasConceptScore W2041501217C203479927 @default.
- W2041501217 hasConceptScore W2041501217C2780801425 @default.
- W2041501217 hasConceptScore W2041501217C30788636 @default.
- W2041501217 hasConceptScore W2041501217C31258907 @default.
- W2041501217 hasConceptScore W2041501217C41008148 @default.
- W2041501217 hasConceptScore W2041501217C6557445 @default.
- W2041501217 hasConceptScore W2041501217C79403827 @default.
- W2041501217 hasConceptScore W2041501217C80444323 @default.
- W2041501217 hasConceptScore W2041501217C86803240 @default.
- W2041501217 hasLocation W20415012171 @default.
- W2041501217 hasOpenAccess W2041501217 @default.
- W2041501217 hasPrimaryLocation W20415012171 @default.
- W2041501217 hasRelatedWork W1516206144 @default.
- W2041501217 hasRelatedWork W2004490761 @default.
- W2041501217 hasRelatedWork W2005832178 @default.
- W2041501217 hasRelatedWork W2081779423 @default.
- W2041501217 hasRelatedWork W2133673823 @default.
- W2041501217 hasRelatedWork W2368796975 @default.
- W2041501217 hasRelatedWork W2467967494 @default.
- W2041501217 hasRelatedWork W2740942814 @default.
- W2041501217 hasRelatedWork W2602338684 @default.
- W2041501217 hasRelatedWork W2751931981 @default.
- W2041501217 isParatext "false" @default.
- W2041501217 isRetracted "false" @default.
- W2041501217 magId "2041501217" @default.
- W2041501217 workType "article" @default.