Simon Ware

Publication Activity (10 Years)

Years Active: 2010-2022
Publications (10 Years): 16

Top Topics

Multi Robot Cooperative

Timed Petri Nets

Supervisory Control

Top Venues

Publications

Liyong Lin, Yuting Zhu, Ruochen Tai, Simon Ware, Rong Su
Networked supervisor synthesis against lossy channels with bounded network delays as non-networked synthesis. Autom. 142 (2022)
Liyong Lin, Yuting Zhu, Ruochen Tai, Simon Ware, Rong Su
Networked Supervisor Synthesis Against Lossy Channels with Bounded Network Delays as Non-Networked Synthesis. CoRR (2021)
Robi Malik, Simon Ware
On the computation of counterexamples in compositional nonblocking verification. Discret. Event Dyn. Syst. 30 (2) (2020)
Diego Deplano, Mauro Franceschelli, Simon Ware, Rong Su, Alessandro Giua
A Discrete Event Formulation for Multi-Robot Collision Avoidance on Pre-Planned Trajectories. IEEE Access 8 (2020)
Liyong Lin, Sander Thuijsman, Yuting Zhu, Simon Ware, Rong Su, Michel A. Reniers
Synthesis of Supremal Successful Normal Actuator Attackers on Normal Supervisors. ACC (2019)
Liyong Lin, Rong Su, Bertil A. Brandin, Simon Ware, Yuting Zhu, Yajuan Sun
Synchronous Composition of Finite Interval Automata. ICCA (2019)
Yuting Zhu, Liyong Lin, Simon Ware, Rong Su
Supervisor Synthesis for Networked Discrete Event Systems With Communication Delays and Lossy Channels. CDC (2019)
Liyong Lin, Sander Thuijsman, Yuting Zhu, Simon Ware, Rong Su, Michel A. Reniers
Synthesis of Successful Actuator Attackers on Supervisors. CoRR (2018)
Liyong Lin, Simon Ware, Rong Su, Walter Murray Wonham
Reduction of distributions and its applications. ACC (2017)
Diego Deplano, Simon Ware, Rong Su, Alessandro Giua
A heuristic algorithm to optimize execution time of multi-robot path. ICCA (2017)
Simon Ware, Rong Su
Time optimal synthesis based upon sequential abstraction and maximizing parallelism. CASE (2017)
Simon Ware, Rong Su
Time Optimal Synthesis Based Upon Sequential Abstraction and Its Application to Cluster Tools. IEEE Trans Autom. Sci. Eng. 14 (2) (2017)
Liyong Lin, Simon Ware, Rong Su, Walter Murray Wonham
Reduction of Distributions: Definitions, Properties, and Applications. IEEE Trans. Autom. Control. 62 (11) (2017)
Simon Ware, Rong Su
Incremental scheduling of discrete event systems. WODES (2016)
Simon Ware, Rong Su
Synthesis time optimal accepting traces using language projection and pruning. CASE (2015)
Simon Ware, Rong Su
Progressive time optimal control of reactive systems. CDC (2015)
Simon Ware, Robi Malik
An algorithm to test the conflict preorder. Sci. Comput. Program. 89 (2014)
Simon Ware, Robi Malik
Supervisory Control With Progressive Events. ICCA (2014)
Simon Ware, Robi Malik, Sahar Mohajerani, Martin Fabian
Certainly Unsupervisable States. FTSCS (2013)
Simon Ware, Robi Malik
Compositional Verification of the generalized Nonblocking Property using Abstraction and Canonical Automata. Int. J. Found. Comput. Sci. 24 (8) (2013)
Simon Ware, Robi Malik
Conflict-preserving abstraction of discrete event systems using annotated automata. Discret. Event Dyn. Syst. 22 (4) (2012)
Simon Ware, Robi Malik
A Process-Algebraic Semantics for Generalised Nonblocking. CATS (2011)
Simon Ware, Robi Malik
A State-Based Characterisation of the Conflict Preorder FOCLASA (2011)
Simon Ware, Robi Malik
Compositional nonblocking verification using annotated automata. WODES (2010)