Matches in SemOpenAlex for { <https://semopenalex.org/work/W4299663184> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W4299663184 abstract "This paper is concerned with a compositional approach for constructing infinite abstractions of interconnected discrete-time stochastic control systems. The proposed approach uses the interconnection matrix and joint dissipativity-type properties of subsystems and their abstractions described by a new notion of so-called stochastic storage functions. The interconnected abstraction framework is based on new notions of so-called stochastic simulation functions, using which one can quantify the distance between original interconnected stochastic control systems and interconnected abstractions in the probabilistic setting. In the first part of the paper, we derive dissipativity-type compositional reasoning for the quantification of the distance in probability between the interconnection of stochastic control subsystems and that of their abstractions. Moreover, we focus on a class of discrete-time nonlinear stochastic control systems with independent noises in the abstract and concrete subsystems, and propose a computational scheme to construct abstractions together with their corresponding stochastic storage functions. In the second part of the paper, we consider specifications expressed as syntactically co-safe linear temporal logic formulae and show how a synthesized policy for the abstract system can be refined to a policy for the original system while providing guarantee on the probability of satisfaction. We demonstrate the effectiveness of the proposed results by constructing an abstraction (totally 3 dimensions) of the interconnection of three discrete-time nonlinear stochastic control subsystems (together 222 dimensions) in a compositional fashion. We also employ the abstraction as a substitute to synthesize a controller enforcing a syntactically co-safe linear temporal logic specification." @default.
- W4299663184 created "2022-10-02" @default.
- W4299663184 creator A5011080021 @default.
- W4299663184 creator A5017334634 @default.
- W4299663184 creator A5030109984 @default.
- W4299663184 date "2018-01-30" @default.
- W4299663184 modified "2023-09-28" @default.
- W4299663184 title "Compositional Construction of Infinite Abstractions for Networks of Stochastic Control Systems" @default.
- W4299663184 doi "https://doi.org/10.48550/arxiv.1801.10505" @default.
- W4299663184 hasPublicationYear "2018" @default.
- W4299663184 type Work @default.
- W4299663184 citedByCount "0" @default.
- W4299663184 crossrefType "posted-content" @default.
- W4299663184 hasAuthorship W4299663184A5011080021 @default.
- W4299663184 hasAuthorship W4299663184A5017334634 @default.
- W4299663184 hasAuthorship W4299663184A5030109984 @default.
- W4299663184 hasBestOaLocation W42996631841 @default.
- W4299663184 hasConcept C105795698 @default.
- W4299663184 hasConcept C111472728 @default.
- W4299663184 hasConcept C121332964 @default.
- W4299663184 hasConcept C123745756 @default.
- W4299663184 hasConcept C124304363 @default.
- W4299663184 hasConcept C126255220 @default.
- W4299663184 hasConcept C138885662 @default.
- W4299663184 hasConcept C154945302 @default.
- W4299663184 hasConcept C158622935 @default.
- W4299663184 hasConcept C170131372 @default.
- W4299663184 hasConcept C199360897 @default.
- W4299663184 hasConcept C203479927 @default.
- W4299663184 hasConcept C25016198 @default.
- W4299663184 hasConcept C2780801425 @default.
- W4299663184 hasConcept C31258907 @default.
- W4299663184 hasConcept C33923547 @default.
- W4299663184 hasConcept C41008148 @default.
- W4299663184 hasConcept C4777664 @default.
- W4299663184 hasConcept C49937458 @default.
- W4299663184 hasConcept C62520636 @default.
- W4299663184 hasConcept C6557445 @default.
- W4299663184 hasConcept C80444323 @default.
- W4299663184 hasConcept C8272713 @default.
- W4299663184 hasConcept C86803240 @default.
- W4299663184 hasConcept C91575142 @default.
- W4299663184 hasConceptScore W4299663184C105795698 @default.
- W4299663184 hasConceptScore W4299663184C111472728 @default.
- W4299663184 hasConceptScore W4299663184C121332964 @default.
- W4299663184 hasConceptScore W4299663184C123745756 @default.
- W4299663184 hasConceptScore W4299663184C124304363 @default.
- W4299663184 hasConceptScore W4299663184C126255220 @default.
- W4299663184 hasConceptScore W4299663184C138885662 @default.
- W4299663184 hasConceptScore W4299663184C154945302 @default.
- W4299663184 hasConceptScore W4299663184C158622935 @default.
- W4299663184 hasConceptScore W4299663184C170131372 @default.
- W4299663184 hasConceptScore W4299663184C199360897 @default.
- W4299663184 hasConceptScore W4299663184C203479927 @default.
- W4299663184 hasConceptScore W4299663184C25016198 @default.
- W4299663184 hasConceptScore W4299663184C2780801425 @default.
- W4299663184 hasConceptScore W4299663184C31258907 @default.
- W4299663184 hasConceptScore W4299663184C33923547 @default.
- W4299663184 hasConceptScore W4299663184C41008148 @default.
- W4299663184 hasConceptScore W4299663184C4777664 @default.
- W4299663184 hasConceptScore W4299663184C49937458 @default.
- W4299663184 hasConceptScore W4299663184C62520636 @default.
- W4299663184 hasConceptScore W4299663184C6557445 @default.
- W4299663184 hasConceptScore W4299663184C80444323 @default.
- W4299663184 hasConceptScore W4299663184C8272713 @default.
- W4299663184 hasConceptScore W4299663184C86803240 @default.
- W4299663184 hasConceptScore W4299663184C91575142 @default.
- W4299663184 hasLocation W42996631841 @default.
- W4299663184 hasLocation W42996631842 @default.
- W4299663184 hasOpenAccess W4299663184 @default.
- W4299663184 hasPrimaryLocation W42996631841 @default.
- W4299663184 hasRelatedWork W1555157918 @default.
- W4299663184 hasRelatedWork W1574256899 @default.
- W4299663184 hasRelatedWork W1656025398 @default.
- W4299663184 hasRelatedWork W2120106863 @default.
- W4299663184 hasRelatedWork W2138707849 @default.
- W4299663184 hasRelatedWork W2380536301 @default.
- W4299663184 hasRelatedWork W2481947210 @default.
- W4299663184 hasRelatedWork W2886322429 @default.
- W4299663184 hasRelatedWork W3035590440 @default.
- W4299663184 hasRelatedWork W3091670144 @default.
- W4299663184 isParatext "false" @default.
- W4299663184 isRetracted "false" @default.
- W4299663184 workType "article" @default.