Practical automation specification

DOI10.1007/978-3-540-78831-7_46zbMATH Open1208.93025OpenAlexW1568511972MaRDI QIDQ3059909FDOQ3059909

Authors: Wolfgang Mann 

Publication date: 30 November 2010

Published in: Springer Handbook of Automation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-78831-7_46

Recommendations

• Automatic PLC software generator with a natural interface
• Formal specification method for systems automation
• scientific article; zbMATH DE number 978524
• scientific article; zbMATH DE number 52603
• scientific article; zbMATH DE number 810559

zbMATH Keywords

equipment-based control strategyindustrial programmable logic controller (PLC) systemsnext control hierarchyseparate state machinesstandard industrial-like programming language

Mathematics Subject Classification ID

Hierarchical systems (93A13) Application models in control theory (93C95)

Cited In (1)

• Implementing and evaluating the Publish/Subscribe paradigm using the OMG's DDS/DAIS specifications application to IDEC's micro\(^3\) PLC computer link system

This page was built for publication: Practical automation specification

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