Dept. of Electrical and Computer Engineering and

Center for Manufacturing

University of Kentucky

Lexington, KY 40506-0108

Phone: 859-323-8523    Fax: 859-257-3092

Email: holloway@engr.uky.edu     Web: http://www.engr.uky.edu/~holloway

 

Highlights of curriculum vita as of December 2007:

 

Current positions held at University of Kentucky 

Chair and Professor, Department of Electrical and Computer Engineering

TVA Endowed Professor of Electrical and Computer Engineering.

Joint faculty, University of Kentucky Center for Manufacturing

 

Publications: Over 100 publications, including 23 journals, 8 book contributions, 60 refereed conference publications, and 18 invited conference publications.

 

Funding: Funding exceeding $5,555,702,  total, including $2,730,137 as Principal Investigator.

 

Research Areas:  (1.) Automated synthesis of control logic and control software from analysis of discrete event system models.  (2.) Embedded control systems, especially as applied to sensing and control in the process industries.  (3.)  Fault monitoring and diagnosis of discrete event systems, especially as applied to manufacturing systems.  (4.)  Development of active sensing policies for systems with observation costs.

 

Teaching: Average teaching evaluation since Fall 1991 : 3.4/4.0. Average course rating

since Fall 1991: 3.3 /4.0. Highest teaching evaluations received: 4.0/4.0.  Courses taught include , manufacturing systems, embedded systems design, signals, controls, computer architecture.

 

Student Advising: Primary advisor or co-advisor of 39 graduate students completed, including 5 PhD dissertations completed and 24 MS theses completed.  Nominated for 2000 UK “Outstanding Advisor Award.”

 

University Service:   Director/Chief Operating Officer, University of Kentucky Center for Manufacturing, Aug. 2002 to present.  Deputy Director, Center for Robotics and Manufacturing Systems Engineering, 1999 to 2002.  Director of Graduate Studies, Manufacturing Systems Engineering, 1998 to 2003. Core Group Member and Instructor, UK Lean Manufacturing Program, 1993 to 2001.

 

Professional Service: Associate Editor, IEEE Transactions on Automatic Control, Oct. 2002 - 2005.  IEEE Control Systems Society Conference Editorial Board, 1998-2001. Member of Program Committee or Organizing Committee for thirteen conferences, including as Registration Chair of the 2001 American Control Conference (the largest conference of the American Automatic Control Council).

 

 

 

EDUCATION

 

         Ph.D. in Electrical and Computer Engineering:  July 1991.

               Carnegie Mellon University, Pittsburgh, Pennsylvania.

               Thesis title:  On-Line Fault Detection in Discrete Observation Systems using

                     Behavioral Models.  Thesis advisor:  Professor Bruce Krogh.

         M.S. in Electrical and Computer Engineering, October 1988.

               Carnegie Mellon University, Pittsburgh, Pennsylvania.

               Thesis title:  Feedback Control Synthesis for a Class of Discrete-Event Systems Using

                     Distributed State Models.  Thesis advisor:  Professor Bruce Krogh.

         B.S. in Electrical Engineering, magna cum laude, May 1987. Minors in Math and

               Business. Southern Methodist University, Dallas, Texas.

               Honors:  SMU Presidential Scholar, Robert S. Hyer Society, Tau Beta Pi.

 

 

CURRENT RESEARCH INTERESTS

 

Discrete-event control and software synthesis:  This research focuses on the development of efficient techniques to automatically convert high-level control specifications into discrete event control laws for manufacturing systems and embedded controllers.  Current research emphasizes application to manufacturing systems and low-level controllers (embedded controllers), with issues such as state targeting, coordination timing, and automatic generation of computer code.

Embedded Systems for Sensing and Control in Food Processing Industries:  This research involves the design of embedded systems for analysis of sensor information in food processing industries.  The goal is the development of a generic platform capable of being rapidly reconfigured for a variety of sensing methods and signal analysis algorithms.  

Automated fault monitoring of manufacturing systems.  This research considers the problem of fault monitoring of manufacturing systems using signals from discrete sensors and actuators. The emphasis is on distributed monitoring of processes with concurrent event sequences by using timing and sequencing characteristics of I/O signals.  Related work considers automated learning of the timing characteristics, as well as systems with underlying continuous dynamics, infrequent continuous-valued sensing, and various forms of restricted concurrency.

Active sensing policies for uncertain systems.  This research activity considers the problem of systems where sensing occurs only upon request, but each sensing carries a cost.  The issue is to develop a sensing policy such that the control or sensing objectives can be met at minimum cost, while guaranteeing to constrain the state uncertainty under several different uncertainty measures. 

 

 

WORK EXPERIENCE

 

Chair, University of Kentucky Department of Electrical and Computer Engineering.  July 2007 to present.

 

 

Director, University of Kentucky Center for Manufacturing, July 2002 to July 2007 (July 2002-June 2003 as Acting Director).  Primary responsibility for the Center administration, including primary budget and policy oversight, and responsibility for leading strategic planning and restructuring for research, extension, and education missions.

 

University of Kentucky, Professor, 2003 to present. 

      Department of Electrical and Computer Engineering and Center for Manufacturing.  
Kentucky Utilities endowed professor, 2003 – 2007
TVA endowed professor, July 2007 to present  

 

         University of Kentucky, Associate Professor.  August 1997 to 2003.

               Joint faculty member in Center for Robotics and Manufacturing Systems and

               Department of Electrical Engineering.  Active in research, teaching, and industrial

               activity.

 

         University of Kentucky, Director of Graduate Studies for Manufacturing Systems

         Engineering Program (a multidisciplinary program), January 1998 to 2003.  The M.S.E. program is a multidisciplinary masters-only program.   Held primary responsibility for management of the program, coordinating faculty involvement, admissions, and advising students.  Oversaw growth of the program from 13 MS students in 1998 to 26 MS students in 2001.

 

         University of Kentucky, Deputy Director of Center for Robotics and Manufacturing

               Systems, January 1999 to June 2003.  Primary responsibility of the Center during regular

               and extended absences of the Director.

        

         Ecole Centrale de Lille, Lille, France.  Visiting Faculty, June 2004 and July 2005.

 

         University of Kentucky, Assistant Professor.  August 91 to July 1997.

               Joint faculty member in Center for Robotics and Manufacturing Systems and

               Department of Electrical Engineering.  Active in research, teaching, and industrial activity.

 

         Rockwell Science Center, Thousand Oaks, California.  June 93 to August 93, July 95

               Developed methods for automated fault monitoring in automated manufacturing

               systems.

 

         National Instruments, Austin, Texas.  June 87 to August 87.

               Developed application software for Macintosh II circuit boards.

 

         LTV Aerospace and Defense, Dallas, Texas.  Co-op student.

               January 86 to June 86.  ASAT Signal Processing Equipment Redesign. 

               May 85 to August 85.  A-7 Avionics - Programmed for Avionics support.

               January 84 to June 84.  A-7 Ground Support - Programmed for automatic testing of

                     avionics equipment.

               May 83 to August 83. Multiple Launch Rocket System Automatic Testing.                                                       electronics technician assistant.

