Bisimilarity control of nondeterministic discrete event systems
Proceedings of the 30th Chinese Control Conference, CCC 2011
Saved in:
Main Authors: | , , |
---|---|
Other Authors: | |
Format: | Conference or Workshop Item |
Published: |
2014
|
Subjects: | |
Online Access: | http://scholarbank.nus.edu.sg/handle/10635/69511 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | National University of Singapore |
id |
sg-nus-scholar.10635-69511 |
---|---|
record_format |
dspace |
spelling |
sg-nus-scholar.10635-695112015-01-06T19:15:13Z Bisimilarity control of nondeterministic discrete event systems Liu, F. Qiu, D. Lin, H. ELECTRICAL & COMPUTER ENGINEERING Bisimulation Equivalence Discrete Event Systems Nondeterministic Systems Supervisory Control Proceedings of the 30th Chinese Control Conference, CCC 2011 87-92 2014-06-19T03:01:32Z 2014-06-19T03:01:32Z 2011 Conference Paper Liu, F.,Qiu, D.,Lin, H. (2011). Bisimilarity control of nondeterministic discrete event systems. Proceedings of the 30th Chinese Control Conference, CCC 2011 : 87-92. ScholarBank@NUS Repository. 9789881725592 http://scholarbank.nus.edu.sg/handle/10635/69511 NOT_IN_WOS Scopus |
institution |
National University of Singapore |
building |
NUS Library |
country |
Singapore |
collection |
ScholarBank@NUS |
topic |
Bisimulation Equivalence Discrete Event Systems Nondeterministic Systems Supervisory Control |
spellingShingle |
Bisimulation Equivalence Discrete Event Systems Nondeterministic Systems Supervisory Control Liu, F. Qiu, D. Lin, H. Bisimilarity control of nondeterministic discrete event systems |
description |
Proceedings of the 30th Chinese Control Conference, CCC 2011 |
author2 |
ELECTRICAL & COMPUTER ENGINEERING |
author_facet |
ELECTRICAL & COMPUTER ENGINEERING Liu, F. Qiu, D. Lin, H. |
format |
Conference or Workshop Item |
author |
Liu, F. Qiu, D. Lin, H. |
author_sort |
Liu, F. |
title |
Bisimilarity control of nondeterministic discrete event systems |
title_short |
Bisimilarity control of nondeterministic discrete event systems |
title_full |
Bisimilarity control of nondeterministic discrete event systems |
title_fullStr |
Bisimilarity control of nondeterministic discrete event systems |
title_full_unstemmed |
Bisimilarity control of nondeterministic discrete event systems |
title_sort |
bisimilarity control of nondeterministic discrete event systems |
publishDate |
2014 |
url |
http://scholarbank.nus.edu.sg/handle/10635/69511 |
_version_ |
1681087027095797760 |