Matches in SemOpenAlex for { <https://semopenalex.org/work/W4287284967> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W4287284967 abstract "This paper is concerned with a compositional scheme for the construction of control barrier certificates for interconnected discrete-time stochastic systems. The main objective is to synthesize switching control policies against $omega$-regular properties that can be described by accepting languages of deterministic Streett automata (DSA) along with providing probabilistic guarantees for the satisfaction of such specifications. The proposed framework leverages the interconnection topology and a notion of so-called emph{control sub-barrier certificates} of subsystems, which are used to compositionally construct control barrier certificates of interconnected systems by imposing some dissipativity-type compositionality conditions. We propose a systematic approach to decompose high-level $omega$-regular specifications into simpler tasks by utilizing the automata corresponding to the specifications. In addition, we formulate an alternating direction method of multipliers (ADMM) optimization problem in order to obtain suitable control sub-barrier certificates of subsystems while satisfying compositionality conditions. For systems with polynomial dynamics, we provide a sum-of-squares (SOS) optimization problem for the computation of control sub-barrier certificates and local control policies of subsystems. Finally, we demonstrate the effectiveness of our proposed approaches by applying them to a physical case study." @default.
- W4287284967 created "2022-07-25" @default.
- W4287284967 creator A5011080021 @default.
- W4287284967 creator A5029222201 @default.
- W4287284967 creator A5030109984 @default.
- W4287284967 date "2021-03-03" @default.
- W4287284967 modified "2023-09-28" @default.
- W4287284967 title "Compositional Synthesis of Control Barrier Certificates for Networks of Stochastic Systems against $omega$-Regular Specifications" @default.
- W4287284967 doi "https://doi.org/10.48550/arxiv.2103.02226" @default.
- W4287284967 hasPublicationYear "2021" @default.
- W4287284967 type Work @default.
- W4287284967 citedByCount "0" @default.
- W4287284967 crossrefType "posted-content" @default.
- W4287284967 hasAuthorship W4287284967A5011080021 @default.
- W4287284967 hasAuthorship W4287284967A5029222201 @default.
- W4287284967 hasAuthorship W4287284967A5030109984 @default.
- W4287284967 hasBestOaLocation W42872849671 @default.
- W4287284967 hasConcept C112505250 @default.
- W4287284967 hasConcept C114614502 @default.
- W4287284967 hasConcept C120314980 @default.
- W4287284967 hasConcept C121332964 @default.
- W4287284967 hasConcept C121375916 @default.
- W4287284967 hasConcept C126255220 @default.
- W4287284967 hasConcept C154945302 @default.
- W4287284967 hasConcept C184720557 @default.
- W4287284967 hasConcept C2775924081 @default.
- W4287284967 hasConcept C2779557605 @default.
- W4287284967 hasConcept C33923547 @default.
- W4287284967 hasConcept C41008148 @default.
- W4287284967 hasConcept C49937458 @default.
- W4287284967 hasConcept C62520636 @default.
- W4287284967 hasConcept C80444323 @default.
- W4287284967 hasConceptScore W4287284967C112505250 @default.
- W4287284967 hasConceptScore W4287284967C114614502 @default.
- W4287284967 hasConceptScore W4287284967C120314980 @default.
- W4287284967 hasConceptScore W4287284967C121332964 @default.
- W4287284967 hasConceptScore W4287284967C121375916 @default.
- W4287284967 hasConceptScore W4287284967C126255220 @default.
- W4287284967 hasConceptScore W4287284967C154945302 @default.
- W4287284967 hasConceptScore W4287284967C184720557 @default.
- W4287284967 hasConceptScore W4287284967C2775924081 @default.
- W4287284967 hasConceptScore W4287284967C2779557605 @default.
- W4287284967 hasConceptScore W4287284967C33923547 @default.
- W4287284967 hasConceptScore W4287284967C41008148 @default.
- W4287284967 hasConceptScore W4287284967C49937458 @default.
- W4287284967 hasConceptScore W4287284967C62520636 @default.
- W4287284967 hasConceptScore W4287284967C80444323 @default.
- W4287284967 hasLocation W42872849671 @default.
- W4287284967 hasOpenAccess W4287284967 @default.
- W4287284967 hasPrimaryLocation W42872849671 @default.
- W4287284967 hasRelatedWork W1505825970 @default.
- W4287284967 hasRelatedWork W1524401886 @default.
- W4287284967 hasRelatedWork W1575028430 @default.
- W4287284967 hasRelatedWork W1582913783 @default.
- W4287284967 hasRelatedWork W2160041484 @default.
- W4287284967 hasRelatedWork W2163234015 @default.
- W4287284967 hasRelatedWork W2461780908 @default.
- W4287284967 hasRelatedWork W2514822958 @default.
- W4287284967 hasRelatedWork W2752804549 @default.
- W4287284967 hasRelatedWork W2989856703 @default.
- W4287284967 isParatext "false" @default.
- W4287284967 isRetracted "false" @default.
- W4287284967 workType "article" @default.