Kiam Tian SEOW Visiting Professor (non-residential)

ktseow.jpg

Email: ktseow@rit.kaist.ac.kr


Hello! Welcome to my academic website. I was formerly on the academic staff of the School of Computer Engineering (SCE) at Nanyang Technological University, Singapore (Feb, 2003 – Feb, 2014). I am currently running an internet startup based in Singapore, and doing research in real-time hierarchical system modeling and control. I continue to be active in the many professional activities of the IEEE, besides research collaboration at KAIST.


Education:

PhD, Electrical & Electronics Engineering, Nanyang Technological University (NTU), Singapore, March 1998


Research Statement:

I work on intelligent agents and multiagent systems, supervisory control of logical and real-time discrete-event systems (DES’s) and temporal logic, with emphasis on their mutual connections and applications in automation. Examples of systems of interest include: distributed embedded systems; datacenter networking; AI robotics; computer security; intelligent transportation and automated manufacturing. These are man-made service systems – a lot of which have evolved into systems of a cyber-physical nature, with discrete state or event-driven dynamics that entail command, control and coordination, as well as communication and intelligent information processing. The building of such systems can potentially benefit in terms of optimal operational correctness and/or practical efficiency from DES and/or agent-based approaches.

I use formal languages and automata, temporal logic, formal methods, artificial intelligence (AI), optimization techniques and discrete mathematics in my research, and apply concepts of agents, control, coordination and organization to develop solution methods for various problems in discrete-event and distributed service systems.


Research Interests:

  • Intelligent agents and multiagent systems: Theory and foundation of cooperation
  • Discrete-event systems: Control theory and specification framework
  • Engineering applications of intelligent agents and discrete-event control


Research Areas:

  • Cyber-physical systems
  • Real-time systems
  • Supervisory control
  • Multiagent coordination
  • AI robotics
  • Artificial intelligence
  • Intelligent transportation systems
  • Manufacturing automaton & logistics


Current Ph.D Student:

  • Quang Ha NGO, NTU (Aug’10 – present)


Graduated Research Students:

  • Amrith DHANANJAYAN, NTU Ph.D. (CE), 2013
  • Da SONG, NTU M.Sc. (DMT), 2013
  • Manh Tung PHAM, NTU Ph.D. (CE), 2011
  • Chaw Lin CHAW, NTU M.Sc. (DMT), 2010
  • Bao Chau LE DINH, NTU M.Eng. (CE), 2008


Selected and Recent Publications:

Books

  1. J.H. Kim, D.H. Kim, Y.J. Kim and K.T. Seow, Soccer Robotics, Springer Tracts in Advanced Robotics (STAR Series), Springer-Verlag, Heidelberg, Germany, ISBN: 3-540-21859-9, September 2004.
  2. C.G. Leedham and K.T. Seow, Embedded Real-Time Systems: Introductory Concepts and Tools, Pearson-Prentice Hall, ISBN-10 981-06-7746-4 (268 pages), August 2006. (This was the textbook written and used for an undergraduate "Real-Time Systems" course at the School of Computer Engineering, NTU)