PUBLICATIONS

 

Refereed Journal Publications

 

“Design for Sustainability (DFS): New Challenges in Developing and Implementing a Curriculum for Next Generation Design and Manufacturing Engineers,” Jawahir, I.S.; Rouch, K.E.; Dillon, O.W.; Holloway, L.; Hall, A.  International Journal of Engineering Education, Volume 23, Number 6, November 2007, pp. 1053-1064(12)

 

“Applying Automated Control Synthesis Methods to Condition Systems Requiring State Observers”, L.E. Holloway, J. Ashley, Y. Gong.  Control Engineering Practice, volume 14:10 (2006), pp 1169-1181.

 

“Determining the right-hand vectors of an irredundant linear inequality system,”  Ramprasad Potluri and L. E. Holloway.  Operations Research Letters (Elsevier publishers)  vol.24 (2006), pp 373-381.

 

 “An equivalent CTL formulation for condition sequences”; Jeffrey Ashley and L. E. Holloway; Journal of Discrete Event Dynamic Systems; Springer Science Publishers; Volume 15, Issue 4, Dec 2005, Pages 333 – 348.

 

“State Observability and Condition Observability for a Class of Interacting Discrete Event Systems”, L. E. Holloway, Yu Gong, and J. Ashley; Mathematics and Computers in Simulation, 70(5-6), pp 275-286, Elsevier Publishers. 2005.

 

“Qualitative Diagnosis of Condition Systems,”  Jeffrey Ashley and L. E. Holloway.   Discrete Event Dynamic Systems: Theory and Applications,  14:4, Kluwer Academic Publishers. October 2004 pp395-412.

 

“Computing Bounds for Forbidden State Reachability Functions for Controlled Petri Nets,” L.E. Holloway, Ajit S. Khare, and Yu Gong.  IEEE Transactions on Systems, Man, and Cybernetics Part A, 34(2), March 2004. pp219-228.

 

"Stability of Pull Production Control Methods for Systems With Significant Setups", T. I. Seidman and L. E. Holloway, IEEE Transactions on Automatic Control. October 2002, volume 47(10), pp 1637-1647.

 

“Active Sensing Policies for Stochastic Systems,” Shuo Liu and L. E. Holloway.  IEEE Transactions on Automatic Control, volume 47(2), February 2002. pp 373 -377.  

 

 “Automated Synthesis and Composition of Taskblocks for Control of Manufacturing Systems,” L.E. Holloway, X. Guan, R. Sundaravadivelu, and J. Ashley Jr., IEEE Transactions on Systems, Man, and Cybernetics Part B, volume 30(5), October 2000, pp 696-712.

 

 “Template Languages for Fault Monitoring of Discrete Event Processes”,  D. N. Pandalai and L.E. Holloway, IEEE Transactions on Automatic Control, Vol 45(5)  May 2000, pp 868-882.

 

“Constructing a Confidence Space for Discrete Event Timings for Fault Monitoring Using Discrete Sensing and Actuation Signals,”  Sujit R. Das and L. E. Holloway, IEEE Transactions on Systems, Man, and Cybernetics Part A.  Vol 30 (1) Jan. 2000. pp 52-66.

 

"A Survey of Petri Net Methods for Controlled Discrete Event Systems”. L.E. Holloway, B.H. Krogh, and A. Giua, Journal of Discrete Event Dynamic Systems, Vol 7 No. 2. 1997.

 

“Principles of Lean Manufacturing,”  L.E. Holloway and A. Hall, Industry and Higher Education, August 1997.

 

"Distributed Fault Monitoring in Manufacturing Systems Using Concurrent Discrete-Event Observations", L. E. Holloway and S. Chand,  Integrated Computer-Aided Engineering. 3(4), pp244-254, special issue on "Detecting and Resolving Errors in Manufacturing Systems". 1996.

 

"A Generalization of State Avoidance Policies for Controlled Petri Nets", L.E. Holloway, X. Guan, and L. Zhang,   IEEE Transactions on Automatic Control. 41(6), pp804-816, June 1996.

 

"Supervisory Control of Deterministic Petri Net Languages with Regular Specification Languages", R. Kumar and L.E. Holloway, IEEE Transactions on Automatic Control. 41(2), Feb. 1996, pp245-249.

 

"Trajectory Encoding for Systems with Irregular Observations",  L. E. Holloway, Automatica.  31(3), March 1995, pp405-418.

 

"An Overview of Fault Monitoring and Diagnosis in Mining Equipment", J. Sottile and L.E. Holloway, IEEE Transactions on Industry Applications, September/October 1994. 

 

"On Closed-Loop Liveness of Discrete Event Systems under Maximally Permissive Control", L. E. Holloway and B. H. Krogh.  IEEE  Transactions on  Automatic Control  37(5), pp 692-697, May 1992.

 

"An Intelligent Reactive Monitoring and Scheduling System", C.J. Paul, L.E. Holloway, D. Yan, J. K. Strosnider, and B.H. Krogh, IEEE Control Systems Magazine  12(3), pp 78-86, June 1992, in Special Section on Intelligent Control.

 

"Synthesis of Feedback Control Logic for Discrete Manufacturing Systems",  B.H. Krogh and L.E. Holloway, Automatica, 27(4) 641-651, 1991.

 

"Synthesis of Feedback Control Logic for a Class of Controlled Petri Nets", L. E. Holloway and B. H. Krogh, IEEE Transactions on Automatic Control, 35(5) 514-523, May, 1990.

 

 

Books and Book Chapters

 

“SPECTOOL: Automated Synthesis of Control Code for Discrete Event Controllers”, L.E. Holloway, Andy Callahan, John O’Rear, and Xiaoyi Guan.   Discrete Event Systems: Analysis and Control, Kluwer Academic Publishers, 2000. edited by R. Boel and G. Stremersch, ( also appeared in 5th Workshop on Discrete Event Systems (WODES2000), Ghent, Belgium, August 2000.)

 

“State Observer Synthesis for a Class of Condition Systems”, Yu Gong and L. E. Holloway.   Discrete Event Systems: Analysis and Control, Kluwer Academic Publishers, 2000.  edited by R. Boel and G. Stermersch. ( also appeared in 5th Workshop on Discrete Event Systems (WODES2000), Ghent, Belgium, August 2000.)

 

“Fault Monitoring in Manufacturing Systems Using Template Models”, L.E. Holloway, in Modern Computer-aided Maintenance:  Methodology and Practice, edited by B. Wang and J. Lee, Kluwer Academic Publishers, Dordrecht, The Netherlands, 1999. pp339-355

 

"On-line fault monitoring of hybrid systems using templates with dynamic time scaling,"  L. Holloway, Hybrid Systems III, edited by R. Alur, T.A. Henzinger, and E.D. Sontag, Springer Verlag, LNCS 1066, pp258-269. 1996.

 

