Now showing items 1-12 of 12

    • Attack-resilient sensor fusion for safety-critical cyber-physical systems 

      Ivanov, R; Lee, Insup; Pajic, M (ACM Transactions on Embedded Computing Systems, 2016-02-01)
      © 2016 ACM.This article focuses on the design of safe and attack-resilient Cyber-Physical Systems (CPS) equipped with multiple sensors measuring the same physical variable. A malicious attacker may be able to disrupt system ...
    • 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 ...
    • Design methodologies for securing cyber-physical systems 

      Faruque, MA; Regazzoni, F; Pajic, M (2015 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2015, 2015-11-17)
      © 2015 IEEE.Cyber-Physical Systems (CPS) are in most cases safety- and mission-critical. Standard design techniques used for securing embedded systems are not suitable for CPS due to the restricted computation and communication ...
    • 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 ...
    • 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 ...
    • Recognition of Planar Segments in Point Cloud Based on Wavelet Transform 

      Jakovljevic, Z; Puzovic, R; Pajic, M (IEEE Transactions on Industrial Informatics, 2015-04-27)
      © 2005-2012 IEEE.Within industrial automation systems, three-dimensional (3-D) vision provides very useful feedback information in autonomous operation of various manufacturing equipment (e.g., industrial robots, material ...
    • Robust estimation using context-aware filtering 

      Atanasov, N; Ivanov, R; Lee, Insup; Pajic, M; Pappas, G (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 ...
    • 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 ...
    • 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 ...