An efficient modular method for the control of concurrent discrete event systems: A language-based approach
type: Item
instance of: scholarly article
title: An efficient modular method for the control of concurrent discrete event systems: A language-based approach
zbMATH Open document ID: 1116.93038
author: Benoit Gaudin
author: Hervé Merchand
published in: Discrete Event Dynamic Systems
publication date: 2007-06-07T00:00:00Z
Mathematics Subject Classification ID: 93C65
Mathematics Subject Classification ID: 93B40
Mathematics Subject Classification ID: 93B05
zbMATH DE Number: 5162111
zbMATH Keywords: Discrete event systems
zbMATH Keywords: Supervisory control problem
zbMATH Keywords: Concurrent finite state machines
zbMATH Keywords: Partial controllability
describes a project that uses: UMDES
MaRDI profile type: Publication
full work available at URL: s10626-006-0007-7
OpenAlex ID: W2025949256
cites work: Q4719062
cites work: Supervisory control of discrete-event processes with partial observations
cites work: Q4782029
cites work: Supervisory control of product and hierarchical discrete event systems
cites work: Synthesis of feedback control logic for a class of controlled Petri nets
cites work: Hierarchical interface-based supervisory Control-part I: serial case
cites work: Structural decentralised control of concurrent discrete-event systems
cites work: A first step towards adaptive control for linear systems in max algebra
cites work: Q4298260
cites work: On the synthesis of safe control policies in decentralized control of discrete-event systems
cites work: Think globally, act locally: decentralized supervisory control
cites work: Supervisory control of concurrent discrete-event systems
cites work: Modular supervisory control of discrete-event systems
cites work: Q4782030
DOI: 10.1007/S10626-006-0007-7
description: scientific article; zbMATH DE number 5162111