• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 51 matches

• 2022
• 
  Kiam Tian Seow:
  Supremal Marker-Controllable Subformula of a Given Canonical Temporal-Safety Formula. IEEE Access 10: 66300-66320 (2022)
• 2021
• 
  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
• 
  Kiam Tian Seow:
  Supervisory Control of Blockchain Networks. IEEE Trans. Syst. Man Cybern. Syst. 50(1): 159-171 (2020)
• 2018
• 
  Quang Ha Ngo, Kiam Tian Seow:
  A hierarchical consistency framework for real-time supervisory control. Discret. Event Dyn. Syst. 28(3): 375-426 (2018)
• 2015
• 
  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
• 
  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)
• 
  Kiam Tian Seow:
  Organizational Control of Discrete-Event Systems: A Hierarchical Multiworld Supervisor Design. IEEE Trans. Control. Syst. Technol. 22(1): 23-33 (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): 1204-1215 (2014)
• 
  Quang Ha Ngo, Kiam Tian Seow:
  A time fidelity control foundation for hierarchical discrete-event systems. CASE 2014: 443-448
• 
  Manh Tung Pham, Kiam Tian Seow:
  Multiagent Conflict Resolution for a Specification Network of Discrete-Event Coordinating Agents. CoRR abs/1403.4711 (2014)
• 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): 139-148 (2013)
• 
  Amrith Dhananjayan, Kiam Tian Seow, Chuan Heng Foh:
  Lyapunov stability analysis of load balancing in datacenter networks. GLOBECOM Workshops 2013: 912-916
• 
  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: 1373-1378
• 
  Manh Tung Pham, Kiam Tian Seow:
  Multiagent Conflict Resolution Planning. SMC 2013: 297-302
• 2012
• 
  Manh Tung Pham, Kiam Tian Seow:
  Discrete-Event Coordination Design for Distributed Agents. IEEE Trans Autom. Sci. Eng. 9(1): 70-82 (2012)
• 
  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)
• 
  Manh Tung Pham, Kiam Tian Seow:
  On deconflicting local coordination among agents. AAMAS 2012: 1257-1258
• 
  Amrith Dhananjayan, Kiam Tian Seow:
  Automating timed specification transparency for human designer validation of real-time discrete-event control requirements. CASE 2012: 908-913
• 
  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
• 
  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
• 
  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)
• 
  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)
• 
  Manh Tung Pham, Amrith Dhananjayan, Kiam Tian Seow:
  On the transparency of automata as discrete-event control specifications. ICRA 2010: 1474-1479
• 2009
• 
  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)
• 
  Manh Tung Pham, Kiam Tian Seow:
  On-line coordination among discrete-event agents. AAMAS (2) 2009: 1223-1224
• 
  Manh Tung Pham, Kiam Tian Seow:
  On-line Coordination: Event Interaction and State Communication between Cooperative Agents. IAT 2009: 315-322
• 
  Kiam Tian Seow:
  A dynamic programming approach to multi-level supervision. ICRA 2009: 908-913
• 2008
• 
  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)
• 
  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): 688-697 (2008)
• 
  Manh Tung Pham, Kiam Tian Seow:
  Towards Synthesizing Optimal Coordination Modules for Distributed Agents. AAAI 2008: 1479-1480

skipping 21 more matches