Matches in SemOpenAlex for { <https://semopenalex.org/work/W4294021847> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W4294021847 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.
- W4294021847 created "2022-09-01" @default.
- W4294021847 creator A5068080537 @default.
- W4294021847 creator A5071259875 @default.
- W4294021847 date "2015-04-11" @default.
- W4294021847 modified "2023-10-01" @default.
- W4294021847 title "Abstraction-Refinement Based Optimal Control with Regular Objectives" @default.
- W4294021847 doi "https://doi.org/10.48550/arxiv.1504.02838" @default.
- W4294021847 hasPublicationYear "2015" @default.
- W4294021847 type Work @default.
- W4294021847 citedByCount "0" @default.
- W4294021847 crossrefType "posted-content" @default.
- W4294021847 hasAuthorship W4294021847A5068080537 @default.
- W4294021847 hasAuthorship W4294021847A5071259875 @default.
- W4294021847 hasBestOaLocation W42940218471 @default.
- W4294021847 hasConcept C111472728 @default.
- W4294021847 hasConcept C11413529 @default.
- W4294021847 hasConcept C124304363 @default.
- W4294021847 hasConcept C126255220 @default.
- W4294021847 hasConcept C134306372 @default.
- W4294021847 hasConcept C138885662 @default.
- W4294021847 hasConcept C164660894 @default.
- W4294021847 hasConcept C17095337 @default.
- W4294021847 hasConcept C203479927 @default.
- W4294021847 hasConcept C2524010 @default.
- W4294021847 hasConcept C2778112365 @default.
- W4294021847 hasConcept C33923547 @default.
- W4294021847 hasConcept C34388435 @default.
- W4294021847 hasConcept C37404715 @default.
- W4294021847 hasConcept C41008148 @default.
- W4294021847 hasConcept C48103436 @default.
- W4294021847 hasConcept C54355233 @default.
- W4294021847 hasConcept C6557445 @default.
- W4294021847 hasConcept C77553402 @default.
- W4294021847 hasConcept C86803240 @default.
- W4294021847 hasConcept C91575142 @default.
- W4294021847 hasConceptScore W4294021847C111472728 @default.
- W4294021847 hasConceptScore W4294021847C11413529 @default.
- W4294021847 hasConceptScore W4294021847C124304363 @default.
- W4294021847 hasConceptScore W4294021847C126255220 @default.
- W4294021847 hasConceptScore W4294021847C134306372 @default.
- W4294021847 hasConceptScore W4294021847C138885662 @default.
- W4294021847 hasConceptScore W4294021847C164660894 @default.
- W4294021847 hasConceptScore W4294021847C17095337 @default.
- W4294021847 hasConceptScore W4294021847C203479927 @default.
- W4294021847 hasConceptScore W4294021847C2524010 @default.
- W4294021847 hasConceptScore W4294021847C2778112365 @default.
- W4294021847 hasConceptScore W4294021847C33923547 @default.
- W4294021847 hasConceptScore W4294021847C34388435 @default.
- W4294021847 hasConceptScore W4294021847C37404715 @default.
- W4294021847 hasConceptScore W4294021847C41008148 @default.
- W4294021847 hasConceptScore W4294021847C48103436 @default.
- W4294021847 hasConceptScore W4294021847C54355233 @default.
- W4294021847 hasConceptScore W4294021847C6557445 @default.
- W4294021847 hasConceptScore W4294021847C77553402 @default.
- W4294021847 hasConceptScore W4294021847C86803240 @default.
- W4294021847 hasConceptScore W4294021847C91575142 @default.
- W4294021847 hasLocation W42940218471 @default.
- W4294021847 hasOpenAccess W4294021847 @default.
- W4294021847 hasPrimaryLocation W42940218471 @default.
- W4294021847 hasRelatedWork W2143620951 @default.
- W4294021847 hasRelatedWork W2257335459 @default.
- W4294021847 hasRelatedWork W2605568249 @default.
- W4294021847 hasRelatedWork W2624629281 @default.
- W4294021847 hasRelatedWork W2750620061 @default.
- W4294021847 hasRelatedWork W2951606014 @default.
- W4294021847 hasRelatedWork W3135288554 @default.
- W4294021847 hasRelatedWork W4294021847 @default.
- W4294021847 hasRelatedWork W283149859 @default.
- W4294021847 hasRelatedWork W3022569563 @default.
- W4294021847 isParatext "false" @default.
- W4294021847 isRetracted "false" @default.
- W4294021847 workType "article" @default.