Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm

Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm

10.1016/j.automatica.2011.01.066

Saved in:
Bibliographic Details
Main Authors: Liu, F., Lin, H., Dziong, Z.
Other Authors: ELECTRICAL & COMPUTER ENGINEERING
Format: Article
Published: 2014
Subjects:
Bisimulation equivalence
Discrete event systems
Nondeterministic systems
Partial observations
Supervisory control
Online Access:http://scholarbank.nus.edu.sg/handle/10635/55208
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
id sg-nus-scholar.10635-55208
record_format dspace
spelling sg-nus-scholar.10635-552082023-10-29T22:43:30Z Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm Liu, F. Lin, H. Dziong, Z. ELECTRICAL & COMPUTER ENGINEERING Bisimulation equivalence Discrete event systems Nondeterministic systems Partial observations Supervisory control 10.1016/j.automatica.2011.01.066 Automatica 47 4 782-788 ATCAA 2014-06-17T02:40:26Z 2014-06-17T02:40:26Z 2011-04 Article Liu, F., Lin, H., Dziong, Z. (2011-04). Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm. Automatica 47 (4) : 782-788. ScholarBank@NUS Repository. https://doi.org/10.1016/j.automatica.2011.01.066 00051098 http://scholarbank.nus.edu.sg/handle/10635/55208 000289968500017 Scopus
institution National University of Singapore
building NUS Library
continent Asia
country Singapore
Singapore
content_provider NUS Library
collection ScholarBank@NUS
topic Bisimulation equivalence
Discrete event systems
Nondeterministic systems
Partial observations
Supervisory control
spellingShingle Bisimulation equivalence
Discrete event systems
Nondeterministic systems
Partial observations
Supervisory control
Liu, F.
Lin, H.
Dziong, Z.
Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm
description 10.1016/j.automatica.2011.01.066
author2 ELECTRICAL & COMPUTER ENGINEERING
author_facet ELECTRICAL & COMPUTER ENGINEERING
Liu, F.
Lin, H.
Dziong, Z.
format Article
author Liu, F.
Lin, H.
Dziong, Z.
author_sort Liu, F.
title Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm
title_short Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm
title_full Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm
title_fullStr Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm
title_full_unstemmed Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm
title_sort bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm
publishDate 2014
url http://scholarbank.nus.edu.sg/handle/10635/55208
_version_ 1781412089505513472

Similar Items