PROF. RATNESH KUMAR, PHD, FELLOW IEEE, …home.engineering.iastate.edu/~rkumar/PUBS/resumeout.pdf3.R. Kumar (PI), $50,000 NSF-INTERN Supplement, \In-vivo Glucose Sensor Design and

$Page 1: PROF. RATNESH KUMAR, PHD, FELLOW IEEE, …home.engineering.iastate.edu/~rkumar/PUBS/resumeout.pdf3.R. Kumar (PI), $50,000 NSF-INTERN Supplement, \In-vivo Glucose Sensor Design and$
PROF. RATNESH KUMAR, PHD, FELLOW IEEE, FELLOW AAASIowa State Univ., Dept. of Elec. & Comp. Eng.; Dept. of Computer Sc.

Email: [email protected]://www.eng.iastate.edu/~rkumar

EDUCATIONPh.D., Elec. & Comp. Eng., Univ. of Texas at Austin, August 1991 (GPA 4.0/4.0).M.S., Elec. & Comp. Eng., Univ. of Texas at Austin, August 1989 (GPA 4.0/4.0).B.Tech., Elec. Eng., Indian Inst. of Tech. Kanpur, India, May 1987 (GPA 10.0/10.0).

ACADEMIC EXPERIENCEAugust 2005-Present: Professor, Department of Electrical and Computer Engineering, IowaState University, Ames, IA.July 2012-Present: Professor (Courtesy Appointment), Department of Computer Science,Iowa State University, Ames, IA.August 2002-2005: Associate Professor, Department of Electrical and Computer Engineer-ing, Iowa State University, Ames, IA.July 1997-July 2002: Associate Professor, Department of Electrical and Computer Engineer-ing, University of Kentucky, Lexington, KY.August 1991-June 1997: Assistant Professor, Department of Electrical Engineering, Univer-sity of Kentucky, Lexington, KY.Summers 1992, 1995: Visiting Faculty, Department of ElectricalEngineering and SystemsResearch Center, University of Maryland, College Park, MD.Fall 1989-Summer 1991: Graduate Research Assistant, Department of Electrical and Com-puter Engineering, University of Texas at Austin.Fall 1987-Summer 1989: Graduate Fellow, Department of Electrical and Computer Engi-neering, University of Texas at Austin.

INDUSTRIAL AND OTHER NON-ACADEMIC EXPERIENCEFall 2015-Summer 2016: Consultant, Wright-Patt Air Force Research Lab, Dayton, OH.Fall 2008: Visiting Scientist, United Technology Research Center, Hartford, CT.Summer 2001: Visiting Scientist, Argonne National Laboratory—West, Idahofalls ID.Summers 2000, 1999, August 1997-98: Visiting Scientist, Applied Research Laboratory,PennsylvaniaState University, State College, PA.Summer 1996: Visiting Faculty, NASA-Ames, Division of Human and Systems Technology, Mof-fett Field, California.June 1987-August 1987: Research Engineer, Research and Development Group, Hindustan Com-puters Limited, Telecommunication Division, New Delhi, India.

HONORS AND RECOGNITIONSAAAS Fellow, 2018, for distinguished contributions to discrete-event and cyberphysical systems,embedded software, agri-, bio- and environmental sensors, and energy harvesting”.Harpole Professor, Dept. of Electrical and Computer Engineering, Iowa State University, 2017-Present.D. R. Boylan Eminent Faculty Award for Research, Iowa State University, 2019.Distinguished Lecturer, IEEE Control Systems Society, 2015-Present.IEEE Fellow, 2007 “for contributions to discrete event system modeling, control, diagnosis andapplications.People in Control article, IEEE Control Systems Magazine, 2013.Best Transactions Paper, 2016, IEEE Transactions on Automation Science and Engineering,“Fault Detection of Discrete-Time Stochastic Systems Subject to Temporal Logic CorrectnessRequirements” vol. 12, no. 4, pp. 1369-1379, 2015.

1

http://www.eng.iastate.edu/~rkumar

Best Student Paper Finalist, 2016, IEEE Sensors Conference, “Patterning of nanophotonicstructures at optical fiber tip for refractive index sensing”, Oct. 2016, Orlando, FL.Representative Delegate, 2017, of IEEE Central Iowa Section at the IEEE Sections Congress,Sydney, Australia, Aug. 2017.Plenary Speaker, 2014 Int. Conf. on Information Technology, Bhubneshwar, India.Plenary Speaker, 2014 IEEE International Workshop on Discrete Event Systems, Paris, France.Best Conference Paper Finalist Award, 2014, IEEE International Conference on Networking,Sensing and Control, IEEE SMC Society, Miami, FL.Best Student Paper Finalist Award, 2014, IEEE International Conference on Networking, Sens-ing and Control, IEEE SMC Society, Miami, FL.Program Co-Chair, 2009 International Workshop on Software Cybernetics.Keynote Speaker, 2008 IEEE International Workshop on Software Cybernetics (co-hosted withIEEE COMPSAC), Turku, Finland.IEEE Fellow Committee for Control System Society, 2009.General Co-Chair, International Workshop on Discrete Event 2008.Steering Committee, International Workshop on Software Cybernetics, 2009-Present.Associate Editor, Sensors—MDPI, 2018-Present.Associate Editor, IEEE Transactions on Systems, Man and Cybernetics: Systems, 2017-Present.Associate Editor, IET Cyberphysical Systems: Theory and Applications, 2016-Present.Associate Editor, ACM Transactions on Embedded Computing Systems, 2014-Present.Associate Editor, International Journal on Discrete Event Control Systems, 2009-Present.Associate Editor, Journal of Discrete Event Dynamical Systems, 2005-2009.Associate Editor, SIAM Journal on Control and Optimization, 1999-2007.Associate Editor, IEEE Transactions on Robotics and Automation, 2000-2002.Associate Editor, IEEE Conf. on Decision and Control, 1996-2015.Associate Editor, American Control Conference, 1996-2015.Argonne National Lab. Summer Faculty Fellowship for the year 2001.Senior Member, IEEE, 2000.Applied Research Lab. Sabbatical Faculty Fellowship for the year 1997.NASA-ASEE Summer Faculty Fellowship Award for the year 1996.Research Initiation Award for the years 1994-1997, National Science Foundation.Best Dissertation for the year 1991, Department of Electrical and Computer Engineering, Uni-versity of Texas at Austin.Microelectronics and Computer Development Fellowship for the years 1987-89, Universityof Texas at Austin.Ratan Swarup Memorial Gold Medal for being the best all rounder student for the year 1987,Indian Institute of Technology Kanpur, India.Lalit Narain Das Memorial Gold Medal for being the best undergraduate student in ElectricalEngineering for the year 1987, Indian Institute of Technology Kanpur, India.Proficiency Prize for the Best Project Work in Electrical Engineering for the year 1987, IndianInstitute of Technology Kanpur, India.

GRANTS AND CONTRACTS

A. From NSF1. R. Kumar (PI), $600,000 NSF-CSSI, “Elements: Agricultural Cyber-infrastructure support for

Field and Grid Modeling, and Runtime Decision-Making”, May 15, 2020- April 30, 2023.2. R. Kumar (PI), $55,000 NSF-INTERN Supplement, “Prototype Development: Flexible Energy

Harvester Band for Wearable Sensors” (Supplement to: “PFI:AIR - TT: In-Situ Wireless SoilSensor for Moisture, Salinity and Ions”), Sept. 6, 2019-June 30, 2020.

2

3. R. Kumar (PI), $50,000 NSF-INTERN Supplement, “In-vivo Glucose Sensor Design and Testingon Animal Models” (Supplement to: “CyberSEES: Type2: In-Situ, Wireless, Energy-HarvestingSoil Moisture/Nutrient Sensors for Managing Agricultural Resources & Environmental Impacts”),Dec. 1, 2018-Aug. 31, 2019.

4. R. Kumar (PI), $40,000 NSF-INTERN Supplement, “Development and Integration of EnergyHarvesters with Environmental Sensors” (Supplement to: “PFI:AIR - TT: In-Situ Wireless SoilSensor for Moisture, Salinity and Ions”), August 1, 2018-June 30, 2019.

5. R. Kumar (PI) and L. Dong, “PFI:AIR - TT: In-Situ Wireless Soil Sensor for Moisture, Salinityand Ions”, NSF, $200,000, May 1, 2016-June 30, 2019.

6. R. Kumar (PI), NSF-ECCS, $350,000, “Model-based System-Level Testing/Validation”, Aug. 152015-July 31 2019.

7. R. Kumar (PI), M. Castellano, L. Dong, F. Miguez, and R. E. Weber, NSF, $1M, “CyberSEES:Type2: In-Situ, Wireless, Energy-Harvesting Soil Moisture/Nutrient Sensors for Managing Agri-cultural Resources & Environmental Impacts”, August 16, 2013-August 30, 2019.

8. R. Kumar (PI), S. Birrell, R. Weber, A. Kamal, and A. Kaleita, $460,949, “Soil Sensors and theirWireless Underground Network for Precision Farming and Environmental Management”, Sept. 152009-August 31, 2015, NSF.

9. R. Kumar (PI) and C. Zhou, $300,000, “Model-based Test Generation for Embedded Softwarewith Simulink/Stateflow or Hybrid Automata Models”, May 1, 2008-April 30, 2011, NSF.

10. R. Kumar (PI) and S. Jiang, $360,000, “GOALI: Monitoring and Reconfiguration for Fault-Tolerance of Embedded Control Software with Automotive Applications”, June 1, 2008-May 31,2011, NSF.

11. R. Kumar (PI), A. Kamal, and S. Birrell, $239,999, “Cyber-Systems: Development of Soil Sensorsand their Underground Wireless Network for Fertilization Management to Minimize EnvironmentalImpact”, May 1, 2006- April 30, 2010, NSF.

12. R. Kumar (PI), $210,000, “Nondeterministic Control of Discrete-Event Systems for Language or(Bi)Simulation Equivalence Specifications”, Sept. 1, 2004-August 31, 2007, NSF.

13. J. McCalley, R. Kumar (Co-PI), O. Volij, V. Ajjarappu, N. Elia, V. Vittal, $350,000 “EPNES:Planning Reconfigurable Power System Control for Transmission Enhancement with Cost-RecoverySystem”, Sept. 1, 2003-Aug. 31, 2006, NSF.

14. R. Kumar (Iowa State Univ. PI) and A. Arapostathis (Univ. of Texas PI), $333,967 “Control ofMarkov Chains with Qualitative Constraints”, Sept. 1, 2002-Aug. 31, 2006, NSF.

15. R. Kumar (PI), $237,848, “Control and Diagnosis of Discrete-Event Systems with Temporal LogicSpecifications”, August 16, 2002-August 15, 2006, NSF.

16. R. Kumar (PI), $168,191, “Modeling, Interface Design, and Verification of Hybrid and DiscreteEvent Systems”, October 1, 1997-Sept. 30, 2001, NSF.

17. R. Kumar (PI), National Science Foundation and Univ. of KY, $1,900 ($900 NSF), “Travelsupport for 1996 IEEE Conf. on Decision and Control, Japan, Dec. 1996.

18. M. Truszczynski, R. A. Finkel, J. N. Griffioen, J. E. Lumpp, R. S. Yavatkar, R. Kumar (Co-PI),L. E. Holloway, $1,498,765 “CISE Research Infrastructure: A Laboratory for Research in HighPerformance Distributed Computing”, July 15, 1995-June 30, 2001, NSF.

19. R. Kumar (PI), Research Initiation Award $89,982, “Real-Time Discrete Event Control and itsApplications to Automated Manufacturing Systems”, August 31, 1994-July 31, 1997, NSF.

20. R. Kumar (PI), National Science Foundation and Univ. of KY, $1,900 ($400 NSF), “Travelsupport for 1994 Workshop on Discrete Event Systems, France”, June 1994.

B. From DoD/ARL/AFRL; DoE/ANL; NASA1. R. Kumar (PI), Hao Ren, $91,500, AFRL, “Quantifier-Elimination Based Compositional Reasoning

Framework and Application to UxAS”, May 1, 2017-August 31, 2017.2. R. Kumar (Consultant), Air Force Research Lab, $50,000, “Quantifier Elimination Techniques and

Tools and Application to Software Verification”, Aug. 16, 2015-Aug. 15, 2016.

3

3. R. Kumar (Consultant), Air Force Research Lab, $27,500, “Run Time Assurance”, Dec. 1, 2011-March 31, 2012.

4. R. Kumar (PI), Applied Research Laboratory, Penn. State Univ., $2000, “Travel support forattending IEEE International Symposium for Intelligent Control”, Sept. 1998.

5. R. Kumar (PI), Applied Research Laboratory, $39,000, “Sabbatical Research at Applied ResearchLaboratory, Penn. State Univ.”, August 16, 1997-August 15, 1998.

6. R. Kumar (PI), Office of Naval Research, $355,609, “Research on Ale’s Intelligent Control Archi-tecture”, April 1, 2001-March 31, 2005.

7. R. Kumar (PI), Argonne National Laboratory, $25,000, “Diagnosis of Repeatable Faults in DiscreteEvent Systems” July 1, 2001-Sept. 30, 2001.

8. J. C. Yingling, J. Sottile, and R. Kumar (Co-PI), Dept. of Energy KY/EPSCoR, $108,104 “Sup-porting Technologies for Effective Use of On-line Analyzers in Control of Coal Quality”, Sept. 1,1996-August 31, 1999.

9. R. Kumar (PI), NASA-ASEE Summer Faculty Fellowship, $12,229, June 10, 1996-August 16,1996.

C. From Industry; University1. R. Kumar (PI), $40,000, ERI-ISU, “Wearable Triboelectric Energy Harvester”, Jan. 2018-Aug.

2018.2. R. Kumar (PI), $112,500, Texas Instruments, “Research on Soil Sensors for Precision Agriculture”,

July 1, 2017-Dec. 31, 2018.3. R. Kumar (PI), $104,995, Reagents Innovation Fund (RIF), Iowa State University,“In-Situ Wireless

Soil Moisture, Salinity, Nitrate and other Nutrients/Ion Sensing: Phase II”, August 1, 2016-Aug31, 2017.

4. R. Kumar (PI), $50,000, Security and Software Engineering Research Center (S2ERC) with supportfrom Rockwell Collins, “Attack Graph Modeling and Analysis”, May 16, 2016-May 15, 2017.

5. R. Kumar (PI), $109,900, Reagents Innovation Fund (RIF), Iowa State University,“In-Situ WirelessSoil Moisture and Salinity Sensor and Ionic Sensing Extension”, August 1, 2015-May 31, 2016.

6. R. Kumar (PI), $101,557, Honeywell Advanced Tech. Center, “SMT Solver Support in HiLiteSoftware”, Aug. 24, 2015-Dec. 30, 2016.

7. R. Kumar (PI), $50,000, Security and Software Engineering Research Center (S2ERC) with supportfrom Pacific Northwest National Lab (PNNL) and John Deere, “Metrics for Secrecy and Resiliencyfor Cyber-Physical Systems”, August 16, 2014-May 15, 2015.

8. R. Kumar (PI), $102,500, Adobe Systems, Inc., “Effective Prediction of Dropoff Rate for OnlineVideo Sessions”, Jan. 1, 2013-Aug. 15, 2016.

9. R. Kumar (PI), $87,600, General Motors R&D, “Linear Hybrid System Verification Tool”, Jan. 1,2009-Dec. 31, 2010.

10. R. Kumar (PI), $74,241, Magnatech Inc., “Remote Diagnosis of Machines”, Jan. 1, 2008-Dec.31, 2008.

11. R. Kumar (PI) and A. Kamal, $32,500, ICUBE, ISU, “Wireless Soil Sensor Network Research”,S09, S08, Summer07, S07, S04.

12. R. Kumar (PI), $150,000, ISU, “New Faculty Start-Up Grant”, Aug. 16, 2002-Aug. 15, 2005.13. R. Kumar (PI), $7,200, ISU Travel Supports, “Foreign Travel Grant”, Dec. 2014, Aug. 2012,

April 2007, April 2003; “Transportation-CPS”, Jan. 2014; “PVS Workshop at NASA-Langley”,SEA Fund, April 2003 (about $1200 each travel).

14. R. Kumar (PI), $59,580, Univ. of KY Research Support, Center for Manufacturing Systems,$13,200,“Optimization of Lexmark’s Electronic Assembly Line”, July 1, 1996-June 30, 1997; Univ.of KY Research Committee Grant, $4,980, “Optimization Problems in Automated Electronic CardProjection Lines”, July 1, 1995-June 30, 1996; Center for Mfg. Systems, $6,000, “Assembly TimeOptimization in Printed Circuit Board Assembly”, Jan. 1, 1994-Dec. 31, 1994; Center for Mfg.Systems, Univ. of KY, $18,000 “Optimizing Sequencing Techniques for Pick-and-Place Robots”,

4

