Supervisory control of a rapid thermal multiprocessor
From MaRDI portal
Publication:3140095
DOI10.1109/9.231459zbMath0800.93035OpenAlexW1995862561MaRDI QIDQ3140095
P. Gyugyi, Gérard J. Hoffmann, Silvano Balemi, Howard Wong-Toi, Gene F. Franklin
Publication date: 20 December 1993
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/9.231459
Related Items (17)
Supervisory controller synthesis and implementation for safety PLCs ⋮ Control of parameterized discrete event systems ⋮ Distributed inversion in timed discrete event systems ⋮ Supervisory Control of Discrete-Event Systems ⋮ Control design for nondeterministic input/output automata ⋮ Supervisory control of discrete event systems ⋮ Decentralized fault free model approach for fault detection and isolation of discrete event systems ⋮ Modeling for supervisor synthesis -- a lock-bridge combination case study ⋮ Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation ⋮ Decentralized diagnosis based on Boolean discrete event models: application on manufacturing systems ⋮ Synthesis of Reo circuits from scenario-based interaction specifications ⋮ Synthesis of Reo Circuits from Scenario-based Specifications ⋮ Grafcet: behavioural issues and control synthesis ⋮ A Summary of Some Discrete-Event System Control Problems ⋮ Supervisory Control with Complete Observations ⋮ Input/output discrete event processes and communication delays ⋮ Modelling and feedback control for a class of Petri Nets with shared resources subject to strict time constraints using Max-plus algebra
This page was built for publication: Supervisory control of a rapid thermal multiprocessor