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

Liyong Lin, Alin Stefanescu, Weilin Wang, Rong Su, Walter Murray Wonham. Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates. Automatica, 87:290-300, 2018. [doi]

Abstract

Abstract is missing.