Publications (By Research Area)

International Journals

  1. K.T. Seow, “Supremal Marker-Controllable Subformula of a Given Canonical Temporal-Safety Formula,” IEEE Access, vol. 10, pp. 66300--66320, June 2022, USA. Published online 15 June 2022.

  2. K.T. Seow, “Supervisory Control of Fair Discrete-Event Systems: A Canonical Temporal Logic Foundation,” IEEE Transactions on Automatic Control, vol. 66, no. 11, pp. 5269--5282, November 2021, USA. Published online 10 November 2020.

  3. K.T. Seow, “Supervisory Control of Blockchain Networks,” IEEE Transactions on Systems, Man and Cybernetics: Systems, vol. 50, no. 1, pp. 159--171, January 2020, USA. Published online 20 February 2019.

  4. Q.H. Ngo and K.T. Seow, “A Hierarchical Consistency Framework for Real-Time Supervisory Control,” Discrete Event Dynamic Systems: Theory & Applications, vol. 28, no. 3, pp. 375--426, September 2018, Springer USA. Published online 27 March 2018.

  5. A. Dhananjayan and K.T. Seow, “A Formal Transparency Framework for Validation of Real-Time Discrete-Event Control Requirements Modeled by Timed Transition Graphs,” IEEE Transactions on Human-Machine Systems, vol. 45, no. 3, pp. 350--361, June 2015, USA.

  6. 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, vol. 11, no. 4, pp. 1218--1228, October 2014, USA.

  7. 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, vol. 44, no. 9, pp. 1204--1215, September 2014, USA.

  8. 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.

  9. 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, vol. 10, no. 5, pp. 1669--1685, October 2014, UK.

  10. 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.

  11. M.T. Pham and K.T. Seow, “On-line Coordination: Event Interaction and State Communication between Cooperative Agents,” Web Intelligence and Agent Systems: An International Journal, vol. 10, no. 2, pp. 179--192, June 2012, IOS Press, The Netherlands. (Invited paper)

  12. 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.

  13. 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.

  14. 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.

  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 and K.M. Sim, “Collaborative Assignment Using Belief-Desire-Intention Agent Modeling and Negotiation with Speedup Strategies,” Information Sciences, vol. 178, no. 4, pp. 1110--1132, February 2008, Elsevier, USA.

  18. 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.

  19. K.T. Seow, K.M. Sim and Y.C. Kwek, “Coalition Formation for Resource Co-allocation Using BDI Assignment Agents,” IEEE Transactions on Systems, Man and Cybernetics: Part C, vol. 37, no. 4, pp. 682--693, July 2007, USA.

  20. 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.

  21. K.T. Seow, “Syntax-Based Synthesis for Temporal-Safety Supervision,” Automatica, vol. 41, no. 11, pp. 1965--1972, November 2005, Elsevier, USA.

  22. 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.

  23. K.T. Seow, “Existence Characterizations of Temporal-Safety Supervisors,” IEEE Transactions on Automatic Control, vol. 47, no. 10, pp. 1779--1783, October 2002, USA.

  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.

  27. K.T. Seow and R. Devanathan, “Temporal Logic Programming for Assembly Sequence Planning,” International Journal of Artificial Intelligence in Engineering, vol. 8, no. 4, pp. 253-263, September 1993, Elsevier Science, The Netherlands.

Highly Refereed International Conferences

  1. 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%)

  2. M.T. Pham and K.T. Seow, “On Deconflicting Local Coordination Among Agents,” Proceedings of the International Conference on Autonomous Agents and Multiagent Systems (AAMAS’12), June 2012, Valencia, Spain. [Short paper, Acceptance rate: 43.4% or (137F+ 154S)/( 671)]

  3. 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% or 44/244)

  4. M.T. Pham and K.T. Seow, “On-line Coordination Among Discrete-Event Agents,” Proceedings of the International Conference on Autonomous Agents and Multiagent Systems (AAMAS’09), May 2009, Budapest, Hungary. [Short paper, Acceptance rate: 40.6% or (132+132)/(591+60)]

  5. M.T. Pham and K.T. Seow, “Towards Synthesizing Optimal Coordination Modules for Distributed Agents,” Proceedings of the AAAI Conference on Artificial Intelligence (AAAI’08), July 2008, Chicago, Illinois, USA. [Poster paper, Acceptance rate: 26% or (227+23)/958]

  6. 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% or 119/531)

  7. K.T. Seow, C. Ma and M. Yokoo, “Multiagent Planning as Control Synthesis,” Proceedings of the International Conference on Autonomous Agents and Multiagent Systems (AAMAS’04), July 2004, New York City, USA. (Acceptance rate: 24% or 140/580)

  8. 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% or 145/560)

