Simon Ware

According to our database, Simon Ware authored at least 28 papers between 2010 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

Networked supervisor synthesis against lossy channels with bounded network delays as non-networked synthesis.

Liyong Lin, Yuting Zhu, Ruochen Tai, Simon Ware, Rong Su

Autom., 2022

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

IEEE Trans. Syst. Man Cybern. Syst., 2020

On the computation of counterexamples in compositional nonblocking verification.

Robi Malik, Simon Ware

Discret. Event Dyn. Syst., 2020

A Discrete Event Formulation for Multi-Robot Collision Avoidance on Pre-Planned Trajectories.

Diego Deplano, Mauro Franceschelli, Simon Ware, Rong Su, Alessandro Giua

IEEE Access, 2020

2019

A Simulation Modeling Framework with Autonomous Vehicle Region-based Routing and Public Transit Diversion Integration.

Simon Ian Ware, Antonis F. Lentzakis, Rong Su

Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019

Synchronous Composition of Finite Interval Automata.

Liyong Lin, Rong Su, Bertil A. Brandin, Simon Ware, Yuting Zhu, Yajuan Sun

Proceedings of the 15th IEEE International Conference on Control and Automation, 2019

Supervisor Synthesis for Networked Discrete Event Systems With Communication Delays and Lossy Channels.

Yuting Zhu, Liyong Lin, Simon Ware, Rong Su

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Synthesis of Supremal Successful Normal Actuator Attackers on Normal Supervisors.

Liyong Lin, Sander Thuijsman, Yuting Zhu, Simon Ware, Rong Su, Michel A. Reniers

Proceedings of the 2019 American Control Conference, 2019

2018

Decomposition methods for manufacturing system scheduling: a survey.

Fajun Yang, Kaizhou Gao, Ian Ware Simon, Yuting Zhu, Rong Su

IEEE CAA J. Autom. Sinica, 2018

Synthesis of Successful Actuator Attackers on Supervisors.

Liyong Lin, Sander Thuijsman, Yuting Zhu, Simon Ware, Rong Su, Michel A. Reniers

CoRR, 2018

2017

Time Optimal Synthesis Based Upon Sequential Abstraction and Its Application to Cluster Tools.

Simon Ware, Rong Su

IEEE Trans Autom. Sci. Eng., 2017

Reduction of Distributions: Definitions, Properties, and Applications.

Liyong Lin, Simon Ware, Rong Su, Walter Murray Wonham

IEEE Trans. Autom. Control., 2017

A heuristic algorithm to optimize execution time of multi-robot path.

Diego Deplano, Simon Ware, Rong Su, Alessandro Giua

Proceedings of the 13th IEEE International Conference on Control & Automation, 2017

Time optimal synthesis based upon sequential abstraction and maximizing parallelism.

Simon Ware, Rong Su

Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

Reduction of distributions and its applications.

Liyong Lin, Simon Ware, Rong Su, Walter Murray Wonham

Proceedings of the 2017 American Control Conference, 2017

2016

Incremental scheduling of discrete event systems.

Simon Ware, Rong Su

Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

Comparing MILP, CP, and A* for multiple stacker crane scheduling.

Fredrik Hagebring, Oskar Wigström, Bengt Lennartson, Simon Ian Ware, Rong Su

Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

Region-based dynamic forecast routing for autonomous vehicles.

Antonis F. Lentzakis, Simon Ian Ware, Rong Su

Proceedings of the 19th IEEE International Conference on Intelligent Transportation Systems, 2016

2015

Progressive time optimal control of reactive systems.

Simon Ware, Rong Su

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Synthesis time optimal accepting traces using language projection and pruning.

Simon Ware, Rong Su

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

2014

An algorithm to test the conflict preorder.

Simon Ware, Robi Malik

Sci. Comput. Program., 2014

Supervisory Control With Progressive Events.

Simon Ware, Robi Malik

Proceedings of the 11th IEEE International Conference on Control & Automation, 2014

2013

Compositional Verification of the generalized Nonblocking Property using Abstraction and Canonical Automata.

Simon Ware, Robi Malik

Int. J. Found. Comput. Sci., 2013

Certainly Unsupervisable States.

Simon Ware, Robi Malik, Sahar Mohajerani, Martin Fabian

Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

2012

Conflict-preserving abstraction of discrete event systems using annotated automata.

Simon Ware, Robi Malik

Discret. Event Dyn. Syst., 2012

2011

A State-Based Characterisation of the Conflict Preorder

Simon Ware, Robi Malik

Proceedings of the Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2011

A Process-Algebraic Semantics for Generalised Nonblocking.

Simon Ware, Robi Malik

Proceedings of the Seventeenth Computing: The Australasian Theory Symposium, 2011

2010

Compositional nonblocking verification using annotated automata.

Simon Ware, Robi Malik

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010