Simon Ware

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