Conceptual design of discrete-event systems using templates

DOI10.1007/S10626-010-0089-0zbMATH Open1215.93083OpenAlexW2163358872MaRDI QIDQ539490FDOQ539490

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• THE SIGNIFICANCE OF THE DIFFERENCE BETWEEN TWO MEANS WHEN THE POPULATION VARIANCES ARE UNEQUAL
• Compositional verification in supervisory control
• Supervisory Control of a Class of Discrete Event Processes
• Essential statistics.

Cited In (5)

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

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)