International Conferences

  1. A. Laude, P. Aniyath, K.T. Seow, J.W. Kwok, H.B. Fam, W.J. Heng and D. Rajan, “Computer-aided evaluation of cataract surgery: A metric comparison of continuous circular capsulorhexis by trainee and specialist surgeons,” The Association for Research in Vision and Ophthalmology Annual Meeting (ARVO’ 15), May 2015,  Denver, Colorado, USA. (Accepted)

  2. Q.H. Ngo and K.T. Seow, “A Time Fidelity Control Foundation for Hierarchical Discrete-Event Systems,” Proceedings of the IEEE International Conference on Automation Science and Engineering (CASE ’14), August 2014, Taipei, Taiwan.

  3. 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.

  4. 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.

  5. 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.

  6. Q.H. Ngo and K.T. Seow, “Hierarchical Control of Discrete-Event Systems: A New Command and Control Design Based on Feasible System Decomposition,” Proceedings of the IEEE International Conference on Automation Science and Engineering (CASE’12), August 2012, Seoul, Korea.

  7. A. Dhananjayan and K.T. Seow, “Automating Timed Specification Transparency for Human Designer Validation of Real-Time Discrete-Event Control Requirements,” Proceedings of the IEEE International Conference on Automation Science and Engineering (CASE’12), August 2012, Seoul, Korea.

  8. M.T. Pham, A. Dhananjayan and K.T. Seow, “On the Transparency of Automata as Discrete-Event Control Specifications,” Proceedings of the IEEE International Conference on Robotics and Automation, May 2010, Anchorage, Alaska, USA.

  9. K.T. Seow, “A Dynamic Programming Approach to Multi-Level Supervision,” Proceedings of the IEEE International Conference on Robotics and Automation, May 2009, Kobe, Japan.

  10. K.T. Seow, N.H. Dang and D.-H. Lee, “Towards an Automated Multiagent Taxi-Dispatch System,” Proceedings of the IEEE International Conference on Automation Science and Engineering (CASE’07), September 2007, Scottsdale, Arizona, USA.

  11. K.T. Seow, M. Gai and T. L. Lim, “A Temporal Logic Specification Interface for Automata-Theoretic Finitary Control Synthesis,” Proceedings of the IEEE International Conference on Robotics and Automation, April 2005, Barcelona, Spain.

  12. M.N Ngo, K.T. Seow, and K.W Wong, “Fuzzy Linear Assignment Problem: An Approach to Vehicle Fleet Deployment,” Proceedings of the IEEE International Conference on Fuzzy Systems  (FUZZ-IEEE’04), July 2004, Budapest, Hungary.

  13. K.T. Seow and K.W. Wong, “Collaborative Assignment Agents: Using Arbitrated Self-Optimal Initializations for Faster Negotiation,” Proceedings of the International Conference on Computational Intelligence, Robotics and Autonomous Systems (CIRAS’03), December 2003, Singapore.

  14. K.T. Seow, “Equivalent Existence Structures for Temporal-Safety Control,” Discrete Event Systems: Analysis and Control (5th International Workshop on Discrete-Event Systems, WODES), August 2000, Kluwer Academic Publishers.

  15. K.T. Seow, M. Pasquier and M.L. Hong,  “Precedence Constraint Analysis for Vehicle Route-Sequence Planning,” Proceedings of the 6th International Conference on Applications of Advanced Technologies in Transportation Engineering (AATT’00), June 2000, Singapore.

  16. K.T. Seow, M. Pasquier and M.L. Hong, “A Formal Methodology for Land-Transport Operations,” Proceedings of the IEEE/IEEJ/JSAI Conference on Intelligent Transportation Systems (ITSC99), October 1999, Tokyo, Japan.

  17. K.T. Seow, M. Pasquier and M.L. Hong, “Supervisory Control of Transport-Operations Processes,” Proceedings of the Multi-Conference on Systemics, Cybernetics and Informatics/ Information  Systems   Analysis  and  Synthesis (SCI'/ISAS99), July/August 1999, Orlando,  Florida, USA.

  18. K.T. Seow  and R. Devanathan, “Control Computation and Complexity of Temporal-Safety in Discrete-Event  Systems,”  Proceedings  of  the American Control Conference, June 1999,  San  Diego, California, USA.

  19. K.T. Seow and R. Devanathan, “Control Software Synthesis for Temporal Safety in Discrete-Event Systems,” Proceedings of the 4th International Workshop on Discrete-Event Systems,  August 1998, Cagliari, Italy.

  20. K.T. Seow and R. Devanathan, “A Temporal Logic Approach to Discrete Event Control,” Proceedings of the IEEE International Conference on Robotics and Automation, May 1995, Nagoya, Japan.

  21. K.T. Seow and R. Devanathan, “An Algebraic Temporal Logic Approach To The Forbidden State Problem in Discrete Event Control,” Lecture Notes in Control and Information Sciences : Analysis and Optimization of Systems (Discrete Event Systems), Vol.199, June 1994, Springer-Verlag, New York.

  22. K.T. Seow  and R. Devanathan, “On Temporal Logic as  a Constraint Language for Assembly  Sequence Planning,” Proceedings of  the 11th IASTED International Symposium  on APPLIED   INFORMATICS, May 1993, Imperial Palace, Annecy, France.

  23. K.T. Seow and R. Devanathan, “An Extended Logic Framework for Mechanical Analysis of Assembly Sequences”, Proceedings of the Second International Conference on  Automation,  Robotics and Computer Vision (ICARCV’92), December 1992, Singapore.

  24. K.T. Seow and R. Devanathan, “A Temporal Logic Framework for Assembly Sequence Planning”, Proceedings of the IEEE/RSJ  International  Conference on Intelligent   Robots   and  Systems, July 1992,  Raleigh, North Carolina, USA.

  25. K.T. Seow  and  R. Devanathan, “Temporal Logic  Formulation of Assembly Sequence Properties,” Proceedings of the  IEEE International  Conference on Robotics and Automation, May 1992, Nice, France.

Books

  1. J.H. Kim, D.H. Kim, Y.J. Kim and K.T. Seow,  Soccer Robotics, Springer Tracts in Advanced Robotics (STAR Series), (327 pages),  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 (3rd Edition, 268 pages), August 2006.

Other Publications

  1. N. Zhu, Y.S. Ong, K.W. Wong and K.T. Seow, “Using Memetic Algorithms For Fuzzy Modelling,” Australian Journal of Intelligent Information Processing Systems, vol. 8, no. 3, pp. 147-154, Dec 2004, Australia.

  2. J.H. Kim, D.H. Kim, Y.J. Kim, K.H. Park, J.H Park, C.K. Moon, K. T. Seow and K.C. Koh, “Humanoid Robot HanSaRam: Recent Progress and Developments,” International Journal of Advanced Computational Intelligence and Intelligent Informatics (JACI3), vol. 8, no. 1, pp. 45 - 55, January 2004.

  3. N. Zhu, Y.S. Ong, K.W. Wong and K.T. Seow, “Parameter Identification Using Memetic Algorithms for Fuzzy Systems,” Proceedings of the Fourth  International Conference on Intelligent Technologies (InTech03), Dec 2003, Chiang Mai, Thailand.

  4. J.H. Kim, D.H. Kim, Y.J. Kim, K.H. Park, J.H Park, C.K. Moon, K.T. Seow and K.C. Koh, “Humanoid Robot HanSaRam: Recent Progress and Development,” Proceedings of the International Conference on Humanoid, Nano-technology, Information technology, Communication and Control, Environment, and Management (HNICEM 2003), Mar 2003, Manila, Philippines. (Invited Plenary Lecture Paper).

Newsletters

  1. K.W. Wong, Y.S. Ong and K.T. Seow, “Sparse Fuzzy Rule Systems To Facilitate Computing With Words,” School of Computer Engineering Research Newsletter: Computational Intelligence, vol. 2, issue 3, June 2004, Nanyang Technological University.

  2. K.T. Seow and K.W. Wong, “Distributed Agent Collaboration,” School of Computer Engineering Research Newsletter: Advanced Information Systems, vol. 2, issue 1, February 2004, Nanyang Technological University.

  3. K.T. Seow, M. Pasquier and M.L. Hong, “Discrete-Event Control for Land-Transport Operations,” 5th Anniversary Journal of the Robotics Research Centre, Nanyang Technological University, 2000.

Click here to return to K.T. Seow's Homepage.