Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates
| Autor: | Lin, Liyong, Stefanescu, Alin, Wang, Weilin, Su, Rong, Wonham, W. Murray |
|---|---|
| Zdroj: | In Automatica January 2018 87:290-300 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect