A characterization of realizable behavior in supervisory control of timed event graphs
type: Item
instance of: scholarly article
title: A characterization of realizable behavior in supervisory control of timed event graphs
zbMATH Open document ID: 0924.93003
DOI: 10.1016/S0005-1098(97)00121-0
author: Shigemasa Takai
published in: Automatica
publication date: 1998-08-20T00:00:00Z
review text: The author studies supervisory control of timed event graphs in the max-algebra framework. He addresses a control problem which requires that the behavior of the supervised system equals the specification set. A necessary and sufficient condition (called strong controllability condition) for the existence of a control input set to solve the problem is presented. Moreover, the author derives a necessary and sufficient condition for the supremal strongly controllable subset to be nonempty under the assumption that the desirable behavior is specified by the upper time bound sequence.
Mathematics Subject Classification ID: 93A13
Mathematics Subject Classification ID: 93C30
Mathematics Subject Classification ID: 93B05
zbMATH DE Number: 1192944
zbMATH Keywords: discrete event system
zbMATH Keywords: supervisory control
zbMATH Keywords: timed event graphs
zbMATH Keywords: max-algebra
zbMATH Keywords: strong controllability
zbMATH Keywords: supremal strongly controllable subset
reviewed by: Bohumil František Šmarda
MaRDI profile type: Publication
cites work: Q4304869
cites work: Internal model control and max-algebra: controller design
cites work: Supervisory control of real-time discrete-event systems using lattice theory
cites work: Minimax algebra
cites work: Extremal solutions of inequations over lattices with applications to supervisory control
cites work: Predicates and predicate transformers for supervisory control of discrete event dynamical systems
cites work: Control of vector discrete-event systems. I. The base model
cites work: Supervisory Control of a Class of Discrete Event Processes
cites work: Modular Feedback Logic for Discrete Event Systems
cites work: Modular supervisory control of discrete-event systems
description: scientific article; zbMATH DE number 1192944