Simon Ware

Available identifiers

zbMath Open ware.simonMaRDI QIDQ351735

List of research outcomes

Publication	Date of Publication	Type
Networked supervisor synthesis against lossy channels with bounded network delays as non-networked synthesis	2022-07-05	Paper
On the computation of counterexamples in compositional nonblocking verification	2020-09-01	Paper
Reduction of Distributions: Definitions, Properties, and Applications	2018-06-27	Paper
Progressive events in supervisory control and compositional verification	2015-06-29	Paper
COMPOSITIONAL VERIFICATION OF THE GENERALIZED NONBLOCKING PROPERTY USING ABSTRACTION AND CANONICAL AUTOMATA	2014-07-04	Paper
Conflict-preserving abstraction of discrete event systems using annotated automata	2013-07-09	Paper

Research outcomes over time

This page was built for person: Simon Ware