The following pages link to Simon Ware (Q351735):
Displayed 6 items.
- Conflict-preserving abstraction of discrete event systems using annotated automata (Q351736) (← links)
- Networked supervisor synthesis against lossy channels with bounded network delays as non-networked synthesis (Q2151821) (← links)
- On the computation of counterexamples in compositional nonblocking verification (Q2197583) (← links)
- Reduction of Distributions: Definitions, Properties, and Applications (Q4566961) (← links)
- COMPOSITIONAL VERIFICATION OF THE GENERALIZED NONBLOCKING PROPERTY USING ABSTRACTION AND CANONICAL AUTOMATA (Q5168410) (← links)
- Progressive events in supervisory control and compositional verification (Q5257781) (← links)