July 1, 1993-Dec. 31, 1994; Center for Mfg. Systems, $6,000, “Efficient Techniques for SurfaceMount Technology”, Jan. 1, 1993-Dec. 31, 1993; Center for Mfg. Systems, $11,400, “Modelingand Control of Discrete Event Systems”, July 1, 1992-June 30, 1993.

15. R. Kumar (PI), $42,000, Univ. of KY, “New Faculty Start-up Fund”, August 1991.16. R. Kumar (PI), $3,300, Univ. of KY Travel Support, “1998 Workshop on Discrete Event Systems,

Italy”, $750, August 1998; “1993 IEEE Conf. on Decision & Control, San Antonio”, $550, Dec.1993; “1993 American Control Conf., San Francisco”, $1,200, June 1993; “1991 IEEE Conf. onDecision and Control, England”, $800, Dec. 1991.

D. Proposals Submitted (Pending)1. R. Kumar (PI), P. Scott, and R. Malone, $1.1 M, NSF, “SitS: Soil and Plant Sensors For Early

Detection and Mitigation of Crop Stresses”, Jan. 1, 2021-Dec. 31, 2024.2. R. Kumar (PI), $100,000, ISU-RIF, “Hybrid Piezo/Triboelectric Vibrational Energy Harvester for

IoT Sensors”, August 16, 2020-May, 15, 2021.3. R. Kumar (PI), R. Malone, $450,000, NSF, “Integrated, Field-deployable, Portable, Wireless,

Multiplexed Optical Gas Sensing System”, May 16 2020-May 15, 2023.

PATENTS (* denotes student, + denotes collaborator)1. A. Al-Ghazo and R. Kumar, “Cybersecurity Algorithms and Tools for Supervisory Control and

Data Acquisition and Industrial Control Systems”, ISURF 05092, filed to ISU on 03/13/2020;Provisional Patent Application 63/007,173 filed on 04/08/2020.

2. H. Ren* and R. Kumar, “ReLIC: Reduced Logic Inference for Composition for Quantifier Elimina-tion based Compositional Reasoning and Verification”, ISURF 04762, filed to ISU on 3/15/2018,Copyright protected, June 29, 2018.

3. A. Ali+, S. Tabassum*, Q. Wang+, R. Kumar, and L. Dong+, “Integrated Dual-Modality Mi-crofluidic Sensor for Biomarker Detection”, ISURF 04729, filed to ISU on 12/14/2017; ProvisionalPatent Application 62/620,025, filed on 1/22/2018.

4. S. Tabassum∗, L. Dong and R. Kumar, “Nano-patterning Methods Including: (1) Patterning ofNanophotonic Structures at Optical Fiber Tip For Refractive Index Sensing and (2) PlasmonicCrystal Incorporating Graphene Oxide Gas Sensor for Detection of Volatile Organic Compo”,ISURF 04453, filed on 12/17/2015; Provisional Patent Application 62/411,402, filed on 10/21/2016;Full Patent filed on 10/21/2017.

5. Z. Xu∗, L. Dong+ and R. Kumar, “Electrophoretic soil nutrient sensor for agriculture”, ISURF04454, filed on 12/17/2015; Provisional Patent Application 62/411,315, filed on 10/21/2016;Full patent filed on 10/21/2017, U.S.Patent No. 10564122, February 18, 2020.

6. K. Singh∗, R. Kumar and R. J. Weber+, “Bistable Piezoelectric Cantilever Based Vibration EnergyHarvester and Synchronized High-Power Extraction”, USPTO Application 62/145,012, Docket no.P11413US00, ISURF 04354, filed on 04/09/2015, U.S. Patent No. 10224835 B1, March 5,2019.

7. G. Pandey∗, R. Kumar, and R. J. Weber+, “Low RF-Band Impedance Spectroscopy Based Sensorfor In-situ, Wireless Soil Sensing”, USPTO Application 14/695,763, Docket no. P11043US00,ISURF 04183, filed on 04/25/2014, U.S. Patent No. 10073074, Sept. 11, 2018.

8. R. Kumar and M. Li∗, “Reduction of Automated Test Generation for Simulink/Stateflow to Reach-ability and its Novel Resolution”, ISURF 04226, provisional filed on 08/13/2014, CopyrightProtected, June 12, 2015.

9. R. Kumar and M. Li∗, “Semantic Translation of Stateflow Diagrams Into Input/Output ExtendedFinite Automata And Automated Test Generation for Simulink/Stateflow Diagrams”, U.S. PatentNo. 8849626 B1, Sept. 30, 2014

10. R. Kumar and C. Zhou∗, “Semantic Translation of Time-Driven Simulink Diagrams Using In-put/Output Extended Finite Automata”, U.S. Patent No. 8655636 B2, Feb. 18, 2014.

PUBLICATIONS (* denotes student, + denotes collaborator)

A. Book

5

http://patft.uspto.gov/netacgi/nph-Parser?Sect1=PTO1&Sect2=HITOFF&d=PALL&p=1&u=%2Fnetahtml%2FPTO%2Fsrchnum.htm&r=1&f=G&l=50&s1=10564122.PN.&OS=PN/10564122&RS=PN/10564122

http://patft.uspto.gov/netacgi/nph-Parser?Sect1=PTO2&Sect2=HITOFF&u=%2Fnetahtml%2FPTO%2Fsearch-adv.htm&r=1&p=1&f=G&l=50&d=PTXT&S1=10224835&OS=10224835&RS=10224835

http://patft.uspto.gov/netacgi/nph-Parser?Sect1=PTO2&Sect2=HITOFF&u=%2Fnetahtml%2FPTO%2Fsearch-adv.htm&r=1&p=1&f=G&l=50&d=PTXT&S1=10224835&OS=10224835&RS=10224835







1. R. Kumar and V. K. Garg+,Modeling and Control of Logical Discrete Event Systems. KluwerAcademic Publishers. 1995.

B. Journal Articles Published/Accepted (* denotes student, + denotes collaborator)1. S. Kundu*, S. Tabassum*, R. Kumar, “A Perspective on Sepsis Pathogenesis, Biomarkers, and

Diagnosis: A Concise Survey”, Medical Devices and Sensors, accepted (April 2020).2. A. Bhar*, R. Kumar, Z. Qi+, and R. Malone+, “Coordinate Descent based Agriculture model cal-

ibration and Optimized Input Management”, Computers and Electronics in Agriculture, accepted(March 2020).

3. S. Tabassum* and R. Kumar, “Advances in lab-on-a-fiber technology for point-of-care diagnosisand in-vivo biosensing”, Advanced Materials Technologies, accepted (Jan. 2020).

4. B. Kashyap*, C. Sestok, A. Dabak, S. Ramaswamy and R. Kumar, “Ultra-precision liquid levelsensing using impedance spectroscopy and data analytics”, IEEE Sensors Journal, accepted (July2019), DOI: 10.1109/JSEN.2019.2925788.

5. R. Kumar and S. Takai+, “Comments on ‘Predictability of Failure Event Occurrences in De-centralized Discrete-Event Systems and Polynomial-Time Verification’ ”, IEEE Transactions onAutomation Science and Engineering, accepted (June 2019). DOI: 10.1109/TASE.2019.2923903

6. A. Al-Ghazo∗, M. Ibrahim∗, H. Ren∗, and R. Kumar, “A2G2V: Automatic Attack Graph Generationand Visualization and its Applications to Computer and SCADA Networks”, IEEE T. Systems,Man, and Cybernetics: Systems, accepted (May 2019). DOI: 10.1109/TSMC.2019.2915940.

7. H. Ren∗ and R. Kumar, “Simulation-Based Verification of Bounded-Horizon Safety for HybridSystems using Dynamic Number of Simulations”, IET-Cyberphysical Sytems: Theory and Appli-cations, Feb. 2019, DOI: 10.1049/iet-cps.2018.5017

8. K. Singh∗, M. Pathak∗, R. J. Weber+, and R. Kumar “A Self-propelled Mechanism for IncreasingBistable Range of Operation of a Piezoelectric Cantilever based Vibration Energy Harvester”,IEEE Transactions on on Ultrasonics, Ferroelectrics, and Frequency Control, 65(11), pp. 2184 -2194, Aug. 2018, DOI : 10.1109/TUFFC.2018.2864998

9. G. Pandey∗, R. E. Weber, and R. Kumar, “Agricultural Cyber-physical System: In-Situ SoilContent Estimation by Inversion Analysis of Dielectric Mixture Model”, IEEE ACCESS, 6, pp.43179 - 43191, Aug. 2018, Invited Paper, DOI : 10.1109/ACCESS.2018.2862634

10. S. Tabassum*, L. Dong, and R. Kumar, “Determination of dynamic variations in optical propertiesof graphene oxide in response to gas exposure based on thin-film interference”, Optic Express,26(5), pp. 6331-6344, Mar. 2018, DOI: 10.1364/OE.26.006331.

11. H. Sahota and R. Kumar, “Maximum-Likelihood Sensor Node Localization Using Received SignalStrength in Multimedia With Multipath Characteristics”, IEEE Systems Journal, 12(1), pp. 506-515, Mar.2018, DOI: 10.1109/JSYST.2016.2550607

12. M. A. Ali+, S. Tabassum*, Q. Wang, Y. Wang, R. Kumar, and L. Dong, “Integrated Dual-ModalityMicrofluidic Sensor for Biomarker Detection Using Lithographic Plasmonic Crystal”, Lab on Chip,18(5), pp. 803-817, Feb. 2018, DOI: 10.1039/C7LC01211J, Selected for Back Cover.

13. J. Chen∗, C. Keroglou+, C. N. Hadjicostis+ and R. Kumar, “Revised Test for Stochastic Diagnos-ability of Discrete-Event Systems”, IEEE Transactions on Automation Science and Engineering,15(1), pp. 404-408, Jan. 2018, DOI: 10.1109/TASE.2016.2551746.

14. S. Tabassum∗, R. Kumar, and L. Dong+, “Nanopatterned Optical Fiber Tip for Guided ModeResonance and Application to Gas Sensing”, IEEE Sensors Journal, 17(22), pp. 7262 7272, Sep.2017, DOI: 10.1109/JSEN.2017.2748593.

15. S. Tabassum∗, R. Kumar, and L. Dong+, “Plasmonic Crystal based Gas Sensor towards an Op-tical Nose Design”, IEEE Sensors Journal, 17(19), pp. 6210-6223, Aug. 2017, DOI: 10.1109/JSEN.2017.2740176.

16. S. Takai+ and R. Kumar, “Implementation of Inference-Based Diagnosis: Computing Delay Boundand Ambiguity Levels”, Journal of Discrete Event Dynamical Systems, 28(2), pp. 315348, Jul.2017, DOI: 10.1007/s10626-017-0253-x, Invited Paper.

6

https://www.springer.com/us/book/9780792395386

https://ieeexplore.ieee.org/document/8750882






https://digital-library.theiet.org/content/journals/10.1049/iet-cps.2018.5017

https://digital-library.theiet.org/content/journals/10.1049/iet-cps.2018.5017

https://ieeexplore.ieee.org/document/8434254/




https://www.osapublishing.org/oe/abstract.cfm?uri=oe-26-5-6331

https://www.osapublishing.org/oe/abstract.cfm?uri=oe-26-5-6331

https://ieeexplore.ieee.org/abstract/document/7475882

https://ieeexplore.ieee.org/abstract/document/7475882

http://pubs.rsc.org/en/content/articlelanding/2018/lc/c7lc01211j/unauth#!divAbstract

http://pubs.rsc.org/en/content/articlelanding/2018/lc/c7lc01211j/unauth#!divAbstract

https://ieeexplore.ieee.org/abstract/document/7463534/






https://link.springer.com/article/10.1007/s10626-017-0253-x

https://link.springer.com/article/10.1007/s10626-017-0253-x

17. H. Ren∗, J. Huang+, S. Jiang+ and R. Kumar, “Verification using counterexample fragment basedspecification relaxation: Case of modular/concurrent linear hybrid automata”, IET Cyber PhysicalSystems: Theory and Applications, 2(2), pp. 65-74, Jul. 2017, DOI: 10.1049/iet-cps.2016.0042.

18. Z. Xu*, X. Wang*, R. J. Weber+, R. Kumar, and L. Dong+, “Nutrient sensing using chip scaleelectrophoresis and in situ soil solution extraction”, IEEE Sensors Journal, 14(17), pp. 4330-4339,Jul. 2017, DOI: 10.1109/JSEN.2017.2704918.

19. S. Takai+ and R. Kumar, “A Generalized Inference-Based Diagnosis Framework for Discrete EventSystems Capturing Both Disjunctive and Conjunctive Decision-Making”, IEEE Transactions onAutomatic Control, 62(6), pp. 2778-2793, Jun. 2017, DOI: 10.1109/TAC.2016.2624422

20. M. Li∗ and R. Kumar, “Reachability Resolution for Discrete-time Hybrid Systems with Applicationto Automated Test for Simulink/Stateflow” IET Cyber Physical Systems: Theory and Applications,2(1), pp. 28-41, Apr. 2017, DOI: 10.1049/iet-cps.2017.0007.

21. G. Wu*, V. Swaminathan+, and R. Kumar, “Matrix Completion with Gaussian Models usingEM Algorithm”, Journal of Communications, 12(3), pp. 180-186, Jan. 2017, DOI: 10.12720/jcm.12.3.180-186.

22. J. Chen∗, M. Ibrahim∗, and R. Kumar, “Quantification of Secrecy in Partially Observed StochasticDiscrete Event Systems”, IEEE Transactions on Automation Science and Engineering, 14(1), pp.185-195, Jan. 2017, DOI: 10.1109/TASE.2016.2604222.

23. M. Li∗ and R. Kumar, “Automated Test Generation and Error Localization for Simulink/Stateflowusing Extended Automata”, IET: Cyberphysical Systems: Theory and Applications, 1(1), pp.95-107, Dec. 2016, DOI: 10.1049/iet-cps.2016.0024.

24. M. A. Ali*, H. Jiang*, N. K. Mahal*, R. J. Weber+, R. Kumar, M. Castellano+, “MicrofluidicImpedimetric Sensor for Soil Nitrate Detection Using Graphene Oxide and Conductive NanofibersEnabled Sensing Interface”, Sensors & Actuators: B. Chemical, 239(2), pages 1289-1299, Sept.2016, DOI: 10.1016/j.snb.2016.09.101.

25. K. Singh∗, R. Kumar and R. E. Weber, “A Broadband Bistable Piezoelectric Energy Harvesterwith Nonlinear High-Power Extraction”, IEEE Transactions on Power Electronics, 30(12), pages6763-6774, Dec. 2015.

26. J. Chen∗ and R. Kumar, “Fault Detection of Discrete-Time Stochastic Systems subject to Tempo-ral Logic Correctness Requirements”, IEEE Transactions on Automation Science and Engineering,12(4), pages 1369-1379, Oct. 2015.

27. J. Chen∗ and R. Kumar, “Stochastic Failure Prognosability of Discrete Event Systems”, IEEETransactions on Automatic Control, 60(6), pages 1570-1581, June 2015.

28. J. Chen∗ and R. Kumar, “Failure Detection Framework for Stochastic Discrete Event Systems withGuaranteed Error Bounds”, IEEE Transactions on Automatic Control, 60(6), pages 1542-1553,June 2015.

29. Q. Wen∗, R. Kumar, and J. Huang∗, “Framework for Optimal Fault-Tolerant Control Synthesis:Maximize Prefault While Minimize Post-Fault Behaviors”, IEEE Transactions on Systems, Manand Cybernetics: A, 44(8), pages 1056-1066, Aug. 2014.

30. R. Kumar, S. Jiang+ and C. Zhou+, “Comment on ‘Bisimilarity control of partially observednondeterministic discrete event systems and a test algorithm”, Automatica, pages 298-299, volume50, number 1, Jan. 2014.

31. R. Kumar and S. Takai+, “Comment on ‘Polynomial Time Verification of Decentralized Diagnos-ability of Discrete Event Systems’ vs. ‘Decentralized Failure Diagnosis of Discrete Event Systems’:Complexity Clarification”, IEEE Transactions on Automatic Control, pages 1391-1392, volume 59,number 5, May 2014.

32. G. Pandey∗, R. Kumar, and R. J. Weber+, “A low RF-band impedance spectroscopy based sensorfor in-situ, wireless soil sensing”, IEEE Sensors Journal, pages 1997-2005, volume 14, number 6,June 2014.

33. M. Li∗ and R. Kumar, “Recursive Modeling of Stateflow as Input/Output-Extended Automaton”,IEEE Transactions on Automation Science and Enginering, pages 1229-1239, volume 11, number4, Oct. 2014.

7

http://digital-library.theiet.org/content/journals/10.1049/iet-cps.2016.0042








http://www.jocm.us/index.php?m=content&c=index&a=show&catid=173&id=1093

http://www.jocm.us/index.php?m=content&c=index&a=show&catid=173&id=1093





