Conceptual design of discrete-event systems using templates

DOI10.1007/S10626-010-0089-0MaRDI QIDQ539490zbMATH OpenOpenAlexFDO

Authors Lenko Grigorov, Brian E. Butler, José E. R. Cury, Karen Rudie

Publication date 30 May 2011

Published in Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/1974/5092

zbMATH Keywords

templatesdiscrete-event systemssupervisory controlconceptual designsoftware interfaceusability

Mathematics Subject Classification ID

Hierarchical systems (93A13) Design techniques (robust design, computer-aided design, etc.) (93B51) Discrete event control/observation systems (93C65)

Recommendations

• Modeling and simulation of discrete event systems
• scientific article; zbMATH DE number 1816768
• Control of discrete event systems modeled as hierarchical state machines
• scientific article; zbMATH DE number 1836400
• scientific article; zbMATH DE number 1755140

Cites work

• scientific article; zbMATH DE number 48701 (Why is no real title available?)
• scientific article; zbMATH DE number 1836400 (Why is no real title available?)
• Compositional verification in supervisory control
• Essential statistics.
• Supervisory Control of a Class of Discrete Event Processes
• THE SIGNIFICANCE OF THE DIFFERENCE BETWEEN TWO MEANS WHEN THE POPULATION VARIANCES ARE UNEQUAL

Cited in

(5)

• On the invariance property of reduced supervisors from the perspective of vector discrete-event systems
• Modeling for supervisor synthesis -- a lock-bridge combination case study
• Exploiting symmetry of state tree structures for discrete-event systems with parallel components
• Template languages for fault monitoring of timed discrete event processes
• On efficient relabeling of symmetric discrete-event systems

Describes a project that uses

Uses Software

• Desco
• UMDES

This page was built for publication: Conceptual design of discrete-event systems using templates

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