"Production Control for Lean Manufacturing:  Push vs. Pull",  in Principles of Continuous Learning Systems, edited by K. Saito, McGraw-Hill,  1995. pp.145-159.

 

"Controlled Petri Nets: a Tutorial Survey",  L. E. Holloway and B. H. Krogh, 11th International Conference on Analysis and Optimization of Systems: Discrete Event Systems,  Guy Cohen and Jean-Pierre Quadrat (Eds.), Lecture Notes in Control and Information Sciences 199, Springer Verlag, London, 1994. pp. 158-168.

 

"Synthesis of Feedback Control Logic for a Class of Controlled Petri Nets", L. E. Holloway and B. H. Krogh, in Discrete Event Dynamic Systems: Analyzing Complexity and Performance in the Modern World, edited by Y.C. Ho, IEEE Press, New York, 1992, pp. 112-123.  Reprinted from IEEE Transactions on Automatic Control,  35(5) 514-523. May, 1990.

 

"Model-Based Operational Specifications for Fault Monitoring in Manufacturing Systems", L. E. Holloway, in Intelligent Manufacturing, edited by W.A. Gruver and J. C. Boudreaux,  Springer-Verlag, 1993. pp. 195-207.

 

 

Refereed Conference Publications

 

 

“Towards Modeling of Resilience Dynamics in Manufacturing Enterprises: Literature Review and Problem Formulation”,  Yao Hu, Jingshan Li, L. E. Holloway Proceedings of 2008 IEEE Conference on Automation Science and Engineering (CASE 2008), pp. 279-284. August, 23-26, 2008, Washington DC.

“Applications of Lean Concepts to the Teaching of Lean Manufacturing”, A. Hall and L. Holloway.  Proceedings of 2008 ASEE Annual Conference and Exposition, Pittsburgh, PA, June 2008 

 

“Automated Coordinator Synthesis for Mission Control of Automonous Underwater Vehicles”, S. Bhattacharyya, R. Kumar, L. Holloway, S. Tangirala.  MTS / IEEE – OES OCEANS 2007, September 2007, Vancouver.

 

“Qualitative Diagnosis of Condition Systems for Multiple Subsystem Failures”.  J. Ashley, L. E. Holloway, R. Kumar.  2007 American Control Conference, New York City. 

 

 “Exploiting Causal Structure in the Refined Diagnosis of Condition Systems”, Jeff Ashley and L.E. Holloway, Proceedings of 11th IEEE International Conference on Emerging Technologies for Factory Automation (ETFA 2006).  pp. 364-371; Praha, CR; September 2006.

 

 “A Bottom-up Approach to Verification of Hybrid Model-Based Hierarchical Controllers with application to Underwater Vehicles”, Matthew O'Connor, Sekhar Tangirala*, Ratnesh Kumar, Siddhartha Bhattacharyya, Mario Sznaier, Lawrence E. Holloway, 2006 American Control Conference, Minneapolis, Minn. June 2006.

 

“Animation/Simulation of  missions for autonomous underwater vehicles with hybrid-model based control architecture. ”,  Siddhartha Bhattacharyya*, Ratnesh Kumar, Sekhar Tangirala, Matthew O'Connor, Lawrence E. Holloway.  2006 American Control Conference, Minneapolis, June 2006.

 

“Design for Sustainability (DFS):  New Challenges in Developing and Implementing a Curriculum for Next Generation Design and Manufacturing Engineers”, I.S. Jawahir, K. Rouch, O. Dillon, L. Holloway, A. Hall, J. Knuf, Looking Forward: Innovations in Manufacturing Engineering Education, Proceedings of CIMEC(CIRP) 2005/3rd SME Int. Conf. on Manufacturing Education, San Louis Obispo California, June 2005.  pp59-71.

 

“A fault detection scheme using condition systems”; J.  Ashley and L.E. Holloway; “Proceedings of the 2005 IEEE Conference on Decision and Control”; Seville, Spain; December 2005.

 

“An application of condition-system based control synthesis techniques for a railway example”; J.  Ashley, Nathalie Dangoumau and L. E. Holloway; in the “Proceeding of the 17th IMACS World Congress”; Paris, France; July 2005.

 

“Fault recovering taskblocks and control synthesis for a class of condition systems”; Jeff Ashley, Lawrence E. Holloway, Nathalie Dangoumau; in  The Proceedings of the 2005 IFAC World Congress, Praha, Czech Republic; July 2005.

 

“Electronic system for monitoring honey bee queen cell activities.” Thomas C. Webster, Vaishanavi Kothandaraman, Lawrence E. Holloway, Jeffrey Ashley, and Daniel Shewa, 52nd annual meeting of the Entomological Society of America (ESA) to be held in Salt Lake City, Utah, November 14–17, 2004

 

“Hybrid-Model based Hierarchical Mission Control Architecture for Autonomous Underwater Vehicles”, Sekhar Tangirala*, Ratnesh Kumar, Siddhartha Bhattacharyya, Matthew O'Connor, Lawrence E. Holloway, American Control Conference, Portland, June 2005.  

 

“An Equivalent LTL/Kripke Structure for the Condition Sequence/Condition System Model”, Jeff Ashley and L. E. Holloway, IFAC Workshop on Discrete Event Systems (WODES’04), September 2004, Reims, France.

 

“Applying Automated Control Synthesis Methods to Condition Systems Requiring State Observers”, L.E. Holloway and Yu Gong, IFAC Workshop on Discrete Event Systems (WODES’04), September 2004, Reims, France.

 

“Methods of Remote, Continuous Temperature Detection in Beef Cattle”, J.D. Davis, E.S. Vanzant, J.L. Purswell, A.R. Green, J.R. Bicudo, R.S. Gates, L.E. Holloway, W.T. Smith, 2003 ASAE Annual International Meeting, Las Vegas Nevada, July 2003.

 

“Coordinating Concurrency to Avoid Forbidden States in Condition Models”, Venkataraman Venugopal and L.E. Holloway, 9th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA2003), September, 2003, Lisbon. pp 90-97.

 

“Partial Observation of Condition Systems which are not state observable,” Yu Gong and L.E. Holloway, Proceedings of IEEE/IMACS Conference on Computational Engineering in Systems Applications (CESA2003), July 2003, Lille, France.

 

“Using Distributed Observers for Simplifying Centralized Control,”  Yu Gong and L.E. Holloway, Proceedings of 2003 American Control Conference, June 2003, Denver.  pp 1032-1037

 

“Embedded Microcontroller Implementation of a Class of Condition Systems”, Yu Gong and L. E. Holloway.  Proceedings of 35th IEEE Southeastern Symposium on System Theory, March 2003, Morgantown, West Virginia. pp 167-171

 