https://www.sciencedirect.com/science/article/pii/S092540051631526X












https://www.sciencedirect.com/science/article/pii/S0005109813004731

https://www.sciencedirect.com/science/article/pii/S0005109813004731







34. L. Ouedraogo∗ and R. Kumar, “Computation of the Precise Worst-Case Response Time of FlexRayDynamic Messages”, IEEE Transactions on Automation Science and Engineering, pages 537-548,volume 11, number 2, April 2014.

35. J. Chen∗ and R. Kumar, “Polynomial Test for Stochastic Diagnosability of Discrete Event Sys-tems”, IEEE Transactions on Automation Science and Engineering, pages 969-979, volume 10,number 4, Oct. 2013.

36. S. Xu∗, R. Kumar, and A. Pinto+, “Correct-by-Construction and Optimal Synthesis of Beacon-Enabled ZigBee Networks”, IEEE Transactions on Automation Science and Engineering, pages137-144, volume 10, number 1, 2013.

37. C. Zhou+ and R. Kumar, “Finite Bisimulation of Reactive Untimed Infinite State Systems Modeledas Automata with Variables”, IEEE Transations on Automation Science and Engineering, pages160-170, volume 10, number 1, 2013.

38. S. Takai+ and R. Kumar, “Distributed Prognosis of Discrete Event Systems under Bounded-Delay Communications”, IEEE Transactions on Automatic Control, pages 1259-1265, volume 57,number 5, 2012.

39. C. Zhou+ and R. Kumar, “Semantic Translation of Simulink Diagrams to Input/Output ExtendedFinite Automata”, Journal of Discrete Event Dynamical Systems, pages 223-247, volume 22,number 2, 2012.

40. H. Sahota∗, R. Kumar and A. Kamal+, “A Wireless Sensor Network for Precision Agriculture andits Performance”, Wireless Communications and Mobile Computing, pages 1628-1645, volume 11,number 12, 2011.

41. C. Zhou+, and R. Kumar, “Bisimilarity Enforcement for Discrete Event Systems using Determin-istic Control”, IEEE Transactions on Automatic Control, pages 2986-2991, volume 56, number12, 2011.

42. L. Ouedraogo∗, R. Kumar, R. Malik+ and K. Akesson+, “Nonblocking and Safe Control of Sys-tems modeled as Extended Finite Automata”, IEEE Transactions on Automation Science andEngineering, pages 560-569, volume 8, number 3, 2011.

43. S. Takai+ and R. Kumar, “Inference-based Decentralized Prognosis in Discrete Event Systems”,IEEE Transactions on Automatic Control, pages 165-171, volume 56, number 1, 2011.

44. S. Bhattacharyya∗, R. Kumar and Z. Huang∗, “A Discrete Event Systems Approach to NetworkFault Management: Detection and Diagnosis of Faults”, Asian Journal of Control, pages 1-14,volume 13, number 4, 2011.

45. S. Xu∗, S. Jiang+, and R. Kumar, “Diagnosis of Dense-time Systems Using Digital Clocks”, IEEETransactions on Automation Science and Engineering, pages 870-878, volume 7, number 4, 2010.

46. S. Xu∗ and R. Kumar, “Real-Time Supervisory Control of Discrete Event Systems using Digital-Clocks”, IEEE Transactions on Automatic Control, pages 2003-2013, volume 55, number 9, 2010.

47. S. Takai+ and R. Kumar, “Synthesis of Over-Approximating Inference-based Decentralized Super-visors for Discrete Event Systems”, IEEE Transactions on Automatic Control, Accepted, (August2009).ges 1881-1887, volume 55, number 8, 2010.

48. S.-P. Hsu+, A. Arapostathis+ and R. Kumar, “On Controlled Markov Chains with OptimalityRequirement and Safety Constraint”, International Journal on Innovative Computing, Informationand Control, pages 2497-2511, volume 6, number 6, 2010.

49. S. Jiang+, R. Kumar, S. Takai+, and W. Qiu+, “Decentralized Control of Discrete Event Systemswith Multiple Local Specifications”, IEEE Transactions on Automation Science and Engineering,pages 512-522, volume 7, number 3, 2010.

50. L. Jin∗, R. Kumar, and N. Elia+, “Reachability analysis based transient stability design in powersystem”, International Journal of Electrical Power and Energy Systems, pages 782-787, volume32, 2010.

51. L. Jin∗, R. Kumar, and N. Elia+, “Model Predictive Control based Power System ProtectionSchemes”, IEEE Transactions on Power Systems, pages 988-998, volume 25, number 2, 2010.

8









52. S. Takai+ and R. Kumar, “Decentralized Diagnosis for Nonfailures of Discrete Event Systems UsingInference-based Ambiguity Management”, IEEE Transactions on Systems, Man, and Cybernetics—Part A, pages 406-412, volume 40, number 2, 2010.

53. R. Kumar and S. Takai+, “Decentralized Prognosis of Failures in Discrete Event Systems”, IEEETransactions on Automatic Control, pages 48-59, volume 55, no. 1, 2010.

54. R. Kumar and S. Takai+, “Inference-based Ambiguity Management in Decentralized Decision-Making: Decentralized Diagnosis of Discrete Event Systems”, IEEE Transactions on AutomationScience and Engineering, pages 479-491, volume 6, number 3, July 2009.

55. C. Zhou* and R. Kumar, “Computation of Diagnosable Fault-Occurrence Indices for Systemswith Repeatable-Faults”, IEEE Transactions on Automatic Control, pages 1477-1489, volume 54,number 7, July 2009.

56. H. Liu∗, L. Jin∗, J. McCalley+, R. Kumar, V. Ajjarapu+ and N. Elia+, “Planning ReconfigurableReactive Control for Voltage Stability Limited Power Systems”, IEEE Transactions on PowerSystems, pages 1029-1038, volume 24, number 2, 2009.

57. W. Qiu*, Q. Wen*, and R. Kumar, “Decentralized Diagnosis of Event-Driven Systems for SafelyReacting to Failures”, IEEE Transactions on Automation Science and Engineering, page 362-366,volume 6, number 2, 2009.

58. W. Qiu*, R. Kumar, and V. Chandra+, “Decentralized Control of Discrete Event Systems UsingPrioritized Composition with Exclusion”, IEEE Transactions on Automatic Control, pages 2425-2430, volume 53, number 10, 2008.

59. J. Huang*, and R. Kumar, “Directed Control of Discrete Event Systems for Safety and Non-blocking”, IEEE Transactions on Automation Science and Engineering, pages 620-629, volume 5,number 4, 2008.

60. Q. Wen*, R. Kumar, J. Huang*, and H. Liu*, “A Framework for Fault-Tolerant Control of DiscreteEvent Systems”, IEEE Transactions on Automatic Control, pages 1839-1849, volume 53, number9, 2008.

61. J. Huang∗ and R. Kumar, “Optimal Nonblocking Directed Control of Discrete Event Systems”,IEEE Transactions on Automatic Control, pages 1592-1603, volume 53, number 7, 2008.

62. W. Qiu* and R. Kumar, “Distributed Diagnosis Under Bounded-Delay Communication of Immedi-ately Forwarded Local Observations”, IEEE Transactions on System, Man, and Cybernetics, PartA, pages 628-643, volume 38, number 3, 2008.

63. S. Takai+ and R. Kumar, “Synthesis of Inference-based Decentralized Control for Discrete EventSystems”, IEEE Transactions on Automatic Control, pages 522-534, volume 53, number 2, 2008.

64. C. Zhou* and R. Kumar, “Prioritized Synchronization under Mask for Interaction/Control ofPartially Observed Discrete Event Systems”, IEEE Transactions on Automation Science and En-gineering, pages 101-112, volume 5, number 1, 2008.

65. R. Kumar and S. Takai+, “Inference-based Ambiguity Management in Decentralized Decision-Making: Decentralized Control of Discrete Event Systems”, IEEE Transactions on AutomaticControl, pages 1783-1794, volume 52, number 10, 2007.

66. C. Zhou* and R. Kumar, “Bisimilarity Control of Partially Observed Deterministic Discrete EventSystems”, IEEE Transactions on Automatic Control, pages 1642-1653, volume 52, number 9,Sept. 2007.

67. J. Huang*, and R. Kumar, “An Optimal Directed Control Framework for Discrete Event Systems”,IEEE Transactions on Systems, Man, and Cybernatics—Part A, pages 780-791, volume 37, number5, Sept. 2007.

68. C. Zhou* and R. Kumar, “Control of Nondeterministic Discrete Event Systems for SimulationEquivalence”, IEEE Transactions on Automation Science and Engineering, pages 340-349, volume4, number 3, July 2007.

69. C. Zhou* and R. Kumar, “A Small Model Theorem for Bisimilarity Control Under Partial Ob-servation”, IEEE Transactions on Automated Science and Engineering, pages 93-97, volume 4,number 1, 2007.

9

70. W. Qiu*, R. Kumar, and S. Jiang+ “Decidability of Distributed Diagnosis under Unbounded-DelayCommunication”, IEEE Transactions on Automatic Control”, pages 114-117, volume 52, number1, 2007.

71. C. Zhou*, R. Kumar, and S. Jiang+, “Control of Nondeterministic Discrete Event Systems forBisimulation Equivalence”, IEEE Transactions on Automatic Control, pages 754-765, volume 51,number 5, 2006.

72. S. Jiang* and R. Kumar, “Supervisory Control of Discrete Event Systems with CTL∗ TemporalLogic Specifications”, SIAM Journal on Control and Optimization, pages 2079-2103, volume 44,number 6, 2006.

73. S. Jiang* and R. Kumar, “Diagnosis of Repeated Failures for Discrete Event Systems with Linear-Time Temporal Logic Specifications”, IEEE Transactions on Automation Science and Engineering,pages 47-59, 3(1), 2006.

74. W. Qiu* and R. Kumar, “Decentralized failure diagnosis of discrete event systems”, IEEE Trans-actions on Systems, Man & Cybernetics—Part A, pages 384-395, volume 36, number 2, 2006.

75. A. Arapostathis+, R. Kumar, and S.-P. Hsu+, “Control of Markov Chains with Safety Bounds”,IEEE Transactions on Automation Science and Engineering, pages 333-343, 2(2), 2005.

76. S. Takai,+ R. Kumar, and T. Ushio+, “Characterization of Co-observable Languages and Formulaefor their Super/Sub-Languages”, IEEE Transactions on Automatic Control, pages 434-447, 50(4),2005.

77. R. Kumar, S. Takai+, M. Fabian+, and T. Ushio+, Mutually & Globally Nonblocking Supervisionwith Application to Switching Control”, Automatica, pages 1299-1312, volume 41, 2005.

78. R. Kumar, S. Jiang+, C. Zhou*, and W. Qiu*, “Polynomial synthesis of supervisor for partiallyobserved discrete event systems by allowing nondeterminism in control”, IEEE Transactions onAutomatic Control, pages 463-475, volume 50, number 4, 2005.

79. R. Kumar and V. K. Garg+, “On Computation of State Avoidance Control for Infinite State Sys-tems in Assignment Program Model”. IEEE Transactions on Automation Science and Engineering,pages 87-91, Volume 2, number 2, 2005.

80. S. Jiang* and R. Kumar, “Failure Diagnosis of Discrete Event Systems with Linear-time TemporalLogic Fault Specifications”, IEEE Transactions on Automatic Control, pages 934-945, volume 49,number 6, 2004.

81. F. Balduzzi+ and R. Kumar, “Hybrid Automata Model of Manufacturing Systems and its OptimalControl Subject to Logical Constraints”, International Journal of Hybrid Systems, pages 61-80,volume 3, number 1, 2003.

82. R. Kumar and Z. Luo*. “Optimizing the Operation Sequence of a Chip Placement Machine usingTSP Model”. IEEE Transactions on Electronics Packaging Manufacturing, pages 14-21, volume26, number 1, 2003.

83. A. Arapostathis+, R. Kumar, and S. Tangirala+, “Controlled Markov Chains with Safety UpperBounds”, IEEE Transactions on Automatic Control, pages 1230-1234, volume 48, number 7, 2003.

84. V. Chandra*, Z. Huang*, W. Qiu*, and R. Kumar, “Prioritized Composition with Exclusionand Generation for the Interaction and Control of Discrete Event Systems”, Mathematical andComputer Modeling of Dynamical Systems, pages 255-280, volume 9, number 3, 2003.

85. Z. Huang*, V. Chandra*, S. Jiang*, and R. Kumar, “Modeling Discrete Event Systems with Faultsusing a Rules Based Modeling Formalism”, Mathematical and Computer Modeling of DynamicalSystems, pages 233-254, volume 9, number 3, 2003.

86. S. Jiang*, R. Kumar, and H. E. Garcia+, “Diagnosis of Repeated/Intermittent Failures in DiscreteEvent Systems”, IEEE Transactions on Robotics and Automation, pages 310-323, volume 19,number 2, April 2003.

87. S. Jiang*, R. Kumar, and H. E. Garcia,+ “Optimal Sensor Selection for Discrete Event Systemswith Partial Observation”, IEEE Transactions on Automatic Control, pages 369-381, volume 48,number 3, March 2003.

10

88. V. Chandra*, Z. Huang*, and R. Kumar, “Automated Control Synthesis for an Assembly Line usingDiscrete Event System Control Theory”, IEEE Transactions on Systems, Man, and Cybernetics—Part C, pages 284-289, volume 33, number 2, 2003.

89. S. Jiang* and R. Kumar. “Supervisory Control of Nondeterministic Discrete Event Systems withDriven Events via Masked Prioritized Synchronization”, IEEE Transactions on Automatic Control,pages 1438-1449, volume 47, number 9, 2002.

90. V. Chandra* and R. Kumar, “A Event Occurrence Rules based Compact Modeling Formalism for aClass of Discrete Event Systems”, Mathematical and Computer Modeling of Dynamical Systems,pages 49-73, volume 8, number 1, 2002.

91. V. Chandra* and R. Kumar, “A Discrete Event Systems Modeling Formalism Based on EventOccurrence Rules and Precedences”, IEEE Transactions on Robotics and Automation, pages 785-794, volume 16, number 6, December 2001.

92. S. Jiang*, Z. Huang*, V. Chandra*, and R. Kumar, “A Polynomial Algorithm for Testing Diagnos-ability of Discrete Event Systems”, IEEE Transactions on Automatic Control, pages 1318-1321,volume 46, no. 8, 2001.

93. R. Kumar and V. K. Garg+. “Control of Stochastic Discrete Event Systems Modeled by Prob-abilistic Languages”. IEEE Transactions on Automatic Control, volume 46, number 4, pages593-606, April 2001.

94. R. Kumar and J. A. Stover+. “A Behavior-Based Intelligent Control Architecture with Applicationto Coordination of Underwater Vehicles”. IEEE Transactions on Systems, Man, and Cybernetics—Part A: Systems and Humans, pages 767-784, volume 30, number 6, Nov. 2000.

95. R. Kumar and M. Heymann+. “Masked Prioritized Synchronization for Interaction and Controlof Discrete Event Systems”. IEEE Transactions on Automatic Control, pages 1970-1982, volume45, number 11, Nov. 2000.

96. S. Jiang* and R. Kumar. “Decentralized Control of Discrete Event Systems with Specializations toLocal Control and Concurrent Systems”, IEEE Transactions on Systems, Man, and Cybernetics—Part B: Cybernetics, pages 653-660, volume 30, number 5, Oct. 2000.

97. M. Fabian+ and R. Kumar. “Mutually Nonblocking Supervisory Control of Discrete Event Sys-tems”. Automatica, pages 1863-1869, volume 36, 2000.

98. M. A. Shayman+ and R. Kumar. “Process Objects and Masked Composition: An Object OrientedApproach for Modeling and Control of Discrete Event Systems”. IEEE Transactions on AutomaticControl, pages 1864-1869, volume 44, number 10, October 1999.

99. R. Ganguli*, J. C. Yingling+, J. Sottile+, and R. Kumar, “Optimal control of coal segregationusing on-line analyzers”. Mining Engineering, pages 41-47, volume 51, number 4, 1999.

100. V. K. Garg+, R. Kumar, and S. I. Marcus+. “Probabilistic Language Framework for StochasticDiscrete Event Systems”. IEEE Transactions on Automatic Control, pages 280-293, volume 44,number 2, 1999.

101. Z. Luo*, R. Kumar, J. Sottile+, and J. Yingling+. “An MILP Formulation for Load-Side DemandControl”. Electric Machines and Power Systems, pages 935-949, volume 26, number 9, Nov.1998.

102. R. Kumar, H. M. Cheung*, and S. I. Marcus+. “Extension based Limited Lookahead Supervisionof Discrete Event Systems”. Automatica, pages 1327-1344, volume 34, number 11, 1998.

103. R. Kumar and M. A. Shayman+. “Formulae relating Controllability, Observability and Co-Observability”. Automatica, pages 211-215, volume 34, number 2, March 1998.

104. R. Kumar and M. A. Shayman+. “Centralized and Decentralized Supervisory Control of Non-deterministic Systems Under Partial Observation”. SIAM Journal of Control and Optimization,pages 363-383, volume 35, number 2, March 1997.

105. R. Kumar, S. Nelvagal*, and S. I. Marcus+. “A Discrete Event Systems Approach for ProtocolConversion”. Journal of Discrete Event Dynamical Systems: Theory and Applications, pages295-315, volume 7, number 3, June 1997.

11

106. R. Kumar and M. A. Shayman+. “Non-blocking Supervisory Control of Nondeterministic Systemsvia Prioritized Synchronization”. IEEE Transactions on Automatic Control, pages 1160-1175,volume 41, number 8, August 1996.

107. R. Kumar, V. K. Garg+, and S. I. Marcus+. “Corrections to “Finite Buffer Realization of Input-Output Discrete Event Systems”. IEEE Transactions on Automatic Control, pages 625-627,volume 41, number 4, April 1996.

108. R. Kumar and L. E. Holloway+. “Supervisory Control of Petri Nets with Regular SpecificationLanguages”. IEEE Transactions on Automatic Control, pages 245-249, volume 41, number 2,February 1996.

109. R. Kumar and V. K. Garg+. “Extremal Solutions of Inequations over Lattices with Applications toSupervisory Control”. Theoretical Computer Science, pages 67-92, volume 148, November 1995.

110. R. Kumar, V. K. Garg+, and S. I. Marcus+. “Finite Buffer Realization of Input-Output DiscreteEvent Systems”. IEEE Transactions on Automatic Control, pages 1042-1053, volume 40, number6, June 1995.

111. R. Kumar and V. K. Garg+. “Optimal Supervisory Control of Discrete Event Dynamical Systems”.SIAM Journal of Control and Optimization, pages 419-439, volume 33, number 2, March 1995.

112. M. A. Shayman+ and R. Kumar. “Supervisory Control of Nondeterministic Systems using Priori-tized Synchronous Composition and Trajectory Models”. SIAM Journal of Control and Optimiza-tion, pages 469-497, volume 33, number 2, March 1995.

113. R. Kumar and Haomin Li*. “Integer Programming Approach to Printed Circuit Board AssemblyTime Optimization”. IEEE Transactions on Components, Packaging and Manufacturing Technol-ogy, pages 720-727, volume 18, number 4, November 1995.

114. R. Kumar, V. K. Garg+, and S. I. Marcus+. “Language Stability and Language Stabilizability ofDiscrete Event Systems”. SIAM Journal of Control and Optimization, pages 1294-1320, volume31, number 5, September 1993.

115. R. Kumar, V. K. Garg+, and S. I. Marcus+. “Predicates and Predicate Transformers for Super-visory Control of Discrete Event Dynamical Systems”. IEEE Transactions on Automatic Control,pages 232-247, volume 38, number 2, February 1993.

116. R. Kumar, V. K. Garg+, and S. I. Marcus+. “On Supervisory Control of Sequential Behaviors”.IEEE Transactions on Automatic Control, pages 1978-1985, volume 37, number 12, December1992.

117. R. Kumar, V. K. Garg+, and S. I. Marcus+. “On Controllability and Normality of DEDS”. Systemsand Control Letters, pages 157-168, volume 17, 1991.

118. R. D. Brandt+, V. K. Garg+, R. Kumar, F. Lin+, S. I. Marcus+, and W. M. Wonham+. “Formulasfor Calculating Supremal Controllable and Normal Sublanguages”. Systems and Control Letters,pages 111-117, volume 15, August 1990.

C. Refereed Conference Articles Published/Accepted (* denotes student, + denotes collabora-tor)

1. R. Hossain* and R. Kumar, “A Pricing-based Game Theoretic Framework for Distributed-MPCin Voltage Stabilization”, IEEE Power Engineering Society General Meeting, Montreal, Canada,August 2020.

2. S. Tabassum* and R. Kumar, “Selective Detection of Ethylene Using a Fiber-Optic Guided ModeResonance Device: In-Field Crop/Fruit Diagnostics”, CLEO Laser Science to Photonics Applica-tion, San Jose, CA, May 2020.

3. S. Tabassum* and R. Kumar, “Nanostructured Devices for Biological Sensing”, BMES ABioMMeeting, College Park, MD, March 2020.

4. B. Kashyap* and R. Kumar, “Bio-Agent Free Electrochemical Detection of Salicylic Acid”, 2019IEEE Sensors Conference, Montreal, Oct. 2019.

5. M. Pathak* and R. Kumar, “Pre-Biased Synchronous Charge Extraction for Triboelectric Nano-generator”, 2019 IEEE Sensors Conference, Montreal, Oct. 2019.

12

6. A. Alghazo* and R. Kumar, “Identification of Critical-Attacks Set in an Attack-Graph”, 2019IEEE Ubiquteous Computing, Electronics, & Mobile Communication Conference, New York, Oct.2019.

7. S. Tabassum∗ and R. Kumar, “Plasmonic Crystal-Based Sensor Toward Detection of PromisingTherapeutic Gas Hydrogen”, 2019 Boimedical Engineering Society Annual Meeting, Philadelphia,PA, Oct. 2019.

8. S. Tabassum∗, D. S. Hoffmann+, K. Bovenmyer+, and R. Kumar, “Outcomes of a Course DesignWorkshop Implemented in a Team-based and Diverse Classroom Setting”, 2019 National CIRTL(Center for the Integration of Research, Teaching, and Learning) Forum, Philadelphia, Oct. 2019.

9. D. S. Hoffmann+, R. Blay+, K. Bovenmyer+, S. Tabassum S∗, R. Kumar, L. Rohde+, L. Drane+,M. Gonin+, K. Kearns+, and P. Cumming+, “Transforming Your Research Into Teaching (TYRIT):Implementation and outcomes of a hybrid, multi-institutional course design workshop series”,2019 National CIRTL (Center for the Integration of Research, Teaching, and Learning) Forum,Philadelphia, Oct. 2019.

10. R. Hossain∗ and R. Kumar, “Computation of Trajectory Sensitivities with respect to Control andImplementation in PSAT”, 2019 International Conference on Informatics in Control, Automation,and Robotics, Prague, Czech Republick, July 2019.

11. H. Ren∗, R. Kumar, and M. Clark+, “ ’ReLIC: Reduced Logic Inference for Composition’ for Quan-tifier Elimination based Compositional Reasoning”, 2019 International Conference on Informaticsin Control, Automation, and Robotics, Prague, Czech Republick, July 2019.

12. S. Talukder* and R. Kumar, “An Enhancement in Sum-of-Squares Optimization based Region ofAttraction Estimation for Power Systems”, 2019 IEEE Power and Energy Society General Meeting,Atlanta, GA, August 2019.

13. A. Bhar* and R. Kumar,“Model-Predictive Real-Time Fertilization/Irrigation Decision-making us-ing RZWQM”, 2019 ASABE Annual International Meeting, Boston, MA, July 2019.

14. A. Bhar*, R. Kumar, and R. Malone+, “Comparing a Simple Carbon Nitrogen Model with ComplexRZWQM Model”, 2019 ASABE Annual International Meeting, Boston, MA, July 2019.

15. A. Alghazo* and R. Kumar, “ICS/SCADA Device Recognition: A Hybrid Communication-Patternsand Passive-Fingerprinting Approach”, 2019 IEEE/IFIP International Symposium on IntegratedNetwork Management (Workshop on Security for Emerging Distributed Network TechnologiesDISSECT), Washington, DC, April 2019.

16. S. Tabassum∗, L. Dong+, and R. Kumar, “Heater integrated nanopatterned optical fiber-tip torealize a reusable gas sensor”, 2018 SPIE Optical Engineering + Applications, San Diego, CA,August 2018.

17. S. Tabassum∗, L. Dong+, and R. Kumar, “Tunable mid-infrared optical resonator on nanopat-terned chalcogenide glasses”, 2018 SPIE Optical Engineering + Applications, San Diego, CA,August 2018.

18. A. Bhar*, Z. Qi+, R. Malone+, and R. Kumar, “Sensor Data Driven Parameter Identificationfor Root Zone Water Quality Model using Coordinate Descent algorithm”, 2018 ASABE AnnualInternational Meeting, Detroit, MI, July 2018.

19. G. Wu∗ and R. Kumar, “Learning a Joint Low-rank and Gaussian Model in Matrix Completion withSpectral Regularization and Expectation Maximization Algorithm”, 2018 IEEE BigData Congress,San Francisco, CA, July 2018.

20. A. Al Ghazo∗, M. Ibrahim+, H. Ren+, Ratnesh Kumar, “A2G2V: Automated Attack Graph Gener-ator and Visualizer”, 2018 ACM MobiHoc Workshop on Mobile IoT Sensing, Security, and Privacy,Los Angeles, CA, June 2018.

21. H. Ren∗, M. Clark+, and R. Kumar, “Integration of Quantifier Eliminator with Model Checker andCompositional Reasoner”, 2018 IEEE 14th International Conference on Control and Automation,Anchorage, AK, June. 2018, DOI: 10.1109/ICCA.2018.8444166.

22. M. Pathak*, R. E. Weber, and R. Kumar, “Modeling and Analysis of Energy Extraction Circuits forTriboelectric Nanogenerator based Vibrational Energy Harvesting”, 2018 SPIE Defense, Security,and Sensing Conference, Orlando, FL, April 2018.

13

23. S. Tabassum*, L. Dong, and R. Kumar, “Dynamic variations in optical properties of grapheneoxide in response to gas exposure as determined from thin-film interference”, 2018 SPIE Defense,Security, and Sensing Conference, Orlando, FL, May 2018.

24. B. Kashyap* and R. Kumar, “Salicylic Acid (SA) detection using bi-enzyme microfluidic elec-trochemical sensor”, 2018 SPIE Defense, Security, and Sensing Conference, Orlando, FL, April2018.

25. B. Kashyap*, A. Dabak, C. Sestok, R. E. Weber, and and R. Kumar, “1.5mm Precision LiquidLevel Measurement using Impedance Spectroscopy”, 2018 SPIE Defense, Security, and SensingConference, Orlando, FL, April 2018.

26. G. Wu∗, V. Swaminathan+, S. Mitra+ and R. Kumar, “Video Recommendation System UsingImplicit Feedback Data”, 2017 International Workshop on Big Social Media Data Managementand Analysis, Boston, MA, Dec. 2017.

27. H. Ren* and R. Kumar, “RELIQE: REduced Logic Inference using Quantifier Elimination for Com-positional Reasoning of Time-dependent Contracts”, 2017 Midwest Verification Day, Manhattan,KS, Oct. 2017.

28. S. Takai+ and R. Kumar, “A Generalized Inference-based Prognosis Framework for Discrete EventSystems”, 2017 IFAC World Congress, Toulouse, France, July 2017.

29. K. Singh∗, M. Juetten+, R. Weber+, and R. Kumar, “A Bistable Vibration Energy Harvester withSynchronized Extraction and Improved Broadband Operation through Self-Propelled Feedback”TechConnet, May 2017, Washington DC.

30. A. Ali*, S. Tabassum*, Q. Wang*, Y. Wang*, R. Kumar and L. Dong+, “Plasmonic-ElectrochemicalDual Modality Microfluidic Sensor for Cancer Biomarker Detection”, 2017 IEEE MEMS Confer-ence, Las Vegas, Jan. 2017.

31. S. Tabassum*, Y. Wang*, J. Qu*, Q. Wang*, S. Oren*, R. J. Weber+, M. Lu+, R. Kumar, and L.Dong+, “Patterning of nanophotonic structures at optical fiber tip for refractive index sensing”,2016 IEEE Sensors Conference, Orlando, FL, Oct. 2016.

32. Z. Xu*, X. Wang*, R. J. Weber+, R. Kumar, and L. Dong+, “Microfluidic Eletrophoretic IonNutrient Sensor”, 2016 IEEE Sensors Conference, Orlando, FL, Oct. 2016.

33. S. Takai+ and R. Kumar, “Delay Bound of Inference-Based Decentralized Diagnosis in DiscreteEvent Systems”, 13th International Workshop on Discrete Event Systems, Xian, China, May 2016.

34. M. Ibrahim∗, J. Chen∗ and R. Kumar, “Quantification of Distributed Secrecy Loss in StochasticDiscrete Event Systems under Bounded-Delay Communications”, 13th International Workshop onDiscrete Event Systems, Xian, China, May 2016.

35. M. Ibrahim∗, J. Chen∗ and R. Kumar, “A Resiliency Measure for Electrical Power Systems”, 13thInternational Workshop on Discrete Event Systems, Xian, China, May 2016.

36. S. Tabassum∗, Q. Wang∗, W. Wang∗, S. Oren∗, M. A. Ali∗, R. Kumar, and L. Dong+, “PlasmonicCrystal Gas Sensor Incorporating Graphene Oxide for Detection of Volatile Organic Compounds”,IEEE International Conference on Micro Electro Mechanical Systems (MEMS), Shanghai, China,Jan. 2016.

37. S. Takai+ and R. Kumar, “A Generalized Inference-Based Diagnosis Framework for Discrete EventSystems Capturing Both Disjunctive and Conjunctive Decision-Making”, 2015 IEEE Conferenceon Decision and Control, Dec. 2015, Osaka, Japan.

38. Hao Ren∗ and R. Kumar, “Step Simulation/Overapproximation-Based Verification of NonlinearDeterministic Hybrid System with Inputs”, 2015 IFAC Analysis and Design of Hybrid Systems,Atlanta, Georgia, Oct. 2015.

39. M. Li∗ and R. Kumar, “Robustness of Simulink/Stateflow Model Against Implementation Imper-fections”, 2015 IFAC Analysis and Design of Hybrid Systems, Atlanta, Georgia, Oct. 2015.

40. S. Takai+ and R. Kumar, “Verification of Generalized Inference Diagnosability for DecentralizedDiagnosis of Discrete Event Systems”, 20th IEEE International Conference on Emerging Tech-nologies and Factory Automation, Sept. 2015, Luxembourg.

14

41. Kanishka Singh∗, Robert J. Weber+ and R. Kumar, “A Self-Propelled Mechanism for IncreasingBistable Range of Operation of a Piezoelectric Cantilever based Vibration Energy Harvester”, 10thEnergy Harvesting Workshop, Blacksburg, Virginia, Sept. 2015.

42. Mariam Ibrahim∗, Jun Chen∗ and R. Kumar, “An Information Theoretic Measure for Secrecy Lossin Stochastic Discrete Event Systems”, IEEE International Workshop on Systems, Safety andSecurity, Bucharest, Romania, June 2015.

43. G. Pandey∗, K. Wang∗, R. Kumar and R. E. Weber+, “Employing a metamaterial inspired smallantenna for sensing and transceiving data in an underground soil sensor equipped with a GUI forend-user”, 2014 IEEE International Conference on Systems, Man and Cybernetics, pages 3423-3428, San Diego, CA.

44. E. Ng∗, B. Britz∗, Z. Xu∗, R. Kumar and L. Dong+, “Smart Nitrate-Selective ElectrochemicalSensor”, 2014 IEEE International Conference on Systems, Man and Cybernetics, pages 3419-3422,San Diego, CA.

45. J. Chen∗ and R. Kumar, “Pattern Mining for Predicting Critical Events from Sequential EventData Log”, 2014 IFAC/IEEE International Workshop on Discrete Event Systems, pages 1-6, Paris,France, 2014.

46. G. Wu∗, V. Swaminathan+, S. Mitra+ and R. Kumar, “Online Video Session Progress Predictionusing Low-Rank Matrix Completion”, 2014 IEEE International Conference on Multimedia andExpo, pages 1-6, Chengdu, China, July 2014.

47. J. Chen∗ and R. Kumar, “Failure Prognosability of Stochastic Discrete Event Systems”, 2014IFAC/IEEE American Control Conference, pages 2041-2046, Portland, OR, 2014.

48. G. Pandey∗, R. Kumar and R. J. Weber+, “A low profile, low-RF band, small antenna for un-derground, in-situ sensing and wireless energy-efficient transmission”, 2014 IEEE InternationalConference on Networking, Sensing and Control, pages 179-184, Miami, FL, April 2014.

49. H. Sahota∗ and R. Kumar, “Network based Sensor Localization in Multi-Media Application ofPrecision Agriculture—Part 1: Received Signal Strength”, 2014 IEEE International Conference onNetworking, Sensing and Control, pages 191-196, Miami, FL, April 2014.

50. H. Sahota∗ and R. Kumar, “Network based Sensor Localization in Multi-Media Application of Pre-cision Agriculture—Part 2: Time of Arrival”, 2014 IEEE International Conference on Networking,Sensing and Control, pages 203-208, Miami, FL, April 2014.

51. K. Singh∗, R. Kumar, and R. J. Weber+, “Piezoelectric-based Broadband Bistable Vibration En-ergy Harvester and SCE/SSHI-based High-Power Extraction”, 2014 IEEE International Conferenceon Networking, Sensing and Control, pages 197-202, Miami, FL, April 2014.

