Kiam Tian Seow

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