Now showing items 1-4 of 4

    • Model-driven safety analysis of closed-loop medical systems 

      Arney, D; Goldman, J; Lee, Insup; Mangharam, R; Pajic, M; Sokolsky, O (IEEE Transactions on Industrial Informatics, 2014-01-01)
      In modern hospitals, patients are treated using a wide array of medical devices that are increasingly interacting with each other over the network, thus offering a perfect example of a cyber-physical system. We study the ...
    • Safety-critical medical device development using the UPP2SF model translation tool 

      Jiang, Z; Lee, Insup; Mangharam, R; Pajic, M; Sokolsky, O (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 ...
    • The wireless control network: A new approach for control over networks 

      Pajic, M; Sundaram, S; Pappas, GJ; Mangharam, R (IEEE Transactions on Automatic Control, 2011-10-01)
      We present a method to stabilize a plant with a network of resource constrained wireless nodes. As opposed to traditional networked control schemes where the nodes simply route information to and from a dedicated controller ...
    • Topological conditions for in-network stabilization of dynamical systems 

      Pajic, M; Mangharam, R; Pappas, GJ; Sundaram, S (IEEE Journal on Selected Areas in Communications, 2013-04-04)
      We study the problem of stabilizing a linear system over a wireless network using a simple in-network computation method. Specifically, we study an architecture called the Wireless Control Network (WCN), where each wireless ...