18 citations · 47 across the 19 of their papers we have counts for
6 papers · 1 filter
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…
Functional requirements decomposition in set-based design
Minghui Sun, Zhaoyang Chen, Georgios Bakirtzis +2
Designing systems is typically uncertain and ambiguous at early stages. Set-based design supports alternative exploration and gradual uncertainty reduction during the early lifecyc…
Categorical semantics of compositional reinforcement learning
Georgios Bakirtzis, Michail Savvas, Ufuk Topcu
Compositional knowledge representations in reinforcement learning (RL) facilitate modular, interpretable, and safe task specifications. However, generating compositional models req…
STPA-driven Multilevel Runtime Monitoring for In-time Hazard Detection
Smitha Gautham, Georgios Bakirtzis, Alexander Will +2
Runtime verification or runtime monitoring equips safety-critical cyber-physical systems to augment design assurance measures and ensure operational safety and security. Cyber-phys…
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…
Dynamic Certification for Autonomous Systems
Georgios Bakirtzis, Steven Carr, David Danks +1
Autonomous systems are often deployed in complex sociotechnical environments, such as public roads, where they must behave safely and securely. Unlike many traditionally engineered…