HiCoNS

Publications

2014

Erik Miehling, Demosthenis Teneketzis
Multilateral trades in interconnected power systems: a local public goods approach. HiCoNS (2014)
Zhenqi Huang, Yu Wang, Sayan Mitra, Geir E. Dullerud
On the cost of differential privacy in distributed control systems. HiCoNS (2014)
Curtis R. Taylor, Krishna K. Venkatasubramanian, Craig A. Shue
Understanding the security of interoperable medical devices using attack graphs. HiCoNS (2014)
Heath J. LeBlanc, Firas Hassan
Resilient distributed parameter estimation in heterogeneous time-varying networks. HiCoNS (2014)
Tua Agustinus Tamba, Michael D. Lemmon
Forecasting the resilience of networked dynamical systems under environmental perturbation. HiCoNS (2014)
Emeka Eyisi, Xenofon D. Koutsoukos
Energy-based attack detection in networked control systems. HiCoNS (2014)
3rd International Conference on High Confidence Networked Systems (part of CPS Week), HiCoNS '14, Berlin, Germany, April 15-17, 2014 HiCoNS (2014)
Alvaro A. Cárdenas
From CRCs to resilient control systems: differentiating between reliability and security for the protection of cyber-physical systems. HiCoNS (2014)
Bin Hu, Michael D. Lemmon
Distributed switching control to achieve resilience to deep fades in leader-follower nonholonomic systems. HiCoNS (2014)
Nikola Trcka, Mark Moulin, Shaunak D. Bopardikar, Alberto Speranzon
A formal verification approach to revealing stealth attacks on networked control systems. HiCoNS (2014)
Marina Krotofil, Alvaro A. Cárdenas
Is this a good time?: deciding when to launch attacks on process control systems. HiCoNS (2014)
Lillian J. Ratliff, Roy Dong, Henrik Ohlsson, S. Shankar Sastry
Energy efficiency via incentive design and utility learning. HiCoNS (2014)
Galina A. Schwartz, S. Shankar Sastry
Cyber-insurance framework for large scale interdependent networks. HiCoNS (2014)
Radoslav Ivanov, Miroslav Pajic, Insup Lee
Resilient multidimensional sensor fusion using measurement history. HiCoNS (2014)
Roy Dong, Lillian J. Ratliff, Henrik Ohlsson, S. Shankar Sastry
Fundamental limits of nonintrusive load monitoring. HiCoNS (2014)
Phillip Lee, Omar Saleh, Basel Alomair, Linda Bushnell, Radha Poovendran
Graph-based verification and misbehavior detection in multi-agent networks. HiCoNS (2014)
Radha Poovendran
Passivity framework for modeling, mitigating, and composing attacks on networked systems. HiCoNS (2014)
Katherine Rose Driggs-Campbell, Victor Shia, Ruzena Bajcsy
Decisions for autonomous vehicles: integrating sensors, communication, and control. HiCoNS (2014)
Mark Yampolskiy, Yevgeniy Vorobeychik, Xenofon D. Koutsoukos, Péter Horváth, Heath J. LeBlanc, Janos Sztipanovits
Resilient distributed consensus for tree topology. HiCoNS (2014)
Lina Perelman, Saurabh Amin
A network interdiction model for analyzing the vulnerability of water distribution systems. HiCoNS (2014)
Ashish Tiwari, Bruno Dutertre, Dejan Jovanovic, Thomas de Candia, Patrick Lincoln, John M. Rushby, Dorsa Sadigh, Sanjit A. Seshia
Safety envelope for security. HiCoNS (2014)
Dorsa Sadigh, Katherine Rose Driggs-Campbell, Ruzena Bajcsy, S. Shankar Sastry, Sanjit A. Seshia
User interface design and verification for semi-autonomous driving. HiCoNS (2014)
Matti Mantere, Mirko Sailio, Sami Noponen
A module for anomaly detection in ICS networks. HiCoNS (2014)

2013

2012