Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications
Takai, ShigemasaVolume:
108
Language:
english
Journal:
Automatica
DOI:
10.1016/j.automatica.2019.06.022
Date:
October, 2019
File:
PDF, 564 KB
english, 2019