Simon Ware

Orcid: 0000-0001-6774-3843

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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

2020
Efficient Approach to Scheduling of Transient Processes for Time-Constrained Single-Arm Cluster Tools With Parallel Chambers.
IEEE Trans. Syst. Man Cybern. Syst., 2020

On the computation of counterexamples in compositional nonblocking verification.
Discret. Event Dyn. Syst., 2020

A Discrete Event Formulation for Multi-Robot Collision Avoidance on Pre-Planned Trajectories.
IEEE Access, 2020

2019
A Simulation Modeling Framework with Autonomous Vehicle Region-based Routing and Public Transit Diversion Integration.
Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019

Synchronous Composition of Finite Interval Automata.
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.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Synthesis of Supremal Successful Normal Actuator Attackers on Normal Supervisors.
Proceedings of the 2019 American Control Conference, 2019

2018
Decomposition methods for manufacturing system scheduling: a survey.
IEEE CAA J. Autom. Sinica, 2018

Synthesis of Successful Actuator Attackers on Supervisors.
CoRR, 2018

2017
Time Optimal Synthesis Based Upon Sequential Abstraction and Its Application to Cluster Tools.
IEEE Trans Autom. Sci. Eng., 2017

Reduction of Distributions: Definitions, Properties, and Applications.
IEEE Trans. Autom. Control., 2017

A heuristic algorithm to optimize execution time of multi-robot path.
Proceedings of the 13th IEEE International Conference on Control & Automation, 2017

Time optimal synthesis based upon sequential abstraction and maximizing parallelism.
Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

Reduction of distributions and its applications.
Proceedings of the 2017 American Control Conference, 2017

2016
Incremental scheduling of discrete event systems.
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

Comparing MILP, CP, and A* for multiple stacker crane scheduling.
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

Region-based dynamic forecast routing for autonomous vehicles.
Proceedings of the 19th IEEE International Conference on Intelligent Transportation Systems, 2016

2015
Progressive time optimal control of reactive systems.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Synthesis time optimal accepting traces using language projection and pruning.
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

2014
An algorithm to test the conflict preorder.
Sci. Comput. Program., 2014

Supervisory Control With Progressive Events.
Proceedings of the 11th IEEE International Conference on Control & Automation, 2014

2013
Compositional Verification of the generalized Nonblocking Property using Abstraction and Canonical Automata.
Int. J. Found. Comput. Sci., 2013

Certainly Unsupervisable States.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

2012
Conflict-preserving abstraction of discrete event systems using annotated automata.
Discret. Event Dyn. Syst., 2012

2011
A State-Based Characterisation of the Conflict Preorder
Proceedings of the Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2011

A Process-Algebraic Semantics for Generalised Nonblocking.
Proceedings of the Seventeenth Computing: The Australasian Theory Symposium, 2011

2010
Compositional nonblocking verification using annotated automata.
Proceedings of the 10th International Workshop on Discrete Event Systems, 2010


  Loading...