Nonconflict check by using sequential automaton abstractions based on weak observation equivalence
type: Item
instance of: scholarly article
title: Nonconflict check by using sequential automaton abstractions based on weak observation equivalence
zbMATH Open document ID: 1192.93078
author: Rong Su
author: Jan H. van Schuppen
author: Jacobus E. Rooda
author: Albert T. Hofkamp
published in: Automatica
publication date: 2010-06-17T00:00:00Z
Mathematics Subject Classification ID: 93C65
Mathematics Subject Classification ID: 93A13
Mathematics Subject Classification ID: 68Q80
zbMATH DE Number: 5722120
zbMATH Keywords: discrete-event systems
zbMATH Keywords: nondeterministic finite-state automata
zbMATH Keywords: automaton abstraction
zbMATH Keywords: nonconflict check
MaRDI profile type: Publication
full work available at URL: j.automatica.2010.02.025
OpenAlex ID: W2081177528
cites work: An implementation of an efficient algorithm for bisimulation equivalence
cites work: Compositional synthesis of maximally permissive supervisors using supervision equivalence
cites work: Hierarchical interface-based supervisory control-part II: parallel case
cites work: Q4385545
cites work: Supervisory Control of a Class of Discrete Event Processes
cites work: Model Abstraction of Nondeterministic Finite-State Automata in Supervisor Synthesis
cites work: Global and local consistencies in distributed fault diagnosis for discrete-event systems
cites work: Modular supervisory control of discrete-event systems
cites work: On the computation of observers in discrete-event systems
cites work: Decentralized supervisory control of discrete-event systems
DOI: 10.1016/J.AUTOMATICA.2010.02.025
description: scientific article; zbMATH DE number 5722120