FRINK Linked Data Fragments server

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

• W2775278742 abstract "We consider the symbolic controller synthesis approach to enforce safety specifications on perturbed, nonlinear control systems. In general, in each state of the system several control values might be applicable to enforce the safety requirement and in the implementation one has the burden of picking a particular control value out of possibly many. We present a class of implementation strategies to obtain a controller with certain performance guarantees. This class includes two existing implementation strategies from the literature, based on discounted payoff and mean-payoff games. We unify both approaches by using games characterized by a single discount factor determining the implementation. We evaluate different implementations from our class experimentally on two case studies. We show that the choice of the discount factor has a significant influence on the average long-term costs, and the best performance guarantee for the symbolic model does not result in the best implementation. Comparing the optimal choice of the discount factor here with the previously proposed values, the costs differ by a factor of up to 50. Our approach therefore yields a method to choose systematically a good implementation for safety controllers with quantitative objectives." @default.
• W2775278742 created "2017-12-22" @default.
• W2775278742 creator A5008144501 @default.
• W2775278742 creator A5020018687 @default.
• W2775278742 creator A5030109984 @default.
• W2775278742 creator A5071486415 @default.
• W2775278742 creator A5090378914 @default.
• W2775278742 date "2017-12-14" @default.
• W2775278742 modified "2023-09-27" @default.
• W2775278742 title "Quantitative Implementation Strategies for Safety Controllers." @default.
• W2775278742 cites W1496590343 @default.
• W2775278742 cites W1502195915 @default.
• W2775278742 cites W1880805667 @default.
• W2775278742 cites W2006557476 @default.
• W2775278742 cites W2036664528 @default.
• W2775278742 cites W2041960188 @default.
• W2775278742 cites W2057096988 @default.
• W2775278742 cites W2062946495 @default.
• W2775278742 cites W2085744412 @default.
• W2775278742 cites W2169289043 @default.
• W2775278742 cites W2337661843 @default.
• W2775278742 cites W2464343175 @default.
• W2775278742 cites W2570499725 @default.
• W2775278742 cites W2612396436 @default.
• W2775278742 cites W2612952478 @default.
• W2775278742 cites W2962709723 @default.
• W2775278742 cites W2963437838 @default.
• W2775278742 cites W3141459484 @default.
• W2775278742 hasPublicationYear "2017" @default.
• W2775278742 type Work @default.
• W2775278742 sameAs 2775278742 @default.
• W2775278742 citedByCount "0" @default.
• W2775278742 crossrefType "posted-content" @default.
• W2775278742 hasAuthorship W2775278742A5008144501 @default.
• W2775278742 hasAuthorship W2775278742A5020018687 @default.
• W2775278742 hasAuthorship W2775278742A5030109984 @default.
• W2775278742 hasAuthorship W2775278742A5071486415 @default.
• W2775278742 hasAuthorship W2775278742A5090378914 @default.
• W2775278742 hasConcept C10138342 @default.
• W2775278742 hasConcept C119857082 @default.
• W2775278742 hasConcept C121332964 @default.
• W2775278742 hasConcept C126255220 @default.
• W2775278742 hasConcept C144237770 @default.
• W2775278742 hasConcept C154945302 @default.
• W2775278742 hasConcept C162324750 @default.
• W2775278742 hasConcept C199360897 @default.
• W2775278742 hasConcept C203479927 @default.
• W2775278742 hasConcept C22171661 @default.
• W2775278742 hasConcept C26713055 @default.
• W2775278742 hasConcept C2775924081 @default.
• W2775278742 hasConcept C2776291640 @default.
• W2775278742 hasConcept C2777212361 @default.
• W2775278742 hasConcept C2781039887 @default.
• W2775278742 hasConcept C33923547 @default.
• W2775278742 hasConcept C41008148 @default.
• W2775278742 hasConcept C6177178 @default.
• W2775278742 hasConcept C61797465 @default.
• W2775278742 hasConcept C62520636 @default.
• W2775278742 hasConcept C6557445 @default.
• W2775278742 hasConcept C86803240 @default.
• W2775278742 hasConceptScore W2775278742C10138342 @default.
• W2775278742 hasConceptScore W2775278742C119857082 @default.
• W2775278742 hasConceptScore W2775278742C121332964 @default.
• W2775278742 hasConceptScore W2775278742C126255220 @default.
• W2775278742 hasConceptScore W2775278742C144237770 @default.
• W2775278742 hasConceptScore W2775278742C154945302 @default.
• W2775278742 hasConceptScore W2775278742C162324750 @default.
• W2775278742 hasConceptScore W2775278742C199360897 @default.
• W2775278742 hasConceptScore W2775278742C203479927 @default.
• W2775278742 hasConceptScore W2775278742C22171661 @default.
• W2775278742 hasConceptScore W2775278742C26713055 @default.
• W2775278742 hasConceptScore W2775278742C2775924081 @default.
• W2775278742 hasConceptScore W2775278742C2776291640 @default.
• W2775278742 hasConceptScore W2775278742C2777212361 @default.
• W2775278742 hasConceptScore W2775278742C2781039887 @default.
• W2775278742 hasConceptScore W2775278742C33923547 @default.
• W2775278742 hasConceptScore W2775278742C41008148 @default.
• W2775278742 hasConceptScore W2775278742C6177178 @default.
• W2775278742 hasConceptScore W2775278742C61797465 @default.
• W2775278742 hasConceptScore W2775278742C62520636 @default.
• W2775278742 hasConceptScore W2775278742C6557445 @default.
• W2775278742 hasConceptScore W2775278742C86803240 @default.
• W2775278742 hasLocation W27752787421 @default.
• W2775278742 hasOpenAccess W2775278742 @default.
• W2775278742 hasPrimaryLocation W27752787421 @default.
• W2775278742 hasRelatedWork W1025223280 @default.
• W2775278742 hasRelatedWork W1484808050 @default.
• W2775278742 hasRelatedWork W175669834 @default.
• W2775278742 hasRelatedWork W1983220954 @default.
• W2775278742 hasRelatedWork W1989574361 @default.
• W2775278742 hasRelatedWork W1994879295 @default.
• W2775278742 hasRelatedWork W2009388482 @default.
• W2775278742 hasRelatedWork W2054839493 @default.
• W2775278742 hasRelatedWork W2223908518 @default.
• W2775278742 hasRelatedWork W2325321907 @default.
• W2775278742 hasRelatedWork W2589205701 @default.
• W2775278742 hasRelatedWork W270022495 @default.
• W2775278742 hasRelatedWork W2735304393 @default.
• W2775278742 hasRelatedWork W2762268534 @default.
• W2775278742 hasRelatedWork W2763284853 @default.

• next