38 citations · 220 across the 20 of their papers we have counts for
24 papers
Characterizing the Identity of Model-based Safety Assessment: A Systematic Analysis
Minghui Suna, Smitha Gauthamb, Carl Elksb +1
Model-based safety assessment has been one of the leading research thrusts of the System Safety Engineering community for over two decades. However, there is still a lack of consen…
A new safety-guided design methodology to complement model-based safety analysis for safety assurance
Minghui Sun, Cody H. Fleming
With the rapid advancement of Formal Methods, Model-based Safety Analysis (MBSA) has been gaining tremendous attention for its ability to rigorously verify whether the safety-criti…
Gaussian Process-based Model Predictive Controller for Connected Vehicles with Uncertain Wireless Channel
Hassan Jafarzadeh, Cody Fleming
In this paper, we present a data-driven Model Predictive Controller that leverages a Gaussian Process to generate optimal motion policies for connected autonomous vehicles in regio…
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…
SCAN: A Spatial Context Attentive Network for Joint Multi-Agent Intent Prediction
Jasmine Sekhon, Cody Fleming
Safe navigation of autonomous agents in human centric environments requires the ability to understand and predict motion of neighboring pedestrians. However, predicting pedestrian…
Yoneda Hacking: The Algebra of Attacker Actions
Georgios Bakirtzis, Fabrizio Genovese, Cody H. Fleming
Our work focuses on modeling the security of systems from their component-level designs. Towards this goal, we develop a categorical formalism to model attacker actions. Equipping…