FRINK Linked Data Fragments server

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

• W2769310020 abstract "In this article, we consider the problem of synthesizing switching controllers for temporal properties through the composition of simple primitive reach-while-stay (RWS) properties. Reach-while-stay properties specify that the system states starting from an initial set I, must reach a goal (target) set G in finite time, while remaining inside a safe set S. Our approach synthesizes switched controllers that select between finitely many modes to satisfy the given RWS specification. To do so, we consider control certificates, which are Lyapunov-like functions that represent control strategies to achieve the desired specification. However, for RWS problems, a control Lyapunov-like function is often hard to synthesize in a simple polynomial form. Therefore, we combine control barrier and Lyapunov functions with an additional compatibility condition between them. Using this approach, the controller synthesis problem reduces to one of solving quantified nonlinear constrained problems that are handled using a combination of SMT solvers. The synthesis of controllers is demonstrated through a set of interesting numerical examples drawn from the related work, and compared with the state-of-the-art tool SCOTS. Our evaluation suggests that our approach is computationally feasible, and adds to the growing body of formal approaches to controller synthesis." @default.
• W2769310020 created "2017-12-04" @default.
• W2769310020 creator A5011756605 @default.
• W2769310020 creator A5063584164 @default.
• W2769310020 date "2017-11-28" @default.
• W2769310020 modified "2023-09-26" @default.
• W2769310020 title "A Class of Control Certificates to Ensure Reach-While-Stay for Switched Systems" @default.
• W2769310020 cites W1480909796 @default.
• W2769310020 cites W1552094772 @default.
• W2769310020 cites W1565544898 @default.
• W2769310020 cites W1886446836 @default.
• W2769310020 cites W1968309647 @default.
• W2769310020 cites W1972149633 @default.
• W2769310020 cites W1983481903 @default.
• W2769310020 cites W1989103660 @default.
• W2769310020 cites W2013113756 @default.
• W2769310020 cites W2020883449 @default.
• W2769310020 cites W2041076275 @default.
• W2769310020 cites W2041960188 @default.
• W2769310020 cites W2042636729 @default.
• W2769310020 cites W2091932875 @default.
• W2769310020 cites W2106850246 @default.
• W2769310020 cites W2129729773 @default.
• W2769310020 cites W2132006913 @default.
• W2769310020 cites W2140531311 @default.
• W2769310020 cites W2146269846 @default.
• W2769310020 cites W2147970103 @default.
• W2769310020 cites W2150335178 @default.
• W2769310020 cites W2164451522 @default.
• W2769310020 cites W2165748475 @default.
• W2769310020 cites W2166280160 @default.
• W2769310020 cites W2166691751 @default.
• W2769310020 cites W2169289043 @default.
• W2769310020 cites W2172806547 @default.
• W2769310020 cites W2337661843 @default.
• W2769310020 cites W2345020933 @default.
• W2769310020 cites W2502103274 @default.
• W2769310020 cites W2531413040 @default.
• W2769310020 cites W2962992763 @default.
• W2769310020 cites W2963356785 @default.
• W2769310020 cites W4292249799 @default.
• W2769310020 doi "https://doi.org/10.4204/eptcs.260.6" @default.
• W2769310020 hasPublicationYear "2017" @default.
• W2769310020 type Work @default.
• W2769310020 sameAs 2769310020 @default.
• W2769310020 citedByCount "2" @default.
• W2769310020 countsByYear W27693100202020 @default.
• W2769310020 countsByYear W27693100202021 @default.
• W2769310020 crossrefType "journal-article" @default.
• W2769310020 hasAuthorship W2769310020A5011756605 @default.
• W2769310020 hasAuthorship W2769310020A5063584164 @default.
• W2769310020 hasBestOaLocation W27693100201 @default.
• W2769310020 hasConcept C111472728 @default.
• W2769310020 hasConcept C121332964 @default.
• W2769310020 hasConcept C126255220 @default.
• W2769310020 hasConcept C127413603 @default.
• W2769310020 hasConcept C133731056 @default.
• W2769310020 hasConcept C134306372 @default.
• W2769310020 hasConcept C138885662 @default.
• W2769310020 hasConcept C154945302 @default.
• W2769310020 hasConcept C158622935 @default.
• W2769310020 hasConcept C177264268 @default.
• W2769310020 hasConcept C199360897 @default.
• W2769310020 hasConcept C203479927 @default.
• W2769310020 hasConcept C2775924081 @default.
• W2769310020 hasConcept C2777212361 @default.
• W2769310020 hasConcept C2780586882 @default.
• W2769310020 hasConcept C33923547 @default.
• W2769310020 hasConcept C41008148 @default.
• W2769310020 hasConcept C47446073 @default.
• W2769310020 hasConcept C60640748 @default.
• W2769310020 hasConcept C62520636 @default.
• W2769310020 hasConcept C6557445 @default.
• W2769310020 hasConcept C86803240 @default.
• W2769310020 hasConcept C90119067 @default.
• W2769310020 hasConceptScore W2769310020C111472728 @default.
• W2769310020 hasConceptScore W2769310020C121332964 @default.
• W2769310020 hasConceptScore W2769310020C126255220 @default.
• W2769310020 hasConceptScore W2769310020C127413603 @default.
• W2769310020 hasConceptScore W2769310020C133731056 @default.
• W2769310020 hasConceptScore W2769310020C134306372 @default.
• W2769310020 hasConceptScore W2769310020C138885662 @default.
• W2769310020 hasConceptScore W2769310020C154945302 @default.
• W2769310020 hasConceptScore W2769310020C158622935 @default.
• W2769310020 hasConceptScore W2769310020C177264268 @default.
• W2769310020 hasConceptScore W2769310020C199360897 @default.
• W2769310020 hasConceptScore W2769310020C203479927 @default.
• W2769310020 hasConceptScore W2769310020C2775924081 @default.
• W2769310020 hasConceptScore W2769310020C2777212361 @default.
• W2769310020 hasConceptScore W2769310020C2780586882 @default.
• W2769310020 hasConceptScore W2769310020C33923547 @default.
• W2769310020 hasConceptScore W2769310020C41008148 @default.
• W2769310020 hasConceptScore W2769310020C47446073 @default.
• W2769310020 hasConceptScore W2769310020C60640748 @default.
• W2769310020 hasConceptScore W2769310020C62520636 @default.
• W2769310020 hasConceptScore W2769310020C6557445 @default.
• W2769310020 hasConceptScore W2769310020C86803240 @default.
• W2769310020 hasConceptScore W2769310020C90119067 @default.
• W2769310020 hasLocation W27693100201 @default.
• W2769310020 hasLocation W27693100202 @default.

• next