52. M. Ibrahim∗, J. Chen∗, and R. Kumar, “Secrecy in Stochastic Discrete Event Systems”, 2014IEEE International Conference on Networking, Sensing and Control, pages 48-53, Miami, FL,April 2014.

53. J. Chen∗ and R. Kumar, “Failure Diagnosis of Discrete-Time Stochastic Systems subject to Tempo-ral Logic Correctness Requirements”, 2014 IEEE International Conference on Networking, Sensingand Control, pages 42-47, Miami, FL, April 2014.

54. H. Ren∗, J. Huang+, S. Jiang+, and R. Kumar, “A new Abstraction-Refinement based Verifier forModular Linear Hybrid Automata and its Implementation”, 2014 IEEE International Conferenceon Networking, Sensing and Control, pages 30-35, Miami, FL, April 2014.

55. G. Pandey∗, R. Kumar and R. J. Weber+, “Detection and Estimation of Soil Nitrates and ChloridesUsing Impedance Spectroscopy”, 2013 ASA, CSSA, SSSA International Annual Meeting, Tampa,FL, Nov. 2013.

56. G. Pandey∗, R. Kumar and R. J. Weber+, “Design and implementation of a self-calibrating,compact micro strip sensor for in-situ dielectric spectroscopy and data transmission”, 2013 IEEESensors Conference, pages 1-4, Baltimore, MD, Nov. 2013.

57. G. Pandey∗, R. Kumar and R. J. Weber+, “Real time detection of soil moisture and nitrates usingon-board in-situ impedance spectroscopy”, 2013 IEEE International Conference on Systems, Manand Cybernetics, pages 1081-1086, Manchester, United Kingdom, 2013. (Invited Paper.)

15

58. J. Chen∗ and R. Kumar, “Online Failure Diagnosis of Stochastic Discrete Event Systems”, 2013IEEE Multi-Conference on Systems and Controls, pages 194-199, Hyderabad, India, 2013. (InvitedPaper.)

59. M. Li∗ and R. Kumar, “Reduction of Automated Test Generation for Simulink/Stateflow to Reach-ability and its Novel Resolution”, 2013 IEEE International Conference on Automation Science andEngineering, pages 1089-1094, Madison, WI, 2013. (Invited Paper.)

60. J. Chen∗ and R. Kumar, “Decentralized Failure Diagnosis of Stochastic Discrete Event Systems”,2013 IEEE International Conference on Automation Science and Engineering, pages 535-546,Madison, WI, 2013. (Invited Paper.)

61. G. Pandey∗, R. Kumar and R. J. Weber+, “Determination of Soil Ionic Concentration usingImpedance Spectroscopy”, 2013 SPIE Defense, Security, and Sensing Conference, Baltimore, MD,2013, DOI: 10.1117/12.2021969.

62. G. Pandey∗, R. Kumar and R. J. Weber+, “A Multi-frequency, Self-Calibrating, In-Situ Soil Sensorwith Energy Efficient Wireless Interface”, 2013 SPIE Defense, Security, and Sensing Conference,Baltimore, MD, 2013, DOI: 10.1117/12.2021200.

63. R. Kumar and S. Takai+, “A Framework for Control-Reconfiguration Following Fault-Detection inDiscrete Event Systems”, IFAC Symposium on Fault Detection, Supervision and Safety of Tech-nical Processes (SafeProcess 2012), pages 848-853, Mexico City, Mexico, August 2012. (InvitedPaper.)

64. J. Chen∗ and R. Kumar, “Polynomial Verification of Stochastic Diagnosability for Event DrivenSystems”, 2012 IEEE Conference on Automation Science and Engineering, pages 521-526, Seoul,Korea, August 2012.

65. M. Li∗ and R. Kumar, “Model-based Automatic Test Generation for Simulink/Stateflow basedon Extended Finite Automata”, 2012 IEEE Conference on Automation Science and Engineering,pages 857-862, Seoul, Korea, August 2012.

66. L. Ouedraogo∗ and R. Kumar, “Response Time of Embedded Networks: FlexRay and Time Trig-gered Ethernet”, 2012 Safe and Secure Systems and Software Symposium (S5), Dayton, June2012.

67. M. Li∗ and R. Kumar, “Stateflow to Extended Finite Automata Translation”, 2011 IEEE Interna-tional Computer Systems and Applications Conference, pages 1-6, Munich, July 2011.

68. M. Li∗ and R. Kumar, “Model-based test generation for Simulink/Stateflow”, 2011 Safe andSecure Systems and Software Symposium (S5), Dayton, June 2011.

69. H. Sahota∗, R. Kumar and A. Kamal+, “Performance Modeling and Simulation Studies of MACProtocols in Sensor Network Performance”, 2011 International Wireless Communications andMobile Computing Conference, pages 1871-1876, Istanbul, July 2011.

70. L. Ouedraogo∗ and R. Kumar, “Exact Response Time of FlexRay Communication Protocol”,2011 International Wireless Communications and Mobile Computing Conference (IWCMC), pages789-794, Isanbul, July 2011.

71. C. Zhou+, R. Kumar, and S. Jiang+, “Analysis of Runtime Data-Log for Software-Fault Localiza-tion” 2011 American Control Conference, pages 5127-5132, San Francisco, June 2011.

72. L. Ouedraogo∗, R. Kumar, R. Malik+, and K. Akesson+, “Symbolic Approach to Nonblockingand Safe Control of Extended Finite Automata” 2010 IEEE Conf. on Automation Science andEngineering, pages 471-476, Toronto, August 2010.

73. H. Sahota∗, R. Kumar, and A. Kamal+. “An Energy Efficient Wireless Sensor Network for Pre-cision Agriculture”, 2010 IEEE Symposium on Computers and Communications, pages 347-350,Riccione, Italy, 2010.

74. S. Takai+ and R. Kumar, “Distributed Prognosis of Discrete Event Systems under Bounded-DelayCommunications”, 2009 IEEE Conference on Decision and Control, pages 1235-1240, Shanghai,China, 2009.

75. A. Pinto+, R. Kumar, and S. Xu ∗, “Synthesis of Wireless Time-Triggered Embedded Networksfor Networked Control Systems”, 2009 IEEE Conference on Automation Science and Engineering,pages 397-402, Bangalore, India, 2009.

16

76. S. Xu∗ and R. Kumar, “Discrete Event Control under Nondeterministic Partial Observation”, 2009IEEE Conference on Automation Science and Engineering, pages 127-132, Bangalore, India, 2009.

77. S. Jiang+ and R. Kumar, “Prevention of Sequential Message Loss in CAN Systems”, 2009 IEEEInternational Computer Software and Applications Conference, pages 479-484, Seattle, July 2009.

78. C. Zhou+ and R. Kumar, “Modeling Simulink Diagrams using Input/Output Extended FiniteAutomata”, 2009 IEEE International Computer Software and Applications Conference, pages 462-467, Seattle, July 2009.

79. S. Mitra∗, R. Kumar, and S. Basu+, “A Framework for Optimal Decentralized Service-Choreography”2009 IEEE International Conference on Web Services, pages 493-500, Los Angeles, CA, July 2009.

80. H. Liu∗, L. Jin∗, J. McCalley∗, R. Kumar, V. Ajjarapu+, and N. Elia+, “Planning reconfigurablereactive control for voltage stability limited power systems”, 2009 IEEE Power and Energy SocietyGeneral Meeting, Alberta, Canada, July 2009.

81. L. Jin∗ and R. Kumar, “Security Constrained Coordinated Dynamic Voltage Stabilization basedon Model Predictive Control”, 2009 IEEE Power and Energy Society General Meeting, pages 1-8,Alberta, Canada, July 2009.

82. S. Takai+ and R. Kumar, “Verification and Synthesis for Secrecy in Discrete Event Systems”,2009 American Control Conference, pages 4741-4746, St. Louis, MO, June 2009.

83. S. Xu* and R. Kumar, “Distributed State Estimation in Discrete Event Systems”, 2009 AmericanControl Conference, pages 4735-4740, St. Louis, MO, June 2009.

84. C. Zhou+ and R. Kumar, “On Identification of Input/Output Extended Automata with FiniteBisimilar Quotients”, 2009 American Control Conference, pages 5653-5658, St. Louis, MO, June2009.

85. L. Jin∗ and R. Kumar, “Coordinated Dynamic Voltage Stabilization based on Model PredictiveControl”, 2009 IEEE Power Systems Conference and Exposition, Seattle, WA, March 2009.

86. S. Takai+ and R. Kumar, “Inference-Based Decentralized Prognosis in Discrete Event Systems”,2008 IEEE Confernce on Decision and Control, pages 871-876, Cancun, Mexico, Dec. 2008.

87. L. Jin*, R. Kumar, and N. Elia+, “Security Constrained Emergency Voltage Stabilization: AModel Predictive Control Based Approach”, 2008 IEEE Confernce on Decision and Control, pages2469-2474, Cancun, Mexico, Dec. 2008.

88. C. Zhou+, R. Kumar, and S. Jiang+, “Keynote: Hierarchical Fault Detection in Embedded ControlSoftware”, 2008 International Workshop on Software Cybernetics, pages 816-823, Turku, Finland,July 2008. (Invited paper for keynote speech)

89. S. Mitra∗, R. Kumar, and S. Basu+, “Optimum Decentralized Choreography for Web ServiceComposition”, 2008 International Conference on Service Computing, pages 395-402, Honolulu,Hawaii, July 2008.

90. J. Huang∗, R. Kumar, A. Kamal+, and R. Weber+, “Development A Wireless Soil Sensor Net-work”, 2008 American Society of Agriculture and Biosystems Engineering, Providence, RI, June2008.

91. Q. Wen∗, J. Huang∗, and R. Kumar, “Synthesis of Optimal Fault-tolerant Supervisor for DiscreteEvent Systems”, 2008 American Control Conference, pages 1172-1177, Seattle, WA, June 2008.

92. S. Xu∗ and R. Kumar, S. Jiang+ and S. Ramesh+, “A Simulation Condition for Correct Desyn-chronization”, pages 1728-1733, 2008 American Control Conference, Seattle, WA, June 2008.

93. S. Xu∗ and R. Kumar, “Asynchronous Implementation of Synchronous Discrete Event Control”,2008 Workshop on Discrete Event Systems, pages 181-186, Goteborg, Sweden, May 2008.

94. R. Kumar, C. Zhou+, and S. Jiang+, “Safety and Transition-Structure Preserving Abstraction ofHybrid Systems with Inputs/Outputs”, 2008 Workshop on Discrete Event Systems, pages 206-211,Goteborg, Sweden, May 2008.

95. C. Zhou+, R. Kumar, and R. Sreenivas+, “Decentralized Modular Diagnosis of Concurrent DiscreteEvent Systems”, 2008 Workshop on Discrete Event Systems, pages 388-393, Goteborg, Sweden,May 2008.

17

96. R. Kumar and S. Takai+, “Decentralized Prognosis of Failures in Discrete Event Systems”, 2008Workshop on Discrete Event Systems, pages 376-381, Goteborg, Sweden, May 2008.

97. C. Zhou+, R. Kumar, and R. S. Sreenivas+, “Decentralized Modular Control of Concurrent Dis-crete Event Systems”, IEEE Conference on Decision and Control, pages 5918-5923, New Orleans,LA, Dec. 2007.

98. S. Xu∗ and R. Kumar, “Control of Dense-time Discrete Event Systsms using Digital-Clocks toObserve Event-Occurrece Times” IEEE Conference on Decision and Control, pages 3399-3404,New Orleans, LA, Dec. 2007.

99. S. Basu+ and R. Kumar, “Quotient-based Control Synthesis for Partially Observed Non-DeterministicPlants with Mu-Calculus Specifications”, IEEE Conference on Decision and Control, pages 5294-5299, New Orleans, LA, Dec. 2007.

100. S. Mitra*, S. Basu+, and R. Kumar, “Local and On-the-fly Choreography-based Web ServiceComposition”, 2007 IEEE/WIC/ACM International Conference on Web Intelligence, pages 521-527, Fremont, CA, Nov. 2007.

101. S. Bhattacharyya+, R. Kumar, S. Tangirala+, and L. E. Holloway+, “Automated CoordinatorSynthesis for Mission Control of Autonomous Underwater Vehicles”, MTS/IEEE Oceans 2007,pages 1-10, Vancouver, Canada, Oct. 2007.

102. Shigemasa Takai+ and Ratnesh Kumar, “Inference-Diagnosability: Nonconvergence and OtherComplexity Results”, Proceedings of SICE Annual Conference 2007, pages 533-539, Takamatsu,Japan, Sept. 2007.

103. C. Zhou∗, R. Kumar, D. Bhatt+, K. Schloegel+, and D. Cofer+, “A Framework of HierarchicalRequirements Patterns for Specifying Systems of Interconnected Simulink/Stateflow Modules”,Software Engineering and Knowledge Engineering, Boston, MA, July 2007.

104. S. Mitra*, R. Kumar, and S. Basu+, “Automated Choreographer Synthesis for Web ServicesComposition Using I/O Automata”, 2007 IEEE International Conference on Web Services, pages364-371, Salt Lake City, UT, July 2007.

105. Q. Wen*, J. Huang*, H. Liu*, and R. Kumar, “Fault-Tolerant Control of Discrete Event Systems:Formulation and Existence Results”, 2007 Workshop Dependable Control of Discrete Systems,Paris, France, June 2007. (Invited Paper)

106. W. Qiu* and R. Kumar, “A Protocol for Distributed State-Estimation in Discrete Event Systems”,2007 Workshop Dependable Control of Discrete Systems, Paris, France, June 2007. (InvitedPaper)

107. L. Jin∗, R. Kumar, and N. Elia+, “Application of Model Predictive Control in Voltage Stabiliza-tion”, American Control Conference, pages 5916 - 5921, New York City, NY, July 2007.

108. Q. Wen∗, R. Kumar, J. Huang∗, and H. Liu∗, “Weakly Fault-Tolerant Supervisory Control ofDiscrete Event Systems”, American Control Conference, pages 5649 - 5654, New York City, NY,July 2007.

109. S. Takai+ and R. Kumar, “Synthesis of Over-Approximating Inference-based Decentralized Su-pervisor for Discrete Event Systems”, American Control Conference, pages 4268-4273, New YorkCity, NY, July 2007.

110. J. Huang∗ and R. Kumar, “Optimal Nonblocking Directed Control of Discrete Event Systems”,American Control Conference, pages 4285-4290, New York City, NY, July 2007.

111. J. Ashley∗, L. E. Holloway+ and R. Kumar, “Qualitative Diagnosis of Condition Systems forMultiple Subsystem Failures”, American Control Conference, pages 5657-5663, New York City,NY, July 2007.

112. S. Basu+ and R. Kumar, “Quotient-based Control Synthesis for Non-Deterministic Plants withMu-Calculus Specifications”, IEEE Conference on Decision and Control, pages 6041-6046, SanDiego, CA, December 2006.

113. S. Takai+ and R. Kumar, “Synthesis of Inference-Based Decentralized Control for Discrete EventSystems”, IEEE Conference on Decision and Control, pages 410-415, San Diego, CA, December2006.

18

114. G. Stamp*, Y. Ong*, R. Kumar, and C. Zhou* “DECADA: Tool for Discrete-Event Control andDiagnosis Analysis”, 2006 International Workshop on Discrete Event Systems, pages 396-397,Ann Arbor, MI, July 2006. (Invited paper)

115. C. Zhou* and R. Kumar, “Prioritized Synchronization under Mask for Interaction/Control EventDriven Systems”, 2006 International Workshop on Discrete Event Systems, pages 21-26, AnnArbor, MI, July 2006.

116. S. Takai+ and R. Kumar, “Decentralized Diagnosis for Non-failures of Discrete Event Systemsusing Inference-based Ambiguity Management”, 2006 International Workshop on Discrete EventSystems, pages 242-247, Ann Arbor, MI, July 2006.

117. S. Jiang+ and R. Kumar, “Diagnosis of Dense-Time Systems Using Digital Clocks”, 2006 AmericanControl Conference, pages 6051-6056, Minneapolis, June 2006.

118. J. Huang∗ and R. Kumar, “Directed Control of Discrete Event Systems: An Optimization BasedApproach”, 2006 American Control Conference, pages 4141-4146, Minneapolis, June 2006.

119. R. Kumar and S. Takai+, “Inference-based Ambiguity Management in Decentralized DecisionMaking: Decentralized Diagnosis of Discrete Event Systems”, 2006 American Control Conference,pages 6069-6074, Minneapolis, June 2006.

120. W. Qiu∗ and R. Kumar, “A New Protocol for Distributed Diagnosis”, 2006 American ControlConference, pages 6063-6068, Minneapolis, June 2006.

