Matches in SemOpenAlex for { <https://semopenalex.org/work/W3200407034> ?p ?o ?g. }
- W3200407034 abstract "This dissertation builds a compositional cyber-physical systems theory to develop concrete semantics relating the above diverse views necessary for safety and security assurance. In this sense, composition can take two forms. The first is composing larger models from smaller ones within each individual formalism of requirements, behaviors, and architectures which can be thought of as horizontal composition -- a problem which is largely solved. The second and main contribution of this theory is vertical composition, meaning relating or otherwise providing verified composition across requirement, behavioral, and architecture models and their associated algebras. In this dissertation, we show that one possible solution to vertical composition is to use tools from category theory. Category theory is a natural candidate for making both horizontal and vertical composition formally explicit because it can relate, compare, and/or unify different algebras." @default.
- W3200407034 created "2021-09-27" @default.
- W3200407034 creator A5080758702 @default.
- W3200407034 date "2021-09-10" @default.
- W3200407034 modified "2023-09-27" @default.
- W3200407034 title "Compositional Cyber-Physical Systems Theory." @default.
- W3200407034 cites W1501547546 @default.
- W3200407034 cites W1541203236 @default.
- W3200407034 cites W154592414 @default.
- W3200407034 cites W1557653052 @default.
- W3200407034 cites W1565544898 @default.
- W3200407034 cites W1571102086 @default.
- W3200407034 cites W1585089195 @default.
- W3200407034 cites W1599131566 @default.
- W3200407034 cites W1604224855 @default.
- W3200407034 cites W1662456638 @default.
- W3200407034 cites W1857886188 @default.
- W3200407034 cites W1933146504 @default.
- W3200407034 cites W1964053994 @default.
- W3200407034 cites W1966741850 @default.
- W3200407034 cites W1994901326 @default.
- W3200407034 cites W1995810576 @default.
- W3200407034 cites W2022595765 @default.
- W3200407034 cites W2039427951 @default.
- W3200407034 cites W2040004825 @default.
- W3200407034 cites W2051986607 @default.
- W3200407034 cites W2061039002 @default.
- W3200407034 cites W207267598 @default.
- W3200407034 cites W2073226533 @default.
- W3200407034 cites W2088189323 @default.
- W3200407034 cites W2089187712 @default.
- W3200407034 cites W2091944452 @default.
- W3200407034 cites W2092140996 @default.
- W3200407034 cites W2100505193 @default.
- W3200407034 cites W2114877339 @default.
- W3200407034 cites W2115179079 @default.
- W3200407034 cites W2116520617 @default.
- W3200407034 cites W2117218135 @default.
- W3200407034 cites W2120713972 @default.
- W3200407034 cites W2121805588 @default.
- W3200407034 cites W2134487882 @default.
- W3200407034 cites W2137040597 @default.
- W3200407034 cites W2148443868 @default.
- W3200407034 cites W2159443917 @default.
- W3200407034 cites W2258159692 @default.
- W3200407034 cites W2326271904 @default.
- W3200407034 cites W2555680506 @default.
- W3200407034 cites W2601924125 @default.
- W3200407034 cites W2606327778 @default.
- W3200407034 cites W2617246254 @default.
- W3200407034 cites W2679033717 @default.
- W3200407034 cites W2748347163 @default.
- W3200407034 cites W2767875366 @default.
- W3200407034 cites W2792493793 @default.
- W3200407034 cites W2798708919 @default.
- W3200407034 cites W2885093626 @default.
- W3200407034 cites W2887537262 @default.
- W3200407034 cites W2895615573 @default.
- W3200407034 cites W2900878227 @default.
- W3200407034 cites W2905586589 @default.
- W3200407034 cites W2911720646 @default.
- W3200407034 cites W2926587972 @default.
- W3200407034 cites W2926991544 @default.
- W3200407034 cites W2945685829 @default.
- W3200407034 cites W2951450966 @default.
- W3200407034 cites W2962887654 @default.
- W3200407034 cites W2964186632 @default.
- W3200407034 cites W2977695787 @default.
- W3200407034 cites W2986720777 @default.
- W3200407034 cites W3001653519 @default.
- W3200407034 cites W3011364142 @default.
- W3200407034 cites W3020915645 @default.
- W3200407034 cites W3021844877 @default.
- W3200407034 cites W3023718358 @default.
- W3200407034 cites W3029114445 @default.
- W3200407034 cites W3029898802 @default.
- W3200407034 cites W3032694069 @default.
- W3200407034 cites W3045584024 @default.
- W3200407034 cites W3077473315 @default.
- W3200407034 cites W3107977833 @default.
- W3200407034 cites W3134227994 @default.
- W3200407034 cites W3134657433 @default.
- W3200407034 cites W3152196183 @default.
- W3200407034 cites W642120166 @default.
- W3200407034 cites W87635799 @default.
- W3200407034 cites W98581743 @default.
- W3200407034 doi "https://doi.org/10.18130/xn8v-5d89" @default.
- W3200407034 hasPublicationYear "2021" @default.
- W3200407034 type Work @default.
- W3200407034 sameAs 3200407034 @default.
- W3200407034 citedByCount "0" @default.
- W3200407034 crossrefType "posted-content" @default.
- W3200407034 hasAuthorship W3200407034A5080758702 @default.
- W3200407034 hasConcept C121375916 @default.
- W3200407034 hasConcept C123657996 @default.
- W3200407034 hasConcept C138885662 @default.
- W3200407034 hasConcept C142362112 @default.
- W3200407034 hasConcept C153349607 @default.
- W3200407034 hasConcept C154945302 @default.
- W3200407034 hasConcept C184337299 @default.