“Modeling and Control of Halfspace Systems,”  Ramprasad Potluri and L.E.Holloway.  Proceedings of 35th IEEE Southeastern Symposium on System Theory, March 2003, Morgantown, West Virginia. pp 352-356

 

“Computing Bounds for Forbidden State Reachability Functions for Controlled Petri Nets”, L. E. Holloway and A. S. Khare.  Proceedings of 6th International Workshop on Discrete Event Systems (WODES’02), Zaragoza Spain, October 2002. pp225-230. Published by IEEE Computer Press.

 

“Diagnosis of Condition Systems Using Causal Structure”,  Jeffrey Ashley and L.E. Holloway, 2002 American Control Conference, Anchorage, Alaska, May 2002.  pp 716-721

 

 “Multi-layer State Observers for Condition Systems”, Yu Gong and L. E. Holloway, IEEE International Conference on Emerging Technologies and Factory Automation (ETFA’01), Antibes, Nice, France, October, 2001.  pp421-428

 

“Diagnosis of Condition Systems Using Symbolic Causal Networks”, Jeffrey Ashley and Lawrence E. Holloway, 2001 IEEE Conference on Systems, Man, and Cybernetics, October 9-12, 2001, Tucson, Arizona, USA, pp 2799-2804

 

“State Observer Synthesis for a Class of Condition Systems”, Yu Gong and L. E. Holloway,  5th Workshop on Discrete Event Systems (WODES2000), Ghent, Belgium, August 2000.  Discrete Event Systems: Analysis and Control, Kluwer Academic Publishers.

 

“Spectool: Automated Synthesis of Control Code for Discrete Event Controllers”, L.E. Holloway, Andy Callahan, John O’Rear, and Xiaoyi Guan,  5th Workshop on Discrete Event Systems (WODES2000), Ghent, Belgium, August 2000

 

“Demonstration of an Automated Control Synthesis Tool for Manufacturing,” Praveen Yasarapu and Lawrence E. Holloway, Proceedings of the ISCA 9th International Conference on Intelligent Systems, D. Page and J. Graham editors. Louisville, KY June 2000.  pp 76-79.

 

“Control of Uncertain Systems Represented by Slack-Descriptor Models: Maintainability”, by R. Potluri and L. E. Holloway, Proceedings of 2000 American Control Conference, Chicago, IL, June 2000. pp1899-1903.

 

“Active Sensing Policy for Systems with Parametric and Additive Noise,” Liu Shuo and L. E. Holloway,  Proceedings of 38th IEEE Conference on Decision and Control, Phoenix, Dec. 1999.  pp 4561-4566..

 

“Assembling Taskblocks for Control of Discrete Event Systems,” X. Guan and L. E. Holloway, Proceedings of 38th IEEE Conference on Decision and Control, Phoenix, Dec. 1999. pp1749-1755

 

 “Using SPC and Template Monitoring Method for Fault Detection and Prediction in Discrete Event Manufacturing Systems”, H.K. Fadel and L. E. Holloway, 14th IEEE International Symposium on Intelligent Control,  Boston, September 1999.  pp150-155.

 

“Approximating State Sets Using Circumscribing Polyhedron with Fewer Facets,”  Hian-suan Chew and L. E. Holloway, IEEE Southeastcon’99, Lexington, KY, March 1999.

 

“Elaborative Orderings of Condition Languages”, L. E. Holloway and J. Ashley Jr.  1998 IEEE Conference on Decision and Control, Tampa, December 1998.

 

“Task Blocks for Synthesis of Controllers for Condition Systems”, L. E. Holloway and S. Ranganathan.  1998 IEEE International Conference on Systems, Man, and Cybernetics, San Diego, Oct. 1998.

 

 “Validation of Inter-event time learning method using simulation,”  by Sujit R. Das and L. E. Holloway.  1998 Workshop on Discrete Event Systems (WODES98), Cagliari, Italy, August 1998.

 

“Condition Languages and Condition Systems for Modeling Ambiguous Control Specifications,”  by J. Ashley Jr. and L. E. Holloway.  1998 Workshop on Discrete Event Systems (WODES98), Cagliari Italy, August 1998

 

“Template Languages for Fault Monitoring of Concurrent and Non-Concurrent Discrete Event Processes,”  D. N. Pandalai and L. E. Holloway, 1997 IEEE Conference on Decision and Control, San Diego, December 1997.

 

“Control of Distributed Discrete Event Systems Modeled as Petri Nets”, Xiaoyi Guan and   L. E. Holloway, 1997 American Control Conference, Albuquerque,  June 1997.

 

“Stability of a ‘signal kanban’ manufacturing system”, Thomas I. Seidman and L.E. Holloway, 1997 American Control Conference, Albuquerque, June 1997. 

 

“Characterizing Discrete Event Timing Relationships for Fault Monitoring of Manufacturing Systems,”  Sujit R. Das and L.E. Holloway, IEEE International Conference on Control Applications, Sept. 1996, Dearborn, Michigan.

 

“Time Measures and State Maintainability for a Class of Composed Systems”, L.E. Holloway, Proceedings of International Workshop on Discrete Event Systems (WODES96), Edinburgh, August, 1996. pp. 24-30.

 

"Active Sensing for Uncertain Systems under Bounded Uncertainty Sensing Goals,"  Hang-lian Lim and L. E. Holloway, Preprints of 13th World Congress of IFAC International Federation of Automatic Control, Volume J, July 1996, San Francisco. pp. 143-148.

 

"Condition Templates:  Improved Distributed Models for Automated Fault Monitoring of Manufacturing Systems,"  Deepa Pandalai and L. E. Holloway, 1996 IEEE International Conference on Robotics and Automation, April 1996, Minneapolis.. pp. 515-520.

 

"Active Sensing Policies for Slack-Descriptor Systems", by Hang-lian Lim and L. Holloway. Proceedings of 34th  IEEE Conference on Decision and Control, December 1995, New Orleans.  pp. 2360-2365.

 

"Distributed discrete event control structures with controller interactions",  X. Guan and L. E. Holloway, Proceedings of 1995 American Control Conference,  June 1995, Seattle, Washington. pp. 3151-3156.

 

"Learning of time templates from system observations",  Sujit R. Das and L. E. Holloway, Proceedings of 1995 American Control Conference, June 1995, Seattle Washington. pp. 2626-2630.

 

"Time Templates for Discrete Event Fault Monitoring in Manufacturing Systems", L.E. Holloway and Sujeet Chand,  1994 American Control Conference,  Baltimore, Maryland, June 1994. pp. 701-706.

 

"A Generalization of State Avoidance Policies for Controlled Petri Nets", Lawrence E. Holloway and Xiaoyi Guan, Proceedings of the 32nd IEEE Conference on Decision and Control, San Antonio, Texas, December, 1993.  pp. 204-210.

 

"The Challenge of Intelligent Sensing for Monitoring and Control", Lawrence E. Holloway, Proceedings of the 1993 IEEE 9th International Symposium on Intelligent Control, Chicago, August, 1993. pp. 139-143.

 