121. R. Kumar, C. Zhou∗, and S. Basu+, “Finite Bisimulation of Reactive Untimed Infinite StateSystems Modeled as Automata with Variables”, 2006 American Control Conference, pages 6057-6062, Minneapolis, June 2006.

122. M. O’Connor*, S. Tangirala+, R. Kumar, S. Bhattacharyya*, M. Sznaier+, and L. E. Holloway+,“A Bottom-up Approach to Verification of Hybrid Model-Based Hierarchical Controllers withapplication to Underwater Vehicles”, 2006 American Control Conference, pages 4267-4272, Min-neapolis, June 2006.

123. S. Bhattacharyya*, R. Kumar, S. Tangirala+, M. O’Connor*, and L. E. Holloway+, “Anima-tion/Simulation of Missions for Autonomous Underwater Vehicles with Hybrid-Model based Hi-erarchical Mission Control Architecture”, 2006 American Control Conference, pages 4273-4278,Minneapolis, June 2006.

124. S.-P. Hsu+, A. Arapostathis+, and R. Kumar, “Markov Decision Processes with Strict-SenseConstraints”, 2006 American Control Conference, pages 4516-4521, Minneapolis, June 2006.

125. H. Liu*, L. Jin*, J. McCalley+, R. Kumar, and V. Ajjarapu+, “Planning Minimum ReactiveCompensation to Mitigate Voltage Instability”, 2006 IEEE Power and Energy Society GeneralMeeting, pages 1-7, Montreal, Canada, June 2006.

126. C. Zhou* and R. Kumar, “Bisimilarity Control under Partial Observation of Deterministic Plants”,2005 IEEE Conference on Decision and Control, pages 24-29, Spain, Dec. 2005. (Invited paper)

127. C. Zhou* and R. Kumar, “Computation of Diagnosable Fault-Occurrence Indices for Systems withRepeatable-Faults”, 2005 IEEE Conference on Decision and Control, pages 6311-6316, Spain, Dec.2005.

128. J. Huang* and R. Kumar, “Nonblocking Directed Control of Discrete Event Systems”, 2005 IEEEConference on Decision and Control, pages 7627-7632, Spain, Dec. 2005.

129. R. Kumar and S. Takai+, “Inference-based Ambiguity Management in Decentralized Decision-Making: Decentralized Control of Discrete Event Systems”, 2005 IEEE Conference on Decisionand Control, pages 3480-3485, Spain, Dec. 2005. (Invited paper)

130. R. Kumar and S. Takai+, “Inference-based Decentralized Failure Diagnosis of Discrete EventSystems”, 2005 SICE Symposium on Systems and Information, pages 337-342, Fukuoka, Japan,Nov. 2005.

131. L. Jin*, H. Liu*, R. Kumar, J. McCalley+, N. Elia+, and V. Ajjarapu+, “Power System TransientStability Design using Reachability based Stability-Region Computation”, Annual North AmericanPower Symposium, pages 338-343, Ames, IA, Oct. 2005.

19

132. H. Liu*, L. Jin*, J. McCalley+, R. Kumar, and V. Ajjarapu+, “Linear Complexity Search Algo-rithm to Locate Shunt and Series Compensation for Enhancing Voltage Stability” Annual NorthAmerican Power Symposium, pages 344-350, Ames, IA, Oct. 2005.

133. R. Kumar and S. Takai+, “Inference-based Decentralized Supervisory Control of Discrete EventSystems”, Proceedings of the 15th Intelligent Systems Symposium, pages 165-170, Kyoto, Japan,Sept. 2005.

134. Matt O’Connor*, Sekhar Tangirala+, Ratnesh Kumar, John Dzielski+ and Mario Sznaier, ”ABottom-Up Approach to Verification of Hybrid Model-Based Hierarchical Controllers with Appli-cation to Underwater Vehicles,” Proceedings of the 14th International Symposium on UnmannedUntethered Submersible Technology (UUST05), Durham, NH, 2005.

135. W. Qiu* and R. Kumar, “Decentralized Diagnosis of Event-Driven Systems for Safely Reacting toFailures”, IFAC World Congress, Prague, July 2005. (Invited paper)

136. C. Zhou* and R. Kumar, “Supervisory Control of Discrete Event Systems for Bisimulation orSimulation Equivalence”, International Conference on Application and Theory of Petri Nets andother Models of Concurrency: Workshop on Control of Hybrid and Discrete Event Systems, pages103-122, Miami, FL, June 2005. (Invited paper)

137. H. Liu*, L. Jin*, V. Ajjarapu+, R. Kumar, J. D. McCalley+, N. Elia+, and V. Vittal+, “ReachabilityAnalysis Based Minimal Load Shedding Determination”, 2005 IEEE Power and Energy SocietyGeneral Meeting, pages 1775-1781, San Francisco, CA, June 2005.

138. L. Jin*, H. Liu*, R. Kumar, V. Ajjarapu+, J. D. McCalley+, N. Elia+, and V. Vittal+, “AnApplication of Reachable Set Analysis in Power System Transient Stability Assessment”, 2005IEEE Power and Energy Society General Meeting, pages 1715-1719, San Francisco, CA, June2005.

139. C. Zhou* and R. Kumar, “Small Model Theorem for Bisimilarity Control under Partial Observa-tion”, 2005 American Control Conference, pages 3937-3942, Portland, OR, June 2005.

140. C. Zhou* and R. Kumar, “Prioritized Synchronous Composition under Mask for Interaction/Controlof Discrete Event Systems via 2005 American Control Conference, pages 3943-3948, Portland,OR, June 2005.

141. W. Qiu* and R. Kumar, “Distributed Failure Diagnosis Under Bounded Delay Using ImmediateObservation Passing Protocol”, 2005 American Control Conference, pages 1027-1032, Portland,OR, June 2005.

142. S. Tangirala+, R. Kumar, S. Bhattacharyya*, M. O’Connor*, and L. E. Holloway+, “Hybrid-Model based Hierarchical Mission Control Architecture for Autonomous Underwater Vehicles”,2005 American Control Conference, pages 678-673, Portland, OR, June 2005.

143. C. Zhou* and R. Kumar, “Control of Nondeterministic Discrete Event Systems for SimulationEquivalence”, 2004 IEEE Conference on Decision and Control, pages 507-512, Bahamas, Decem-ber 2004.

144. W. Wu+, A. Arapostathis+, and R. Kumar, “On Non-Stationary Policies and Maximal InvariantSafe Sets of Controlled Markov Chains”, 2004 IEEE Conference on Decision and Control, pages3696-3701, Bahamas, December 2004.

145. W. Qiu* and R. Kumar, “Decentralized Nondeterministic Supervisory Control of Discrete EventSystems”, 2004 IEEE Conference on Decision and Control, pages 992-997, Bahamas, December2004.

146. R. Kumar, S. Takai+, M. Fabian+, and T. Ushio+, “Maximally permissive mutually and globallynonblocking supervisors for discrete event systems”, International Workshop on Discrete EventSystems, pages 67-72, Reims, France, September 2004.

147. W. Qiu* and R. Kumar, “Decentralized Failure Diagnosis of Discrete Event Systems”. Interna-tional Workshop on Discrete Event Systems, pages 145-150, Reims, France, September 2004.

148. H. Liu*, J. McCalley+, R. Kumar, N. Elia+, V. Ajjarapu+, and V. Vittal+, “Planning PowerSystem Hybrid Control for Transmission Enhancement” Proceedings of Annual North AmericanPower Symposium, pages 299-306, Moscow, ID, August 2004.

20

149. J. McCalley+, R. Kumar, N. Elia+, V. Ajjarapu+, V. Vittal+, H. Liu*, L. Jin*, O. Volij+, andW. Shang*, ”Planning of Reconfigurable Power Systems”. Electric Power Network Efficiency andSecurity (EPNES) Workshop, Puerto Rico, 2004. (Invited paper)

150. R. Kumar, S. Jiang+, C. Zhou*, and W. Qiu*, “Control using nondeterministic supervisors forpartially observed discrete event systems”. Proceedings of 2004 American Control Conference,pages 4472-4476, Boston, MA, June 2004.

151. C. Zhou*, R. Kumar, and S. Jiang+, “Control of nondeterministic discrete event systems forbisimulation equivalence”. Proceedings of 2004 American Control Conference, pages 4488-4492,Boston, MA, June 2004.

152. W. Qiu*, R. Kumar, and V. Chandra+, Decentralized Control of Discrete Event Systems UsingPrioritized Composition with Exclusion”, Proceedings of 2004 American Control Conference, pages4483-4487, Boston, MA, June 2004.

153. Z. Huang*, S. Bhattacharyya*, V. Chandra+, S. Jiang+, and R. Kumar, “Diagnosis of DiscreteEvent Systems in Rules-based Model using First-order Linear Temporal Logic”, Proceedings of2004 American Control Conference, pages 5114-5119, Boston, MA, June 2004.

154. S. Bhattacharyya*, Z. Huang*, V. Chandra+, and R. Kumar, “Discrete Event Systems Approach toNetwork Fault Management: Detection and Diagnosis of Faults”, Proceedings of 2004 AmericanControl Conference, pages 5108-5113, Boston, MA, June 2004.

155. J. McCalley+, R. Kumar, N. Elia+, V. Ajjarapu+, and V. Vittal+, “Planning Reconfigurable PowerSystem Control for Transmission Enhancement with Cost Recovery”. Electric Power NetworkEfficiency and Security (EPNES) Workshop, Orlando, FL, 2003.

156. A. Arapostathis+, R. Kumar, and S.-P. Hsu+, “State-feedback Control of Markov Chains withSafety Bounds”, 2003 IEEE Conference on Decision and Control, pages 6283-6288, Maui, Hawaii,Dec. 2003.

157. S. Jiang* and R. Kumar, “Diagnosis of Repeated Failures for Discrete Event Systems with Linear-Time Temporal Logic Specifications”, 2003 IEEE Conference on Decision and Control, pages3221-3226, Maui, Hawaii, Dec. 2003.

158. Z. Huang*, V. Chandra*, S. Jiang*, and R. Kumar, “Diagnosis of Discrete-Event Systems in Rules-based Model using First Order Logic”, Workshop on Model Checking and Artificial Intelligence,Acapulco, Mexico, August 2003.

159. V. Chandra*, Z. Huang*, and R. Kumar, “Concurrent, Asynchronous, and Generative Interactionsfor the Modeling and Control of Discrete Event Systems”, 2003 American Conference on Control,pages 4010-4015, Denver, CO, June 2003.

160. S. Takai+, R. Kumar, and T. Ushio+, “Characterization and Computation of Classes of Co-observable Languages for Decentralized Control of Discrete Event Systems”, 2002 IEEE Conferenceon Decision and Control, pages 578-583, Las Vegas, NV, Dec. 2002.

161. Z. Huang*, V. Chandra*, S. Jiang*, and R. Kumar “Modeling discrete event systems with faultsusing a rules based modeling formalism”, 2002 IEEE Conference on Decision and Control, pages4012-4017, Las Vegas, NV, Dec. 2002.

162. S. Jiang*, R. Kumar, and H. E. Garcia+, “Diagnosis of Repeated Failures in Discrete EventSystems”, 2002 IEEE Conference on Decision and Control, pages 4000-4005, Las Vegas, NV,Dec. 2002.

163. V. Chandra* and R. Kumar, “An Event Occurrence Rules based Compact Modeling Formalism for aClass of Discrete Event Systems”, 2002 American Control Conference, pages 724-729, Anchorage,Alaska, May 2002.

164. S. Jiang* and R. Kumar, “Failure Diagnosis of Discrete Event Systems with Linear-time Tempo-ral Logic Fault Specifications”, 2002 American Control Conference, pages 128-133, Anchorage,Alaska, May 2002.

165. A. Arapostathis+, R. Kumar, and S. Tangirala+, “Controlled Markov Chains and Safety Criteria”,2001 IEEE Conference on Decision and Control, pages 1675-1680, Orlando, FL.

21

166. S. Jiang* and R. Kumar, “Supervisory Control of Discrete Event Systems with CTL∗ TemporalLogic Specifications”, 2001 IEEE Conference on Decision and Control, pages 4122-4127, Orlando,FL, Dec. 2001.

167. S. Jiang*, V. Chandra*, and R. Kumar, “Decentralized Supervisory Control of Discrete EventSystems with Multiple Local Specifications”, 2001 American Control Conference, pages 959-964,Arlington, VA, June 2001.

168. V. Chandra* and R. Kumar, “A New Modeling Formalism and Automata Model Generator for aClass of Discrete Event Systems”, 2001 American Control Conference, pages 4562-4567, Arlington,VA, June 2001.

169. V. Chandra*, S. R. Mohanty*, and R. Kumar, “Automated Control Synthesis for an AssemblyLine using Discrete Event Systems Control Theory”, 2001 American Control Conference, pages4956-4961, Arlington, VA, June 2001.

170. S. Jiang* and R. Kumar, “Modular Decentralized Control of Discrete Event Systems”, 2000Japan-USA Symposium on Flexible Automation, Ann Arbor, MI, July 2000.

171. S. Jiang* and R. Kumar, “Supervisory control of nondeterministic discrete event systems withdriven events via masked prioritized synchronization”, IEEE Conference on Decision and Control,pages 2212-2217, Phoenix, AZ, Dec. 1999.

172. S. Jiang* and R. Kumar, “Decentralized Supervisory Control of Concurrent Discrete Event Systemswith Partial Observations”. 1999 Annual Allerton Conference on Communication, Control, andComputing, Urbana, IL, September 1999.

173. R. Kumar and J. A. Stover+, “The CINET Fuzzy Classifier: Formal Background and Enhance-ments”. IEEE International Symposium on Intelligent Control, pages 314-319, Cambridge, MA,Sept. 1999.

174. J. A. Stover+ and R. Kumar, “A Behavior-based Architecture for the Design of Intelligent Con-trollers for Autonomous Systems”. IEEE International Symposium on Intelligent Control, pages308-313, Cambridge, MA, Sept. 1999.

175. S. R. Mohanty*, V. Chandra*, and R. Kumar. “A Computer Implementable Algorithm for OptimalController Synthesis for Acyclic Discrete Event Processes”. 1999 International Conference onRobotics and Automation, pages 126-130, Detroit, MI, May 1999.

176. S. R. Mohanty* and R. Kumar. “On the Synthesis of an Optimal Controller for a class of DiscreteEvent Processes”. 1998 International Conference on Information Technology, Bhubaneswar, India,December 1998.

177. R. Kumar and V. K. Garg+. “Control of Stochastic Discrete Event Systems: Synthesis”. 1998IEEE Conference on Decision and Control, pages 3299-3304, Tampa, FL, December 1998.

178. R. Kumar, J. A. Stover+, and A. Kiraly+. “Discrete Event Modeling of a Behavior-Based In-telligent Control Architecture”. 1998 Joint Conference on Information Sciences, pages 288-291,Research Triangle Park, NC, October 1998.

179. R. Kumar and J. A. Stover+. “A Behavior-Based Intelligent Control Architecture”. 1998 IEEEInternational Symposium on Intelligent Control, pages 549-553, Gaithersburg, MD, September1998.

180. G. Westerman*, C. Stroud+, J. R. Heath+, and R. Kumar. “Delay fault analysis using discreteevent systems approach”. 1998 AUTOTESTCON, pages 22-27, Salt Lake City, UT, August 1998.

181. G. Westerman*, R. Kumar, J. R. Heath+, and C. E. Stroud+. “Discrete event systems approachfor delay fault analysis in digital circuits”. pages 239-243, 1998 American Control Conference,Philadelphia, June 1998.

182. R. Kumar and M. Heymann+. “Masked prioritized synchronization for interaction and control ofDiscrete Event Systems”. 1997 IEEE Conference on Decision and Control, pages 2952-2957, SanDiego, December 1997.

183. M. Fabian+ and R. Kumar. “Mutually nonblocking supervisory control of Discrete Event Systems”.1997 IEEE Conference on Decision and Control, pages 2970-2975, San Diego, December 1997.

22

184. R. Kumar and M. Fabian+. “On supervisory control of partial specification arising in protocolconversion”. 1997 Annual Allerton Conference on Communication, Control, and Computing,pages 543-552, Urbana, IL, October 1997.

185. R. Kumar, H. M. Cheung*, and S. I. Marcus+. “Extension based Limited Lookahead Supervisionof Discrete Event Systems”. 1996 IEEE Conference on Decision and Control, Kobe, Japan,December 1996.

186. R. Kumar, S. Nelvagal*, and S. I. Marcus+. “Protocol Conversion using Supervisory ControlTechniques”. 1996 IEEE CCA/ISIC/CACSD, pages 32-37, Dearborn, MI, September 1996.

187. R. Kumar and M. A. Shayman+. “Automata Theoretic Tests for Observability and Co- Observabil-ity”. 1995 IEEE Conference on Decision and Control, pages 919-920, New Orleans, LA, December1995.

