FRINK Linked Data Fragments server

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

• W1989103660 abstract "This work is motivated by the problem of synthesizing mode sequences for continuous-time polynomial switched systems in order to guarantee that the trajectories of the system satisfy certain high-level specifications expressed in linear temporal logic. We use augmented finite transition systems as abstract models of continuous switched systems. Augmented finite transition systems are equipped with liveness properties that can be used to enforce progress in accordance with the underlying dynamics. We then introduce abstraction and refinement relations that induce a preorder on this class of finite transition systems. By construction, the resulting preorder respects the feasibility (i.e., realizability) of the synthesis problem. Hence, existence of a discrete switching strategy for one of these abstract finite transition systems guarantees the existence of a mode sequence for the continuous system such that all of its trajectories satisfy the specification. We also present an algorithm, which can be implemented using sum-of-squares based relaxations, to compute such high fidelity abstract models in a computationally tractable way. Finally, these ideas are illustrated on an example." @default.
• W1989103660 created "2016-06-24" @default.
• W1989103660 creator A5027835055 @default.
• W1989103660 creator A5054418471 @default.
• W1989103660 creator A5068080537 @default.
• W1989103660 creator A5068600217 @default.
• W1989103660 date "2013-06-01" @default.
• W1989103660 modified "2023-09-27" @default.
• W1989103660 title "Computing augmented finite transition systems to synthesize switching protocols for polynomial switched systems" @default.
• W1989103660 cites W1585005663 @default.
• W1989103660 cites W1600235415 @default.
• W1989103660 cites W1791240938 @default.
• W1989103660 cites W1793594870 @default.
• W1989103660 cites W1967184028 @default.
• W1989103660 cites W1971727916 @default.
• W1989103660 cites W1978347628 @default.
• W1989103660 cites W1995063858 @default.
• W1989103660 cites W2020883449 @default.
• W1989103660 cites W2021486660 @default.
• W1989103660 cites W2027755003 @default.
• W1989103660 cites W2035991642 @default.
• W1989103660 cites W2041701185 @default.
• W1989103660 cites W2060369194 @default.
• W1989103660 cites W2071797744 @default.
• W1989103660 cites W2096492432 @default.
• W1989103660 cites W2129965357 @default.
• W1989103660 cites W2132006913 @default.
• W1989103660 cites W2150335178 @default.
• W1989103660 cites W2151958719 @default.
• W1989103660 cites W2153219011 @default.
• W1989103660 cites W2158345050 @default.
• W1989103660 cites W2164451522 @default.
• W1989103660 cites W2167978186 @default.
• W1989103660 cites W2487779201 @default.
• W1989103660 doi "https://doi.org/10.1109/acc.2013.6580816" @default.
• W1989103660 hasPublicationYear "2013" @default.
• W1989103660 type Work @default.
• W1989103660 sameAs 1989103660 @default.
• W1989103660 citedByCount "39" @default.
• W1989103660 countsByYear W19891036602013 @default.
• W1989103660 countsByYear W19891036602014 @default.
• W1989103660 countsByYear W19891036602015 @default.
• W1989103660 countsByYear W19891036602016 @default.
• W1989103660 countsByYear W19891036602017 @default.
• W1989103660 countsByYear W19891036602018 @default.
• W1989103660 countsByYear W19891036602019 @default.
• W1989103660 countsByYear W19891036602020 @default.
• W1989103660 countsByYear W19891036602021 @default.
• W1989103660 countsByYear W19891036602023 @default.
• W1989103660 crossrefType "proceedings-article" @default.
• W1989103660 hasAuthorship W1989103660A5027835055 @default.
• W1989103660 hasAuthorship W1989103660A5054418471 @default.
• W1989103660 hasAuthorship W1989103660A5068080537 @default.
• W1989103660 hasAuthorship W1989103660A5068600217 @default.
• W1989103660 hasBestOaLocation W19891036602 @default.
• W1989103660 hasConcept C11413529 @default.
• W1989103660 hasConcept C118615104 @default.
• W1989103660 hasConcept C119857082 @default.
• W1989103660 hasConcept C134306372 @default.
• W1989103660 hasConcept C15569618 @default.
• W1989103660 hasConcept C2333172 @default.
• W1989103660 hasConcept C2776378722 @default.
• W1989103660 hasConcept C2778112365 @default.
• W1989103660 hasConcept C2779167558 @default.
• W1989103660 hasConcept C33923547 @default.
• W1989103660 hasConcept C41008148 @default.
• W1989103660 hasConcept C50897621 @default.
• W1989103660 hasConcept C54355233 @default.
• W1989103660 hasConcept C80444323 @default.
• W1989103660 hasConcept C86803240 @default.
• W1989103660 hasConcept C90119067 @default.
• W1989103660 hasConceptScore W1989103660C11413529 @default.
• W1989103660 hasConceptScore W1989103660C118615104 @default.
• W1989103660 hasConceptScore W1989103660C119857082 @default.
• W1989103660 hasConceptScore W1989103660C134306372 @default.
• W1989103660 hasConceptScore W1989103660C15569618 @default.
• W1989103660 hasConceptScore W1989103660C2333172 @default.
• W1989103660 hasConceptScore W1989103660C2776378722 @default.
• W1989103660 hasConceptScore W1989103660C2778112365 @default.
• W1989103660 hasConceptScore W1989103660C2779167558 @default.
• W1989103660 hasConceptScore W1989103660C33923547 @default.
• W1989103660 hasConceptScore W1989103660C41008148 @default.
• W1989103660 hasConceptScore W1989103660C50897621 @default.
• W1989103660 hasConceptScore W1989103660C54355233 @default.
• W1989103660 hasConceptScore W1989103660C80444323 @default.
• W1989103660 hasConceptScore W1989103660C86803240 @default.
• W1989103660 hasConceptScore W1989103660C90119067 @default.
• W1989103660 hasLocation W19891036601 @default.
• W1989103660 hasLocation W19891036602 @default.
• W1989103660 hasOpenAccess W1989103660 @default.
• W1989103660 hasPrimaryLocation W19891036601 @default.
• W1989103660 hasRelatedWork W1783679080 @default.
• W1989103660 hasRelatedWork W1989103660 @default.
• W1989103660 hasRelatedWork W2005263036 @default.
• W1989103660 hasRelatedWork W2104925315 @default.
• W1989103660 hasRelatedWork W2395041977 @default.
• W1989103660 hasRelatedWork W2470330431 @default.
• W1989103660 hasRelatedWork W2567061750 @default.
• W1989103660 hasRelatedWork W2603469395 @default.
• W1989103660 hasRelatedWork W3206695690 @default.

• next