FRINK Linked Data Fragments server

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

• W2750620061 abstract "This paper presents an abstraction-refinement method to synthesize control inputs for a discrete-time piecewise linear system. The controlled system behavior satisfies a finite-word linear-time temporal objective while incurring minimal cost. An abstract finite state weighted transition system is constructed from finite partitions of the state and input spaces by solving optimization problems. A sequence of suboptimal controllers is obtained by considering a sequence of uniformly refined partitions. The abstract system satisfies the condition that the cost of the optimal control on the abstract system provides an upper bound on the cost of the optimal control for the original system. Furthermore, each suboptimal controller gives trajectories that have the cost upper bounded by the cost of the optimal control on the corresponding abstract system. In fact, the costs achieved by the sequence of suboptimal controllers converge to the optimal cost for the piecewise linear system. The tool OPTCAR implements the abstraction-refinement algorithm. Examples illustrate the feasibility of this approach to synthesize automatically suboptimal controllers with improving optimal costs." @default.
• W2750620061 created "2017-09-15" @default.
• W2750620061 creator A5068080537 @default.
• W2750620061 creator A5071259875 @default.
• W2750620061 date "2015-04-11" @default.
• W2750620061 modified "2023-09-27" @default.
• W2750620061 title "Abstraction-Refinement Based Optimal Control with Regular Objectives" @default.
• W2750620061 cites W1534354603 @default.
• W2750620061 cites W1569051713 @default.
• W2750620061 cites W1577248548 @default.
• W2750620061 cites W1590315663 @default.
• W2750620061 cites W1975134293 @default.
• W2750620061 cites W1979349468 @default.
• W2750620061 cites W2036664528 @default.
• W2750620061 cites W2040127143 @default.
• W2750620061 cites W2041960188 @default.
• W2750620061 cites W2053898576 @default.
• W2750620061 cites W2057096988 @default.
• W2750620061 cites W2060894071 @default.
• W2750620061 cites W2062873592 @default.
• W2750620061 cites W2064572756 @default.
• W2750620061 cites W2095901198 @default.
• W2750620061 cites W2137002893 @default.
• W2750620061 cites W2146447376 @default.
• W2750620061 cites W2163204032 @default.
• W2750620061 cites W2163590987 @default.
• W2750620061 cites W2163900241 @default.
• W2750620061 cites W2227557434 @default.
• W2750620061 cites W2313856951 @default.
• W2750620061 cites W2319440520 @default.
• W2750620061 cites W2962709723 @default.
• W2750620061 cites W3098296430 @default.
• W2750620061 hasPublicationYear "2015" @default.
• W2750620061 type Work @default.
• W2750620061 sameAs 2750620061 @default.
• W2750620061 citedByCount "0" @default.
• W2750620061 crossrefType "posted-content" @default.
• W2750620061 hasAuthorship W2750620061A5068080537 @default.
• W2750620061 hasAuthorship W2750620061A5071259875 @default.
• W2750620061 hasConcept C111472728 @default.
• W2750620061 hasConcept C11413529 @default.
• W2750620061 hasConcept C124304363 @default.
• W2750620061 hasConcept C126255220 @default.
• W2750620061 hasConcept C134306372 @default.
• W2750620061 hasConcept C138885662 @default.
• W2750620061 hasConcept C164660894 @default.
• W2750620061 hasConcept C17095337 @default.
• W2750620061 hasConcept C203479927 @default.
• W2750620061 hasConcept C2524010 @default.
• W2750620061 hasConcept C2778112365 @default.
• W2750620061 hasConcept C33923547 @default.
• W2750620061 hasConcept C34388435 @default.
• W2750620061 hasConcept C37404715 @default.
• W2750620061 hasConcept C41008148 @default.
• W2750620061 hasConcept C48103436 @default.
• W2750620061 hasConcept C54355233 @default.
• W2750620061 hasConcept C6557445 @default.
• W2750620061 hasConcept C77553402 @default.
• W2750620061 hasConcept C86803240 @default.
• W2750620061 hasConcept C91575142 @default.
• W2750620061 hasConceptScore W2750620061C111472728 @default.
• W2750620061 hasConceptScore W2750620061C11413529 @default.
• W2750620061 hasConceptScore W2750620061C124304363 @default.
• W2750620061 hasConceptScore W2750620061C126255220 @default.
• W2750620061 hasConceptScore W2750620061C134306372 @default.
• W2750620061 hasConceptScore W2750620061C138885662 @default.
• W2750620061 hasConceptScore W2750620061C164660894 @default.
• W2750620061 hasConceptScore W2750620061C17095337 @default.
• W2750620061 hasConceptScore W2750620061C203479927 @default.
• W2750620061 hasConceptScore W2750620061C2524010 @default.
• W2750620061 hasConceptScore W2750620061C2778112365 @default.
• W2750620061 hasConceptScore W2750620061C33923547 @default.
• W2750620061 hasConceptScore W2750620061C34388435 @default.
• W2750620061 hasConceptScore W2750620061C37404715 @default.
• W2750620061 hasConceptScore W2750620061C41008148 @default.
• W2750620061 hasConceptScore W2750620061C48103436 @default.
• W2750620061 hasConceptScore W2750620061C54355233 @default.
• W2750620061 hasConceptScore W2750620061C6557445 @default.
• W2750620061 hasConceptScore W2750620061C77553402 @default.
• W2750620061 hasConceptScore W2750620061C86803240 @default.
• W2750620061 hasConceptScore W2750620061C91575142 @default.
• W2750620061 hasLocation W27506200611 @default.
• W2750620061 hasOpenAccess W2750620061 @default.
• W2750620061 hasPrimaryLocation W27506200611 @default.
• W2750620061 hasRelatedWork W1576231019 @default.
• W2750620061 hasRelatedWork W1978012915 @default.
• W2750620061 hasRelatedWork W2036986385 @default.
• W2750620061 hasRelatedWork W2044668741 @default.
• W2750620061 hasRelatedWork W2105443182 @default.
• W2750620061 hasRelatedWork W2148083737 @default.
• W2750620061 hasRelatedWork W2170238842 @default.
• W2750620061 hasRelatedWork W2216306330 @default.
• W2750620061 hasRelatedWork W2238136882 @default.
• W2750620061 hasRelatedWork W2467524349 @default.
• W2750620061 hasRelatedWork W2605590175 @default.
• W2750620061 hasRelatedWork W2734633297 @default.
• W2750620061 hasRelatedWork W2735485745 @default.
• W2750620061 hasRelatedWork W2794602504 @default.
• W2750620061 hasRelatedWork W2902524429 @default.
• W2750620061 hasRelatedWork W2911702460 @default.

• next