Publications

Journal Article
2018
Jin L., Amin S..  2018.  Stability of Fluid Queueing Systems with Parallel Servers and Stochastic Capacities. IEEE Transactions on Automatic Control. :1-1.
Sela L, Amin S.  2018.  Robust sensor placement for pipeline monitoring: Mixed integer and greedy optimization. Advanced Engineering Informatics. 36:55-63.
Khan Z, Amin S.  2018.  Bottleneck model with heterogeneous information. Transportation Research Part B: Methodological. 112:157-190.
Jin L., Amin S..  2018.  Analysis of a Stochastic Switching Model of Freeway Traffic Incidents. IEEE Transactions on Automatic Control. :1-1.
Lee AC, Dahan M, Weinert AJ, Amin S.  2018.  Leveraging sUAS for Infrastructure Network Exploration and Failure Isolation. Journal of Intelligent {&} Robotic Systems.
Wu M, Amin S.  2018.  Securing Infrastructure Facilities: When does proactive defense help? CoRR. abs/1804.00391
2017
Shelar D., Amin S..  2017.  Security Assessment of Electricity Distribution Networks Under DER Node Compromises. IEEE Transactions on Control of Network Systems. 4:23-36.
Dahan M, Sela L, Amin S.  2017.  Network Monitoring under Strategic Disruptions. CoRR. abs/1705.00349
2016
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.  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
2015
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.
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.
2014
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.
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.
2013
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., 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 G.A, Hussain A..  2013.  In quest of benchmarking security risks to cyber-physical systems. IEEE Network. 27:19-24.
2012
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.
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 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.
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.
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
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.
Cardenas A..  2012.  Privacy-aware sampling for residential demand response programs. 1st International ACM Conf. High Confidence Netw. Syst. (HiCoNS).
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.
2010
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.
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.
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
2018
D. Chang SD, Amin S..  2018.  DER allocation and line repair scheduling for storm-induced failures in distribution networks. IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids (SmartGridComm).
Jin L, ičič MČ, Amin S, Johansson KH.  2018.  Modeling the Impact of Vehicle Platooning on Highway Congestion: A Fluid Queuing Approach. Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (Part of CPS Week).
Liu J., Weinert A., Amin S..  2018.  Semantic Topic Analysis of Traffic Camera Images. 21st IEEE International Conference on Intelligent Transportation Systems (IEEE ITSC).
Wu M, Jin L, Amin S, Jaillet P.  2018.  Signaling Game-based Misbehavior Inspection in V2I-enabled Highway Operations. CoRR. abs/1803.08415
2017
Abbas W, Perelman LSela, Amin S, Koutsoukos X.  2017.  Resilient Sensor Placement for Fault Localization in Water Distribution Networks. Proceedings of the 8th International Conference on Cyber-Physical Systems.
Wu M, Liu J., Amin S..  2017.  Informational aspects in a class of Bayesian congestion games. 2017 American Control Conference (ACC).
Lee A., Dahan M., Amin S..  2017.  Integration of sUAS-enabled sensing for leak identification with oil and gas pipeline maintenance crews. 2017 International Conference on Unmanned Aircraft Systems (ICUAS).
Sethi A.R, Amin S., Schwartz G..  2017.  Value of intrusion detection systems for countering energy fraud. 2017 American Control Conference (ACC).
Shelar D., Sun P., Amin S., Zonouz S..  2017.  Compromising Security of Economic Dispatch in Power System Operations. 2017 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
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).
Amin S..  2016.  Security games on infrastructure networks. 2016 Science of Security for Cyber-Physical Systems Workshop (SOSCYPS).
Dahan M., Perelman L.S, Amin S..  2016.  Network sensing for security against link disruption attacks. 2016 54th Annual Allerton Conference on Communication, Control, and Computing (Allerton).
2015
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.
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.
2014
Jin L., Amin S..  2014.  A piecewise-deterministic Markov model of freeway accidents. 53rd IEEE Conference on Decision and Control. :1733-1740.
Perelman L, Amin S.  2014.  A Network Interdiction Model for Analyzing the Vulnerability of Water Distribution Systems. Proceedings of the 3rd International Conference on High Confidence Networked Systems.
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
Krichene W, Reilly J, Amin S, Bayen AM.  2012.  On the characterization and computation of Nash equilibria on parallel networks with horizontal queues. CDC.
Amin S, Schwartz GA, Tembine H.  2012.  Incentives and Security in Electricity Distribution Networks. GameSec.
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 Stackelberg routing on parallel networks with horizontal queues. CDC.
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.
2011
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 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.
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.
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.
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
Amin S, Litrico X, Sastry S, Bayen AM.  2010.  Stealthy deception attacks on water SCADA systems. HSCC.
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.
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.  2010.  Mean-square boundedness of stochastic networked control systems with bounded control inputs. CDC.
2009
Amin S, Cárdenas AA, Sastry S.  2009.  Safe and Secure Networked Control Systems under Denial-of-Service Attacks. HSCC.
2008
Cárdenas AA, Amin S, Sastry S.  2008.  Secure Control: Towards Survivable Cyber-Physical Systems. ICDCS Workshops.
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.
Amin S, Hante FM, Bayen AM.  2008.  Stability analysis of linear hyperbolic systems with switching parameters and boundary conditions. CDC.
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.
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.
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.
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
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.
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.