default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSimon Ware
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2022
[j10]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: 110279 (2022)- 2020
- [j9]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: 92637-92646 (2020) - [j8]Robi Malik, Simon Ware:
On the computation of counterexamples in compositional nonblocking verification. Discret. Event Dyn. Syst. 30(2): 301-334 (2020) - [j7]FaJun Yang, Yan Qiao, Kaizhou Gao, Naiqi Wu, Yuting Zhu, Ian Ware Simon, Rong Su:
Efficient Approach to Scheduling of Transient Processes for Time-Constrained Single-Arm Cluster Tools With Parallel Chambers. IEEE Trans. Syst. Man Cybern. Syst. 50(10): 3646-3657 (2020) - 2018
- [j6]Fajun Yang, Kaizhou Gao, Ian Ware Simon, Yuting Zhu, Rong Su:
Decomposition methods for manufacturing system scheduling: a survey. IEEE CAA J. Autom. Sinica 5(2): 389-400 (2018) - 2017
- [j5]Liyong Lin, Simon Ware, Rong Su, Walter Murray Wonham:
Reduction of Distributions: Definitions, Properties, and Applications. IEEE Trans. Autom. Control. 62(11): 5755-5768 (2017) - [j4]Simon Ware, Rong Su:
Time Optimal Synthesis Based Upon Sequential Abstraction and Its Application to Cluster Tools. IEEE Trans Autom. Sci. Eng. 14(2): 772-784 (2017) - 2014
- [j3]Simon Ware, Robi Malik:
An algorithm to test the conflict preorder. Sci. Comput. Program. 89: 23-40 (2014) - 2013
- [j2]Simon Ware, Robi Malik:
Compositional Verification of the generalized Nonblocking Property using Abstraction and Canonical Automata. Int. J. Found. Comput. Sci. 24(8): 1183-1208 (2013) - 2012
- [j1]Simon Ware, Robi Malik:
Conflict-preserving abstraction of discrete event systems using annotated automata. Discret. Event Dyn. Syst. 22(4): 451-477 (2012)
Conference and Workshop Papers
- 2019
- [c17]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: 5614-5619 - [c16]Yuting Zhu, Liyong Lin, Simon Ware, Rong Su:
Supervisor Synthesis for Networked Discrete Event Systems With Communication Delays and Lossy Channels. CDC 2019: 6730-6735 - [c15]Liyong Lin, Rong Su, Bertil A. Brandin, Simon Ware, Yuting Zhu, Yajuan Sun:
Synchronous Composition of Finite Interval Automata. ICCA 2019: 578-583 - [c14]Simon Ian Ware, Antonis F. Lentzakis, Rong Su:
A Simulation Modeling Framework with Autonomous Vehicle Region-based Routing and Public Transit Diversion Integration. ITSC 2019: 2626-2632 - 2017
- [c13]Liyong Lin, Simon Ware, Rong Su, Walter Murray Wonham:
Reduction of distributions and its applications. ACC 2017: 3848-3853 - [c12]Simon Ware, Rong Su:
Time optimal synthesis based upon sequential abstraction and maximizing parallelism. CASE 2017: 926-931 - [c11]Diego Deplano, Simon Ware, Rong Su, Alessandro Giua:
A heuristic algorithm to optimize execution time of multi-robot path. ICCA 2017: 909-914 - 2016
- [c10]Antonis F. Lentzakis, Simon Ian Ware, Rong Su:
Region-based dynamic forecast routing for autonomous vehicles. ITSC 2016: 1464-1469 - [c9]Fredrik Hagebring, Oskar Wigström, Bengt Lennartson, Simon Ian Ware, Rong Su:
Comparing MILP, CP, and A* for multiple stacker crane scheduling. WODES 2016: 63-70 - [c8]Simon Ware, Rong Su:
Incremental scheduling of discrete event systems. WODES 2016: 147-152 - 2015
- [c7]Simon Ware, Rong Su:
Synthesis time optimal accepting traces using language projection and pruning. CASE 2015: 1363-1368 - [c6]Simon Ware, Rong Su:
Progressive time optimal control of reactive systems. CDC 2015: 3542-3547 - 2014
- [c5]Simon Ware, Robi Malik:
Supervisory Control With Progressive Events. ICCA 2014: 1466-1471 - 2013
- [c4]Simon Ware, Robi Malik, Sahar Mohajerani, Martin Fabian:
Certainly Unsupervisable States. FTSCS 2013: 280-296 - 2011
- [c3]Simon Ware, Robi Malik:
A Process-Algebraic Semantics for Generalised Nonblocking. CATS 2011: 75-84 - [c2]Simon Ware, Robi Malik:
A State-Based Characterisation of the Conflict Preorder. FOCLASA 2011: 34-48 - 2010
- [c1]Simon Ware, Robi Malik:
Compositional nonblocking verification using annotated automata. WODES 2010: 364-369
Informal and Other Publications
- 2021
- [i2]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 abs/2103.11273 (2021) - 2018
- [i1]Liyong Lin, Sander Thuijsman, Yuting Zhu, Simon Ware, Rong Su, Michel A. Reniers:
Synthesis of Successful Actuator Attackers on Supervisors. CoRR abs/1807.06720 (2018)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:00 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
