Matches in SemOpenAlex for { <https://semopenalex.org/work/W3133996913> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W3133996913 endingPage "632" @default.
- W3133996913 startingPage "621" @default.
- W3133996913 abstract "We study the problem of enforcing safety in multiagent systems at runtime by modifying the system behavior if a potential safety violation is detected. Traditional runtime enforcement methods that solve a reactive synthesis problem at design time have two significant drawbacks. First, these techniques do not scale as one has to take into account all possible behaviors from every agent, and this is computationally prohibitive. Second, these approaches require every agent to know the state of every other agent. We address these limitations through a new approach where online modifications to behavior are synthesized onboard every agent. There is an enforcer onboard every agent, which can modify the behavior of only the corresponding agent. In this approach, which is naturally decentralized, the enforcer on every agent has two components: 1) a pathfinder that corrects the behavior of the agent and 2) an ordering mechanism that dynamically modifies the priority of the agent. The current priority of an agent determines if the enforcer uses the pathfinder to modify the behavior of the agent. We derive an upper bound on the maximum deviation for any agent from its original behavior; that is, all agents make progress. We prove that the worst case synthesis time is quadratic in the number of agents at runtime as opposed to exponential at design time for the existing methods that rely on design-time computation merely. Additionally, we prove the completeness of the technique under some mild assumptions; that is, if the agents can progress safely, then enforcers will find this behavior. We test the technique in collision avoidance scenarios. For 50 agents in a 50 × 50 grid world modeling the common workspace for the agents, the online synthesis requires only a few seconds per agent whenever a potential collision is detected. In contrast, the centralized design-time synthesis of shields for a similar setting is intractable beyond four agents in a 5 × 5 grid world." @default.
- W3133996913 created "2021-03-15" @default.
- W3133996913 creator A5000244323 @default.
- W3133996913 creator A5032282047 @default.
- W3133996913 creator A5068441112 @default.
- W3133996913 creator A5086083363 @default.
- W3133996913 date "2021-06-01" @default.
- W3133996913 modified "2023-09-27" @default.
- W3133996913 title "Online Synthesis for Runtime Enforcement of Safety in Multiagent Systems" @default.
- W3133996913 cites W1551562380 @default.
- W3133996913 cites W1804029911 @default.
- W3133996913 cites W1922664086 @default.
- W3133996913 cites W2023808162 @default.
- W3133996913 cites W2027769154 @default.
- W3133996913 cites W2028720147 @default.
- W3133996913 cites W2036205638 @default.
- W3133996913 cites W2043996829 @default.
- W3133996913 cites W2072839015 @default.
- W3133996913 cites W2099078471 @default.
- W3133996913 cites W2115419433 @default.
- W3133996913 cites W2134779831 @default.
- W3133996913 cites W2136692964 @default.
- W3133996913 cites W2153066670 @default.
- W3133996913 cites W2326611379 @default.
- W3133996913 cites W2399153727 @default.
- W3133996913 cites W2463574373 @default.
- W3133996913 cites W2583751201 @default.
- W3133996913 cites W2755657139 @default.
- W3133996913 cites W2892234404 @default.
- W3133996913 cites W2914296650 @default.
- W3133996913 cites W2923157122 @default.
- W3133996913 cites W2947518767 @default.
- W3133996913 cites W2963530628 @default.
- W3133996913 cites W3009548430 @default.
- W3133996913 cites W3045910454 @default.
- W3133996913 doi "https://doi.org/10.1109/tcns.2021.3061900" @default.
- W3133996913 hasPublicationYear "2021" @default.
- W3133996913 type Work @default.
- W3133996913 sameAs 3133996913 @default.
- W3133996913 citedByCount "0" @default.
- W3133996913 crossrefType "journal-article" @default.
- W3133996913 hasAuthorship W3133996913A5000244323 @default.
- W3133996913 hasAuthorship W3133996913A5032282047 @default.
- W3133996913 hasAuthorship W3133996913A5068441112 @default.
- W3133996913 hasAuthorship W3133996913A5086083363 @default.
- W3133996913 hasBestOaLocation W31339969132 @default.
- W3133996913 hasConcept C11413529 @default.
- W3133996913 hasConcept C120314980 @default.
- W3133996913 hasConcept C134306372 @default.
- W3133996913 hasConcept C154945302 @default.
- W3133996913 hasConcept C161191863 @default.
- W3133996913 hasConcept C17231256 @default.
- W3133996913 hasConcept C17744445 @default.
- W3133996913 hasConcept C199539241 @default.
- W3133996913 hasConcept C2778940482 @default.
- W3133996913 hasConcept C2779777834 @default.
- W3133996913 hasConcept C33923547 @default.
- W3133996913 hasConcept C41008148 @default.
- W3133996913 hasConcept C41550386 @default.
- W3133996913 hasConcept C48103436 @default.
- W3133996913 hasConceptScore W3133996913C11413529 @default.
- W3133996913 hasConceptScore W3133996913C120314980 @default.
- W3133996913 hasConceptScore W3133996913C134306372 @default.
- W3133996913 hasConceptScore W3133996913C154945302 @default.
- W3133996913 hasConceptScore W3133996913C161191863 @default.
- W3133996913 hasConceptScore W3133996913C17231256 @default.
- W3133996913 hasConceptScore W3133996913C17744445 @default.
- W3133996913 hasConceptScore W3133996913C199539241 @default.
- W3133996913 hasConceptScore W3133996913C2778940482 @default.
- W3133996913 hasConceptScore W3133996913C2779777834 @default.
- W3133996913 hasConceptScore W3133996913C33923547 @default.
- W3133996913 hasConceptScore W3133996913C41008148 @default.
- W3133996913 hasConceptScore W3133996913C41550386 @default.
- W3133996913 hasConceptScore W3133996913C48103436 @default.
- W3133996913 hasIssue "2" @default.
- W3133996913 hasLocation W31339969131 @default.
- W3133996913 hasLocation W31339969132 @default.
- W3133996913 hasOpenAccess W3133996913 @default.
- W3133996913 hasPrimaryLocation W31339969131 @default.
- W3133996913 hasRelatedWork W1485627940 @default.
- W3133996913 hasRelatedWork W1587227328 @default.
- W3133996913 hasRelatedWork W1596201972 @default.
- W3133996913 hasRelatedWork W1880774266 @default.
- W3133996913 hasRelatedWork W1967954938 @default.
- W3133996913 hasRelatedWork W2042849989 @default.
- W3133996913 hasRelatedWork W2127276102 @default.
- W3133996913 hasRelatedWork W2160425906 @default.
- W3133996913 hasRelatedWork W2998813341 @default.
- W3133996913 hasRelatedWork W3133996913 @default.
- W3133996913 hasVolume "8" @default.
- W3133996913 isParatext "false" @default.
- W3133996913 isRetracted "false" @default.
- W3133996913 magId "3133996913" @default.
- W3133996913 workType "article" @default.