Kiam Tian Seow

Orcid: 0000-0001-5784-1132

Affiliations:
  • Nanyang Technological University, Singapore


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Supremal Marker-Controllable Subformula of a Given Canonical Temporal-Safety Formula.
IEEE Access, 2022

2021
Supervisory Control of Fair Discrete-Event Systems: A Canonical Temporal Logic Foundation.
IEEE Trans. Autom. Control., 2021

2020
Supervisory Control of Blockchain Networks.
IEEE Trans. Syst. Man Cybern. Syst., 2020

2018
A hierarchical consistency framework for real-time supervisory control.
Discret. Event Dyn. Syst., 2018

2015
A Formal Transparency Framework for Validation of Real-Time Discrete-Event Control Requirements Modeled by Timed Transition Graphs.
IEEE Trans. Hum. Mach. Syst., 2015

2014
A Metric Temporal Logic Specification Interface for Real-Time Discrete-Event Control.
IEEE Trans. Syst. Man Cybern. Syst., 2014

Organizational Control of Discrete-Event Systems: A Hierarchical Multiworld Supervisor Design.
IEEE Trans. Control. Syst. Technol., 2014

Command and Control of Discrete-Event Systems: Towards Online Hierarchical Control Based on Feasible System Decomposition.
IEEE Trans Autom. Sci. Eng., 2014

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

A time fidelity control foundation for hierarchical discrete-event systems.
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.
IEEE Trans. Syst. Man Cybern. Syst., 2013

Multiagent Conflict Resolution Planning.
Proceedings of the IEEE International Conference on Systems, 2013

Towards reproducible performance studies of datacenter network architectures using an open-source simulation approach.
Proceedings of the 2013 IEEE Global Communications Conference, 2013

Lyapunov stability analysis of load balancing in datacenter networks.
Proceedings of the Workshops Proceedings of the Global Communications Conference, 2013

2012
On-line coordination: Event interaction and state communication between cooperative agents.
Web Intell. Agent Syst., 2012

Discrete-Event Coordination Design for Distributed Agents.
IEEE Trans Autom. Sci. Eng., 2012

On Specification Informatics in Discrete-event Systems - State-transparency for Clarity of Finite Automata as Control Specifications.
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.
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.
Proceedings of the 2012 IEEE International Conference on Automation Science and Engineering, 2012

On deconflicting local coordination among agents.
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.
IEEE Trans. Intell. Transp. Syst., 2010

A Collaborative Multiagent Taxi-Dispatch System.
IEEE Trans Autom. Sci. Eng., 2010

On the transparency of automata as discrete-event control specifications.
Proceedings of the IEEE International Conference on Robotics and Automation, 2010

2009
Coordination Planning: Applying Control Synthesis Methods for a Class of Distributed Agents.
IEEE Trans. Control. Syst. Technol., 2009

A dynamic programming approach to multi-level supervision.
Proceedings of the 2009 IEEE International Conference on Robotics and Automation, 2009

On-line coordination among discrete-event agents.
Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

2008
A BDI Assignment Protocol With New Cooperative-Concession Strategies.
IEEE Trans. Syst. Man Cybern. Part A, 2008

Collaborative assignment using belief-desire-intention agent modeling and negotiation with speedup strategies.
Inf. Sci., 2008

Towards Synthesizing Optimal Coordination Modules for Distributed Agents.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007
Coalition Formation for Resource Coallocation Using BDI Assignment Agents.
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.
IEEE Trans Autom. Sci. Eng., 2007

Towards An Automated Multiagent Taxi-Dispatch System.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2007

Unifying distributed constraint algorithms in a BDI negotiation framework.
Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

2006
Decentralized Assignment Reasoning Using Collaborative Local Mediation.
IEEE Trans. Knowl. Data Eng., 2006

2005
Syntax-based synthesis for temporal-safety supervision.
Autom., 2005

A Temporal Logic Specification Interface for Automata-Theoretic Finitary Control Synthesis.
Proceedings of the 2005 IEEE International Conference on Robotics and Automation, 2005

2004
Supervising passenger land-transport systems.
IEEE Trans. Intell. Transp. Syst., 2004

Humanoid Robot HanSaRam: Recent Progress and Developments.
J. Adv. Comput. Intell. Intell. Informatics, 2004

Using Memetic Algorithms for Fuzzy Modelling.
Aust. J. Intell. Inf. Process. Syst., 2004

Fuzzy linear assignment problem: an approach to vehicle fleet deployment.
Proceedings of the IEEE International Conference on Fuzzy Systems, 2004

Multiagent Planning as Control Synthesis.
Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

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

2002
Existence characterizations of temporal-safety supervisors.
IEEE Trans. Autom. Control., 2002

Vehicle route-sequence planning using temporal logic.
Artif. Intell. Eng. Des. Anal. Manuf., 2002

Collaborative assignment: a multiagent negotiation approach using BDI concepts.
Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

1995
A Temporal Logic Approach to Discrete Event Control.
Proceedings of the 1995 International Conference on Robotics and Automation, 1995

1994
A temporal framework for assembly sequence representation and analysis.
IEEE Trans. Robotics Autom., 1994

1993
Temporal logic programming for assembly sequence planning.
Artif. Intell. Eng., 1993


  Loading...