Kiam Tian Seow

According to our database, Kiam Tian Seow authored at least 48 papers between 1993 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Supremal Marker-Controllable Subformula of a Given Canonical Temporal-Safety Formula.

Kiam Tian Seow

IEEE Access, 2022

2021

Supervisory Control of Fair Discrete-Event Systems: A Canonical Temporal Logic Foundation.

Kiam Tian Seow

IEEE Trans. Autom. Control., 2021

2020

Supervisory Control of Blockchain Networks.

Kiam Tian Seow

IEEE Trans. Syst. Man Cybern. Syst., 2020

2018

A hierarchical consistency framework for real-time supervisory control.

Quang Ha Ngo, Kiam Tian Seow

Discret. Event Dyn. Syst., 2018

2015

A Formal Transparency Framework for Validation of Real-Time Discrete-Event Control Requirements Modeled by Timed Transition Graphs.

Amrith Dhananjayan, Kiam Tian Seow

IEEE Trans. Hum. Mach. Syst., 2015

2014

A Metric Temporal Logic Specification Interface for Real-Time Discrete-Event Control.

Amrith Dhananjayan, Kiam Tian Seow

IEEE Trans. Syst. Man Cybern. Syst., 2014

Organizational Control of Discrete-Event Systems: A Hierarchical Multiworld Supervisor Design.

Kiam Tian Seow

IEEE Trans. Control. Syst. Technol., 2014

Command and Control of Discrete-Event Systems: Towards Online Hierarchical Control Based on Feasible System Decomposition.

Quang Ha Ngo, Kiam Tian Seow

IEEE Trans Autom. Sci. Eng., 2014

Multiagent Conflict Resolution for a Specification Network of Discrete-Event Coordinating Agents.

Manh Tung Pham, Kiam Tian Seow

CoRR, 2014

A time fidelity control foundation for hierarchical discrete-event systems.

Quang Ha Ngo, Kiam Tian Seow

Proceedings of the 2014 IEEE International Conference on Automation Science and Engineering, 2014

2013

On Specification Transparency: Toward A Formal Framework for Designer Comprehensibility of Discrete-Event Control Specifications in Finite Automata.

Manh Tung Pham, Amrith Dhananjayan, Kiam Tian Seow

IEEE Trans. Syst. Man Cybern. Syst., 2013

Multiagent Conflict Resolution Planning.

Manh Tung Pham, Kiam Tian Seow

Proceedings of the IEEE International Conference on Systems, 2013

Towards reproducible performance studies of datacenter network architectures using an open-source simulation approach.

Daji Wong, Kiam Tian Seow, Chuan Heng Foh, Renuga Kanagavelu

Proceedings of the 2013 IEEE Global Communications Conference, 2013

Lyapunov stability analysis of load balancing in datacenter networks.

Amrith Dhananjayan, Kiam Tian Seow, Chuan Heng Foh

Proceedings of the Workshops Proceedings of the Global Communications Conference, 2013

2012

On-line coordination: Event interaction and state communication between cooperative agents.

Manh Tung Pham, Kiam Tian Seow

Web Intell. Agent Syst., 2012

Discrete-Event Coordination Design for Distributed Agents.

Manh Tung Pham, Kiam Tian Seow

IEEE Trans Autom. Sci. Eng., 2012

On Specification Informatics in Discrete-event Systems - State-transparency for Clarity of Finite Automata as Control Specifications.

Amrith Dhananjayan, Kiam Tian Seow

Proceedings of the ICINCO 2012 - Proceedings of the 9th International Conference on Informatics in Control, Automation and Robotics, Volume 1, Rome, Italy, 28, 2012

Hierarchical control of discrete-event systems: A new command and control design based on feasible system decomposition.

Quang Ha Ngo, Kiam Tian Seow

Proceedings of the 2012 IEEE International Conference on Automation Science and Engineering, 2012

Automating timed specification transparency for human designer validation of real-time discrete-event control requirements.

Amrith Dhananjayan, Kiam Tian Seow

Proceedings of the 2012 IEEE International Conference on Automation Science and Engineering, 2012

On deconflicting local coordination among agents.

Manh Tung Pham, Kiam Tian Seow

Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

2010

Performance of Multiagent Taxi Dispatch on Extended-Runtime Taxi Availability: A Simulation Study.

Kiam Tian Seow, Der-Horng Lee

IEEE Trans. Intell. Transp. Syst., 2010

A Collaborative Multiagent Taxi-Dispatch System.

Kiam Tian Seow, Nam Hai Dang, Der-Horng Lee

IEEE Trans Autom. Sci. Eng., 2010

On the transparency of automata as discrete-event control specifications.

Manh Tung Pham, Amrith Dhananjayan, Kiam Tian Seow

Proceedings of the IEEE International Conference on Robotics and Automation, 2010