"Properties of Behavioral Models for a Class of Hybrid Dynamical Systems",  L.E. Holloway and B.H. Krogh, Proceedings of the 31st IEEE Conference on Decision and Control,  Tucson, Arizona, December, 1992. pp. 3752-3757.

 

"Supervisory Control of Petri Net Languages",  Ratnesh Kumar and L.E. Holloway,  Proceedings of the 31st IEEE Conference on Decision and Control,  Tucson, Arizona, December, 1992.  pp. 1191-1195.

 

"Fault Monitoring and Diagnosis in Mining Equipment:  Current and Future Developments", Joseph Sottile and Lawrence E. Holloway,  1992 IEEE Industry Applications Society Conference, Houston, Texas, October 1992. pp. 2026-2033.

 

"An Integrated Rule-Based/Algorithmic Architecture for On-Line Process Monitoring and Reactive Control", B.H. Krogh, C.J. Paul, D.W. Yan, J.K. Strosnider, L.E. Holloway, IFAC/ASME/IEEE/SCS/SME International Workshop on Intelligent Manufacturing Systems, Dearborn, Michigan,  October 1992.  pp. 313-317.

 

"Feedback Control for Sequencing Specifications in Controlled Petri Nets", L.E. Holloway and F. Hossain,  Proceedings of Rensselaer's Third International Conference on Computer Integrated Manufacturing,  Troy, New York, May 1992. pp. 242-251.

 

"On-Line Fault Detection via Trajectory Encoding", L.E. Holloway and B.H. Krogh, Proceedings of 7th IFAC Symposium on Information Control Problems in Manufacturing Technology -- INCOM'92, Toronto, Canada, May 1992. pp. 643-648.

 

"On-Line Trajectory Encoding for Discrete-Observation Process Monitoring", L.E. Holloway and B.H. Krogh, IFAC Symposium on On-Line Fault Detection and Supervision in the Chemical Process Industries, Newark, Delaware, April 1992

 

"On the Complexity of Forbidden State Problems for Controlled Marked Graphs",  B.H. Krogh, J. Magott, and L.E. Holloway, Proceedings of the 30th IEEE  Conference on Decision and Control,  Brighton, U.K., December 1991.

 

"Monitoring Behavioral Evolution for On-Line Fault Detection", L.E. Holloway and B.H. Krogh, IFAC SAFEPROCESS'91, Baden-Baden, Germany, September 1991.

 

"On-Line Behavioral Models for Automated Fault Detection", L.E. Holloway and B.H. Krogh, Proceedings of  1991 IPC/Intelligent Systems Conference, Detroit, April 1991.

 

"Fault Detection and Diagnosis in Manufacturing Systems: A Behavioral Model Approach", L. E. Holloway and B. H. Krogh, Proceedings of Second International Conference on Computer Integrated Manufacturing, Troy, NY. May, 1990. pp. 252-259.

 

"Synthesis of Feedback Control Logic for Forbidden State Problems in Discrete Manufacturing Systems", L.E. Holloway and B.H. Krogh, Proceedings of IFAC International Workshop on  Decisional Structures in Automated Manufacturing,  Genoa, Italy.  September, 1989.

 

"Efficient Synthesis of Control Logic for a Class of Discrete Event Systems", L. E. Holloway and B. H. Krogh, Proceedings of 1989 American Control Conference, Pittsburgh, Pa. June 1989. pp. 2672-2677.

 

 

 

Invited Papers

 

 

“Lean Manufacturing Bootcamps at the University of Kentucky”, in the Proceedings of the 2008 Industrial Engineering Research Conference, track on Lean Education and Simulation Games, Vancouver, May 17-21, 2008.   (Proceedings edited by J. Fowler and S. Mason)

 

“Teaching Lean Manufacturing:  Tips and Techniques”.  Arlie Hall and Larry Holloway.  Webinar for NSF Manufacturing Education Resource Center (MERC), Natilnal Center for Manufacturing Education.  April 20, 2007. (www.merconline.net).

 

“Automated Control, observation, and fault detection of multilayer condition systems”, L.E. Holloway and Jeff Ashley.  Workshop on Control of Hybrid and Discrete Event Systems, a satellite event of the 26th International Conference On Application and Theory of Petri Nets and Other Models of Concurrency, June 21, 2005 – Miami, Florida, USA

 

“Automated Control, Observation, and Diagnosis of Multi-layer Condition Systems – a tutorial for LISAC-05”.  LISAC’05 Summer School, sponsored by CNRS and Ecole Centrale de Lille.  October 2005.

 

 “Automated Control, Observation, and Fault Detection in Condition Systems,”  L.E. Holloway.  Plenary talk for IEEE/IMACS Conference on Computational Engineering in Systems Applications (CESA2003), July 2003, Lille, France.

 

“Distributed Discrete Event Systems:  Architecture, Communication, Control”, L. E. Holloway, Invited speaker, Banff DES Workshop, May 2004. Banff, Canada.

 

“Supervisory Control of Contradictions in Hierarchical Task Controllers”, X. Guan and L. Holloway, 37th Annual Allerton Conference on Communication, Control, and Computing, October, 1999.

 

“Supervisory Control of Concurrent Task Sequences Operating Over Low-Level Devices”, J. Ashley and L.E. Holloway, 35th Annual Allerton Conference on Communication, Control, and Computing, October, 1997.

 

“Modeling and Simulation of Manufacturing Systems under Signal Kanban Policies”,     L. E. Holloway, 2nd International Symposium on Scale Modeling, Lexington, Kentucky,  May 1997.

 

“Synthesizing Control Code for Achieving State Targets in Composed Systems”, L. Holloway, S. Rajaram, Proceedings of 34th Annual Allerton Conference on Communication, Control, and Computing,”  Monticello, Illinois, October 1996.

 

"Forbidden State Avoidance in Controlled Petri Nets Under Partial Observation", L. Zhang and L. Holloway, Proceedings of 33rd Annual Allerton Conference on Communication, Control, and Computing, Sept. 1995.  pp. 146-155.

 

"Characterizing Uncontrollable Reachability for Colored Controlled Petri Nets",  Jeffrey Ashley Jr. and L. E. Holloway,  Proceedings of 1994 International Conference on Systems, Man, and Cybernetics, San Antonio, Texas, October, 1994. pp. 1000-1005.

 

"Improved path evaluation technique for characterizing uncontrollable reachability in Controlled Petri Nets",  M. Hiriyannaiah and L. E. Holloway,  32nd Annual Allerton Conference on Communication, Control, and Computing, Sept 1994, Monticello, Illinois.

 

"Controlled Petri Nets:  A Tutorial Survey", L.E. Holloway and B.H. Krogh, 11th International Conference on Analysis and Optimization of Systems:  Discrete Event Systems, Sophia-Antipolis, France, June 1994. pp. 158-168.

 

