18 citations · 32 across the 5 of their papers we have counts for
5 papers · 1 filter
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…
DMPC: A Data-and Model-Driven Approach to Predictive Control
Hassan Jafarzadeh, Cody Fleming
This work presents DMPC (Data-and Model-Driven Predictive Control) to solve control problems in which some of the constraints or parts of the objective function are known, while ot…
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…