Author Search Results

1

Remarks on the difficulty of top-down supervisor synthesis

Remarks on the difficulty of top-down supervisor synthesis

by Lin, Liyong., Su, Rong., Stefanescu, Alin.
Published 2013

Get full text
Get full text

Conference or Workshop Item

2

Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates

Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates

by Lin, Liyong, Stefanescu, Alin, Wang, Weilin, Su, Rong, Wonham, Walter Murray
Published 2020

Get full text

Article