Algebraic approach for dependable logic control systems design

DOI10.1080/00207540410001705266zbMath1152.93333OpenAlexW2028103556MaRDI QIDQ4671282

No author found.

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

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

Uses Software

• UMDES

Cites Work

• Synthesis of control implementation for discrete manufacturing systems

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