2014 Publications

1.   Wenchao Li, Dorsa Sadigh, S. Shankar Sastry, Sanjit Seshia. Synthesis of Human-in-the-Loop Systems. Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2014). [PDF]

2.   Dorsa Sadigh, Katherine Driggs-Campbell, Alberto Puggelli, Wenchao Li, Victor Shia, Ruzena Bajcsy, Alberto Sangiovanni-Vincentelli, S. Shankar Sastry, Sanjit Seshia. Data-Driven Probabilistic Modeling and Verification of Human Driver Behavior. Formal Verification and Modeling in Human-Machine Systems - AAAI Spring Symposium 2014. [PDF]

3.   N. Naikal, P. Lajevardi, and S. S. Sastry. Joint Detection and Recognition of Human Actions in Wireless Surveillance Camera NetworksRobotics and Automation (ICRA), 2014 IEEE International Conference on. IEEE, 2014. [PDF]

4.   Elhamifar, Ehsan and Burden, S A and Sastry, S S. Adaptive piecewise--affine inverse modeling of hybrid dynamical systems. IFAC World Congress 2014. [PDF]

5.   G. Schwartz, H. Tembine, S. Amin, and S. S. Sastry, Demand response scheme based on lottery-like rebates, Proceedings of the 19th World Congress of the International Federation of Automatic Control, (IFAC), 24 -29 August,  2014, Cape Town, South Africa, 2014. [PDF]

6.   S. Amin, G. A. Schwartz, A. A. Cardenas, and S. S. Sastry, Game theoretic models of electricity theft detection in smart utility networks, Control Systems Magazine, IEEE, 2014. [PDF]

7.   A. Gupta, G. A. Schwartz, C. Langbort, S. S. Sastry, and T. Basar, A three-stage colonel blotto game with applications to cyber-physical security, in ACC, Portland, OR, USA, June 4 - 6, 2014, ser. Lecture Notes in Computer Science, Springer, 2014. [PDF]

8.   G. A. Schwartz and S. S. Sastry, Cyber-insurance framework for large scale interdependent networks, in Proceedings of the 3rd international conference on High confidence networked systems, HiCoNS '14, CPSWeek, Berlin, Germany, April 15-17, 2014, ACM, 2014, pp. 145154. [PDF]

9.   P. Loiseau, G. A. Schwartz, J. Musacchio, S. Amin, and S. S. Sastry, Incentive  mechanisms for internet congestion management, Networking, IEEE/ACM Transactions on (TON), v. 22, n. 2, pp. 647--661, 2014. [PDF]

10.   A. Gupta, G. A. Schwartz, C. Langbort, S. S. Sastry, and T. Basar, A Three-Stage Colonel Blotto Game: When to Provide More Information to an Adversary,  In Proceedings of the fifth Conference on Decision and Game Theory for Security, Los Angeles, USA, November 2014. [PDF]

11.   L. J. Ratliff, M. Jin, I. C. Konstantakopoulos, C. Spanos, and S. S. Sastry. Social game for building energy efficiency: Incentive design. In: Proceedings of the 52nd Annual Allerton Conference on Communication, Control, and Computing. IEEE. 2014, pp. 1011-1018. [PDF]

12.   L. J. Ratliff, R. Dong, H. Ohlsson, and S. S. Sastry. Incentive Design and Utility Learning via Energy Disaggregation. In: Proceedings of the 19th World Congress of the Interntional Federtation of Automatic Control. 2014. pp. 3158-3163. [PDF]

13.   L. J. Ratliff, S. A. Burden, and S. S. Sastry. Generictiy and Structural Stability of Non-Degenerate Differential Nash Equilibria. In: Proceedings of the 2014 American Controls Conference. 2014. pp. 3990-3995. [PDF]

14.   Lillian J. Ratliff, Roy Dong, Henrik Ohlsson, Alvaro A. Cardenas, Shankar Sastry. Privacy and Customer Segmentation in the Smart Grid. In: Proceedings of the 53rd IEEE Conference on Decision and Control, 2014. pp. 2136-2141. [PDF]

15.   Daniel J. Calderone, Lillian J. Ratliff, Shankar Sastry. Pricing for Coordination in Open-Loop Differential Games. In: Proceedings of the 19th World Congress of the International Federation of Automatic Control, 2014. pp. 9001-9006. [PDF]

16.   Henrik Ohlsson, Lillian J. Ratliff, Roy Dong, S. Shankar Sastry. Blind Identification via Lifting. In: Proceedings of the 19th World Congress of the International Federation of Automatic Control, 2014. pp. 10367-10372. [PDF]

17.   Roy Dong, Lillian J. Ratliff, Henrik Ohlsson, Shankar Sastry. Fundamental Limits of Non-Intrusive Load Monitoring. In: Proceedings of the 3rd ACM International Conference on High Confidence Networked Systems, 2014. pp. 11-18. [PDF]

18.   Chi-Pang Lam and S. Shankar Sastry. A POMDP Framework for Human-in-the-Loop System, IEEE Conference on Decision and Control, 2014. [PDF]

19.   Dorsa Sadigh, Eric S. Kim, Samuel Coogan, S. Shankar Sastry, Sanjit A. Seshia. A Learning Based Approach to Control Synthesis of Markov Decision Processes for Linear Temporal Logic Specifications. Proceedings of the 53rd IEEE Conference on Decision and Control, 2014. [PDF]

20.   Dorsa Sadigh, Henrik Ohlsson, S. Shankar Sastry, Sanjit A. Seshia. Robust Subspace System Identification via Weighted Nuclear Norm Optimization. The International Federation of Automatic Control. [PDF]