Now showing items 1-6 of 6

    • Attack-Resilient State Estimation in the Presence of Noise 

      Lee, Insup; Pajic, M; Pappas, GJ; Tabuada, P
      We consider the problem of attack-resilient state estimation in the presence of noise. We focus on the most general model for sensor attacks where {any} signal can be injected via the compromised sensors. An $l_0$-based ...
    • Automatic verification of linear controller software 

      Lee, Insup; Pajic, M; Pappas, GJ; Park, J; 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 ...
    • Opportunistic Control Over Shared Wireless Channels 

      Gatsis, K; Pajic, M; Pappas, GJ; Ribeiro, Alejandro (IEEE Transactions on Automatic Control, 2015-12-01)
      © 2015 IEEE.We consider a wireless control architecture with multiple control loops over a shared wireless medium. A scheduler observes the random channel conditions that each control system experiences over the shared medium ...
    • Robustness of attack-resilient state estimators 

      Bezzo, N; Lee, Insup; Pajic, M; Pappas, GJ; Sokolsky, O; Tabuada, P; Weimer, J (2014 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2014, 2014-01-01)
      The interaction between information technology and phys ical world makes Cyber-Physical Systems (CPS) vulnerable to malicious attacks beyond the standard cyber attacks. This has motivated the need for attack-resilient state ...
    • 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 ...