2009

Coordination Planning: Applying Control Synthesis Methods for a Class of Distributed Agents.

Kiam Tian Seow, Manh Tung Pham, Chuan Ma, Makoto Yokoo

IEEE Trans. Control. Syst. Technol., 2009

A dynamic programming approach to multi-level supervision.

Kiam Tian Seow

Proceedings of the 2009 IEEE International Conference on Robotics and Automation, 2009

On-line coordination among discrete-event agents.

Manh Tung Pham, Kiam Tian Seow

Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

2008

A BDI Assignment Protocol With New Cooperative-Concession Strategies.

Kiam Tian Seow, Kwang Mong Sim, Yew-Soon Ong, E. P. Sulaiman

IEEE Trans. Syst. Man Cybern. Part A, 2008

Collaborative assignment using belief-desire-intention agent modeling and negotiation with speedup strategies.

Kiam Tian Seow, Kwang Mong Sim

Inf. Sci., 2008

Towards Synthesizing Optimal Coordination Modules for Distributed Agents.

Manh Tung Pham, Kiam Tian Seow

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007

Coalition Formation for Resource Coallocation Using BDI Assignment Agents.

Kiam Tian Seow, Kwang Mong Sim, S. Y. C. Kwek

IEEE Trans. Syst. Man Cybern. Part C, 2007

Integrating Temporal Logic as a State-Based Specification Language for Discrete-Event Control Design in Finite Automata.

Kiam Tian Seow

IEEE Trans Autom. Sci. Eng., 2007

Towards An Automated Multiagent Taxi-Dispatch System.

Kiam Tian Seow, Nam Hai Dang, Der-Horng Lee

Proceedings of the IEEE Conference on Automation Science and Engineering, 2007

Unifying distributed constraint algorithms in a BDI negotiation framework.

Bao Chau Le Dinh, Kiam Tian Seow

Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

2006

Decentralized Assignment Reasoning Using Collaborative Local Mediation.

Kiam Tian Seow, Kwang Mong Sim

IEEE Trans. Knowl. Data Eng., 2006

2005

Syntax-based synthesis for temporal-safety supervision.

Kiam Tian Seow

Autom., 2005

A Temporal Logic Specification Interface for Automata-Theoretic Finitary Control Synthesis.

Kiam Tian Seow, Ming Gai, Tong Lee Lim

Proceedings of the 2005 IEEE International Conference on Robotics and Automation, 2005

2004

Supervising passenger land-transport systems.

Kiam Tian Seow, Michel Pasquier

IEEE Trans. Intell. Transp. Syst., 2004

Humanoid Robot HanSaRam: Recent Progress and Developments.

Jong-Hwan Kim, Dong-Han Kim, Yong-Jae Kim, Kui-Hong Park, Jae-Ho Park, Choon-Kyoung Moon, Jee-Hwan Ryu, Kiam Tian Seow, Kyoung-Chul Koh

J. Adv. Comput. Intell. Intell. Informatics, 2004

Using Memetic Algorithms for Fuzzy Modelling.

Ning Zhu, Yew-Soon Ong, Kok Wai Wong, Kiam Tian Seow

Aust. J. Intell. Inf. Process. Syst., 2004

Fuzzy linear assignment problem: an approach to vehicle fleet deployment.

Mirth Ngoc Ngo, Kiam Tian Seow, Kok Wai Wong

Proceedings of the IEEE International Conference on Fuzzy Systems, 2004

Multiagent Planning as Control Synthesis.

Kiam Tian Seow, Chuan Ma, Makoto Yokoo

Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

Soccer Robotics

Jong-Hwan Kim, Yong-Jae Kim, Dong-Han Kim, Kiam Tian Seow

Springer Tracts in Advanced Robotics 11, Springer, ISBN: 978-3-540-21859-3, 2004

2002

Existence characterizations of temporal-safety supervisors.

Kiam Tian Seow

IEEE Trans. Autom. Control., 2002

Vehicle route-sequence planning using temporal logic.

Kiam Tian Seow, Michel Pasquier

Artif. Intell. Eng. Des. Anal. Manuf., 2002

Collaborative assignment: a multiagent negotiation approach using BDI concepts.

Kiam Tian Seow, Khee Yin How

Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

1995

A Temporal Logic Approach to Discrete Event Control.

Kiam Tian Seow, Rajagopalan Devanathan

Proceedings of the 1995 International Conference on Robotics and Automation, 1995

1994

A temporal framework for assembly sequence representation and analysis.

Kiam Tian Seow, Rajagopalan Devanathan

IEEE Trans. Robotics Autom., 1994

1993

Temporal logic programming for assembly sequence planning.

Kiam Tian Seow, Rajagopalan Devanathan

Artif. Intell. Eng., 1993