鍾聖倫Sheng-Luen Chung教授Professor
實驗室Laboratory
智慧空間實驗室 Interactive Context Lab.
Location : EE-303
Phone : 02-2737-6712
學術背景與專業概覽Academic & Professional Overview
- 學士：國立交通大學電子工程系, 1985碩士：博士：美國密西根大學電機暨計算機科學博士, 1992
- B.S., Department of Electronics Engineering, National Chiao Tung University, 1985M.S., Ph.D., Electrical Engineering and Computer Science, University of Michigan, Ann Arbor, USA, 1992
- 計算機程式與應用(Java)、Android終端系統匯流應用設計、Android專題實務、智慧整合感控系統概 論、物聯網電子系統應用與設計專題
- Programming in Java, Android Application Development, Introduction to Cyber-Physical Systems (CPS), Project Design of Android Sy
- 情境感知技術、人體行為識別、Kinect應用、互動多媒體系 統
- Context awareness, human behavior analysis and recognition, Kinect applications, interactive multimedia systems
代表著作Publications
Sheng-Luen Chung and Chung-Lun Li, “Emulation environment for automobile automatic climate control,” Journal of the Chinese Institute of Engineers, DOI:10.1080/02533839.2012.734676, to appear in 2014. (SCI/EI)
Yu Fu, Tien-Ruey Hsiang, and Sheng-Luen Chung, “Multi-waypoint Visual Homing in Piecewise Linear Trajectory,” Robotica, accepted and to appear. (SCI/EI)
Chung-Lun Li, Xu Zhang, and Sheng-Luen Chung, “Temperature and Humidity Control inside an Automobile during Heating Period,” Journal of the Chinese Institute of Engineers, Vol. 35, No. 06, pp. 641-654, September, 2012. (SCI/EI)
Yen-Liang Pan, Yi-Sheng Huang, MuDer Jeng & Sheng-Luen Chung, “Enhancement of an efficient control policy for FMSs using the theory of regions and selective siphon method,” The International Journal of Advanced Manufacturing Technology, August 24, 2012. (SCI/EI)
D.-H. Hung, G.-S. Hsu, S.-L. Chung, and H. Saito, “Real-time counting people in crowded areas by using local empirical templates and density ratios,” IEICE Transactions on Information and Systems, Vol. E95-D, No. 7, pp 1791-1803, July, 2012. (SCI/EI)
Che-Hung Lin, Sheng-Luen Chung, and Jing-Ming Guo, “People Tracking in a Building Using Color Histogram Classifiers and Gaussian Weighted Individual Separation Approaches,” MMM 2011, Part II, LNCS 6524, pp. 177–186, 2011. (SCI/EI)
Sheng-Luen Chung and Chung-Lun Li, “Modeling of Temperature and Relative Humidity in an Automobile Passenger Compartment for Automobile Air Conditioning Systems,” Journal of the Chinese Institute of Engineers, Vol. 34, No. 4, pp. 559-571, 2011. (SCI/EI)
Alexander D. Ovsyannikov, Dmitri A. Ovsyannikov, Mikhail Yu. Balabanov, and Sheng-Luen Chung, “On the Beam Dynamics Optimization Problem,” International Journal of Modern Physics A (IJMPA), Vol. 24, No. 5, pp. 941 – 951, Feb., 2009. (SCI)
Alexander D. Ovsyannikov, Dmitri A. Ovsyannikov, and Sheng-Luen Chung, “Optimization of a Radial Matching Section,” International Journal of Modern Physics A (IJMPA), Vol. 24, No. 5, pp. 952 - 958, Feb., 2009. (SCI)
Sergey V. Zavadsky, Dmitri A. Ovsyannikov, and Sheng-Luen Chung, “Parametric Optimization Methods for the Tokamak Plasma Control Problem,” International Journal of Modern Physics A (IJMPA), Vol. 24, No. 5, pp. 1040 - 1047, Feb., 2009. (SCI)
Sheng-Luen Chung and Yen-Hung Lai, “Process Control of Brewery Plants,” Journal of the Chinese Institute of Engineering, Vol. 31., No. 1, pp.127-140, Jan., 2008. (SCI/EI)
Sheng-Luen Chung, Cheng-Wei Chu, Yu Fu, and Jiann-Jone Chen “Embedded Control System Design and Practice: An Example by a FCU Controller,” Journal of the Chinese Institute of Engineering, Vol. 30., No. 6, pp.1103-1107, Nov., 2007. (SCI/EI)
Sheng-Luen Chung, "Diagnosability of PN with the Observable Transitions," International Journal of Computer Integrated Manufacturing, Vol.18, No.2-3, 2005.
"Robust Static Output-Feedback Stabilization for Nonlinear Discrete-Time Systems with Time Delay via Fuzzy Control Approach," IEEE Transactions on Fuzzy Systems, Vol.13, No.1, 2005.
Sheng-Luen Chung, "Online Modeling Refinement for Discrete Event Systems," Journal of the Chinese Institute of Engineers, Vol.28, No.1, 2005.
"Personalization for Network Marketing," Journal of the Chinese Institute of Engineers, Vol.27, No.5, 2004.
Sheng-Luen Chung, "Scenario Normalization Techniques: Inline Stepper Coordinator Design by the Sequence Diagram and Production Rules," IEEE Robotics and Automation Magazine, Vol.11, No.3, 2004.
Sheng-Luen Chung, "Minimal valid automata for a finite input-output sample path," Asian Journal of Control, Vol.6, No.2, 2004.
"Defeasible Deontic Control for Discrete Events Based on EVALPSN," Lecture Notes in Computer Science (LNCS) of Springer-Verlag, Vol.3066, 2004.
"Modeling and Control of Elevators by Statecharts," Asian Journal of Control, Vol.6, No.2, 2004.
Sheng-Luen Chung, "Adaptive Diagnosis of Discrete Event Systems," Journal of the Chinese Institute of Engineer, Vol.27, No.3, 2004.
Sheng-Luen Chung, "System Identification of Discrete Event Systems," Journal of the Chinese Institute of Engineers, Vol.27, No.2, 2004.
Sheng-Luen Chung, "Fabulous MESs and C/Cs: An Overview of Semiconductor Fab Automation Systems," IEEE Robotics and Automation Magazine, Vol.11, No.2, 2004.
"ERCN* Merged Nets for Modeling Degraded Behavior and Parallel Processes in Semiconductor Manufacturing Systems," IEEE Transactions on Systems, Man, and Cybernetics – Part A, Vol.34, No.1, 2004.
Y. S. Huang, M. D. Jeng, X. L. Xie and S. L. Chung, “A Deadlock Prevention Policy Based on Petri Nets and Siphons,” International Journal of Production Research, vol. 39, no. 2, pp. 283-305, January 2001. (SCI /EI)
Y. S. Huang, M. D. Jeng and S. L. Chung, “Design, Analysis, and Implementation of a Real-World Manufacturing Cell Controller Based on Petri nets,” International Journal of Computer Integrated Manufacturing, vol. 14, no. 3, pp. 304-318, January 2001. (SCI /EI)
S.L. Chung, S. Lafortune, and F. Lin, 1993, Recursive computation of limited lookahead supervisory controls for discrete event systems. Journal of Discrete Event Dynamic Systems: Theory and Applications, 3(1): 71-100(SCI /EI)
S.L. Chung, S. Lafortune, and F. Lin, 1993, Supervisory control using variable lookahead policies, Journal of Discrete Event Dynamic Systems: Theory and Application, 4(3): 237-268. (SCI /EI)
S.L. Chung, S. Lafortune, and F. Lin, 1992, Limited Lookahead Policies in Supervisory Control of Discrete Event System, IEEE Transactions on Automatic control, 37(12): 1921-1935. (SCI /EI)
Gee-Sern Hsu, HongPhuoc Nguyen, Wu Chien-Hung, Sheng-Lun Chung, “Pedestrian Tracking in Low Contrast Regions using Component Silhouette and Aggregated Background Model,” in Proceedings of 21st International Conference on Pattern Recognition (ICPR2012), Tsukuba Science City, Japan, November 11-15, 2012.
Gee-Sern Hsu, Loc Truong, Sheng-Lun Chung, “A Comparison Study on Appearance-Based Object Recognition,” in Proceedings of 21st International Conference on Pattern Recognition (ICPR2012), Tsukuba Science City, Japan, November 11-15, 2012.
Yen-Liang Pan, Yi-Sheng Huang, Mu-Der Jeng, Sheng-Luen Chung, “Using Theory of Regions with Selective Siphon Control for Deadlock Prevention Policy in Petri Nets,” in Proceedings of The 2012 IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2012), Seoul, Korea, Oct. 14-17, 2012.
Duy Hung Nguyen, Sheng-Luen Chung, Tien-Ruey Hsiang, “3D Model Reconstruction of Corridor Environment by Data Fusion of Laser range finder and Omnidirectional Camera,” in Proceedings of The 43rd International Symposium on Robotics (ISR2012), Taipei, Taiwan, Aug. 29-31, 2012.
Hary Oktavianto, Hsu Gee-Sern, Chung Sheng-Luen, “Image-based Intelligent Attendance Logging System,” in Proceedings of 2012 International Conference on System Science and Engineering (ICSSE 2012), Dalian, China, June 30 – July 2, 2012.
C.-L. Li and S.-L. Chung, “Temperature and humidity control for an automobile during heating period,” in Proceedings of 2010 Chinese Control and Decision Conference (CCDC 2010), Mianyan, China, May, 23-25, 2011.
Che-Hung Lin, Sheng-Luen Chung, and Jing-Ming Guo, “People Tracking in a Building Using Color Histogram Classifiers and Gaussian Weighted Individual Separation Approaches,” in Proceedings of 17th Multimedia Modeling Conference, MMM 2011, Taipei, Taiwan, Jan. 5-7, 2011.
H.H. Dao, G.S. Hsu, and S.L. Chung, “Local Empirical Templates and Density Ratios for People Counting,” Proc. Asian Conf. on Computer Vision (ACCV), Queenstown, New Zealand, Nov. 8-12, 2010.
Y. Fu, T.-R. Hsiang, and S.-L. Chung, “Sequence-based Autonomous Robot Navigation by Log-Polar Image Transform and Epipolar Geometry,” 2010 IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2010), Istanbul, Turkey, Oct. 10-13, 2010.
Gee-Sern Hsu, Thu Ha Tran, and Sheng-Luen Chung, “Benchmark Face Detection Using a Face Recognition Database,”2010 International Conference on Image Processing, Hong Kong, 26~29, September, 2010.
Dao Huu Hung, Sheng-Luen Chung, and Gee-Sern Hsu, “Local Density Ratio for Real-Time People Counting,” 2010 The 23th IPPC Conference on Computer Vision, Graphics, and Image Processing, Kaohsiung, Taiwan, 15~17, August, 2010.
Hary Oktavianto, Sheng-Luen Chung, and Gee-Sern Hsu, “Sitting Area-Based Surveillance Camera for Occupant Monitoring System,” 2010 The 23th IPPC Conference on Computer Vision, Graphics, and Image Processing, Kaohsiung, Taiwan, 15~17, August, 2010.
Zhao-Yuan Lin, Wei-Chung Teng, and S.-L. Chung, “Residential Context-Aware Application Platform Based on Rule-based Engine and Vision Sensors,” the Intelligent Buildings and Smart Homes Conference 2009 (IBASH2009), Nov. 18-20, Taipei, Taiwan, 2009.
Y. Fu, T.-R. Hsiang, and S.-L. Chung, “Robot navigation using image sequences,” in Proceedings of the URAI2009 6th International Conference on Ubiquitous Robots and Ambient Intelligence, Oct. 29-31, Gwangju, Korea, pp. 163-167, 2009.
H.-Y. Huang, W.-C. Teng, and S.-L. Chung, “Smart Home at a Finger Tip: OSGi-based MyHome,” 2009 IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2009), Oct. 11-14, San Antonio, Texas, USA, 2009.
C.-L. Li and S.-L. Chung, “Enthalpy-based automatic temperature control for automobiles,” in Proceedings of 2009 IEEE International Conference on Control Applications (CCA), July 8-10, Saint Petersburg, RUSSIA, pp. 222-227, 8-10 July 2009.
L.-C. Chen, Y. Fu, T.-R. Hsiang, and S.-L. Chung, “Multi-robot dispatching in a geographically constrained environment,” in Proceedings of 2009 Chinese Control and Decision Conference (CCDC 2009), June 17-19, Guilin, China, pp. 1685-1690, 2009.
L.-C. Chen, Y. Fu, T.-R. Hsiang, and S.-L. Chung, “An image-based integration system for real-time dispatching of multi-robots,” in Proceedings of 2009 Chinese Control and Decision Conference (CCDC 2009), June 17-19, Guilin, China, pp. 3070 - 3075, 2009.
C.-L. Li, S.-L. Chung, and J.-N. Lee, “Modeling of automobile air conditioning systems,” in Proceedings of 2009 Chinese Control and Decision Conference (CCDC 2009), June 17-19, Guilin, China, pp. 974-979, 17-19 June 2009.
Yu Fu, Tien-Ruey Hsiang, Sheng-Luen Chung, “Feature Correspondence Finding with Vertical Cylinder and Epipolar Geometry for Indoor Environments,” 4th International Conference on Autonomous Robots and Agents (ICARA 2009), Wellington, New Zealand, 10~12 February, 2009.
Ming-Feng Tsai, Sheng-Luen Chung, and Wei-Chung Teng, “MyIcon: An integrated GUI for Smart Home Enabled by a Residential Server,” 2008 International Automatic Control Conference (IACC), Tainan, Taiwan, 21-23 November, 2008
Wei-Chung Teng, Yu-Chun Pao, and Sheng-Luen Chung, “Design of MyServer: a Residential Server in Smart Home Systems,” 2008 IEEE Asia-Pacific Services Computing Conference (IEEE APSCC 2008), I-Lan, Taiwan, December 9-12, 2008.
Y. L. Wen, S. L. Chung, L. D. Jeng, and M. D. Jeng, “Intelligent Design of Diagnosable Systems: A Case Study of Semiconductor Manufacturing Machines,” KES2007 11th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems, 2007, Sep. 12 ~ 14, Vietri sul Mare, Salerno, Italy, 2007.
Sheng-Luen Chung, Wen-Yuan Chen, “MyHome: a Residential Server for Smart Homes,” KES2007 11th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems, 2007, Sep. 12 ~ 14, Vietri sul Mare, Salerno, Italy, 2007.
Sheng-Luen Chung and Wen-Yuan Chen, “Design of Test Pattern Databank for Functional Testing of LCD Panels,” Proceedings of ISIE 2006: IEEE International Symposium on Industrial Electronics, Montreal, Canada, July 9-11, 2006.
Sheng-Luen Chung and Yu Fu, “Networking Fan Coil Controller For HVAC Systems,” Proceedings of ISIE 2006: IEEE International Symposium on Industrial Electronics, Montreal, Canada, July 9-11, 2006.
K. Nakamatsu and Sheng-Luen Chung, “An Intelligent Valve Control Based on EVALPSN Safety Verification,” in the Proceedings of INISTA 2005 International Symposium on Innovations in Intelligent Systems and Applications, Turkey, June 15-18, 2005.
Sheng-Luen Chung and Yen-Hung Lai, “EVALPSN-Based Process Control in Brewery Plants,” in the Proceedings of the Fifth Congress of Logic Applied to Technology: LAPTEC'2005, Himeji, Hyogo, Japan, April 2-4, 2005.
S.L. Chung, S. Lafortune, and F. Lin, 1992, Recursive computation of Limited Lookahead Supervisory Controls for Discrete Event System, In Proc. 31th IEEE Conf. on Decision and Control, pages 3764-3769
Sheng-Luen Chung, "Information Rich Enough Sample Paths for Machine Identification," IEEE International Conference on Systems, Man, and Cybernetic, Hague, Netherland, 2004.
Sheng-Luen Chung, "An Intelligent Safety Verification System for Railway Interlocking Based on Paraconsistent Logic Program," IEEE International Conference on Networking, Sensing and Control, Teipei, Taiwan, 2004.
Sheng-Luen Chung, "Failure Diagnosis: A Case Study of Modeling and Analysis by Petri Nets," IEEE International Conference on Systems, Man, and Cybernetic, Washington, D.C., USA, 2003.
"Design and Implementation of a Discrete Event System Using Statecharts," IEEE International Conference on Systems, Man, and Cybernetic, Washington, D.C., USA, 2003.
Sheng-Luen Chung, "Adaptive Diagnosis of Discrete Event Systems," The Seventh International Conference on Automation Technology (AUTOMATION 2003), Taichung, Taiwan, 2003.
"Modeling a Flexible Manufacturing System Based on Scenario and Petri nets," The Seventh International Conference on Automation Technology (AUTOMATION 2003), Taichung, Taiwan, 2003.
Sheng-Luen Chung, "An Overview of Semiconductor Fab Automation Systems," IEEE International Conference on Robotics and Automation, Taichung, Taiwan, 2003.
"ERCN merged nets for modeling degraded behavior and parallel processes in semiconductor manufacturing systems," IEEE International Conference on Robotics and Automation, Taichung, Taiwan, 2003.
Sheng-Luen Chung, "Manufacturing Execution System (MES) for Semiconductor Manufacturing," IEEE International Conference on Systems, Man, and Cybernetics, Hammamet, Tunisia, 2002.
Sheng-Luen Chung, "Normalized In-line Stepper Coordinator Design by the Sequence Diagram and Production Rules: a Case Study," IEEE International Conference on Robotics and Automation, Washington D.C., USA, 2002.
Y. S. Huang, M. D. Jeng, X. L. Xie and S. L. Chung, “A Deadlock Prevention Policy for Flexible Manufacturing Systems Using Siphons,” Proceedings of IEEE International Conference on Robotics and Automation, Seoul, Korea, pp.541~546, 2001.
X. L. Xie, Y. S. Hwang, M. D. Jeng, and S. L. Chung, “ An Iterative Deadlock Prevention Policy Based on Petri Net,” Proceedings of the Second Conference on Management and Control of Production and Logistics, Grenoble, France, July 2000.
M. D. Jeng, Y. S. Hwang, and S. L. Chung, “ A Deadlock Prevention Policy Based on Siphons,” Proceedings of the Sixth International Conference on Automation Technology, Vol. 2, pp. 1223-1229,Taipei, Taiwan, May 2000.
M. D. Jeng, Y. S. Hwang, and S. L. Chung, “Design, Analysis, and Implementation of a Manufacturing Cell Controller Based on Petri Nets,” Proceedings of the Eleventh National Symposium on Automation Technology, pp. 1299-1306, Chiayi, Taiwan, July 1999.
MuDer Jeng, YiSheng Huang and ShengLuen Chung,“ Petri net Based Deadlock Prevention of Manufacturing Systems,” 自動化科技學會第十一屆全國自動化科技研討會，pp. 1313-1319, July 1999.
黃義盛 汪松瑩 鍾聖倫 “以派屈網路為基礎之可勾構單元控制器” 1999 自動化控制研討會，pp. 375-377, Mar. 1999.
ShengLuen Chung, YiSheng Huang and SongYing Wang, “Petri net Based Cell Controller Development Environment,” International Conference on Mechatronic Technology, pp. 375-377, Nov. 1998.
呂藝光、羅聖琪、鍾聖倫、李祖添，電腦整合組裝系統之儀器監督與控制，1997自動控制研討會論文集，322-327頁 842213E011087
吳家奎、鍾聖倫、陸承志，半導自動化中以物件導向為設計基礎的儀器控制器，1997自動控制研究討會論文集，304-309頁852213E01033
蘇承俊、鍾聖倫、陸承志，半導體製程機台的物件導向模塑，1997自動控制研討會論文集，93-98頁852213E011033
陳金豐、黃信智、鍾聖倫、李祖添，全自動化半動體廢物料後勤支援系統設計，1997自動控制研討會論文集，334-339頁852622E011005
鍾聖倫、謝寶松，1995，半導體製程自動化系統中SECS-II 界面的設計與實現，第八屆全國自動化科技研討會論文集，477-481頁 842213E011087
鍾聖倫，邱崧恆，1995，以MS-Windows為基礎之泛單元控制器的設計與實現，1995中華民國自動控制研討會 466-471頁830404E011025
鍾聖倫，楊文發，1995，主釀式架構中不同發展平台間泛單元控制器的整合與實現，1995中華民國自動控制研討會303-307頁830404E011025
鍾聖倫，謝寶松，1995，半導體製程自動化系統中GEM界面的設計與實現，第八屆全國自動化科技研討會論文集，84-91頁842213E011087
鍾聖倫，柯金杰，1995，半導體製程自動化中儀器模擬器之設計與實現，第八屆全國自動化科技研討會論文集，92-99頁842213E011087
鍾聖倫，陳金豐，1995，以派屈綱為基礎之PLC程式設計演算法則，第八屆全國自動化科技研討會論文集，524-531頁842213E011087
鍾聖倫，陸敬互，1995，泛儀器伺服器之設計與製作，第八屆全國自動化科技研討會論文集，187-194頁842213E011030
鍾聖倫，柯金杰，1995， “爐管設通結集SECS界面設計與實現”，1997自動控制研討會論文集，81-86頁862213E011048
S.L. Chung and Jing-Huh Luh, 1995, Client/Server-based concurrent generic equipment emulator, In Proceedings of The 1995 International IEEE/IAS Conference on Industrial Automation and Control: Emerging Techonologies, pages 593-597. 830404E011025
S.L. Chung, Chia-Hung Hwang, Song-Hen Cho, and Jing-Huh Luh, 1994, Some practical issues encountered in automation of semiconductor manufacturing. 82040E011166
鍾聖倫，曾維仁，楊文發，1994，事件系統之線上監督控制，1994中華民國自動控制研討會397-402頁 82040E011166
S.L. Chung, S. Lafortune, and F. Lin, 1993, Supervisory control using variable lookahead policies, In Proc. 1993 American Control Conf, pages1203-1208.
S.L. Chung, S. Lafortune, and F. Lin, 1992, Recursive computation of Limited Lookahead Supervisory Controls for Discrete Event System, In Proc. 31th IEEE Conf. on Decision and Control, pages 3764-3769
鍾聖倫、鄭慕德，「虛擬晶圓廠之製造執行系統」、電子技術，vol. 9, no. 2, 164-175頁, 2003年二月。
鍾聖倫、鄭慕德，鄭善文、李武璋，「虛擬半導體廠中製造執行系統之設計」、電子技術，vol. 9, no. 自動化學會會刊 vol. 4, no. 4, 2002年12月.