38 citations · 208 across the 29 of their papers we have counts for
8 papers · 1 filter
Compositional shield synthesis for safe reinforcement learning in partial observability
Steven Carr, Georgios Bakirtzis, Ufuk Topcu
Agents controlled by the output of reinforcement learning (RL) algorithms often transition to unsafe states, particularly in uncertain and partially observable environments. Partia…
Approximate solutions to games of ordered preference
Pau de las Heras Molins, Eric Roy-Almonacid, Dong Ho Lee +3
Autonomous vehicles must balance ranked objectives, such as minimizing travel time, ensuring safety, and coordinating with traffic. Games of ordered preference effectively model th…
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…
Compositional Thinking in Cyberphysical Systems Theory
Georgios Bakirtzis, Eswaran Subrahmanian, Cody H. Fleming
Engineering safe and secure cyber-physical systems requires system engineers to develop and maintain a number of model views, both dynamic and static, which can be seen as algebras…
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…
Data Driven Vulnerability Exploration for Design Phase System Analysis
Georgios Bakirtzis, Brandon J. Simon, Aidan G. Collins +2
Applying security as a lifecycle practice is becoming increasingly important to combat targeted attacks in safety-critical systems. Among others there are two significant challenge…
Correct-by-construction requirement decomposition
Minghui Sun, Georgios Bakirtzis, Hassan Jafarzadeh +1
In systems engineering, accurately decomposing requirements is crucial for creating well-defined and manageable system components, particularly in safety-critical domains. Despite…