Synthesis of Maximally Permissive Supervisors for Nondeterministic Discrete Event Systems With Nondeterministic Specifications
収録刊行物
-
- IEEE Transactions on Automatic Control
-
IEEE Transactions on Automatic Control 66 (7), 3197-3204, 2021-07
Institute of Electrical and Electronics Engineers (IEEE)
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1360572092377854848
-
- ISSN
- 15582523
- 23343303
- 00189286
-
- データソース種別
-
- Crossref
- KAKEN