188. R. Kumar and V. K. Garg+. “Assignment Program Model for Control of Infinite State Systems”.1995 Annual Allerton Conference on Communication, Control, and Computing, pages 166-175,Urbana, IL, October 1995.

189. M. A. Shayman+ and R. Kumar. “A New Framework for Supervisory Control”. 1995 AmericanControl Conference on Decision and Control, pages 3141-3145, Seattle, WA, June 1995.

190. R. Kumar and M. A. Shayman+. “Supervisory Control under Partial Observation of Nondetermin-istic Systems via Prioritized Synchronization”. 1994 IEEE Conference on Decision and Control,pages 3649-3654, Orlando, FL, December 1994.

191. R. Kumar and V. K. Garg+. “Extremal Solutions of Inequations over Lattices with Applications toSupervisory Control”. 1994 IEEE Conference on Decision and Control, pages 3636-3641, Orlando,FL, December 1994.

192. M. A. Shayman+ and R. Kumar. “A New Approach to Supervisory Control”. 1994 Annual AllertonConference on Communication, Control, and Computing, pages 861-870, Urbana, IL, September1994.

193. R. Kumar and V. K. Garg+. “Formula for Supremal ω-Controllable Languages”. 1994 AnnualAllerton Conference on Communication, Control, and Computing, pages 900-901, Urbana, IL,September 1994.

194. R. Kumar and Haomin Li*. “Assembly Time Optimization for PCB Assembly”. 1994 AmericanControl Conference, pages 306-310, Baltimore, MD, June 1994.

195. R. Kumar and M. A. Shayman+. “Non-blocking Supervisory Control of Nondeterministic DiscreteEvent Systems”. 1994 American Control Conference, pages 1089-1093, Baltimore, MD, June1994.

196. M. A. Shayman+ and R. Kumar. “Supervisory Control of Nondeterministic Discrete Event Dynam-ical Systems”. 1993 IEEE Conference on Decision and Control, pages 1188-1193, San Antonio,TX, December 1993.

197. R. Kumar and M. A. Shayman+. “Non-blocking Control of Nondeterministic Systems”. 1993Annual Allerton Conference, pages 707-716, Urbana, IL, October 1993.

198. R. Kumar, V. K. Garg+, and S. I. Marcus+. “Logical Design of a Dispatching Unit”. 1993American Control Conference, pages 1198-1202, San Francisco, CA, July 1993.

199. R. Kumar. “Formulas for Observability of Discrete Event Dynamical Systems”. 1993 Conferenceon Information Sciences and Systems, pages 581-586, Johns Hopkins University, Baltimore, MD,March 1993.

200. M. A. Shayman+ and R. Kumar. “Supervisory Control of Nondeterministic Systems”. 1993 Con-ference on Information Sciences and Systems, pages 587-592, Johns Hopkins University, Baltimore,MD, March 1993.

201. R. Kumar and L. E. Holloway+. “Supervisory Control of Petri Net Languages”. 1992 IEEEConference on Decision and Control, pages 1190-1195, Tucson, AZ, December 1992.

202. R. Kumar and V. K. Garg+. “A State-Variable Approach for Controlling Discrete Event Systemswith Infinite States”. 1992 American Control Conference, 2809-2813, Chicago, IL, June 1992.

23

203. R. Kumar, V. K. Garg+ and S. I. Marcus+. “Using Predicate Transformers for Supervisory Con-trol”. 1991 IEEE Conference on Decision and Control, pages 98-103, Brighton, UK, December1991.

204. R. Kumar and V. K. Garg+. “Optimal Control of Discrete Event Dynamical Systems using NetworkFlow Techniques”. 1991 Allerton Conference on Communication, Control, and Computing, pages705-714, Urbana, IL, October 1991.

205. R. Kumar, V. K. Garg+, and S. I. Marcus+. “Stability of Discrete Event System Behavior”. 1991IFAC Symposium on Distributed Intelligent Systems, pages 13-18, Arlington, VA, August 1991.

206. R. Kumar, V. K. Garg+, and S. I. Marcus+. “On ω-Controllability and ω-Normality of DEDS”.1991 American Control Conference, pages 2905-2910, Boston, MA, June 1991.

207. R. Kumar, V. K. Garg+, and S. I. Marcus+. “Supervisory Control of Discrete Event Systems:Supremal Controllable and Observable Languages”. 1989 Allerton Conference on Communication,Control, and Computing, pages 501-510, September 1989.

D. Refereed Book Articles Published (* denotes student, + denotes collaborator)1. M. Ibrahim∗, J. Chen∗ and R. Kumar, “Quantification of Centralized/Distributed Secrecy in

Stochastic Discrete Event Systems”, In Recent Advances in Systems Safety and Security, pages21-40, Editors: E. Pricop and G. Stamatescu, Springer, ISBN 978-3-319-32523-1, May 2016.

2. H. Sahota∗, R. Kumar and A. E. Kamal+, “Network Design and Performance Evaluation ofWireless Sensor Network for Precision Agriculture”, In Technological Breakthroughs in ModernWireless Sensor Applications, Editors H. Sharif and Y. S. Kavian, IGI Global, March 2015.

3. S. Takai and R. Kumar, “Inference-Based and Modular Decentralized Control of ManufacturingSystems with Event-Driven Dynamics”, In Formal Methods in Manufacturing, Editors: J. Campos,C. Seatzu and X. Xie, CRC Press, Feb., 2014.

4. T. Fuhrman+, M. Osella+ and S. Jiang+ (GM); W. Milam+ and D. Watson+ (Ford); R. Hormel+

(Chrysler); P. Koopman+ and J. Black+ (CMU); B. Williams+, P. Robertson+ and C. Wilcox+

(MIT); R. Kumar and C. Zhou (ISU); ”Fault Tolerant Embedded Software”, Final Report ofUSCAR Electrical Architecture Task Force, Jan. 2010.

5. J. McCalley+, R. Kumar, V. Ajjrapu+, O. Volij+, H. Liu∗, L. Jin∗, W. Shang∗, “Models forTransmission Expansion Planning based on Reconfigurable Capacitor Switching”, In EconomicMarket Design and Planning for Electric Power Systems, Editors J. Momoh and L. Milli, IEEEPress (Publisher: John Wiley and Sons, Inc.), 2009.

6. A. Arapostathis+, R. Kumar, and S. Tangirala+, “Safety Control of Completely Observed MarkovChains”, 5th Workshop on Discrete Event Systems, Ghent, Belgium, August 2000.

7. R. Kumar and V. K. Garg+. “Control of Stochastic Discrete Event Systems: Existence”. 1998International Workshop on Discrete Event Systems, pages 24-29, Cagliari, Italy, August 1998.

8. R. Kumar and M. A. Shayman+. “Supervisory Control of Real-Time Systems Using PrioritizedSynchronization”. In R. Alur, T. Henzinger, and E. Sontag, editors. Hybrid Systems III, Verifica-tion and Control, LNCS 1066, pages 350-361, Springer-Verlag, 1996.

9. R. Kumar, S. Nelvagal*, and S. I. Marcus+. “Design of Protocol Conversion: A Discrete EventSystems Approach”. 1996 International Workshop on Discrete Event Systems, pages 7-12, Edin-burgh, UK, August 1996.

10. R. Kumar and Haomin Li*. “Optimizing Assembly Time for PCB Assembly”. In H. R. Pasaei andT. R. Hanley, editors. Manufacturing Decision and Support Systems, Chapter 11, Chapman andHall, 1996.

11. R. Kumar and M. A. Shayman+. “Avoiding Blocking in Prioritized Synchronization Based Con-trol of Nondeterministic Systems”. In G. Cohen and J.-P. Quadrat, editors. 11th InternationalConference on Analysis and Optimization of Systems: Discrete Event Systems, LNCIS 199, pages49-58, Springer-Verlag, 1994.

12. R. Kumar, V. K. Garg+, and S. I. Marcus+. “Stable Behavior and Stabilizing Supervisor forDiscrete Event Dynamical Systems”. In S. M. Joshi and A. V. Balakrishna, editors. MathematicalTheory of Control, pages 185-203, Marcer Dakker, New York, 1992.

24

E. Thesis and Dissertation1. “Supervisory Synthesis Techniques for Discrete Event Dynamical Systems”. Ph.D. Dissertation,

University of Texas at Austin, August 1991.

2. “Robotics Arm Control Using 68000 Microprocessor System”. Bachelors Project Report, Depart-ment of Electrical Engineering, Indian Institute of Technology Kanpur, India, April 1987 (with R.Guruprasadh).

F. Journal/Book Articles Submitted (* denotes student, + denotes collaborator)1. R. Hossain* and R. Kumar, “Trajectory Sensitivity Computation for Power Systems and MPC-

based Coordinated Voltage Stabilization”, IET Generation, Transmission Distribution, submitted(Jan. 2020).

2. S. Kundu*, S. Tanassum*, and R. Kumar, “A Perspective on Sepsis Pathogenesis, Biomarkers,and Diagnosis: A Concise Survey”, Biosensors and Bioelectronics, submitted (Dec. 2019).

3. A. Al Ghazo and R. Kumar, “ANDVI: Automated Network Device and Vulnerability Identificationin SCADA/ICS by Passive Monitoring”, IEEE Transactions on Systems, Man and Cybernetics:Systems, submitted (Nov. 2019).

4. A. Al Ghazo and R. Kumar, “Critical-Attacks Set Identification in Attack-Graphs for Computerand SCADA Networks” IEEE Transactions on Systems, Man and Cybernetics: Systems, submitted(Sept. 2019).

5. S. Talukder* and R. Kumar, “Computation of Stability and Performance related Resilience Mea-sures for Power Systems”, IEEE Transactions on Systems, Man and Cybernetics: Systems, sub-mitted (Sept. 2019).

6. H. Sahota and R, Kumar, “Sensor Localization using Time of Arrival measurements in Multi-Mediaand Multi-Path Application of In-Situ Wireless Soil Sensing”, IEEE Transactions on AutomationScience and Engineering, submitted (May 2019).

7. H. Ren*, M. Clarke, and R. Kumar, “ReLIC: Reduced Logic Inference for Composition for Quan-tifier Elimination based Compositional Reasoning and Verification, Journal of Discrete Event Dy-namical Systems, submitted (June 2018).

8. R. Kumar and S. Takai+, “Control-Reconfiguration Following Fault-Detection in Supervisory Con-trol of Discrete Event Systems”, Journal of Discrete Event Dynamical Systems, submitted (May2017).

9. C. Zhou+ and R. Kumar, “Bisimilarity Enforcement for Discrete Event Systems Using Determinis-tic Control: Extension to Decentralized Setting”, IEEE Transactions on Automation Science andEngineering, submitted (May 2016).

10. J. Chen∗ and R. Kumar, “Stochastic Failure Prognosis of Discrete Event Systems”, IEEE Trans-actions on Automatic Control, submitted (May 2016).

11. S. Xu∗, J. Chen∗ and R. Kumar, “Distributed and Asynchronous State Estimation under ArbitraryDelays for Discrete Event Systems”, IEEE Transactions on Automation Science and Engineering,submitted (May 2015).

12. S. Xu∗ and R. Kumar, “Control of Event Driven Systems under Nondeterministic Observations”,IEEE Transactions on Automation Science and Engineering, submitted (May 2015).

13. Z. Huang*, S. Bhattacharyya*, R. Kumar*, S. Jiang*, and V. Chandra*, “Diagnosis of Discrete-Event Systems in Rules-based Model using First-order Linear Temporal Logic”, Asia Journal ofControl, submitted (June 2010).

14. S. Mitra∗, R. Kumar, and S. Basu+, “Choreography-based Service Composition using Input/OutputAutomata”, IEEE Transactions on Automatic Control, submitted (Jan. 2010).

GRADUATE STUDENTS SUPERVISED: 61 Total; 50 (4 PostDoc, 22 PhD, 24 MS) completed; 11(1 PostDoc, and 10 PhD) under supervision

A. PhD/PostDoc Students (37 Total; 22 PhD and 4 PostDoc completed; 1 PostDoc 10 PhDunder Supervision)

25

1. Dr. Shawana Tabassum, PostDoc, started Dec. 2018.2. Dr. Gunjan Pandey, PostDoc, Spring 2014. (Joined Skyworks, Cedar Rapids, IA.)3. Dr. Lucien Ouedraogo, PostDoc, Fall 2009-Spring 2012. (Joined MathWorks, Boston, MA.)4. Dr. Jing Huang, PostDoc, Feb. 2009-August 2010. (Joined NSX, Austin, TX.)5. Dr. Changyan Zhou, PostDoc, Jan. 2008-Oct. 2008. (Joined Magnatech Inc., Hartford, CT.)6. Srijita Patra, started Fall 2019 (Electromigration)7. Fan Zhang, started Fall 2019 (Machine learning and Robotics)8. Ramij Hossain, started Fall 2018 (MPC control of Power Systems)9. Amit Jena, started Fall 2018 (Machine learning algorithms)

10. Souvik Kundu, Started Fall 2018 (Optical Sensors for Biodetection)11. Soumyabrata Talukder, Started Fall 2017 (Verification of Autonomy)12. Madhav Pathak, Started Fall 2016 (Energy-Harvester Integrated Sensors)13. Anupam Bhar, Started Fall 2015 (Agricultural Sysytem Modeling)14. Bhuwan Kashyap, Started Fall 2015 (Rhizosphere Sensing)15. Gang Wu, Started Fall 2011 (Video Analytics based on Matrix Completion methods)16. Alaa Al-Ghazo, “A Framework for Cybersecurity of Supervisory Control and Data Acquisition(SCADA)

Systems and Industrial Control Systems (ICS)”, Nov. 2019, ECE, Iowa State University. (Facultyat University of Hartford.)

17. Shawana Tabassum, “Nano-structured Optical Sensors Fabrication and Validation for Gas Sens-ing”, Nov. 2018, ECE, Iowa State University. (Continuing as Post-Doc.)

18. Zhen Xu, “”High-throughput microfluidic assay devices for culturing of soybean and microalgaeand microfluidic electrophoretic ion nutrient sensor”, April 2018, ECE, Iowa State University.(Joined Bright Garden Robotics, a subsidiary of Country Garden, China.)

19. Hao Ren, “Model-based compositional verification for cyber-physical systems: approaches andtools development”, March 2018, ECE, Iowa State University. ISU Research Excellence Award.(Joined Honeywell Aerospace, Advanced Technology Division.)

20. Mariam Ibrahim, “Metrics for Secrecy and Resiliency in Cyber-Physical-Systems”, June 2016,ECE, Iowa State University. (Joined German Jordanian University as Asst. Prof.)

21. Kanishka A. Singh, “A broadband bistable piezoelectric cantilever-based vibration energy harvesterwith nonlinear high power extraction”, Dec. 2015, ECE, Iowa State University. (Joined NextEraEnergy, Inc.)

22. Jun Chen, “Failure Diagnosis and Prognosis in Stochastic Discrete-Event and Cyber-PhysicalSystems”, August 2014, ECE, Iowa State University. (Joined Idaho National Laboratory, IdahoFalls, ID.)

23. Gunjan Pandey, “Development of impedance spectroscopy based in-situ, self-calibrating, on-boardsensor with in-built metamaterial inspired small antenna for ionic detection in multi-phase mixtureslike soil”, Feb. 2014, ECE, Iowa State University. (Joined Skayworks, Cedar Rapids, IA.)

24. Meng Li, “A Model-based approach to Automated Test Generation and Error Localization forSimulink/Stateflow”, Nov. 2013, ECE, Iowa State University. (Joined GE Research, Schenectady,NY.)

25. Herman Sahota, “Wireless sensor network for precision agriculture: Design, Performance Modelingand Evaluation, and Node Localization”, July 2013, ECE, Iowa State University. (Joined IBM,San Jose, CA.)

26. Songyan Xu, “Control and diagnosis of real-time systems under finite-precision measurement oftime”, Nov. 2010, ECE, Iowa State Univ. (Joined Rockwell Collins, Cedar Rapids, IA.)

27. Wen Qin, “Fault-Tolerant Control of Discrete-Event Systems”, March 2009, ECE, Iowa StateUniv. (Joined Statistics & Controls, Des Moines, IA.)

28. Licheng Jin, “Reachability and Model-Prediction Based Power System Protection Schemes”,March 2009, ECE, Iowa State Univ. (Joined California ISO, Sacramento, CA.)

26

29. Jing Huang, “Directed Control of Discrete-Event Systems”, Feb. 2009, ECE, Iowa State Univ.(Joined Virginia Tech as PostDoc.; now with Freescale, Austin, TX.)

30. Saayan Mitra, “I/O-Automata based formal approach toWeb Services Choreography”, Jan. 2009,ECE, Iowa State Univ. (Joined Adobe, San Jose, CA.)

31. Changyan Zhou, “Control for Discrete Event Systems for Bisimulation and Simulation EquivalenceSpecification”, May 2006, ECE, Iowa State Univ. (Joined UIUC, Industrial and Systems Eng.,Urbana-Champaign as Visiting Prof.; now with Magnatech Inc.)

