Bisimulation, the supervisory control problem and strong model matching for finite state machines
type: Item
instance of: scholarly article
title: Bisimulation, the supervisory control problem and strong model matching for finite state machines
zbMATH Open document ID: 0919.93005
DOI: 10.1023/A:1008301317459
author: George Barrett
author: Stéphane Lafortune
published in: Discrete Event Dynamic Systems
publication date: 1999-09-05T00:00:00Z
Mathematics Subject Classification ID: 93A13
Mathematics Subject Classification ID: 93C30
Mathematics Subject Classification ID: 93B05
Mathematics Subject Classification ID: 93A30
Mathematics Subject Classification ID: 93A99
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 1230702
zbMATH Keywords: input/output model matching
zbMATH Keywords: supervisory control theory
zbMATH Keywords: controllability of a language with respect to another language
zbMATH Keywords: bisimulation property
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 1230702