Compositional nonblocking verification using annotated automata. - Simon Ware; Robi Malik (WODES, 2010)

A Process-Algebraic Semantics for Generalised Nonblocking. - Simon Ware; Robi Malik (CATS, 2011)

A State-Based Characterisation of the Conflict Preorder - Simon Ware; Robi Malik (FOCLASA, 2011)

Conflict-preserving abstraction of discrete event systems using annotated automata. - Simon Ware; Robi Malik (Discret. Event Dyn. Syst., 2012)

Certainly Unsupervisable States. - Simon Ware; Robi Malik; Sahar Mohajerani; Martin Fabian (FTSCS, 2013)

Compositional Verification of the generalized Nonblocking Property using Abstraction and Canonical Automata. - Simon Ware; Robi Malik (Int. J. Found. Comput. Sci., 2013)

Supervisory Control With Progressive Events. - Simon Ware; Robi Malik (ICCA, 2014)

An algorithm to test the conflict preorder. - Simon Ware; Robi Malik (Sci. Comput. Program., 2014)

Synthesis time optimal accepting traces using language projection and pruning. - Simon Ware; Rong Su 001 (CASE, 2015)

Progressive time optimal control of reactive systems. - Simon Ware; Rong Su 001 (CDC, 2015)

Region-based dynamic forecast routing for autonomous vehicles. - Antonis F. Lentzakis; Simon Ian Ware; Rong Su 001 (ITSC, 2016)

Comparing MILP, CP, and A* for multiple stacker crane scheduling. - Fredrik Hagebring; Oskar Wigström; Bengt Lennartson; Simon Ian Ware; Rong Su 001 (WODES, 2016)

Incremental scheduling of discrete event systems. - Simon Ware; Rong Su 001 (WODES, 2016)

Reduction of distributions and its applications. - Liyong Lin; Simon Ware; Rong Su 001; Walter Murray Wonham (ACC, 2017)

Time optimal synthesis based upon sequential abstraction and maximizing parallelism. - Simon Ware; Rong Su 001 (CASE, 2017)

A heuristic algorithm to optimize execution time of multi-robot path. - Diego Deplano; Simon Ware; Rong Su 001; Alessandro Giua (ICCA, 2017)

Reduction of Distributions: Definitions, Properties, and Applications. - Liyong Lin; Simon Ware; Rong Su 001; Walter Murray Wonham (IEEE Trans. Autom. Control., 2017)

Time Optimal Synthesis Based Upon Sequential Abstraction and Its Application to Cluster Tools. - Simon Ware; Rong Su 001 (IEEE Trans Autom. Sci. Eng., 2017)

Synthesis of Successful Actuator Attackers on Supervisors. - Liyong Lin; Sander Thuijsman; Yuting Zhu; Simon Ware; Rong Su 001; Michel A. Reniers (CoRR, 2018)

Decomposition methods for manufacturing system scheduling: a survey. - Fajun Yang; Kaizhou Gao; Ian Ware Simon; Yuting Zhu; Rong Su 001 (IEEE CAA J. Autom. Sinica, 2018)

Synthesis of Supremal Successful Normal Actuator Attackers on Normal Supervisors. - Liyong Lin; Sander Thuijsman; Yuting Zhu; Simon Ware; Rong Su 001; Michel A. Reniers (ACC, 2019)

Supervisor Synthesis for Networked Discrete Event Systems With Communication Delays and Lossy Channels. - Yuting Zhu; Liyong Lin; Simon Ware; Rong Su 001 (CDC, 2019)

Synchronous Composition of Finite Interval Automata. - Liyong Lin; Rong Su 001; Bertil A. Brandin; Simon Ware; Yuting Zhu; Yajuan Sun (ICCA, 2019)

A Simulation Modeling Framework with Autonomous Vehicle Region-based Routing and Public Transit Diversion Integration. - Simon Ian Ware; Antonis F. Lentzakis; Rong Su 001 (ITSC, 2019)

A Discrete Event Formulation for Multi-Robot Collision Avoidance on Pre-Planned Trajectories. - Diego Deplano; Mauro Franceschelli; Simon Ware; Rong Su 001; Alessandro Giua (IEEE Access, 2020)

On the computation of counterexamples in compositional nonblocking verification. - Robi Malik; Simon Ware (Discret. Event Dyn. Syst., 2020)

Efficient Approach to Scheduling of Transient Processes for Time-Constrained Single-Arm Cluster Tools With Parallel Chambers. - FaJun Yang; Yan Qiao; Kaizhou Gao; Naiqi Wu; Yuting Zhu; Ian Ware Simon; Rong Su 001 (IEEE Trans. Syst. Man Cybern. Syst., 2020)

Networked supervisor synthesis against lossy channels with bounded network delays as non-networked synthesis. - Liyong Lin; Yuting Zhu; Ruochen Tai; Simon Ware; Rong Su 001 (Autom., 2022)