default search action
Kiam Tian Seow
Person information
- affiliation: Nanyang Technological University, Singapore
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [j27]Kiam Tian Seow
:
Supremal Marker-Controllable Subformula of a Given Canonical Temporal-Safety Formula. IEEE Access 10: 66300-66320 (2022) - 2021
- [j26]Kiam Tian Seow
Supervisory Control of Fair Discrete-Event Systems: A Canonical Temporal Logic Foundation. IEEE Trans. Autom. Control. 66(11): 5269-5282 (2021) - 2020
- [j25]Kiam Tian Seow
Supervisory Control of Blockchain Networks. IEEE Trans. Syst. Man Cybern. Syst. 50(1): 159-171 (2020)
2010 – 2019
- 2018
- [j24]Quang Ha Ngo
A hierarchical consistency framework for real-time supervisory control. Discret. Event Dyn. Syst. 28(3): 375-426 (2018) - 2015
- [j23]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): 350-361 (2015) - 2014
- [j22]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): 1218-1228 (2014) - [j21]Kiam Tian Seow:
Organizational Control of Discrete-Event Systems: A Hierarchical Multiworld Supervisor Design. IEEE Trans. Control. Syst. Technol. 22(1): 23-33 (2014) - [j20]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): 1204-1215 (2014) - [c21]Quang Ha Ngo, Kiam Tian Seow:
A time fidelity control foundation for hierarchical discrete-event systems. CASE 2014: 443-448 - [i1]Manh Tung Pham, Kiam Tian Seow:
Multiagent Conflict Resolution for a Specification Network of Discrete-Event Coordinating Agents. CoRR abs/1403.4711 (2014) - 2013
- [j19]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): 139-148 (2013) - [c20]Amrith Dhananjayan, Kiam Tian Seow, Chuan Heng Foh
Lyapunov stability analysis of load balancing in datacenter networks. GLOBECOM Workshops 2013: 912-916 - [c19]Daji Wong, Kiam Tian Seow, Chuan Heng Foh
Towards reproducible performance studies of datacenter network architectures using an open-source simulation approach. GLOBECOM 2013: 1373-1378 - [c18]Manh Tung Pham, Kiam Tian Seow:
Multiagent Conflict Resolution Planning. SMC 2013: 297-302 - 2012
- [j18]Manh Tung Pham, Kiam Tian Seow:
Discrete-Event Coordination Design for Distributed Agents. IEEE Trans Autom. Sci. Eng. 9(1): 70-82 (2012) - [j17]Manh Tung Pham, Kiam Tian Seow:
On-line coordination: Event interaction and state communication between cooperative agents. Web Intell. Agent Syst. 10(2): 179-192 (2012) - [c17]Manh Tung Pham, Kiam Tian Seow:
On deconflicting local coordination among agents. AAMAS 2012: 1257-1258 - [c16]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: 674-679 - [c15]Amrith Dhananjayan, Kiam Tian Seow:
Automating timed specification transparency for human designer validation of real-time discrete-event control requirements. CASE 2012: 908-913 - [c14]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: 357-367 - 2010
- [j16]Kiam Tian Seow, Nam Hai Dang, Der-Horng Lee
A Collaborative Multiagent Taxi-Dispatch System. IEEE Trans Autom. Sci. Eng. 7(3): 607-616 (2010) - [j15]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): 231-236 (2010) - [c13]Manh Tung Pham, Amrith Dhananjayan, Kiam Tian Seow:
On the transparency of automata as discrete-event control specifications. ICRA 2010: 1474-1479
2000 – 2009
- 2009
- [j14]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): 405-415 (2009) - [c12]Manh Tung Pham, Kiam Tian Seow:
On-line coordination among discrete-event agents. AAMAS (2) 2009: 1223-1224 - [c11]Manh Tung Pham, Kiam Tian Seow:
On-line Coordination: Event Interaction and State Communication between Cooperative Agents. IAT 2009: 315-322 - [c10]Kiam Tian Seow:
A dynamic programming approach to multi-level supervision. ICRA 2009: 908-913 - 2008
- [j13]Kiam Tian Seow, Kwang Mong Sim
Collaborative assignment using belief-desire-intention agent modeling and negotiation with speedup strategies. Inf. Sci. 178(4): 1110-1132 (2008) - [j12]Kiam Tian Seow, Kwang Mong Sim
A BDI Assignment Protocol With New Cooperative-Concession Strategies. IEEE Trans. Syst. Man Cybern. Part A 38(3): 688-697 (2008) - [c9]Manh Tung Pham, Kiam Tian Seow:
Towards Synthesizing Optimal Coordination Modules for Distributed Agents. AAAI 2008: 1479-1480 - 2007
- [j11]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): 451-464 (2007) - [j10]Kiam Tian Seow, Kwang Mong Sim
Coalition Formation for Resource Coallocation Using BDI Assignment Agents. IEEE Trans. Syst. Man Cybern. Part C 37(4): 682-693 (2007) - [c8]Bao Chau Le Dinh, Kiam Tian Seow:
Unifying distributed constraint algorithms in a BDI negotiation framework. AAMAS 2007: 117 - [c7]Bao Chau Le Dinh, Kiam Tian Seow:
Unifying distributed constraint algorithms in a BDI negotiation framework. AAMAS 2007: 163 - [c6]Kiam Tian Seow, Nam Hai Dang, Der-Horng Lee
Towards An Automated Multiagent Taxi-Dispatch System. CASE 2007: 1045-1050 - 2006
- [j9]Kiam Tian Seow, Kwang Mong Sim
Decentralized Assignment Reasoning Using Collaborative Local Mediation. IEEE Trans. Knowl. Data Eng. 18(11): 1576-1580 (2006) - 2005
- [j8]Kiam Tian Seow:
Syntax-based synthesis for temporal-safety supervision. Autom. 41(11): 1965-1972 (2005) - [c5]Kiam Tian Seow, Ming Gai, Tong Lee Lim:
A Temporal Logic Specification Interface for Automata-Theoretic Finitary Control Synthesis. ICRA 2005: 565-571 - 2004
- [b1]Jong-Hwan Kim, Yong-Jae Kim, Dong-Han Kim, Kiam Tian Seow:
Soccer Robotics. Springer Tracts in Advanced Robotics 11, Springer 2004, ISBN 978-3-540-21859-3, pp. 1-271 [contents] - [j7]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): 147-154 (2004) - [j6]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): 45-55 (2004) - [j5]Kiam Tian Seow, Michel Pasquier
Supervising passenger land-transport systems. IEEE Trans. Intell. Transp. Syst. 5(3): 165-176 (2004) - [c4]Kiam Tian Seow, Chuan Ma, Makoto Yokoo:
Multiagent Planning as Control Synthesis. AAMAS 2004: 972-979 - [c3]Mirth Ngoc Ngo, Kiam Tian Seow, Kok Wai Wong:
Fuzzy linear assignment problem: an approach to vehicle fleet deployment. FUZZ-IEEE 2004: 1197-1202 - 2002
- [j4]Kiam Tian Seow, Michel Pasquier
Vehicle route-sequence planning using temporal logic. Artif. Intell. Eng. Des. Anal. Manuf. 16(1): 31-38 (2002) - [j3]Kiam Tian Seow:
Existence characterizations of temporal-safety supervisors. IEEE Trans. Autom. Control. 47(10): 1779-1783 (2002) - [c2]Kiam Tian Seow, Khee Yin How:
Collaborative assignment: a multiagent negotiation approach using BDI concepts. AAMAS 2002: 256-263
1990 – 1999
- 1995
- [c1]Kiam Tian Seow, Rajagopalan Devanathan:
A Temporal Logic Approach to Discrete Event Control. ICRA 1995: 1435-1440 - 1994
- [j2]Kiam Tian Seow, Rajagopalan Devanathan
A temporal framework for assembly sequence representation and analysis. IEEE Trans. Robotics Autom. 10(2): 220-229 (1994) - 1993
- [j1]Kiam Tian Seow, Rajagopalan Devanathan
Temporal logic programming for assembly sequence planning. Artif. Intell. Eng. 8(4): 253-263 (1993)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-30 20:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: