A Class of Non-Deterministic Specifications for Supervisory Control
Journal article, 1997
Author
Martin Fabian
Department of Control Engineering
Bengt Lennartson
Department of Control Engineering
European Journal of Control
Vol. 3 1 81-90
Subject Categories (SSIF 2011)
Computer and Information Science