Matches in SemOpenAlex for { <https://semopenalex.org/work/W2892932152> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2892932152 abstract "The possible interactions between a controller and its environment can naturally be modelled as the arena of a two-player game, and adding an appropriate winning condition permits to specify desirable behavior. The classical model here is the positional game, where both players can (fully or partially) observe the current position in the game graph, which in turn is indicative of their mutual current states. In practice, neither sensing or actuating the environment through physical devices nor data forwarding to and signal processing in the controller are instantaneous. The resultant delays force the controller to draw decisions before being aware of the recent history of a play. It is known that existence of a winning strategy for the controller in games with such delays is decidable over finite game graphs and with respect to (omega )-regular objectives. The underlying reduction, however, is impractical for non-trivial delays as it incurs a blow-up of the game graph which is exponential in the magnitude of the delay. For safety objectives, we propose a more practical incremental algorithm synthesizing a series of controllers handling increasing delays and reducing game-graph size in between. It is demonstrated using benchmark examples that even a simplistic explicit-state implementation of this algorithm outperforms state-of-the-art symbolic synthesis algorithms as soon as non-trivial delays have to be handled. We furthermore shed some light on the practically relevant case of non-order-preserving delays, as arising in actual networked control, thereby considerably extending the scope of regular game theory under delay pioneered by Klein and Zimmermann." @default.
- W2892932152 created "2018-10-05" @default.
- W2892932152 creator A5026435847 @default.
- W2892932152 creator A5043436285 @default.
- W2892932152 creator A5075507795 @default.
- W2892932152 creator A5089746112 @default.
- W2892932152 creator A5078253695 @default.
- W2892932152 date "2018-01-01" @default.
- W2892932152 modified "2023-09-22" @default.
- W2892932152 title "What’s to Come is Still Unsure" @default.
- W2892932152 cites W142385736 @default.
- W2892932152 cites W1481109946 @default.
- W2892932152 cites W1599995366 @default.
- W2892932152 cites W1737156267 @default.
- W2892932152 cites W1922664086 @default.
- W2892932152 cites W1971138850 @default.
- W2892932152 cites W1989100715 @default.
- W2892932152 cites W2069888227 @default.
- W2892932152 cites W2071367517 @default.
- W2892932152 cites W2092977061 @default.
- W2892932152 cites W2138356730 @default.
- W2892932152 cites W2157223994 @default.
- W2892932152 cites W2610646123 @default.
- W2892932152 cites W2892932152 @default.
- W2892932152 cites W2963581588 @default.
- W2892932152 cites W4212901716 @default.
- W2892932152 doi "https://doi.org/10.1007/978-3-030-01090-4_4" @default.
- W2892932152 hasPublicationYear "2018" @default.
- W2892932152 type Work @default.
- W2892932152 sameAs 2892932152 @default.
- W2892932152 citedByCount "6" @default.
- W2892932152 countsByYear W28929321522017 @default.
- W2892932152 countsByYear W28929321522018 @default.
- W2892932152 countsByYear W28929321522019 @default.
- W2892932152 countsByYear W28929321522020 @default.
- W2892932152 countsByYear W28929321522021 @default.
- W2892932152 crossrefType "book-chapter" @default.
- W2892932152 hasAuthorship W2892932152A5026435847 @default.
- W2892932152 hasAuthorship W2892932152A5043436285 @default.
- W2892932152 hasAuthorship W2892932152A5075507795 @default.
- W2892932152 hasAuthorship W2892932152A5078253695 @default.
- W2892932152 hasAuthorship W2892932152A5089746112 @default.
- W2892932152 hasConcept C11413529 @default.
- W2892932152 hasConcept C132525143 @default.
- W2892932152 hasConcept C13280743 @default.
- W2892932152 hasConcept C136643341 @default.
- W2892932152 hasConcept C153269930 @default.
- W2892932152 hasConcept C162324750 @default.
- W2892932152 hasConcept C175444787 @default.
- W2892932152 hasConcept C177142836 @default.
- W2892932152 hasConcept C185798385 @default.
- W2892932152 hasConcept C203479927 @default.
- W2892932152 hasConcept C205649164 @default.
- W2892932152 hasConcept C41008148 @default.
- W2892932152 hasConcept C6557445 @default.
- W2892932152 hasConcept C80444323 @default.
- W2892932152 hasConcept C86803240 @default.
- W2892932152 hasConceptScore W2892932152C11413529 @default.
- W2892932152 hasConceptScore W2892932152C132525143 @default.
- W2892932152 hasConceptScore W2892932152C13280743 @default.
- W2892932152 hasConceptScore W2892932152C136643341 @default.
- W2892932152 hasConceptScore W2892932152C153269930 @default.
- W2892932152 hasConceptScore W2892932152C162324750 @default.
- W2892932152 hasConceptScore W2892932152C175444787 @default.
- W2892932152 hasConceptScore W2892932152C177142836 @default.
- W2892932152 hasConceptScore W2892932152C185798385 @default.
- W2892932152 hasConceptScore W2892932152C203479927 @default.
- W2892932152 hasConceptScore W2892932152C205649164 @default.
- W2892932152 hasConceptScore W2892932152C41008148 @default.
- W2892932152 hasConceptScore W2892932152C6557445 @default.
- W2892932152 hasConceptScore W2892932152C80444323 @default.
- W2892932152 hasConceptScore W2892932152C86803240 @default.
- W2892932152 hasLocation W28929321521 @default.
- W2892932152 hasOpenAccess W2892932152 @default.
- W2892932152 hasPrimaryLocation W28929321521 @default.
- W2892932152 hasRelatedWork W1493457507 @default.
- W2892932152 hasRelatedWork W152016706 @default.
- W2892932152 hasRelatedWork W1548492983 @default.
- W2892932152 hasRelatedWork W2001093977 @default.
- W2892932152 hasRelatedWork W2007709036 @default.
- W2892932152 hasRelatedWork W2027011260 @default.
- W2892932152 hasRelatedWork W2070724783 @default.
- W2892932152 hasRelatedWork W2120568468 @default.
- W2892932152 hasRelatedWork W2132645700 @default.
- W2892932152 hasRelatedWork W2143320485 @default.
- W2892932152 hasRelatedWork W2196111987 @default.
- W2892932152 hasRelatedWork W2200783909 @default.
- W2892932152 hasRelatedWork W2345826326 @default.
- W2892932152 hasRelatedWork W2490046644 @default.
- W2892932152 hasRelatedWork W2544370916 @default.
- W2892932152 hasRelatedWork W2768115509 @default.
- W2892932152 hasRelatedWork W2950742009 @default.
- W2892932152 hasRelatedWork W3007408361 @default.
- W2892932152 hasRelatedWork W30758468 @default.
- W2892932152 hasRelatedWork W89473788 @default.
- W2892932152 isParatext "false" @default.
- W2892932152 isRetracted "false" @default.
- W2892932152 magId "2892932152" @default.
- W2892932152 workType "book-chapter" @default.