Proceedings of the 3rd international conference on High confidence networked systems - HiCoNS '14
Latest Publications

TOTAL DOCUMENTS

22

(FIVE YEARS 0)

H-INDEX

9

(FIVE YEARS 0)

Published By ACM Press

9781450326520

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On the cost of differential privacy in distributed control systems

Proceedings of the 3rd international conference on High confidence networked systems - HiCoNS '14 ◽

10.1145/2566468.2566474 ◽

2014 ◽

Author(s):

Zhenqi Huang ◽

Yu Wang ◽

Sayan Mitra ◽

Geir E. Dullerud

Keyword(s):

Control Systems ◽

Distributed Control ◽

Differential Privacy ◽

Distributed Control Systems ◽

Download Full-text

User interface design and verification for semi-autonomous driving

Proceedings of the 3rd international conference on High confidence networked systems - HiCoNS '14 ◽

10.1145/2566468.2576851 ◽

2014 ◽

Author(s):

Dorsa Sadigh ◽

Katherine Driggs-Campbell ◽

Ruzena Bajcsy ◽

S. Shankar Sastry ◽

Sanjit Seshia

Keyword(s):

User Interface ◽

Interface Design ◽

Autonomous Driving ◽

User Interface Design

Download Full-text

Energy efficiency via incentive design and utility learning

Proceedings of the 3rd international conference on High confidence networked systems - HiCoNS '14 ◽

10.1145/2566468.2576849 ◽

2014 ◽

Author(s):

Lillian J. Ratliff ◽

Roy Dong ◽

Henrik Ohlsson ◽

S. Shankar Sastry

Keyword(s):

Energy Efficiency ◽

Incentive Design

Download Full-text

A module for anomaly detection in ICS networks

Proceedings of the 3rd international conference on High confidence networked systems - HiCoNS '14 ◽

10.1145/2566468.2566478 ◽

2014 ◽

Author(s):

Matti Mantere ◽

Mirko Sailio ◽

Sami Noponen

Keyword(s):

Anomaly Detection

Download Full-text

Multilateral trades in interconnected power systems

Proceedings of the 3rd international conference on High confidence networked systems - HiCoNS '14 ◽

10.1145/2566468.2566479 ◽

2014 ◽

Author(s):

Erik Miehling ◽

Demosthenis Teneketzis

Keyword(s):

Power Systems ◽

Interconnected Power Systems

Download Full-text

A formal verification approach to revealing stealth attacks on networked control systems

Proceedings of the 3rd international conference on High confidence networked systems - HiCoNS '14 ◽

10.1145/2566468.2566484 ◽

2014 ◽

Author(s):

Nikola Trcka ◽

Mark Moulin ◽

Shaunak Bopardikar ◽

Alberto Speranzon

Keyword(s):

Formal Verification ◽

Control Systems ◽

Networked Control Systems ◽

Networked Control

Download Full-text

Safety envelope for security

Proceedings of the 3rd international conference on High confidence networked systems - HiCoNS '14 ◽

10.1145/2566468.2566483 ◽

2014 ◽

Author(s):

Ashish Tiwari ◽

Bruno Dutertre ◽

Dejan Jovanović ◽

Thomas de Candia ◽

Patrick D. Lincoln ◽

...

Download Full-text

A network interdiction model for analyzing the vulnerability of water distribution systems

Proceedings of the 3rd international conference on High confidence networked systems - HiCoNS '14 ◽

10.1145/2566468.2566480 ◽

2014 ◽

Author(s):

Lina Perelman ◽

Saurabh Amin

Keyword(s):

Distribution Systems ◽

Water Distribution ◽

Water Distribution Systems ◽

Network Interdiction

Download Full-text

Fundamental limits of nonintrusive load monitoring

Proceedings of the 3rd international conference on High confidence networked systems - HiCoNS '14 ◽

10.1145/2566468.2566471 ◽

2014 ◽

Author(s):

Roy Dong ◽

Lillian Ratliff ◽

Henrik Ohlsson ◽

S. Shankar Sastry

Keyword(s):

Fundamental Limits ◽

Load Monitoring

Download Full-text

Resilient distributed parameter estimation in heterogeneous time-varying networks

Proceedings of the 3rd international conference on High confidence networked systems - HiCoNS '14 ◽

10.1145/2566468.2566476 ◽

2014 ◽

Author(s):

Heath J. LeBlanc ◽

Firas Hassan

Keyword(s):

Parameter Estimation ◽

Distributed Parameter ◽

Time Varying ◽

Time Varying Networks ◽

Distributed Parameter Estimation

Download Full-text