Now showing items 1-3 of 3

    • Automatic verification of linear controller software 

      Pajic, M; Park, J; Lee, I; Pappas, GJ; Sokolsky, O (2015 Proceedings of the International Conference on Embedded Software, EMSOFT 2015, 2015-11-04)
      © 2015 IEEE.We consider the problem of verification of software implementations of linear time-invariant controllers. Commonly, different implementations use different representations of the controller's state, for example ...
    • Robust estimation using context-aware filtering 

      Ivanov, R; Atanasov, N; Pajic, M; Pappas, G.J.; Lee, I (2015 53rd Annual Allerton Conference on Communication, Control, and Computing, Allerton 2015, 2016-04-04)
      © 2015 IEEE.This paper presents the context-aware filter, an estimation technique that incorporates context measurements, in addition to the regular continuous measurements. Context measurements provide binary information ...
    • Safety-critical medical device development using the UPP2SF model translation tool 

      Pajic, M; Jiang, Z; Lee, I; Sokolsky, O; Mangharam, R (Transactions on Embedded Computing Systems, 2014-01-01)
      Software-based control of life-critical embedded systems has become increasingly complex, and to a large extent has come to determine the safety of the human being. For example, implantable cardiac pacemakers have over 80,000 ...