"Slack-Descriptor Models for Monitoring Industrial Processes with Irregular Observations", L.E. Holloway, Proceedings of Conference on Computer Integrated Manufacturing in the Process Industries, Rutgers University, April, 1994. pp. 285-293.

 

"Fault Monitoring in Manufacturing Systems Using Concurrent Discrete-Event Observations",  L.E. Holloway and S. Chand.  AAAI Spring Symposium Series on Detecting and Resolving Errors in Manufacturing Systems,  Palo Alto, California, March, 1994.  pp. 65-69.

 

"Control Synthesis using Path Algebras for Forbidden State Avoidance",  L.E. Holloway, 31st  Annual Allerton Conference on Communication, Control, and Computing, Monticello, Illinois, September 1993. pp. 697-706.

 

"On-Line Evaluation of Systems with Discrete Observations", L.E. Holloway and B.H. Krogh, invited paper, Proceedings of IFAC  International Symposium on Distributed Intelligence Systems, Arlington, Virginia,  August, 1991. pp. 37-42.

 

"Integration of Behavioral Fault-Detection Models and an Intelligent Reactive Scheduler", L.E. Holloway, C.J. Paul, J.K. Strosnider, and B.H. Krogh, Proceedings of the 6th IEEE International Symposium on Intelligent Control, Arlington, Virginia, August, 1991. pp. 134-139.

   

"On Closed-Loop Liveness of Discrete Event Systems under Maximally Permissive Control", L. E. Holloway and B. H. Krogh, invited paper, Proceedings 28th IEEE Conference on Decision and Control , Tampa, Fla. December, 1989.

 

 

 

Published Software

      Spectool2: Tool suite for model analysis, control logic generation, and software synthesis for condition systems.(available on the web at http://www.crms.engr.uky.edu/pages/spectool ).  Condition systems are a class of discrete event systems which interact with each other through well-defined input and output interfaces.  They promise to be particularly useful when modeling large systems composed of many smaller interacting subsystems. Spectool2 includes a graphical user interface, tools for analysis of model structures, control synthesis methods, and observer synthesis tools.  The resulting control logic is automatically converted into compiled C++ code which is then  used to drive virtual equipment (through the computer interface) or actual equipment devices.   

 

Patent

US Patent no. 7,392,918:  “Method and Device for Pill Dispensing”.

 

CONTRACTS AND GRANTS

 

Contracts and Grants Awarded

 

Funding: Funding exceeding $5,555,702,  total, including $2,730,137 as Principal Investigator.

 

 

 

PROFESSIONAL ACTIVITIES

 

Professional Societies

Senior Member, Institute of Electrical and Electronics Engineers (IEEE)

Affiliate, International Federation on Automatic Control (IFAC)

Member Tau Beta Pi Engineering Honor Society

Member, American Society for Engineering Education (ASEE)

 

 

Professional Activities

 

Program Committee, International Workshop on Discrete Event Systems (WODES2008), Goteborg, Sweden.

Associate Editor, IEEE Transactions on Automatic Control, October 2002 – December 2005.

Organizing Committee and Publicity Chair, American Control Conference 2009, Saint Louis.)

Organizing Committee and Vice-Chair for Special Tracks, American Control Conference 2007, New York City.

Program Committee, International Workshop on Discrete Event Systems (WODES2006), Ann Arbor Michigan.

