Conceptual design of discrete-event systems using templates

DOI10.1007/S10626-010-0089-0zbMath1215.93083OpenAlexW2163358872MaRDI QIDQ539490

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

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

templatessupervisory controldiscrete-event systemsconceptual designsoftware interfaceusability

Mathematics Subject Classification ID

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

Related Items (3)

Exploiting symmetry of state tree structures for discrete-event systems with parallel components ⋮ Modeling for supervisor synthesis -- a lock-bridge combination case study ⋮ On the invariance property of reduced supervisors from the perspective of vector discrete-event systems

Uses Software

• Desco
• UMDES

Cites Work

• Compositional Verification in Supervisory Control
• Supervisory Control of a Class of Discrete Event Processes
• THE SIGNIFICANCE OF THE DIFFERENCE BETWEEN TWO MEANS WHEN THE POPULATION VARIANCES ARE UNEQUAL
• Unnamed Item
• Unnamed Item
• Unnamed Item

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