Supervisory control of extended timed event graphs

DOI10.1007/S10255-003-0103-5MaRDI QIDQ1879135zbMATH OpenOpenAlexFDO

Authors Zhibing Zhuo, Wende Chen

Publication date 22 September 2004

Published in Acta Mathematicae Applicatae Sinica. English Series (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10255-003-0103-5

zbMATH Keywords

complete latticedioidsstrong controllabilitysupervisory controltimed event graphs

Mathematics Subject Classification ID

Hierarchical systems (93A13) Controllability (93B05) Discrete event control/observation systems (93C65)

Review text

The dioid formalism is used for exploring the dynamics of extended timed event graphs (ETEGs) related to place delay. The approach to supervisory control of ETEGs yields a necessary and sufficient condition for the ideals of the set of firing time sequences of transitions to be controllable. The paper also shows that all the strongly controllable subsets of the set of firing time sequences of transitions form a complete lattice.

Recommendations

• Supervisory control of timed event graphs with partial specifications
• A characterization of realizable behavior in supervisory control of timed event graphs
• On just-in-time control of timed event graphs with input constraints: a semimodule approach
• Formulas for the extremal controllable sequences in timed-event graphs
• Modelling and control of periodic time-variant event graphs in dioids

Cites work

• A characterization of realizable behavior in supervisory control of timed event graphs
• Formulas for the extremal controllable sequences in timed-event graphs
• scientific article; zbMATH DE number 627763 (Why is no real title available?)
• scientific article; zbMATH DE number 3378927 (Why is no real title available?)
• Minimax algebra
• Supervisory Control of a Class of Discrete Event Processes
• Supervisory control of real-time discrete-event systems using lattice theory

Cited in

(7)

• A characterization of realizable behavior in supervisory control of timed event graphs
• Observability of extended timed event graph
• Modelling and control of periodic time-variant event graphs in dioids
• Formulas for the extremal controllable sequences in timed-event graphs
• Supervisory control of timed event graphs with partial specifications
• Supervisory Control and Scheduling of Resource Allocation Systems
• Model reference control for timed event graphs in diods

This page was built for publication: Supervisory control of extended timed event graphs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1879135)