International Program Committee, 1st IFAC Workshop on Dependable Control of Discrete Systems (DCDS'07), Paris, France, 2007

Program Committee, American Control Conference 2006, Minneapolis.

Program Committee, IASTED Conference on Control and Applications, May 2005.

International Program Committee, IFAC Workshop on Discrete Event Systems (WODES04), September 2004, Reims, France.

Program Review SubCommittee, IFAC World Congress, Prague, July 2005

Program Committee, 2nd IEEE International Conference on Industrial Informatics (INDIN2004),Berlin, June 2004.

Program Committee, 2004 American Control Conference, Boston.

 Program Committee, 9th IEEE International Conference on Emerging Technologies and Factory Automation,  Lisbon, September 2003.

Program Committee, Multiconference on "Computational Engineering in Systems Applications", Lille, France, July 2003.

Instructor and co-organizer, Tutorial Workshop on “Event-Based Monitoring and Diagnosis of Industrial Systems”  2002 American Control Conference, Anchorage. May 2002.

International Program Committee.  2003 IMACS/IEEE-SMC Computational Engineering in Systems Applications (CESA2003),  Lille, France, July 2003.

Program Committee, 2002 Workshop on Discrete Event Systems (WODES-02), Zaragoza, Spain.

Registration Chair, 2001 American Control Conference. 1998-2001. (Arlington, Virginia, June 2001).  Introduced and supervised web-based registration system for 1100 attendee conference.

Program Committee,  1999 IEEE Conference on Decision and Control, (Phoenix, Dec. 1999).

Program Committee,  14th IEEE International Symposium on Intelligent Control (Cambridge, Mass. Sept. 1999)

Conference Editorial Board, IEEE Control Systems Society.  1998-2001

International Organizing Committee, 1998 IEEE Conference on Systems, Man, and Cybernetics.

Instructor and co-organizer, Tutorial Workshop on “Event-based Fault Monitoring for Manufacturing Systems”, 1998 IEEE International Conference on Systems, Man, and Cybernetics.

Instructor, Pre-Congress Tutorial on “Petri Nets in Industrial Automation: Modeling Performance, Scheduling and Control,” at International Federation of Automatic Control, 1996 World Congress, June, 1996, San Francisco.

Program Committee, 1998 International Lean Manufacturing Conference.

Conference Co-Chair, 1997 International Lean Manufacturing Conference

Program Committee, Second International Symposium on Scale Modeling (1997).

International Program Committee, 34th IEEE Conference on Decision and Control (1995)

Co-chair and co-organizer of paper session at IFAC SAFEPROCESS'91, Baden-Baden, Germany, September 1991.

Member, Panel to determine Best Student Paper Award for 1992 IEEE Conference on Decision and Control

Member of roundtable panel at AAAI Spring Symposium Series on Detecting and Resolving Errors in Manufacturing Systems, Palo Alto, California, March, 1994

 

 

Reviewer for the following journals and organizations:

      (Selected list – not comprehensive)

 

      National Science Foundation -- proposal reviews, panel reviewer

      Canadian NSERC:  Natural Sciences and Engineering Research Council of Canada

      IEEE Computer Society Press

      IEEE Trans. on Automatic Control

      IEEE Trans. on Control Systems Technology

      IEEE Trans. on Robotics and Automation

      IEEE Trans. on Systems, Man & Cybernetics (A and B)

      Automatica

      IIE Transactions

      Journal of Discrete Event Dynamic Systems

      IEEE Transactions on Knowledge and Data Engineering

      Electric Machines and Power Systems

      International Journal of Intelligent Control and Systems

      European Journal of Control

      Journal of Integrated Computer-Aided Engineering

      IEEE Conference on Decision and Control (1990-)

      IEEE International Symposium on Intelligent Control

      American Control Conference (1989-)

      IEEE International Conference on Robotics and Automation

      Book chapters for the Springer-Verlag book "Programming Environments for CIM"

      Panel for Best Student Paper Award for IEEE CDC

      IFAC World Congress

      European Control Conference

      IIE International Workshop on Discrete Event Systems

      International Conference on Application and Theory of Petri Nets

                                                                                          

 

Consulting Activities

NetQuest, Inc.  Designed embedded systems for remote livestock health monitoring.

Institute for Advanced Manufacturing Sciences (IAMS), Cincinnati.  Consulted on Lean Manufacturing Education Programs (2000)

Koch-Glitsch, Wichita, Kansas.  Provider of Lean Manufacturing short-course. (2001)

L.A. Darling, Paragould, Arkansas.  Provider of Lean Manufacturing short-course. (2000)

Boeing Aerospace, Saint Louis.  Provider of Lean Manufacturing short-course. (2001)

Harley-Davidson, Milwaukee.  Provider of Lean Manufacturing short-course.  (2001)

Dana Brake Parts, Winchester, KY. Provider of Lean Manufacturing short-course.  (2000)

Dowty Aerospace, United Kingdom.  Provider of Lean Manufacturing short-course.  (2000)

Lockheed Aerospace, Morristown, NJ. Provider of Lean Manufacturing short-course. (2000)

Foam Design, Lexington, KY. Provider of Lean Manufacturing short-course (2000)

Omnitek Incorporated, Lexington, KY.  Consulted on Navy contract.

National Science Foundation, Panel Reviewer, Proposal Reviewer

Georgia Institute of Technology:  External reviewer for Manufacturing Research Center.

Textbook reviewer for Prentice Hall, Kluwer Academic Publishers, and Cambridge University Press

Rockwell International.  Developed automated fault detection methods, spent 7 weeks during summer 1993 and two weeks during summer 1995 at Rockwell Science Center, Thousand Oaks, California. 

Pyromet Automation Services, Inc. of Pittsburgh, PA.

 

Interacted with numerous additional companies as part of University of Kentucky Center for Robotics and Manufacturing Systems. (see University Service: Industrial Activity).

 

 

Industrial activity:

Member, Lean Manufacturing Core Group

Member of Core Group of the University of Kentucky Lean Manufacturing Program.  This team provides leadership for the program, as well as development of lean manufacturing courses and workshops for Kentucky industry.  As part of the founding team, Dr. Holloway helped to develop and lead workshops involving over 95 organizations (71 companies) and over 1241 people.    As part of this activity, Dr. Holloway has had direct interaction with at least 50 companies.

 

Lean Manufacturing Instructor:

Instructor for “Principles and Practices of Lean Manufacturing”, a non-credit course in the Lean Manufacturing Certification series.  Instructed at public courses, and on-site at Foam Design, Lockheed-Martin, Dana Corp. Dowty Aerospace, Boeing, Harley-Davidson, Koch-Glitsch, L.A. Darling. (2000,2001, 2006)

Instructor for “Lean Value Stream Design”, a non-credit course in the Lean Manufacturing Certification Series.  (2006)

Speaker/Instructor for UK Lean Manufacturing Leadership Institute, Fall 1997, Spring 1998, Fall 1998, Spring 1999, Fall 1999, Fall 2000, Spring 2001, 2003, Nov 2006, 2007.

Lead Instructor for Lean Manufacturing Simulations -- instructed industry participants on principles of lean manufacturing, quality, and production control.  These simulations have been attended and paid for by industry throughout the US and abroad, as well as government and university personnel from several states.   (Spring 1994 - 1997)

 

Lean Manufacturing Industrial Activity

Received extensive training in manufacturing principles, Toyota Motor Manufacturing Company, (Fall 1993). 

Leader (with Rod Heard) of Kaizen Activity Day at Southland Manufacturing Company (1994).

Provided on-going assistance to Southland Manufacturing Company (SMC), a pilot company of the UK Lean Manufacturing Program.  This involved: study of their processes, consultations, and assisting in proposals for improvements.  (1994 - 1996 )

 

HONORS AND AWARDS

 

TVA Professor of Electrical Engineering (July 2007 to present)

Kentucky Utilities Professor of Electrical and Computer Engineering (July 2003 to July 2007)

Senior Member of Institute for Electrical and Electronic Engineers (IEEE)

Nominated for 2000 University of Kentucky  “Outstanding Advisor Award.”

Kentucky Colonel. 

Tau Beta Pi

Eta Kappa Nu

Best paper award for session, at 1991 IPC/Intelligent Systems Conference

Best paper award for session, at 1995 American Control Conference

Best paper award for session, at 2002 American Control Conference

Who’s Who in America (Marquis)– Science and Engineering, 4th edition, 5th edition

Who’s Who in Engineering Education – 2002

 

 

 

STUDENTS AND THESES SUPERVISED

 

Degrees Completed

1.                   Siddhartha Bhattacharyya, PhD Electrical Engineering  (Dissertation, July 2005)      Title: Modeling, Verification, and Synthesis of Hierarchical Hybrid Mission Controller for Underwater Vehicles

2.                   Jeff Ashley, PhD, Electrical Engineering (Dissertation, February 2004). 

Title:  Diagnosis of Condition Systems.

3.                   Ramprasad Potluri, PhD, Electrical Engineering, (Dissertation, May 2003):

Title:  Issues in the Control of Halfspace Systems.

4.                   Yu Gong, Ph.D., Electrical Engineering  (Dissertation March 2003)

Title:  Observer Synthesis for Control of a Class of Condition Systems.

5.                   Xiaoyi Guan, Ph.D., Electrical Engineering  (Dissertation October 2000)

Title:  Distributed Supervisory Control of Forbidden Conditions, and Automated Synthesis and Composition of Task Controllers

6.                   Fiaz Hossain, M.S.E.E. (thesis), July, 1992

Topic:  "Task Assignment in Distributed Manufacturing Systems"

7.                   Tauha Shahab, M.S.E.E. (project), September, 1993

Topic: "An Examination of Stability Analysis of Manufacturing Assembly Systems".

8.                   Manjunath Hiriyannaiah, M.S.E.E. (thesis), May 1994

Thesis:  Improved path evaluation technique for control of an automated manufacturing system. 

9.                   Prakash Chavadi, M.S.E.E.  (thesis),  July 1994

Thesis:   On-line quality monitoring of injection molding processes using system identification techniques.

10.               Venkitaramani, Rajagopal, M.S.E.E. (thesis) March 1995

Topic: Properties of Slack Descriptor Systems For Modeling Systems With Linearly Constrained Uncertainty".

11.               Hang-lian Lim, M.S.E.E.  (thesis) June 1995

Thesis:  Trajectory Representation and Active Sensing Policies for Uncertain Systems Represented as Slack Descriptor Systems.

12.               Sujit Das, M.S.E.E. (thesis) July 1995

Thesis: Learning of Time Templates from System Observations.

13.               Jeff Ashley, M.S. Manufacturing Systems Engineering. (thesis)  September 1995

Thesis:  Controlled Colored Petri Nets, Wildcards, and Characterizing Uncontrollable Reachability.

14.               Lan Zhang, M.S.E.E.  (thesis) March 1996

Thesis:  A Generalization of State Avoidance Policies for Controlled Partially Observed Petri Nets.

15.               Deepa Pandalai, M.S.E.E.  (thesis)  August 1996.

Thesis:  Condition Templates:  Improved Template Model for Fault Monitoring in Discrete Event Manufacturing Systems.

16.               Robert Bohanan, M.S. Manufacturing Systems Engineering (thesis) April, 1997.     Topic:  Chaos Theory Applied to Production Scheduling

17.               Sriram Rajaram, M.S.E.E.  (thesis)  Sept.  1997. 

Topic:  Synthesizing Control for Forbidden State Avoidance Under Target Constraints and Time Constraints for a Class of Discrete Event Systems

18.               Hian Suan Chew, M.S.E.E. (thesis: November 1998)

Title:  Approximation and Controllability Issues of Slack Descriptor Systems”

19.               Xiaoyi Guan, M.S. Computer Science (project, March 1999)

(co-advisor: Prof. Tony Baxter).   Title:  Application of Database Technique in Manufacturing Control System

20.               Hisham Fadel, M.S.E.E. (thesis – April 1999)

Title:  Using Statistical Process Control and the Template Method for Fault Prediction and Improved Detection in Discrete Event Manufacturing Systems.

21.               Praveen Yasarapu,  M.S.E.E. (project, July 1999)

Title:  Demonstration of Automated Control Synthesis Tools for Manufacturing Systems with Condition System Models

22.               Terry McIlvain, M.S.E.E.  (thesis - November 1999)

Title:  Advantages and Disadvantages of Electronic Kanban Systems

23.               Shuo Liu, M.S.E.E. (thesis - December  1999)

Title:  Active Sensing Policy for Stochastic Systems.

24.               Ramgopal Satyamurti, M.S.E.E.  (project --  August 2000)

Title:  Conversion of Textual Description of Condition Model to VHDL Code. 

25.               Ranganathan Sundaravadivelu, M.S.E.E. (Thesis, March, 2001)

Title:  Automated Synthesis and Composition of Task Controllers for Control of Systems Modeled as Condition Based Petri Nets.

26.               Yu Gong, M.S.E.E.  (thesis – April 2001)

Title:  Single-layer Observers for Condition Systems

27.               Lee Bohon, M.S. Manufacturing Systems Engineering (project, April 2001)

Title:  An Ergonomic Analysis of Lifting Heavy Printers for Transportation

28.               Pamela Jones Moon, M.S. Manufacturing Systems Engineering (thesis, April

2001).

Title:  Personal Engineers Database: A Tool for Product Development

29.               Someswara R. Ganny, M.S.E.E. (project – July 2001)

Title:  Conversion of Textual Description of Deterministic Timed Transitions Petri Nets to Behavioral VHDL Code.

30.               Mike Wilson, M.S. Manufacturing Systems Engineering. (project  August 2001)

Title: A Plan for Design and Manufacturing of an Automatic Golf Tee:  An Example of the Merger of Design for Manufacturing, Rapid Prototyping, and Lean Manufacturing Principles.

31.               Sachin Nagane, M.S. Manufacturing Systems Engineering. (thesis May 2002)

(Co-advisor with Jon Yingling)

Title:  Modeling and Analysis of Selectivity Banks in Automotive Manufacturing.

32.               Sudhindra Hunner, M.S. in Electrical Engineering.  (Project, August 2002). 

Title:  Digital Design, Development, Simulation, and Experimental Validation of a Model for Distributed Fault Monitoring in Manufacturing Systems Using Concurrent Discrete-Event Observations.

33.               Scot Duncan, MS Manufacturing Systems Engineering (project – April 2003). 

“The Andon System and its uses at Toyota Motor Manufacturing Assembly Line #1”.  (coadvisor with K. Saito).

34.               Jagannathan Ramachandran, M.S. Manufacturing Systems Engineering (project --             September, 2003).

Topic:  Tools for Template Monitoring in the Spectool Framework 

35.               Tracy Floyd, M.S. Electrical Engineering (thesis – July 2003).

Title:  Scheduling of Dynamic Processes on Controller Area Network for Real-time Applications.    

36.               Praveen Mandavilli, M.S. Manufacturing Systems Engineering (thesis – November 2004).
Title:  Colored Condition Systems

37.               Venkataramanan Venugopal, M.S. Manufacturing Systems Engineering (thesis – May 2004).
Title:  Coordinating Concurrency to Avoid Forbidden States in Condition Models

38.               Vaishnavi Kothandaraman, MS Electrical Engineering (project -- May 2004). 
Topic:  Electronic system for monitoring the deposition of royal jelly in bee hives.

39.               Andrew She, MS Electrical Engineering (Thesis, December 2004)
Title: Automated Synthesis of Virtualblocks for Interfacing Systems Under Test.

40.               Prashanth Thumu, M.S. Manufacturing Systems Engineering (thesis – August 2005).
Title:  Timed Condition Systems

41.               Rich Shertz, M.S. Manufacturing Systems Engineering (project – November 2005), “Analysis of locations of Recertification/Repair Facilities”.

42.               Karthik Machiraju, M.S. Manufacturing Systems Engineering (project – April 2006)  “Process improvement in Painting Section at LBCE”.

43.               Padma Priya Ravindranath, M.S. Manufacturing Systems Engineering (thesis – April 2006) (coadvisor –Royce Mohan)

44.               Mahendran Selvaraj, M.S. Manufacturing Systems Engineering (project – November 2006).  “Case Study:  Operational Excellence Approach for Ingersoll-Rand Campbellsville.”

45.               Charles Arvin, M.S. Manufacturing Systems Engineering (project – December 2006).  Analysis of Rapid Tooling for Injection Molding

46.               Jeff Willhite, MS Manufacturing Systems Engineering, Project --April 2007  Application of lean manufacturing techniques to specialized magnet production.

47.               Garrett Chandler, MS Electrical Engineering, Project – November 2007.
“Development of an Off-The-Shelf Bus for Small Satellites”.

 

 

 

Degrees in Progress

           

48.               John Thomas Henninger, PhD, Mechanical Engineering – post qualifier. (co-advised by Kozo Saito)
Topic:  Lean Production Control in Packaging Operations

49.               Brian Kendig, MS, Manufacturing Systems Engineering.  (project – anticipated Summer 2007).
Topic:  Lean Production Control in Remanufacturing Operations

 

 

Thesis and Project Committees Served On:

 

         Member of thesis, project, or dissertation committee of over 110 MS and PhD students (as of 2006).