Algebraic approach for dependable logic control systems design

DOI10.1080/00207540410001705266MaRDI QIDQ4671282zbMATH OpenOpenAlexFDO

Authors

Publication date 26 April 2005

Published in International Journal of Production Research (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/00207540410001705266

zbMATH Keywords

algebra IIformal design methodlogic control system

Mathematics Subject Classification ID

Algebraic methods (93B25) Design techniques (robust design, computer-aided design, etc.) (93B51)

Recommendations

• Control design for nondeterministic input/output automata
• scientific article; zbMATH DE number 2021573
• Formal specification method for systems automation
• Logical approach to control theory and applications
• An algebraic approach to supervisory control

Cites work

• Synthesis of control implementation for discrete manufacturing systems

Cited in

(4)

• Logic control and ``reactive systems: algorithmization and programming
• Malyugin's theorems: A new concept in logical control, VLSI design, and data structures for new technologies
• scientific article; zbMATH DE number 1956625 (Why is no real title available?)
• On differential design of logical control systems

Describes a project that uses

Uses Software

• UMDES

This page was built for publication: Algebraic approach for dependable logic control systems design

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