Bisimilarity enforcing supervisory control for deterministic specifications
10.1016/j.automatica.2013.09.025
Saved in:
Main Authors: | , , |
---|---|
Other Authors: | |
Format: | Article |
Published: |
2014
|
Subjects: | |
Online Access: | http://scholarbank.nus.edu.sg/handle/10635/82011 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | National University of Singapore |
id |
sg-nus-scholar.10635-82011 |
---|---|
record_format |
dspace |
spelling |
sg-nus-scholar.10635-820112024-11-10T17:31:59Z Bisimilarity enforcing supervisory control for deterministic specifications Sun, Y. Lin, H. Chen, B.M. ELECTRICAL & COMPUTER ENGINEERING Bisimulation Discrete event systems Supervisory control 10.1016/j.automatica.2013.09.025 Automatica 50 1 287-290 ATCAA 2014-10-07T04:24:20Z 2014-10-07T04:24:20Z 2014-01 Article Sun, Y., Lin, H., Chen, B.M. (2014-01). Bisimilarity enforcing supervisory control for deterministic specifications. Automatica 50 (1) : 287-290. ScholarBank@NUS Repository. https://doi.org/10.1016/j.automatica.2013.09.025 00051098 http://scholarbank.nus.edu.sg/handle/10635/82011 000331422000033 Scopus |
institution |
National University of Singapore |
building |
NUS Library |
continent |
Asia |
country |
Singapore Singapore |
content_provider |
NUS Library |
collection |
ScholarBank@NUS |
topic |
Bisimulation Discrete event systems Supervisory control |
spellingShingle |
Bisimulation Discrete event systems Supervisory control Sun, Y. Lin, H. Chen, B.M. Bisimilarity enforcing supervisory control for deterministic specifications |
description |
10.1016/j.automatica.2013.09.025 |
author2 |
ELECTRICAL & COMPUTER ENGINEERING |
author_facet |
ELECTRICAL & COMPUTER ENGINEERING Sun, Y. Lin, H. Chen, B.M. |
format |
Article |
author |
Sun, Y. Lin, H. Chen, B.M. |
author_sort |
Sun, Y. |
title |
Bisimilarity enforcing supervisory control for deterministic specifications |
title_short |
Bisimilarity enforcing supervisory control for deterministic specifications |
title_full |
Bisimilarity enforcing supervisory control for deterministic specifications |
title_fullStr |
Bisimilarity enforcing supervisory control for deterministic specifications |
title_full_unstemmed |
Bisimilarity enforcing supervisory control for deterministic specifications |
title_sort |
bisimilarity enforcing supervisory control for deterministic specifications |
publishDate |
2014 |
url |
http://scholarbank.nus.edu.sg/handle/10635/82011 |
_version_ |
1821207251479691264 |