Conference · October 4, 2015
Featured Publication
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 due to optimizations in a third-party code ge ...
Full textOpen AccessCite
Conference · September 1, 2015
Featured Publication
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 about the system's context which is not ...
Open AccessCite
Journal articleAssembly Automation · April 7, 2015
Featured Publication
Purpose The purpose of this paper is to provide a method for the generation of information machines for part mating process diagnosis. Recognition of contact states between parts during robotized part mating represents a significant element of the system f ...
Full textCite
ConferenceProceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) · 2015
Featured Publication
Full textOpen AccessCite
Journal articleInternational Journal on Software Tools for Technology Transfer · April 1, 2014
Featured Publication
The design and implementation of software for medical devices is challenging due to the closed-loop interaction with the patient, which is a stochastic physical environment. The safety-critical nature and the lack of existing industry standards for verific ...
Full textCite
ConferenceCyber-Physical Systems (ICCPS), 2014 ACM/IEEE International Conference on · April 2014
Featured Publication
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 estimation. Yet, the existing st ...
Full textOpen AccessCite
ConferenceCyber-Physical Systems (ICCPS), 2014 ACM/IEEE International Conference on · April 2014
Featured Publication
We consider a wireless networked control system with multiple loops closing over a shared wireless medium. To avoid interferences a centralized scheduler decides which control task accesses the channel at each time step, opportunistically based on the rand ...
Full textCite
ConferenceDesign, Automation and Test in Europe Conference and Exhibition (DATE), 2014 · March 2014
Featured Publication
This work considers the problem of attack-resilient sensor fusion in an autonomous system where multiple sensors measure the same physical variable. A malicious attacker may corrupt a subset of these sensors and send wrong measurements to the controller on ...
Full textCite
Journal articleTransactions on Embedded Computing Systems · January 1, 2014
Featured Publication
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 lines of code which are respon ...
Full textOpen AccessCite
ConferenceDecision and Control (CDC), 2013 IEEE 52nd Annual Conference on · December 2013
Featured Publication
We consider the problem of linear system stabilization using a set of decentralized controllers that communicate with the plant’s sensors over a network that employs linear network coding. Our analysis is built upon an existing algebraic description of det ...
Full textCite
Journal articleIEEE Journal on Selected Areas in Communications · April 4, 2013
Featured Publication
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 node maintains a state, and peri ...
Full textOpen AccessCite
Journal articleTransactions on Embedded Computing Systems · December 1, 2012
Featured Publication
Networked cyber-physical systems are fundamentally constrained by the tight coupling and closed-loop control of physical processes. To address actuation in such closed-loop wireless control systems there is a strong need to rethink the communication archit ...
Full textCite
Journal articleIEEE transactions on industrial informatics · October 2012
Featured Publication
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 of a medical device system f ...
Full textOpen AccessCite
ConferenceReal-Time and Embedded Technology and Applications Symposium (RTAS), 2012 IEEE 18th · April 2012
Featured Publication
Model-Driven Design (MDD) of cyber-physical systems advocates for design procedures that start with formal modeling of the real-time system, followed by the model’s verification at an early stage. The verified model must then be translated to a more detail ...
Full textCite
ConferenceProceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems · 2012
Featured Publication
Full textCite
Journal articleIEEE Transactions on Automatic Control · October 1, 2011
Featured Publication
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 (perhaps performing some encodin ...
Full textOpen AccessCite
Conference
Featured Publication
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 state estimator that can be formulat ...
Open AccessCite
