FRINK Linked Data Fragments server

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

• W3149135071 abstract "We extend previous work on symbolic self-triggered control for non-deterministic continuous-time nonlinear systems without stability assumptions to a larger class of specifications. Our goal is to synthesise a controller for two objectives: the first one is modelled as a right-recursive LTL formula, and the second one is to ensure that the communication rate between the controller and the system stays below a given threshold. We translate the control problem to solving a mean-payoff parity game played on a discrete graph. Apart from extending the class of specifications, we propose a heuristic method to shorten the computation time. Finally, we illustrate our results on the example of a navigating nonholonomic robot with several specifications." @default.
• W3149135071 created "2021-04-13" @default.
• W3149135071 creator A5014098654 @default.
• W3149135071 creator A5020567371 @default.
• W3149135071 creator A5072416125 @default.
• W3149135071 date "2021-03-30" @default.
• W3149135071 modified "2023-09-27" @default.
• W3149135071 title "Fast Synthesis for Symbolic Self-triggered Control under Right-recursive LTL Specifications." @default.
• W3149135071 cites W1521551618 @default.
• W3149135071 cites W1972945640 @default.
• W3149135071 cites W1985235885 @default.
• W3149135071 cites W2065595179 @default.
• W3149135071 cites W2096608485 @default.
• W3149135071 cites W2111990577 @default.
• W3149135071 cites W2117079884 @default.
• W3149135071 cites W2169289043 @default.
• W3149135071 cites W2305588532 @default.
• W3149135071 cites W2916087012 @default.
• W3149135071 cites W2951090726 @default.
• W3149135071 cites W2952761620 @default.
• W3149135071 cites W2963199590 @default.
• W3149135071 cites W2964326012 @default.
• W3149135071 cites W2972859423 @default.
• W3149135071 cites W3000514729 @default.
• W3149135071 cites W3102493341 @default.
• W3149135071 cites W3120397447 @default.
• W3149135071 hasPublicationYear "2021" @default.
• W3149135071 type Work @default.
• W3149135071 sameAs 3149135071 @default.
• W3149135071 citedByCount "0" @default.
• W3149135071 crossrefType "posted-content" @default.
• W3149135071 hasAuthorship W3149135071A5014098654 @default.
• W3149135071 hasAuthorship W3149135071A5020567371 @default.
• W3149135071 hasAuthorship W3149135071A5072416125 @default.
• W3149135071 hasConcept C105795698 @default.
• W3149135071 hasConcept C11413529 @default.
• W3149135071 hasConcept C126255220 @default.
• W3149135071 hasConcept C132525143 @default.
• W3149135071 hasConcept C138632511 @default.
• W3149135071 hasConcept C144237770 @default.
• W3149135071 hasConcept C154945302 @default.
• W3149135071 hasConcept C173801870 @default.
• W3149135071 hasConcept C19966478 @default.
• W3149135071 hasConcept C203479927 @default.
• W3149135071 hasConcept C22171661 @default.
• W3149135071 hasConcept C2775924081 @default.
• W3149135071 hasConcept C2777212361 @default.
• W3149135071 hasConcept C33923547 @default.
• W3149135071 hasConcept C41008148 @default.
• W3149135071 hasConcept C45374587 @default.
• W3149135071 hasConcept C47446073 @default.
• W3149135071 hasConcept C55689738 @default.
• W3149135071 hasConcept C6557445 @default.
• W3149135071 hasConcept C80444323 @default.
• W3149135071 hasConcept C86803240 @default.
• W3149135071 hasConcept C90509273 @default.
• W3149135071 hasConceptScore W3149135071C105795698 @default.
• W3149135071 hasConceptScore W3149135071C11413529 @default.
• W3149135071 hasConceptScore W3149135071C126255220 @default.
• W3149135071 hasConceptScore W3149135071C132525143 @default.
• W3149135071 hasConceptScore W3149135071C138632511 @default.
• W3149135071 hasConceptScore W3149135071C144237770 @default.
• W3149135071 hasConceptScore W3149135071C154945302 @default.
• W3149135071 hasConceptScore W3149135071C173801870 @default.
• W3149135071 hasConceptScore W3149135071C19966478 @default.
• W3149135071 hasConceptScore W3149135071C203479927 @default.
• W3149135071 hasConceptScore W3149135071C22171661 @default.
• W3149135071 hasConceptScore W3149135071C2775924081 @default.
• W3149135071 hasConceptScore W3149135071C2777212361 @default.
• W3149135071 hasConceptScore W3149135071C33923547 @default.
• W3149135071 hasConceptScore W3149135071C41008148 @default.
• W3149135071 hasConceptScore W3149135071C45374587 @default.
• W3149135071 hasConceptScore W3149135071C47446073 @default.
• W3149135071 hasConceptScore W3149135071C55689738 @default.
• W3149135071 hasConceptScore W3149135071C6557445 @default.
• W3149135071 hasConceptScore W3149135071C80444323 @default.
• W3149135071 hasConceptScore W3149135071C86803240 @default.
• W3149135071 hasConceptScore W3149135071C90509273 @default.
• W3149135071 hasLocation W31491350711 @default.
• W3149135071 hasOpenAccess W3149135071 @default.
• W3149135071 hasPrimaryLocation W31491350711 @default.
• W3149135071 hasRelatedWork W1569051713 @default.
• W3149135071 hasRelatedWork W2052868267 @default.
• W3149135071 hasRelatedWork W2130350300 @default.
• W3149135071 hasRelatedWork W2148962689 @default.
• W3149135071 hasRelatedWork W2914262973 @default.
• W3149135071 hasRelatedWork W2918338324 @default.
• W3149135071 hasRelatedWork W2921358724 @default.
• W3149135071 hasRelatedWork W2963437838 @default.
• W3149135071 hasRelatedWork W2964239259 @default.
• W3149135071 hasRelatedWork W2989041661 @default.
• W3149135071 hasRelatedWork W3045276510 @default.
• W3149135071 hasRelatedWork W3045981004 @default.
• W3149135071 hasRelatedWork W3048694293 @default.
• W3149135071 hasRelatedWork W3091005215 @default.
• W3149135071 hasRelatedWork W3094182061 @default.
• W3149135071 hasRelatedWork W3151231919 @default.
• W3149135071 hasRelatedWork W3154999316 @default.
• W3149135071 hasRelatedWork W3196034421 @default.
• W3149135071 hasRelatedWork W3199195861 @default.

• next