Articles

  1. A. Dhananjayan and K.T. Seow, “A Metric Temporal Logic Specification Interface for Real-Time Discrete-Event Control,” IEEE Transactions on Systems, Man and Cybernetics: Systems, USA. (In press, 2014)

  2. Q.H. Ngo and K.T. Seow, “Command and Control of Discrete-Event Systems: Towards On-line Hierarchical Control Based on Feasible System Decomposition,” IEEE Transactions on Automation Science and Engineering, USA. (In press, 2014)

  3. K.T. Seow, “Organizational Control of Discrete-Event Systems: A Hierarchical Multi-World Supervisor Design,” IEEE Transactions on Control Systems Technology, vol. 22, no. 1, pp. 23--33, January 2014, USA.

  4. M.T. Pham, K.T. Seow and C.H. Foh, “Towards Intelligent Datacenter Traffic Management: Using Automated Fuzzy Inferencing for Elephant Flow Detection,” International Journal of Innovative Computing, Information and Control. (In press, 2014)

  5. D. Wong, K.T. Seow, C.H. Foh and R. Kanagavelu, “Towards Reproducible Performance Studies of Datacenter Network Architectures Using An Open-Source Simulation Approach,” Proceedings of the IEEE Global Communications Conference (GLOBECOM’13), December 2013, Atlanta, GA, USA. (Acceptance rate: 37% or 841/2272)

  6. A. Dhananjayan, K.T. Seow and C.H. Foh, “Lyapunov Stability Analysis of Load Balancing in Datacenter Networks,” Proceedings of the IEEE Globecom 2013 Workshop - Management of Emerging Networks and Services (IEEE MENS’13), December 2013, Atlanta, GA, USA.

  7. M.T. Pham, A. Dhananjayan and K.T. Seow, “On Specification Transparency: Towards A Formal Framework for Human Designer Comprehensibility of Discrete-Event Control Specifications in Finite Automata,” IEEE Transactions on Systems, Man and Cybernetics: Systems, vol. 43, no. 1, pp. 139--148, January 2013, USA.

  8. M.T. Pham and K.T. Seow, “Multiagent Conflict Resolution Planning,” Proceedings of the IEEE International Conference on Systems, Man and Cybernetics (SMC’13), October 2013, Manchester, UK.
  9. A. Dhananjayan and K.T. Seow, “On Specification Informatics in Discrete-Event Systems: State-Transparency for Clarity of Finite Automata as Control Specifications,” Proceedings of the International Conference on Informatics in Control, Automation and Robotics (ICINCO'12), July 2012, Rome, Italy. (Full Paper, Acceptance rate: 11%)

  10. M.T. Pham and K.T. Seow, “Discrete-Event Coordination Design for Distributed Agents,” IEEE Transactions on Automation Science and Engineering, vol. 9, no. 1, pp. 70--82, January 2012, USA.

  11. K.T. Seow, N.H. Dang and D.-H. Lee, “A Collaborative Multiagent Taxi-Dispatch System,” IEEE Transactions on Automation Science and Engineering, vol. 7, no. 3, pp. 607--616, July 2010, USA.

  12. K.T. Seow and D.-H. Lee, “Performance of Multiagent Taxi-Dispatch on Extended-Runtime Taxi Availability: A Simulation Study,” IEEE Transactions on Intelligent Transportation Systems, vol. 11, no. 1, pp. 231--236, February 2010, USA.
  13. K.T. Seow and D.-H. Lee, “Performance of Multiagent Taxi-Dispatch on Extended-Runtime Taxi Availability: A Simulation Study,” IEEE Transactions on Intelligent Transportation Systems, vol. 11, no. 1, pp. 231--236, February 2010, USA.

  14. M.T. Pham and K.T. Seow, “On-line Coordination: Event Interaction and State Communication between Cooperative Agents,” Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'09), September 2009, Milan, Italy. (Acceptance rate: 18%)

  15. K.T. Seow, M.T. Pham, C. Ma and M. Yokoo, “Coordination Planning: Applying Control Synthesis Methods for a Class of Distributed Agents,” IEEE Transactions on Control Systems Technology, vol. 17, no. 2, pp. 405--415, March 2009, USA.

  16. K.T. Seow, K.M. Sim, Y.S. Ong and E.P. Sulaiman, “A BDI Assignment Protocol with New Cooperative-Concession Strategies,” IEEE Transactions on Systems, Man and Cybernetics: Part A, vol. 38, no. 3, pp. 688--697, May 2008, USA.

  17. K.T. Seow, “Integrating Temporal Logic as a State-Based Specification Language for Discrete-Event Control Design in Finite Automata,” IEEE Transactions on Automation Science and Engineering, vol. 4, no. 3, pp. 451--464, July 2007, USA.

  18. B.C. Le Dinh and K.T. Seow, “Unifying Distributed Constraint Algorithms in a BDI Negotiation Framework,” Proceedings of the International Conference on Autonomous Agents and Multiagent Systems (AAMAS’07), May 2007, Honolulu, Hawai’i, USA. (Acceptance rate: 22%)

  19. K.T. Seow and K.M. Sim, “Decentralized Assignment Reasoning Using Collaborative Local Mediation,” IEEE Transactions on Knowledge and Data Engineering, vol. 18, no. 11, pp. 1576--1580, November 2006, USA.
  20. K.T. Seow, “Syntax-Based Synthesis for Temporal-Safety Supervision,” Automatica, vol. 41, no. 11, pp. 1965--1972, November 2005, Elsevier, USA.
  21. K.T. Seow and M. Pasquier, “Supervising Passenger Land-Transport Systems,” IEEE Transactions on Intelligent Transportation Systems, vol. 5, no. 3, pp. 165--176, September 2004, USA.
  22. K.T. Seow, “Existence Characterizations of Temporal-Safety Supervisors,” IEEE Transactions on Automatic Control, vol. 47, no. 10, pp. 1779--1783, October 2002, USA.
  23. K.T. Seow and K.Y. How, “Collaborative Assignment : A Multiagent Negotiation Approach Using BDI Concepts,” Proceedings of the International Conference on Autonomous Agents and Multiagent Systems (AAMAS’02), July 2002, Bologna, Italy. (Acceptance rate: 26%)

  24. K.T. Seow and M. Pasquier, “Vehicle Route-Sequence Planning Using Temporal Logic,” International Journal of Artificial Intelligence for Engineering Design, Analysis and Manufacturing (AIEDAM), vol. 16, no. 1, pp. 31--38, January 2002, Cambridge University Press, U.K.
  25. K.T. Seow and R. Devanathan, “A Temporal Logic Approach to Discrete Event Control for the Safety Canonical Class,” Systems and Control Letters, vol. 28, no. 4, pp. 205--217, August 1996, Elsevier Science, The Netherlands.
  26. K.T. Seow and R. Devanathan, “A Temporal Framework for Assembly Sequence Representation and Analysis,” IEEE Transactions on Robotics and Automation, vol. 10, no. 2, pp. 220--229, April 1994, USA.

Full Publication List


Teaching Statement:

I want to maintain high quality teaching and effective mentoring of students. I derive satisfaction from being able to communicate difficult ideas and concepts in simple uncluttered ways, usually through examples, and using power point animation to “visually” roll out the explanation gradually. My style is often to make students think through, systematically, the important approaches to problems.

Courses Taught

  • Real-Time Systems
  • Discrete Mathematics
  • Digital Systems Design
  • Computer Organization & Architecture

  • Digital Circuits & Systems

  • Instrumentation & Data Acquisition

  • Basic Electronics
  • Control & Instrumentation

  • Operating Systems


Professional Services:

Journal Editorial Board

  • Associate Editor, IEEE Transactions on Systems, Man and Cybernetics: Systems, January 2013 - Present
  • Associate Editor, Conference Editorial Board, IEEE Conference on Automation Science and Engineering, January 2014 – Present
  • Associate Editor, IEEE Transactions on Automation Science and Engineering, July 2009 – December 2013
  • Associate Editor, IEEE Transactions on Systems, Man and Cybernetics - Part A: Systems and Humans, December 2010 – December 2012

Technical Committee

  • Founding Member, Technical Committee on Automation in Logistics, IEEE Robotics & Automation Society, USA, November, 2013 – Present

Technical Program Committee (2013-2014)

  • 12th IFAC International Workshop on Discrete Event Systems (WODES’ 2014), École Normale Supérieure de Cachan, France (14 – 16 May 2014)

  • 11th World Congress on Intelligent Control and Automation (WCICA’ 2014), Shenyang, China (27 – 30 June 2014)

  • IEEE International Conference on Robotics and Biomimetics (ROBIO' 2013), Shenzhen, China, (12 – 14 December 2013)

  • 12th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS’ 2013), Saint Paul, Minnesota, USA (6 – 10 May 2013)

Research Paper Reviewer (Since 2002)

  • IEEE Transactions on Automatic Control; IEEE Transactions on Automation Science and Engineering; IEEE Transactions on Evolutionary Computation; IEEE Transactions on Human Machine Systems; IEEE Intelligent Systems; IEEE Transactions on Intelligent Transportation Systems; IEEE Transactions on Knowledge and Data Engineering; IEEE Transactions on Multimedia; IEEE Transactions on Robotics; IEEE Transactions on Systems, Man and Cybernetics, Part B; IEEE Transactions on Systems, Man and Cybernetics, Part C; IEEE Transactions on Evolutionary Computation; IEEE Intelligent Systems; ACM Transactions on Computer-Human Interaction; Computational Intelligence; Information Sciences; International Journal of Control; Journal of Autonomous Agents and Multi-Agent Systems; Journal of Computer Science and Technology; Journal of Systems and Software; Multiagent and Grid Systems – An International Journal
  • And many international conferences, symposiums and workshops on DES and agents research, and related areas


Research Honors:

  • Member of the Conference Editorial Board, IEEE Conference on Automation Science and Engineering, 2014
  • Associate Editor for the IEEE Transactions on Systems, Man and Cybernetics: Systems, 2013
  • Associate Editor for the IEEE Transactions on Systems, Man and Cybernetics - Part A: Systems and Humans, 2010
  • Best Automation Paper Award Nominee (1 of Top 7 Selected), IEEE International Conference on Robotics & Automation, 2010

  • Senior Member, IEEE, 2010
  • Associate Editor for the IEEE Transactions on Automation Science and Engineering, 2009
  • NTU Research Outcome Award & Recognition (ROAR) Award, 2006

  • Member, Sigma Xi, 2005
  • Visiting Scientist, NTT Communication Science Labs, Kyoto, Japan, 2003
  • Fellow, Systems Control Group, University of Toronto, Toronto, Ontario, Canada, 1997


Teaching, Research Supervision and Undergraduate Mentoring & Tutoring Honors:

  • Nomination for NTU Nanyang Excellence in Teaching Award, 2009
  • AAMAS Student Scholarship Award for NTU-SCE Doctoral Candidate Manh Tung PHAM, 2009
  • Nomination for NTU Nanyang Excellence in Teaching Award, 2008
  • AAAI Student Scholarship Award for NTU-SCE Doctoral Candidate Manh Tung PHAM, 2008
  • Industrial Attachment (IA) Book Prize (First Prize) for NTU-SCE-IA Undergraduate Tutee Lu HE, 2008/2009
  • Lee Kuan Yew Gold Medal & Singapore InfoComm Dev. Authority Gold Medal for NTU-SCE Undergraduate Mentee Zin Yan CHUA, July 2008

  • Defence Science & Technology Agency Gold Medal for NTU-SCE Undergraduate Mentee Irene CHRISTIANTI, July 2008

  • JAL Foundation Scholarships for NTU-SCE Undergraduate Mentee, King Sen CHAN, July 2006
  • Inaugural (2002) DSO Best Intern Award Nomination for NUS-ECE Undergraduate Intern Yuan Chia KWEK, 2002


KAIST logo

373-1, Gusung-Dong, Yusung-Gu, Daejeon. 305-701 Republic of Korea

Tel: +82-42-350-8875(Room #3240), 8048(Room #3238), 3448(Professor)

COPYRIGHT©-2008 Robot Intelligence Technology Lab. / Department of Electrical Engineering