18 citations · 22 across the 4 of their papers we have counts for
11 papers
Sensor Placement for Online Fault Diagnosis
Dhananjay Raju, Georgios Bakirtzis, Ufuk Topcu
Fault diagnosis is the problem of determining a set of faulty system components that explain discrepancies between observed and expected behavior. Due to the intrinsic relation bet…
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…
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…
Compositional Cyber-Physical Systems Modeling
Georgios Bakirtzis, Christina Vasilakopoulou, Cody H. Fleming
Assuring the correct behavior of cyber-physical systems requires significant modeling effort, particularly during early stages of the engineering and design process when a system i…
Cyberphysical Security Through Resiliency: A Systems-centric Approach
Cody Fleming, Carl Elks, Georgios Bakirtzis +4
Cyber-physical systems (CPS) are often defended in the same manner as information technology (IT) systems -- by using perimeter security. Multiple factors make such defenses insuff…
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…