|
|
|
|
|
|
|
||
|
|
Bio Dr.
Mohsen A. Jafari is a Professor in the Department of Industrial and Systems
Engineering. He received his MS.C. and Ph.D. in Industrial Engineering
and Operations Research and another MS.C. in Computer Science from Syracuse
University. He has taught previously at Syracuse University. Dr. Jafari's current teaching and research interests are in the areas of design and operational control of manufacturing systems, computer aided manufacturing and simulation. Professional Activities Member
of IIE Representative
Publications L. E. Pinzon, M. H. Hanisch, M. A. Jafari, and T. O. Boucher, (1998), "A Comparative Study of Synthesis Methods for Discrete Event Controllers," Journal of Formal Methods in System Design, to appear. G. Alpan and M. A. Jafari, (1998), "A Combined Plant+Controller Model of Discrete Event Systems," Proceedings of WODES98 - Discrete Event Systems, Cagliari, Italy. L. E. Pinzon, M. H. Hanisch, and M. A. Jafari, (1998), "Sequential Control Specification with Temporal Logic and NCES," Proceedings of WODES98 - Discrete Event Systems, Cagliari, Italy. G. Alpan and M. A. Jafari, (1998), "Synthesis of Sequential Controller in the Presence of Conflicts and Free Choices," IEEE Transactions on Robotics and Automation, vol. 14, no.3, pp. 488-492. G. Alpan and M. A. Jafari, (1997), "Dynamics Analysis of Timed Petri Nets: A Case of Two Processes and a Shared Resource,¡± IEEE Transactions on Robotics and Automation, vol. 13, no. 3. R. E. Passwell, L. Audenared, and M. A. Jafari, (1997), " Application of Industrial Standards to Bus Maintenance Procedures," Transportation Research Record, No. 1571, pp. 50-59. B. Gaujal, M. A. Jafari, M. B. Gursoy, and G. Alpan, (1995), "Allocation Sequences of Two Processes Sharing a Resource," IEEE Transactions on Robotics and Automation, vol. 11, no. 5. M. A. Jafari, G. A. Meredith, and T. O. Boucher, (1995), "A Transformation from a Boolean Equation Control Specification to Petri Nets," IIE Transactions, vol. 27, pp. 9-22. Shanthikumar and M. A. Jafari, (1994), "Bounding the Performance of Tandem Queues with Finite Buffers," Annals of Operations Research, vol. 48, pp. 185-195. M. A. Jafari and T. O. Boucher, (1994), "A Rule Based System for Generating Ladder Logic Control Program From a High Level System Model," Journal of Intelligent Manufacturing, vol. 5, pp. 103-120. S. Y. Ruan and M. A. Jafari, (1994), "Approximate Closed Queueing Network Model of a Manufacturing Cell with a Material Handling System," Analysis and Optimization Systems-Discrete Event Systems, Springer-Verlag Lecture Note Series on Computer Sciences. V. S. Srinivasan and M. A. Jafari, (1993), "Fault Detection and Monitoring Using Time Petri Nets," IEEE Transactions on Systems, Man, and Cybernetics, vol. 23, no. 4, pp. 1155-1162. T. Fang, I. Bakharydoy, and M. A. Jafari, (1998), "Machine Vision and Its applications to On-line Process Monitoring in Layered Manufacturing, "Proceedings of the IEEE International Conference. On Robotics and Automation, Belgium. M. A. Jafari, A. Safari, S. Danforth, and N. Langrana, (1998), "Advanced Machine and Process Control in Layered Manufacturing,¡± Proceedings of the 7th European Conference on Rapid Prototyping and Manufacturing, Aachen Germany. T. O. Boucher, M. A. Jafari, R. C. Wurl, and A. Yalcin, (1997), "Design Software for Specification and Analysis of Discrete Event Manufacturing Systems," Proceedings of the 7th International FIAM Conference. H. Darabi and M. A. Jafari, (1994), " A Zero-One Programming of Petri Nets to Colored Petri Nets Transformation," Proceedings of the Rensselaer's 4th International Conference on Computer Integrated Manufacturing and Automation Technology, Troy, NY. G. Alpan and M. A. Jafari, (1994), "Specification and Analysis of Supervisory Controller," Proceedings of the Rensselaer's 4th International Conference on Computer Integrated Manufacturing and Automation Technology, Troy, NY. |
|
|
|
|
|
|
|