Publications

Journal Article
2016
Jin L, Amin S.  2016.  Stability and Control of Piecewise-Deterministic Queueing Systems. CoRR. abs/1604.02008
Liu J, Amin S, Schwartz G.  2016.  Effects of Information Heterogeneity in Bayesian Routing Games. CoRR. abs/1603.08853
Shelar D, Amin S.  2016.  Security Assessment of Electricity Distribution Networks under DER Node Compromises. CoRR. abs/1601.01342
Perelman LSela, Abbas W, Koutsoukos X, Amin S.  2016.  Sensor placement for fault location identification in water networks: A minimum test cover approach. Automatica. 72:166-176.
Dahan M, Amin S.  2016.  Security Games in Network Flow Problems. CoRR. abs/1601.07216
Jin L, Amin S.  2016.  Analysis of a Stochastic Switched Model of Freeway Traffic Incidents. CoRR. abs/1601.00204
2015
Sengupta R., Amin S., Annaswamy A., Moura S., Bulusu V..  2015.  Smart Cities and Control [Technical Activities]. IEEE Control Systems. 35:20-21.
L. Perelman S, Amin S.  2015.  Control of tree water networks: A geometric programming approach. Water Resources Research. 51:8409–8430.
Sandberg H., Amin S., Johansson K.H.  2015.  Cyberphysical Security in Networked Control Systems: An Introduction to the Issue. IEEE Control Systems. 35:20-23.
Amin S., Schwartz G.A, Cardenas A.A, Sastry S.S.  2015.  Game-Theoretic Models of Electricity Theft Detection in Smart Utility Networks: Providing New Capabilities with Advanced Metering Infrastructure. IEEE Control Systems. 35:66-81.
2014
Loiseau P., Schwartz G., Musacchio J., Amin S., Sastry S.S.  2014.  Incentive Mechanisms for Internet Congestion Management: Fixed-Budget Rebate Versus Time-of-Day Pricing. IEEE/ACM Transactions on Networking. 22:647-661.
Krichene W., Reilly J.D, Amin S., Bayen A.M.  2014.  Stackelberg Routing on Parallel Networks With Horizontal Queues. IEEE Transactions on Automatic Control. 59:714-727.
2013
Amin S., Litrico X., Sastry S., Bayen A.M.  2013.  Cyber Security of Water SCADA Systems - Part I: Analysis and Experimentation of Stealthy Deception Attacks. IEEE Transactions on Control Systems Technology. 21:1963-1970.
Amin S, Schwartz GA, Sastry SS.  2013.  Security of interdependent and identical networked control systems. Automatica. 49:186-192.
Amin S, Schwartz GA, Hussain A.  2013.  In quest of benchmarking security risks to cyber-physical systems. Network, IEEE. 27:19-24.
Amin S., Litrico X., Sastry S.S, Bayen A.M.  2013.  Cyber Security of Water SCADA Systems - Part II: Attack Detection Using Enhanced Hydrodynamic Models. IEEE Transactions on Control Systems Technology. 21:1679-1693.
Amin S., Schwartz G.A, Hussain A..  2013.  In quest of benchmarking security risks to cyber-physical systems. IEEE Network. 27:19-24.
2012
Amin S, Litrico X, Sastry S, Bayen AM.  2012.  Cyber Security of Water SCADA Systems-Part I: Analysis and Experimentation of Stealthy Deception Attacks. Control Systems Technology, IEEE Transactions on. PP:1.
Amin S., Hante F.M, Bayen A.M.  2012.  Exponential Stability of Switched Linear Hyperbolic Initial-Boundary Value Problems. IEEE Transactions on Automatic Control. 57:291-301.
Amin S, Litrico X, Sastry SS, Bayen AM.  2012.  Cyber Security of Water SCADA Systems-Part II; Attack Detection Using Enhanced Hydrodynamic Models. Control Systems Technology, IEEE Transactions on. PP:1.
2009
Huang Y-L, Cárdenas AA, Amin S, Lin Z-S, Tsai H-Y, Sastry S.  2009.  Understanding the physical and economic consequences of attacks on control systems. International Journal of Critical Infrastructure Protection. 2:73-83.
Conference Proceedings
2014
Perelman L, Amin S.  2014.  A network interdiction model for analyzing the vulnerability of water distribution systems. 3rd International Conference on High Confidence Networked Systems (part of {CPS} Week), HiCoNS '14, Berlin, Germany, April 15-17, 2014. :135–144.
2012
Hussain A, Amin S.  2012.  {NCS} security experimentation using {DETER}. 1st International Conference on High Confidence Networked Systems (HiCoNS - at {CPS} Week 2012), HiCoNS '12, Beijing, China, April 17-18, 2012. :73–80.
Amin S, Schwartz GA, Tembine H.  2012.  Incentives and Security in Electricity Distribution Networks. Decision and Game Theory for Security - Third International Conference, GameSec 2012, Budapest, Hungary, November 5-6, 2012. Proceedings. :264–280.
2010
Amin S, Litrico X, Sastry S, Bayen AM.  2010.  Stealthy deception attacks on water {SCADA} systems. Proceedings of the 13th {ACM} International Conference on Hybrid Systems: Computation and Control, {HSCC} 2010, Stockholm, Sweden, April 12-15, 2010. :161–170.
Amin S, Schwartz GA, Sastry SS.  2010.  Security Interdependencies for Networked Control Systems with Identical Agents. Decision and Game Theory for Security - First International Conference, GameSec 2010, Berlin, Germany, November 22-23, 2010. Proceedings. :107–122.
2009
Amin S, Cárdenas AA, Sastry S.  2009.  Safe and Secure Networked Control Systems under Denial-of-Service Attacks. Hybrid Systems: Computation and Control, 12th International Conference, {HSCC} 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings. :31–45.
2008
Amin S, Hante FM, Bayen AM.  2008.  On Stability of Switched Linear Hyperbolic Conservation Laws with Reflecting Boundaries. Hybrid Systems: Computation and Control, 11th International Workshop, {HSCC} 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings. :602–605.
2007
Abate A, Amin S, Prandini M, Lygeros J, Sastry S.  2007.  Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems. Hybrid Systems: Computation and Control, 10th International Workshop, {HSCC} 2007, Pisa, Italy, April 3-5, 2007, Proceedings. :4–17.
2006
Amin S, Abate A, Prandini M, Lygeros J, Sastry S.  2006.  Reachability Analysis for Controlled Discrete Time Stochastic Hybrid Systems. Hybrid Systems: Computation and Control, 9th International Workshop, {HSCC} 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings. :49–63.
Conference Paper
2016
Laszka A., Potteiger B., Vorobeychik Y., Amin S., Koutsoukos X..  2016.  Vulnerability of Transportation Networks to Traffic-Signal Tampering. 2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS). :1-10.
2015
Shelar D., Giraldo J., Amin S..  2015.  A distributed strategy for electricity distribution network control in the face of DER compromises. 2015 54th IEEE Conference on Decision and Control (CDC). :6934-6941.
Dahan M, Amin S.  2015.  Network Flow Routing under Strategic Link Disruptions. 2015 53rd Annual Allerton Conference on Communication, Control, and Computing (Allerton). :353-360.
Shelar D., Amin S..  2015.  Analyzing vulnerability of electricity distribution networks to DER disruptions. 2015 American Control Conference (ACC). :2461-2468.
Abbas W, Perelman LSela, Amin S, Koutsoukos X.  2015.  An Efficient Approach to Fault Identification in Urban Water Networks Using Multi-Level Sensing. Proceedings of the 2Nd ACM International Conference on Embedded Systems for Energy-Efficient Built Environments. :147–156.
2014
Jin L., Amin S..  2014.  A piecewise-deterministic Markov model of freeway accidents. 53rd IEEE Conference on Decision and Control. :1733-1740.
2013
Jebbari Y., Krichene W., Reilly J.D, Bayen A.M.  2013.  Stackelberg thresholds on parallel networks with horizontal queues. 52nd IEEE Conference on Decision and Control. :268-274.
2012
Hussain A, Amin S.  2012.  NCS security experimentation using DETER. Proceedings of the 1st international conference on High Confidence Networked Systems.
Krichene W, Reilly J, Amin S, Bayen AM.  2012.  On the characterization and computation of Nash equilibria on parallel networks with horizontal queues. CDC.
Krichene W., Reilly J., Amin S., Bayen A..  2012.  On the characterization and computation of Nash equilibria on parallel networks with horizontal queues. 2012 IEEE 51st IEEE Conference on Decision and Control (CDC). :7119-7125.
Amin S, Schwartz GA, Tembine H.  2012.  Incentives and Security in Electricity Distribution Networks. GameSec.
Cardenas A.A, Amin S., Schwartz G., Dong R., Sastry S..  2012.  A game theory model for electricity theft detection and privacy-aware control in AMI systems. Communication, Control, and Computing (Allerton), 2012 50th Annual Allerton Conference on. :1830-1837.
Krichene W, Reilly J, Amin S, Bayen AM.  2012.  On Stackelberg routing on parallel networks with horizontal queues. CDC.
2011
Cárdenas AA, Amin S, Lin Z-S, Huang Y-L, Huang C-Y, Sastry S.  2011.  Attacks against process control systems: risk assessment, detection, and response. ASIACCS.
Amin S., Schwartz G.A, Sastry S.S.  2011.  On the interdependence of reliability and security in Networked Control Systems. 2011 50th IEEE Conference on Decision and Control and European Control Conference. :4078-4083.
Loiseau P, Schwartz GA, Musacchio J, Amin S.  2011.  Congestion pricing using a raffle-based scheme. NetGCoop.
Loiseau P., Schwartz G., Musacchio J., Amin S..  2011.  Incentive schemes for Internet congestion management: Raffles versus time-of-day pricing. Communication, Control, and Computing (Allerton), 2011 49th Annual Allerton Conference on. :103-110.
Cárdenas AA, Amin S, Lin Z-S, Huang Y-L, Huang C-Y, Sastry S.  2011.  Attacks Against Process Control Systems: Risk Assessment, Detection, and Response. Proceedings of the 6th ACM Symposium on Information, Computer and Communications Security. :355–366.
Amin S, Schwartz GA, Sastry SS.  2011.  On the interdependence of reliability and security in Networked Control Systems. CDC-ECE.
Schwartz G.A, Amin S., Gueye A., Walrand J..  2011.  Network design game with both reliability and security failures. Communication, Control, and Computing (Allerton), 2011 49th Annual Allerton Conference on. :675-681.
Loiseau P., Schwartz G., Musacchio J., Amin S., Sastry S.S.  2011.  Congestion pricing using a raffle-based scheme. Network Games, Control and Optimization (NetGCooP), 2011 5th International Conference on. :1-8.
2010
Teixeira A., Amin S., Sandberg H., Johansson K.H, Sastry S.S.  2010.  Cyber security analysis of state estimators in electric power systems. 49th IEEE Conference on Decision and Control (CDC). :5991-5998.
Amin S, Schwartz GA, Sastry SS.  2010.  Security Interdependencies for Networked Control Systems with Identical Agents. GameSec.
Chatterjee D., Amin S., Hokayem P., Lygeros J., Sastry S.S.  2010.  Mean-square boundedness of stochastic networked control systems with bounded control inputs. 49th IEEE Conference on Decision and Control (CDC). :4759-4764.
Amin S, Litrico X, Sastry S, Bayen AM.  2010.  Stealthy deception attacks on water SCADA systems. HSCC.
Chatterjee D, Amin S, Hokayem P, Lygeros J.  2010.  Mean-square boundedness of stochastic networked control systems with bounded control inputs. CDC.
Teixeira A, Amin S, Sandberg H, Johansson K H.  2010.  Cyber security analysis of state estimators in electric power systems. CDC.
Herring R., Hofleitner A., Amin S., Na, sr T., Khalek A., Abbeel P., Bayen A..  2010.  Using Mobile Phones to Forecast Arterial Traffic Through Statistical Learning. Proceedings of the Transportation Research Board 89th Annual Meeting.
2009
Amin S, Cárdenas AA, Sastry S.  2009.  Safe and Secure Networked Control Systems under Denial-of-Service Attacks. HSCC.
2008
Amin S, Andrews S, Apte S, Arnold J, Ban J, Benko M, Bayen etal. Alexan.  2008.  Mobile Century Using GPS Mobile Phones as Traffic Sensors: A Field Experiment. Proc. 15th World Congress on Intelligent Transportation Systems.
Cárdenas AA, Amin S, Sastry S.  2008.  Research Challenges for the Security of Control Systems. 3rd {USENIX} Workshop on Hot Topics in Security, HotSec'08, San Jose, CA, USA, July 29, 2008, Proceedings.
Cárdenas AA, Amin S, Sastry S.  2008.  Secure Control: Towards Survivable Cyber-Physical Systems. ICDCS Workshops.
Cardenas A.A, Amin S., Sastry S..  2008.  Secure Control: Towards Survivable Cyber-Physical Systems. 2008 The 28th International Conference on Distributed Computing Systems Workshops. :495-500.
Amin S, Hante FM, Bayen AM.  2008.  Stability analysis of linear hyperbolic systems with switching parameters and boundary conditions. CDC.
Amin S., Hante F.M, Bayen A.M.  2008.  Stability analysis of linear hyperbolic systems with switching parameters and boundary conditions. Decision and Control, 2008. CDC 2008. 47th IEEE Conference on. :2081-2086.
Cárdenas AA, Amin S, Sastry S.  2008.  Research Challenges for the Security of Control Systems. HotSec.
Amin S, Hante FM, Bayen AM.  2008.  On Stability of Switched Linear Hyperbolic Conservation Laws with Reflecting Boundaries. HSCC.
2007
Wut Q, Amint S, Muniert S., Bayent A.M, Litricot X., Belaud G..  2007.  Parameter identification for the shallow water equation using modal decomposition. Decision and Control, 2007 46th IEEE Conference on. :1584-1590.
Amin S., Bayen A.M, L. Ghaoui E, Sastry S..  2007.  Robust feasibility for control of water flow in a reservoir-canal system. Decision and Control, 2007 46th IEEE Conference on. :1571-1577.
2006
Abate A., Amin S., Prandini M., Lygeros J., Sastry S..  2006.  Probabilistic reachability and safe sets computation for discrete time stochastic hybrid systems. Proceedings of the 45th IEEE Conference on Decision and Control. :258-263.