Matches in SemOpenAlex for { <https://semopenalex.org/work/W3023774328> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W3023774328 abstract "Hybrid automata are an emerging formalism used to model sampled-data control Cyber-Physical Systems (CPS), and analyze their behavior using reachability analysis. This is because hybrid automata provide a richer and more flexible modeling framework, compared to traditional approaches. However, modern state-of-the-art tools struggle to analyze such systems, due to the computational complexity of the reachability algorithm, and due to the introduced overapproximation error. These shortcomings are largely attributed (but not limited) to the aggregation of sets. In this paper we propose a subspace identification approach for decomposed aggregation in the reachability analysis of hybrid automata with linear dynamics. Our key contribution is the observation that the choice of a good subspace basis does not only depend on the sets being aggregated, but also on the continuous-time dynamics of an automaton. With this observation in mind, we present a dynamics-aware sub-space identification algorithm that we use to construct tight decomposed convex hulls for the aggregated sets. Our approach is evaluated on two practically relevant hybrid automata models of sampled-data CPS that have been shown to be difficult to analyze by modern state-of-the-art tools. Specifically, we show that for these models our approach can improve the accuracy of the reachable set by up-to 10 times when compared to standard Principal Component Analysis (PCA), for which finding a fixed point is not guaranteed. We also show that while the computational complexity is increased, a fixed-point is found earlier." @default.
- W3023774328 created "2020-05-13" @default.
- W3023774328 creator A5060539391 @default.
- W3023774328 creator A5078247152 @default.
- W3023774328 date "2020-04-22" @default.
- W3023774328 modified "2023-09-26" @default.
- W3023774328 title "Dynamics-aware subspace identification for decomposed aggregation in the reachability analysis of hybrid automata" @default.
- W3023774328 cites W1591040101 @default.
- W3023774328 cites W1864720896 @default.
- W3023774328 cites W1975630497 @default.
- W3023774328 cites W1992633833 @default.
- W3023774328 cites W2008030868 @default.
- W3023774328 cites W2056124912 @default.
- W3023774328 cites W2103671225 @default.
- W3023774328 cites W2132664947 @default.
- W3023774328 cites W2153504150 @default.
- W3023774328 cites W2176215692 @default.
- W3023774328 cites W2240893799 @default.
- W3023774328 cites W2682861647 @default.
- W3023774328 cites W2797793517 @default.
- W3023774328 cites W95577512 @default.
- W3023774328 doi "https://doi.org/10.1145/3365365.3382200" @default.
- W3023774328 hasPublicationYear "2020" @default.
- W3023774328 type Work @default.
- W3023774328 sameAs 3023774328 @default.
- W3023774328 citedByCount "0" @default.
- W3023774328 crossrefType "proceedings-article" @default.
- W3023774328 hasAuthorship W3023774328A5060539391 @default.
- W3023774328 hasAuthorship W3023774328A5078247152 @default.
- W3023774328 hasConcept C112505250 @default.
- W3023774328 hasConcept C116834253 @default.
- W3023774328 hasConcept C121332964 @default.
- W3023774328 hasConcept C136643341 @default.
- W3023774328 hasConcept C145912823 @default.
- W3023774328 hasConcept C154945302 @default.
- W3023774328 hasConcept C24890656 @default.
- W3023774328 hasConcept C32834561 @default.
- W3023774328 hasConcept C41008148 @default.
- W3023774328 hasConcept C59822182 @default.
- W3023774328 hasConcept C80444323 @default.
- W3023774328 hasConcept C86803240 @default.
- W3023774328 hasConceptScore W3023774328C112505250 @default.
- W3023774328 hasConceptScore W3023774328C116834253 @default.
- W3023774328 hasConceptScore W3023774328C121332964 @default.
- W3023774328 hasConceptScore W3023774328C136643341 @default.
- W3023774328 hasConceptScore W3023774328C145912823 @default.
- W3023774328 hasConceptScore W3023774328C154945302 @default.
- W3023774328 hasConceptScore W3023774328C24890656 @default.
- W3023774328 hasConceptScore W3023774328C32834561 @default.
- W3023774328 hasConceptScore W3023774328C41008148 @default.
- W3023774328 hasConceptScore W3023774328C59822182 @default.
- W3023774328 hasConceptScore W3023774328C80444323 @default.
- W3023774328 hasConceptScore W3023774328C86803240 @default.
- W3023774328 hasLocation W30237743281 @default.
- W3023774328 hasOpenAccess W3023774328 @default.
- W3023774328 hasPrimaryLocation W30237743281 @default.
- W3023774328 hasRelatedWork W121260911 @default.
- W3023774328 hasRelatedWork W1486144438 @default.
- W3023774328 hasRelatedWork W1914870824 @default.
- W3023774328 hasRelatedWork W2125281005 @default.
- W3023774328 hasRelatedWork W2139989305 @default.
- W3023774328 hasRelatedWork W2368796975 @default.
- W3023774328 hasRelatedWork W2538603995 @default.
- W3023774328 hasRelatedWork W3023774328 @default.
- W3023774328 hasRelatedWork W3095160120 @default.
- W3023774328 hasRelatedWork W38902447 @default.
- W3023774328 isParatext "false" @default.
- W3023774328 isRetracted "false" @default.
- W3023774328 magId "3023774328" @default.
- W3023774328 workType "article" @default.