Kiam Tian Seow

Publication Activity (10 Years)

Years Active: 1993-2022
Publications (10 Years): 4

Top Topics

Conflict Resolution

Supervisory Control

Top Venues

IEEE Trans. Syst. Man Cybern. Syst.

Discret. Event Dyn. Syst.

IEEE Trans. Control. Syst. Technol.

Publications

Kiam Tian Seow
Supremal Marker-Controllable Subformula of a Given Canonical Temporal-Safety Formula. IEEE Access 10 (2022)
Kiam Tian Seow
Supervisory Control of Fair Discrete-Event Systems: A Canonical Temporal Logic Foundation. IEEE Trans. Autom. Control. 66 (11) (2021)
Kiam Tian Seow
Supervisory Control of Blockchain Networks. IEEE Trans. Syst. Man Cybern. Syst. 50 (1) (2020)
Quang Ha Ngo, Kiam Tian Seow
A hierarchical consistency framework for real-time supervisory control. Discret. Event Dyn. Syst. 28 (3) (2018)
Amrith Dhananjayan, Kiam Tian Seow
A Formal Transparency Framework for Validation of Real-Time Discrete-Event Control Requirements Modeled by Timed Transition Graphs. IEEE Trans. Hum. Mach. Syst. 45 (3) (2015)
Quang Ha Ngo, Kiam Tian Seow
A time fidelity control foundation for hierarchical discrete-event systems. CASE (2014)
Amrith Dhananjayan, Kiam Tian Seow
A Metric Temporal Logic Specification Interface for Real-Time Discrete-Event Control. IEEE Trans. Syst. Man Cybern. Syst. 44 (9) (2014)
Quang Ha Ngo, Kiam Tian Seow
Command and Control of Discrete-Event Systems: Towards Online Hierarchical Control Based on Feasible System Decomposition. IEEE Trans Autom. Sci. Eng. 11 (4) (2014)
Manh Tung Pham, Kiam Tian Seow
Multiagent Conflict Resolution for a Specification Network of Discrete-Event Coordinating Agents. CoRR (2014)
Kiam Tian Seow
Organizational Control of Discrete-Event Systems: A Hierarchical Multiworld Supervisor Design. IEEE Trans. Control. Syst. Technol. 22 (1) (2014)
Amrith Dhananjayan, Kiam Tian Seow, Chuan Heng Foh
Lyapunov stability analysis of load balancing in datacenter networks. GLOBECOM Workshops (2013)
Daji Wong, Kiam Tian Seow, Chuan Heng Foh, Renuga Kanagavelu
Towards reproducible performance studies of datacenter network architectures using an open-source simulation approach. GLOBECOM (2013)
Manh Tung Pham, Kiam Tian Seow
Multiagent Conflict Resolution Planning. SMC (2013)
Manh Tung Pham, Amrith Dhananjayan, Kiam Tian Seow
On Specification Transparency: Toward A Formal Framework for Designer Comprehensibility of Discrete-Event Control Specifications in Finite Automata. IEEE Trans. Syst. Man Cybern. Syst. 43 (1) (2013)
Manh Tung Pham, Kiam Tian Seow
Discrete-Event Coordination Design for Distributed Agents. IEEE Trans Autom. Sci. Eng. 9 (1) (2012)
Manh Tung Pham, Kiam Tian Seow
On deconflicting local coordination among agents. AAMAS (2012)
Amrith Dhananjayan, Kiam Tian Seow
Automating timed specification transparency for human designer validation of real-time discrete-event control requirements. CASE (2012)
Amrith Dhananjayan, Kiam Tian Seow
On Specification Informatics in Discrete-event Systems - State-transparency for Clarity of Finite Automata as Control Specifications. ICINCO (1) (2012)
Quang Ha Ngo, Kiam Tian Seow
Hierarchical control of discrete-event systems: A new command and control design based on feasible system decomposition. CASE (2012)
Manh Tung Pham, Kiam Tian Seow
On-line coordination: Event interaction and state communication between cooperative agents. Web Intell. Agent Syst. 10 (2) (2012)
Kiam Tian Seow, Nam Hai Dang, Der-Horng Lee
A Collaborative Multiagent Taxi-Dispatch System. IEEE Trans Autom. Sci. Eng. 7 (3) (2010)
Manh Tung Pham, Amrith Dhananjayan, Kiam Tian Seow
On the transparency of automata as discrete-event control specifications. ICRA (2010)
Kiam Tian Seow, Der-Horng Lee
Performance of Multiagent Taxi Dispatch on Extended-Runtime Taxi Availability: A Simulation Study. IEEE Trans. Intell. Transp. Syst. 11 (1) (2010)
Kiam Tian Seow, Manh Tung Pham, Chuan Ma, Makoto Yokoo
Coordination Planning: Applying Control Synthesis Methods for a Class of Distributed Agents. IEEE Trans. Control. Syst. Technol. 17 (2) (2009)
Kiam Tian Seow
A dynamic programming approach to multi-level supervision. ICRA (2009)
Manh Tung Pham, Kiam Tian Seow
On-line coordination among discrete-event agents. AAMAS (2) (2009)
Manh Tung Pham, Kiam Tian Seow
On-line Coordination: Event Interaction and State Communication between Cooperative Agents. IAT (2009)
Kiam Tian Seow, Kwang Mong Sim, Yew-Soon Ong, E. P. Sulaiman
A BDI Assignment Protocol With New Cooperative-Concession Strategies. IEEE Trans. Syst. Man Cybern. Part A 38 (3) (2008)
Manh Tung Pham, Kiam Tian Seow
Towards Synthesizing Optimal Coordination Modules for Distributed Agents. AAAI (2008)
Kiam Tian Seow, Kwang Mong Sim
Collaborative assignment using belief-desire-intention agent modeling and negotiation with speedup strategies. Inf. Sci. 178 (4) (2008)
Bao Chau Le Dinh, Kiam Tian Seow
Unifying distributed constraint algorithms in a BDI negotiation framework. AAMAS (2007)
Kiam Tian Seow, Nam Hai Dang, Der-Horng Lee
Towards An Automated Multiagent Taxi-Dispatch System. CASE (2007)
Kiam Tian Seow
Integrating Temporal Logic as a State-Based Specification Language for Discrete-Event Control Design in Finite Automata. IEEE Trans Autom. Sci. Eng. 4 (3) (2007)
Kiam Tian Seow, Kwang Mong Sim, S. Y. C. Kwek
Coalition Formation for Resource Coallocation Using BDI Assignment Agents. IEEE Trans. Syst. Man Cybern. Part C 37 (4) (2007)
Bao Chau Le Dinh, Kiam Tian Seow
Unifying distributed constraint algorithms in a BDI negotiation framework. AAMAS (2007)
Kiam Tian Seow, Kwang Mong Sim
Decentralized Assignment Reasoning Using Collaborative Local Mediation. IEEE Trans. Knowl. Data Eng. 18 (11) (2006)
Kiam Tian Seow, Ming Gai, Tong Lee Lim
A Temporal Logic Specification Interface for Automata-Theoretic Finitary Control Synthesis. ICRA (2005)
Kiam Tian Seow
Syntax-based synthesis for temporal-safety supervision. Autom. 41 (11) (2005)
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
Humanoid Robot HanSaRam: Recent Progress and Developments. J. Adv. Comput. Intell. Intell. Informatics 8 (1) (2004)
Kiam Tian Seow, Chuan Ma, Makoto Yokoo
Multiagent Planning as Control Synthesis. AAMAS (2004)
Kiam Tian Seow, Michel Pasquier
Supervising passenger land-transport systems. IEEE Trans. Intell. Transp. Syst. 5 (3) (2004)
Ning Zhu, Yew-Soon Ong, Kok Wai Wong, Kiam Tian Seow
Using Memetic Algorithms for Fuzzy Modelling. Aust. J. Intell. Inf. Process. Syst. 8 (3) (2004)
Mirth Ngoc Ngo, Kiam Tian Seow, Kok Wai Wong
Fuzzy linear assignment problem: an approach to vehicle fleet deployment. FUZZ-IEEE (2004)
Kiam Tian Seow
Existence characterizations of temporal-safety supervisors. IEEE Trans. Autom. Control. 47 (10) (2002)
Kiam Tian Seow, Michel Pasquier
Vehicle route-sequence planning using temporal logic. Artif. Intell. Eng. Des. Anal. Manuf. 16 (1) (2002)
Kiam Tian Seow, Khee Yin How
Collaborative assignment: a multiagent negotiation approach using BDI concepts. AAMAS (2002)
Kiam Tian Seow, Rajagopalan Devanathan
A Temporal Logic Approach to Discrete Event Control. ICRA (1995)
Kiam Tian Seow, Rajagopalan Devanathan
A temporal framework for assembly sequence representation and analysis. IEEE Trans. Robotics Autom. 10 (2) (1994)
Kiam Tian Seow, Rajagopalan Devanathan
Temporal logic programming for assembly sequence planning. Artif. Intell. Eng. 8 (4) (1993)