Bisimilarity enforcing supervisory control for deterministic specifications

10.1016/j.automatica.2013.09.025

Saved in:
Bibliographic Details
Main Authors: Sun, Y., Lin, H., Chen, B.M.
Other Authors: ELECTRICAL & COMPUTER ENGINEERING
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