32. Siddhartha Bhattacharyya, “Hierarchical Hybrid-Model Based Design, Verification, Simulation,and Synthesis of Mission Control for Autonomous Underwater Vehicles”, July 2005, ECE, Univ.of KY. (Joined Kentucky State University, Computer and Technical Sciences Dept., Frankfort, KYas Asst. Prof.; now with Rockwell Collins, Cedar Rapids, IA.)

33. Wenbin Qiu, “Decentralized/distributed failure diagnosis and supervisory control of discrete eventsystems”, May 2005, ECE, Iowa State Univ. (Joined Corning, Inc., Corning, NY.)

34. Jeff Ashley, “Diagnosis of Condition Systems”. February 2004, ECE, Univ. of KY. (Joined Univ.of Kentucky, ECE Dept. Lexington, KY.)

35. Zhongdong Huang, “Rules based Modeling of Discrete Event Systems with Faults and their Di-agnosis”. August 2003, ECE, Univ. of KY. (Joined LHP Software, Indianapolis, IN.)

36. Vigyan Chandra, “New Modeling and Interaction Formalism for Discrete Event Systems and theirControl”. April 2002, ECE Univ. of KY. (Joined Eastern Kentucky University, Technology Dept.,Richmond, KY.)

37. Shengbing Jiang, “Control and Diagnosis of Discrete Event Systems with Temporal Logic Speci-fications”. April 2002, ECE, Univ. of KY. (Joined GM R&D, Warren, MI.)

B. Master Students (24 Total; 24 completed)1. Souvik Kundu, April 2019, ECE, ISU (Continued as PhD in ECE, ISU.)2. Shawana Tabassum, June 2018, ECE, ISU. (Continued as PhD student in ECE, ISU.)3. Lucas Wagner, “A Compositional Reasoning Framework for Imperative Programs”, April 2017,

ECE, ISU. (works at Rockwell Collins.)4. Karen (Kim) Wang, “A Soil Sensor Graphical User Interface”, Dec. 2014, ECE, Iowa State Univ.

(works at Employers in Reno, NV.)5. Daniel Humke, “Analysis of multivariable controller designs for diesel engine air system control”,

May 2013, ECE, Iowa State Univ. (joined John Deere, Waterloo, IA.)6. Mattthew Jeschke, “Modern Embedded Systems Design: Survey of Tools, Techniques, and Cur-

rent Practices” Fall 2007, ECE, Iowa State Univ. (joined Boston Scientific, Minneapolis, MN.)7. Gregory P. Stamp, “Software for Discrete Event Systems”, Fall 2006, ECE, Iowa State Univ.

(joined Boston Scientific, Minneapolis, MN.)8. Joshua M. Olson, “Modeling of a Discrete-Event Manufacturing Plant and Design and Implemen-

tation of Controller using LabView and Programmable Logic Controllers”, April 2005, ECE, IowaState Univ. (joined Raytheon, Tuscon, AZ.)

9. Vigyan Chandra, “Automated Extraction of a Controller from a Supervisor in Discrete EventSystems”, August 2003, Mfg., Univ. of KY. (joined Eastern Kentucky Univ., Richmond, KY.)

10. Zhen Yu, “Enhancements of CINET Fuzzy Classifier”. April 2003, ECE, Iowa State Univ. (joinedEricsson, San Jose, CA.)

11. Siddhartha Bhattacharyya, “Discrete Event System Approach to Network Fault Management”.April 2003, ECE, Iowa State Univ. (joined KY State University, currently at Rockwell Collins,Cedar Rapids, IA.)

12. Huang Zhongdong, “Coal Segregation Control: Meeting Homogeneity Standards”. July 2002,ECE, Univ. of KY. (currently with LHP Software, Indianapolis, IN.)

13. Satya R. Mohanty, “On the Design of Controllers for Discrete Event Systems: An OptimizationBased Theory”. January 1999, ECE, Univ. of KY. (joined Nokia.)

27

14. Siva Gopala Namburi, “Design and Analysis of Multiprotocol Converter for Multiple Flow ControlProtocols: A Discrete Event Systems Approach”, December 1998, ECE, Univ. of KY. (joinedArray Networks, Milpitas, CA.)

15. Bharath Orunganti, “A Graphical User Interface for Discrete Event Control Algorithms and theirApplications”. October 1997, ECE, Univ. of KY. (joined Cadence Design Systems.)

16. Vigyan Chandra, “Design, Discrete Event Modeling & Control of a Miniature LEGO AssemblyLine”. October 1997, ECE, Univ. of KY. (joined Eastern Kentucky University as Faculty.)

17. Manoz G. Krovvidy, “Timed Automaton based Successive Refinement of Digital Circuit Designfor Hardware Synthesis”. October 1996, ECE, Univ. of KY. (at Nvidia, Hyderabad.)

18. Zhonghui Luo, “Load Side Electrical Demand Control”. December 1995, ECE, Univ. of KY.19. Sudhir Nelvagal, “Design of Protocol Converters: A Discrete Event Systems Approach”. July

1995, ECE, Univ. of KY. (at GE Healthcare.)20. Wai Kit Leong, “Autoplacement and Autorouting in Printed Circuit Layout”. June 1995, ECE,

Univ. of KY.21. Steve Harris, “Temperature Control in Laser Printers”. April 1995, ECE, Univ. of KY. (at

Lexmark, Lexington, KY.)22. Ravichander Sekar, “Stability and Tolerance in Discrete Event Systems”. September 1994, ECE,

Univ. of KY.23. Hok M. Cheung, “Control of Discrete Event Systems Using Limited Lookahead Based on Estima-

tion”. December 1993, ECE, Univ. of KY.24. Haomin Li, “Optimal Sequencing for Pick-and-Place Robots”. September 1993, ECE, Univ. of

KY. (joined Lexmark, Lexington, KY.)

INVITED TALKS AND SERVICES1. INVITED TALKS

International Conference on Contemporary Computing, Invited Lecture, August 2019IEEE Rockville Section, IEEE CSS Distinguished Lecture, Nov. 29, 2018Honeywell Aerospace, Minneapolis, MN, Oct. 19, 2018NXP Semiconductors, Austin, TX, Aug. 16, 2018Univ. of Melbourne, IEEE CSS Distinguished Lecture, Aug, 17, 2017Univ. of New South Wales, CSE, IEEE CSS Distinguished Lecture, Aug, 15, 2017IEEE Orlando Chapter, IEEE Controls Systems Society Distinguished Lecture, Oct. 31, 2016Univ. of Maryland, Dept. of Elec. & Comp. Eng., Oct. 28, 2016IEEE Washington Chapter, IEEE Controls Systems Society Distinguished Lecture, Oct. 28, 2016Dept. of Computer Science, Indiana University—Purdue University, Indianapolis, TBDSafe and Secure Systems and Software Symposium (S5), June 10, 2015IDTech Energy, Harvesting and Storage, Santa Clara, Nov. 19, 2015Air Force Research Lab, Dayton OH, Nov. 12, 2015IEEE International Conference on Systems, Man and Cybernetics, October 2014Plenary at Int. Conf. on Inf. Tech., Bhuwaneshwar, India 2014IEEE Conference on Systems, Man and Cybernetics, San Diego, October 2014Airforce Research Rome Lab, Rome, NY, June 2014General Electric Research, Schenectady, NY, June 2014Plenary at IEEE International Workshop on Discrete Event Systems, Paris, May 2014Department of Electrical & Computer Engineering, Clemson University, May 2014IEEE International Conference on Networking, Sensing and Controls, Miami, FL, April 2014Dept. of Electrical & Computer Engineering, University of Florida, Gainesville, FL, March 2014IEEE Conference on Automation Science and Engineering, Milwaukee, August 2013IEEE Multiconference on Systems and Controls, Hyderabad, August 2013IEEE International Conference on Systems, Man and Cybernetics, Manchester, UK October 2013IFAC Symp. Fault Detection, Supervision & Safety of Tech. Processes, Mexico City, Aug. 2012Jonh Deere, Model-based Software Development Group, April 2011

28

General Motors R & D, Diagnosis & Prognosis Group, Warren, MI, March 2011AUTO-Cyberphysical Systems, Detroit, MI, March 2011NSF-ECCS Grantees Workshop, Honolulu, HI, Dec. 2010Virginia Tech., Dept. of Elec. & Comp. Eng., Nov. 20092009 IEEE Conf. on Automation Science and Engineering, August 2009Advances in Discrete-Event, Nonlinear and Stochastic Systems Modeling and Control, Inst. ofSystems Research, Univ. of Maryland, April 2009Univ. of Texas at Austin, Dept. of Elec. & Comp. Eng., September 2008Keynote at IEEE International Workshop on Software Cybernetics, Turku, Finland, 2008Multi-Conference on Systems and Control (Invited talk in “NSF GOALI session”), San Antonio,TX, September 2008United Technologies Research Center, Hartford, Connecticut, August 2008Keynote Speech at International Worshop on Software Cybernetics, Turku, Finland, July 2008Dependable Control of Discrete Systems, Paris, June 2007Iowa State University, Dept. of Elec. & Comp. Eng., Ames, December 2006Rockwell Science Center, Cedar Rapids, IA, July 2006Honeywell Technology Center, Minneapolis, MN, Jule 2006Institute of Systems Research, Univ. of Maryland, College Park, April 2006IEEE Conf. on Decision and Control, Seville, Spain, Dec. 2005IFAC World Congress, Prague, Chekeslovakia, July 2005Application and Theory of Petri Nets (ATPN), Miami, FL, June 2005Rockwell Collins, Cedar Rapids, July 2004Rockwell Collins, Cedar Rapids, Sept. 2002Honeywell Technology Center, Minneapolis, May 2002Iowa State University, Dept. of Elec. & Comp. Eng., Ames, March 2002Argonne National Lab.—West, July 2001CWI, Amsterdam, Netherlands, May 2001Vanderbilt University, Dept. of Elec. Eng. & Comp. Sc., March 2001Politecnico di Torino, Dept. di Automatica ed Infromatica, Turin, Italy, August 2000Georgia Institute of Technology, Department of Electrical Eng., Atlanta, October 1998Pennsylvania State University, Department of Electrical Eng., State College, February 1998Applied Research Laboratory, State College, June 1997University of California at Berkeley, Department of EECS, Berkeley, June 1996Institute of Industrial Engineers, Lexington Chapter, April 1996University of Kentucky, Department of Computer Science, April 1995, Nov. 1993University of Kentucky, Department of Mathematics, Fall 1991, Spring 1994University of Toronto, Department of Electrical Eng., Toronto, June 1994University of Maryland at College Park, Systems Research Center, College Park, June 1992,September 1998Indian Institute of Sciences, Department of Computer Science and Automation, Bangalore, India,December 1990, May 2001

2. UNIVERSITY SERVICESFaculty Advisor, IEEE Student Chapter, ISU, 2019-PresentECE Grad Committe, ISU, 2019-PresentECE Awards Committee, ISU, 2019-PresentECE representative on College Awards Committee, ISU, 2018-PresentChair, Dept. Seminar Committee, ISU, 2011-2018Chair, Data, Decisions, Networks and Autonomy, ECE, ISU, 2012-PresentSearch Committee, Decision Sciences area, 2016-17College Research Committee, 2014-PresentECE External Review Committee, 2014-2016ECE Diversity Committee, ISU, 2013-PresentECE Promotion & Tenure Committee, ISU, 2013-14

29

ECE Senior Lecture Recruitment Committee, ISU, 2013-14College of Engineering Promotion & Tenure Committee, ISU, 2009-2012Cluster Hire Search Committee, ISU, 2007-2009Dept. Promotion & Tenure Committee, ISU, 2005-2007Dept. Faculty Search Committee, ISU, 2004-2005Dept. Curriculum Committee, ISU, 2005-2007Dept. Graduate Admissions Committee, ISU, 2004-05Coordinator, Dept. Governance Document revision, ISU, Summer 2003Member, PTRC document revision committee, ISU, Summer 2003Faculty Mentoring Committee for Prof. Berleant, ISU, 2002-2003Faculty Advisor, India Student Association, Univ. of KY, 1996, 1997, 2001Member, Undergraduate Curriculum Review Group, Dept. ECE, Univ. of KY, 2000-2002Leader, Signals and Systems Group, Dept. of ECE, Univ. of KY, 1999-2002Member, Undergraduate Lab. Committee, Dept. of Elec. Eng., Univ. of KY, 1999-2002Faculty Advisor, Transfer Students, Univ. of KY, Spring 1994Member Smoking Committee for EEAnnex Bldg, Univ. of KY, Fall 1993Faculty Advisor, Co-op Students, Univ. of KY, Spring 1993

3. EDITORIAL AND OTHER PROFESSIONAL SERVICESAssociate Editor, Sensors—MDPI, 2018-PresentRepresentative Delegate of IEEE Central Iowa Section at IEEE Sections Congress, Sydney, Aus-tralia, Aug. 2017Associate Editor, IEEE Transactions on Systems, Man and Cybernetics: Systems, 2017-PresentAssociate Editor, IET Cyber-Physical Systems: Theory and Applications, 2016-PresentAssociate Editor, ACM Transactions on Embedded Computing Systems, 2014-PresentChair, IEEE Central Iowa Section Technical Chapter on Controls, 2016-PresentExecutive Committee, IEEE Central Iowa Section, 2016-PresentSteering Committee, International Workshop on Software Cybernetics, 2008-2015Associate Editor, Journal of Discrete Event Dynamical Systems, 2005-2009Associate Editor, SIAM Journal on Control and Optimization, 1999-2007Associate Editor, IEEE Transactions on Robotics and Automation, 2000-2002Associate Editor, International Journal of Discrete Event Control Systems, 2009-PresentProgram Co-Chair, International Workshop on Software Cybernetics, 2009Co-Chair, Foundations of Automation Track, IEEE Conference on Automation Science and Engi-neering, 2009-2010Panelist, International Workshop on Software Cybernetics, 2008-PresentGeneral Co-Chair, International Workshop on Discrete Event Systems, 2008Program Committee, IEEE International Conference on Industrial Cyber-Physical Systems, 2018-PresentProgram Committee, IEEE International Conference on Communication Systems and Networks,2016-PresentProgram Committee, IEEE International Conference on Automation Science and Engineering,2013-PresentProgram Committee, IEEE Systems, Man and Cybernetics, 2015-PresentProgram Committee, Analysis and Design of Hybrid Systems, 2015-PresentProgram Committee, IEEE Conference on Computer, Applications and Software, 2014-PresentProgram Committee, International Workshop on Discrete Control of Dependable Systems, 2010-PresentProgram Committee, International Workshop on Discrete Event Systems, 1998-PresentProgram Committee, IEEE International Symposium on Intelligent Control, 1999Program Committee, IEEE Conference on Decision and Control, 1997, 1998, 2002, 2006Program Committee, IEEE International Conference on Emerging Technologies and Factory Au-tomation, 2013.

4. SESSION/PANEL CHAIR/ORGANIZER/MEMBER

30

Panelist, NSF-CCSS, 2018Panelist, Fellow Selection, IEEE Systems, Man and Cybernetics Society, 2019, 2018, 2017Panelist, NSF-EPCN, 2017Panelist NSF-CAREER, NSF-CRCD, NSF-GOALI, NSF-CyberSEESPanelist, Best Paper Award for 1993 IEEE Conference on Decision and ControlMember Control Systems Delegation to the People’s Republic of China, 2000Invited session organizer, 2013 IEEE Multiconference on Systems and Controls,Invited session organizer, 2009 International Workshop on Software Cybernetics,Invited session organizer, 2009 IEEE Conference on Automation Science and Engineering,Invited session organizer, 2005 Joint IEEE Conference on Decision and Control and EuropeanControl ConferenceInvited session organizer, 1999 IEEE International Symposium on Intelligent ControlInvited session organizer, 1998, 2008 International Workshop on Discrete Event SystemsInvited session organizer, 1996 Mathematical Theory of Networks and SystemsSession Chair, 2013 IEEE Multiconference on Systems and Controls,Session Chair, 2007 Dependable Control of Discrete SystemsSession Chair, 1996, 1998, 2000, 2006, 2008 International Workshop on Discrete Event SystemsSession Chair, 1991, 1997, 1999, 2003, 2004, 2005, 2006, 2007 IEEE Conf. on Decision & ControlSession Chair, 1994, 1998, 2003, 2004, 2005, 2006, 2007, 2008 American Control ConferenceSession Chair, 2000 NSF Workshop on Logic Control of Manufacturing SystemsSession Chair, 1992 SIAM Symposium on Control and its Application

31

Documents

PROF. RATNESH KUMAR, PHD, FELLOW IEEE, …home.engineering.iastate.edu/~rkumar/PUBS/resumeout.pdf3.R. Kumar (PI), $50,000 NSF-INTERN Supplement, \In-vivo Glucose Sensor Design and