Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems
type: Item
instance of: scholarly article
title: Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems
zbMATH Open document ID: 1478.93190
author: Berend Jan Christiaan van Putten
author: Bram van der Sanden
author: Ramon Schiffelers
author: Michel A. Reniers
author: J. P. M. Voeten
published in: Discrete Event Dynamic Systems
publication date: 2021-12-09T00:00:00Z
Mathematics Subject Classification ID: 93B50
Mathematics Subject Classification ID: 93B05
Mathematics Subject Classification ID: 49N90
Mathematics Subject Classification ID: 91A80
zbMATH DE Number: 7441617
zbMATH Keywords: supervisory control
zbMATH Keywords: throughput-optimal controller
zbMATH Keywords: uncontrollable behaviour
describes a project that uses: UPPAAL TIGA
describes a project that uses: UMDES
MaRDI profile type: Publication
full work available at URL: s10626-020-00325-x
OpenAlex ID: W3096681988
cites work: Scheduling with timed automata
cites work: Q4328483
cites work: Synthesizing robust systems
cites work: Faster algorithms for mean-payoff games
cites work: Introduction to Discrete Event Systems
cites work: Supervisory control and reactive synthesis: a comparative introduction
cites work: Supervisory Control Architecture for Discrete-Event Systems
cites work: Optimal Nonblocking Directed Control of Discrete Event Systems
cites work: As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty
cites work: Q4952307
cites work: A framework for compositional nonblocking verification of extended finite-state machines
cites work: Petri net supervisors for DES with uncontrollable and unobservable transitions
cites work: Supervisory Control of a Class of Discrete Event Processes
cites work: Reactive synthesis from signal temporal logic specifications
cites work: The Synthesis of Time Optimal Supervisors by Using Heaps-of-Pieces
cites work: Q4220896
cites work: On the consistency of hierarchical supervision in discrete-event systems
DOI: 10.1007/S10626-020-00325-X
description: scientific article; zbMATH DE number 7441617