Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems
収録刊行物
-
- IEEE Transactions on Automatic Control
-
IEEE Transactions on Automatic Control 61 (5), 1239-1254, 2016-05
Institute of Electrical and Electronics Engineers (IEEE)