Visible to the public Biblio

Filters: Author is Pajic, M.  [Clear All Filters]
Pajic, M., Mangharam, R., Sokolsky, O., others.  2014.  Model-Driven Safety Analysis of Closed-Loop Medical Systems. IEEE Transactions on Industrial Informatics. 10:3–16.
Pajic, M., Zhihao Jiang, Insup Lee, Sokolsky, O., Mangharam, R..  2012.  From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study. Real-Time and Embedded Technology and Applications Symposium (RTAS), 2012 IEEE 18th. :173-184.
Ivanov, R., Atanasov, N., Pajic, M., Lee, I., Pappas, G. J..  2015.  Robust Localization Using Context-Aware Filtering. Workshop on Multi VIew Geometry in Robotics (MVIGRO), in conjunction with RSS.
Pajic, M., Tabuada, P., Lee, I., Pappas, G.J..  2015.  Attack-Resilient State Estimation in the Presence of Noise. 54th IEEE Annual Conference on Decision and Control (CDC). :5827–5832.