Matches in SemOpenAlex for { <https://semopenalex.org/work/W3113187462> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W3113187462 endingPage "110513" @default.
- W3113187462 startingPage "110513" @default.
- W3113187462 abstract "In this work, we propose a compositional framework for the construction of control barrier functions for networks of continuous-time stochastic hybrid systems enforcing complex logic specifications expressed by finite-state automata. The proposed scheme is based on a notion of so-called pseudo-barrier functions computed for subsystems, by employing which one can synthesize hybrid controllers for interconnected systems enforcing complex specifications over a finite-time horizon. Particularly, we first leverage sufficient small-gain type conditions to compositionally construct control barrier functions for interconnected systems based on the corresponding pseudo-barrier functions computed for subsystems. Then, using the constructed control barrier functions, we provide probabilistic guarantees on the satisfaction of given complex specifications in a bounded time horizon. In this respect, we decompose the given complex specification to simpler reachability tasks based on automata representing the complements of original finite-state automata. We then provide systematic approaches to solve those simpler reachability tasks by computing corresponding pseudo-barrier functions. Two different systematic techniques are provided based on (i) the sum-of-squares (SOS) optimization program and (ii) counter-example guided inductive synthesis (CEGIS) to search for pseudo-barrier functions of subsystems while synthesizing local controllers. We demonstrate the effectiveness of our proposed results by applying them to a fully-interconnected Kuramoto network of 100 nonlinear oscillators with Markovian switching signals." @default.
- W3113187462 created "2020-12-21" @default.
- W3113187462 creator A5017334634 @default.
- W3113187462 creator A5030109984 @default.
- W3113187462 creator A5061394007 @default.
- W3113187462 date "2022-11-01" @default.
- W3113187462 modified "2023-09-30" @default.
- W3113187462 title "Compositional construction of control barrier functions for continuous-time stochastic hybrid systems" @default.
- W3113187462 cites W1480909796 @default.
- W3113187462 cites W1496681274 @default.
- W3113187462 cites W1607353007 @default.
- W3113187462 cites W1967184028 @default.
- W3113187462 cites W2002912304 @default.
- W3113187462 cites W2023808162 @default.
- W3113187462 cites W2033118636 @default.
- W3113187462 cites W2041226400 @default.
- W3113187462 cites W2077987282 @default.
- W3113187462 cites W2087486424 @default.
- W3113187462 cites W2106368651 @default.
- W3113187462 cites W2212712436 @default.
- W3113187462 cites W221832247 @default.
- W3113187462 cites W2493389545 @default.
- W3113187462 cites W2571307628 @default.
- W3113187462 cites W2759834774 @default.
- W3113187462 cites W2765910425 @default.
- W3113187462 cites W2782983619 @default.
- W3113187462 cites W2823704907 @default.
- W3113187462 cites W2944522148 @default.
- W3113187462 cites W2963644532 @default.
- W3113187462 cites W2963686733 @default.
- W3113187462 cites W2968945909 @default.
- W3113187462 cites W2972429904 @default.
- W3113187462 cites W3001057880 @default.
- W3113187462 cites W3007404411 @default.
- W3113187462 cites W3012097656 @default.
- W3113187462 cites W3153831685 @default.
- W3113187462 doi "https://doi.org/10.1016/j.automatica.2022.110513" @default.
- W3113187462 hasPublicationYear "2022" @default.
- W3113187462 type Work @default.
- W3113187462 sameAs 3113187462 @default.
- W3113187462 citedByCount "6" @default.
- W3113187462 countsByYear W31131874622022 @default.
- W3113187462 countsByYear W31131874622023 @default.
- W3113187462 crossrefType "journal-article" @default.
- W3113187462 hasAuthorship W3113187462A5017334634 @default.
- W3113187462 hasAuthorship W3113187462A5030109984 @default.
- W3113187462 hasAuthorship W3113187462A5061394007 @default.
- W3113187462 hasBestOaLocation W31131874621 @default.
- W3113187462 hasConcept C112505250 @default.
- W3113187462 hasConcept C119857082 @default.
- W3113187462 hasConcept C134306372 @default.
- W3113187462 hasConcept C136643341 @default.
- W3113187462 hasConcept C153083717 @default.
- W3113187462 hasConcept C154945302 @default.
- W3113187462 hasConcept C33923547 @default.
- W3113187462 hasConcept C34388435 @default.
- W3113187462 hasConcept C41008148 @default.
- W3113187462 hasConcept C49937458 @default.
- W3113187462 hasConcept C50897621 @default.
- W3113187462 hasConcept C80444323 @default.
- W3113187462 hasConceptScore W3113187462C112505250 @default.
- W3113187462 hasConceptScore W3113187462C119857082 @default.
- W3113187462 hasConceptScore W3113187462C134306372 @default.
- W3113187462 hasConceptScore W3113187462C136643341 @default.
- W3113187462 hasConceptScore W3113187462C153083717 @default.
- W3113187462 hasConceptScore W3113187462C154945302 @default.
- W3113187462 hasConceptScore W3113187462C33923547 @default.
- W3113187462 hasConceptScore W3113187462C34388435 @default.
- W3113187462 hasConceptScore W3113187462C41008148 @default.
- W3113187462 hasConceptScore W3113187462C49937458 @default.
- W3113187462 hasConceptScore W3113187462C50897621 @default.
- W3113187462 hasConceptScore W3113187462C80444323 @default.
- W3113187462 hasLocation W31131874621 @default.
- W3113187462 hasLocation W31131874622 @default.
- W3113187462 hasOpenAccess W3113187462 @default.
- W3113187462 hasPrimaryLocation W31131874621 @default.
- W3113187462 hasRelatedWork W1527362383 @default.
- W3113187462 hasRelatedWork W1597178621 @default.
- W3113187462 hasRelatedWork W2095644384 @default.
- W3113187462 hasRelatedWork W2126053898 @default.
- W3113187462 hasRelatedWork W2368796975 @default.
- W3113187462 hasRelatedWork W2418618628 @default.
- W3113187462 hasRelatedWork W2586877961 @default.
- W3113187462 hasRelatedWork W2739661923 @default.
- W3113187462 hasRelatedWork W2952920810 @default.
- W3113187462 hasRelatedWork W4293477811 @default.
- W3113187462 hasVolume "145" @default.
- W3113187462 isParatext "false" @default.
- W3113187462 isRetracted "false" @default.
- W3113187462 magId "3113187462" @default.
- W3113187462 workType "article" @default.