38 citations · 208 across the 29 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2022
AlgebraicSystems: Compositional Verification for Autonomous System Design
Georgios Bakirtzis, Ufuk Topcu
Autonomous systems require the management of several model views to assure properties such as safety and security among others. A crucial issue in autonomous systems design assuran…
cs.LO2021★ 4 cited
Compositional Cyber-Physical Systems Theory
Georgios Bakirtzis
This dissertation builds a compositional cyber-physical systems theory to develop concrete semantics relating the above diverse views necessary for safety and security assurance. I…
cs.LO2020★ 28 cited
Categorical Semantics of Cyber-Physical Systems Theory
Georgios Bakirtzis, Cody H. Fleming, Christina Vasilakopoulou
Cyber-physical systems require the construction and management of various models to assure their correct, safe, and secure operation. These various models are necessary because of…