Biblio
Filters: Keyword is Cyber-physical systems [Clear All Filters]
.
2016. Cross-Layer Codesign for Secure Cyber-Physical Systems. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 35:699-711.
.
2014. DepSys: Dependency aware integration of cyber-physical systems for smart homes. 2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS). :127-138.
.
2013. On the implications of plug-and-learn adaptive hardware components toward a cyberphysical systems perspective on evolvable and adaptive hardware. 2013 IEEE International Conference on Evolvable Systems (ICES). :59-65.
Evolvable and Adaptive Hardware (EAH) Systems have been a subject of study for about two decades. This paper argues that viewing EAH devices in isolation from the larger systems in which they serve as components is somewhat dangerous in that EAH devices can subvert the design hierarchies upon which designers base verification and validation efforts. The paper proposes augmenting EAH components with additional machinery to enable the application of model-checking and related Cyber-Physical Systems techniques to extract evolving intra-module relationships for formal verification and validation purposes.
.
2017. Attack-Resilient State Estimation for Noisy Dynamical Systems. IEEE Transactions on Control of Network Systems. 4:82-92.
.
2016. Physical System Consequences of Unobservable State-and-Topology Cyber-Physical Attacks. IEEE Transactions on Smart Grid. 7:2016-2025.
.
2017. Application of Congestion Notifications in a Cyber-Physical System. 2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing (PRDC). :165-174.