Simon Ware
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Networked supervisor synthesis against lossy channels with bounded network delays as non-networked synthesis Automatica | 2022-07-05 | Paper |
| On the computation of counterexamples in compositional nonblocking verification Discrete Event Dynamic Systems | 2020-09-01 | Paper |
| Reduction of Distributions: Definitions, Properties, and Applications IEEE Transactions on Automatic Control | 2018-06-27 | Paper |
| Progressive events in supervisory control and compositional verification Control Theory and Technology | 2015-06-29 | Paper |
| Compositional verification of the generalized nonblocking property using abstraction and canonical automata International Journal of Foundations of Computer Science | 2014-07-04 | Paper |
| Conflict-preserving abstraction of discrete event systems using annotated automata Discrete Event Dynamic Systems | 2013-07-09 | Paper |
Research outcomes over time
This page was built for person: Simon Ware
