Mathematical analysis of stage-based programmable logic controller

DOI10.1016/J.CAMWA.2011.02.004zbMath1219.68115OpenAlexW2008358890MaRDI QIDQ636562

William N. N. Hung, Lian Li, Anping He, Jinzhao Wu, Guo-wu Yang

Publication date: 28 August 2011

Published in: Computers \& Mathematics with Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.camwa.2011.02.004

zbMATH Keywords

extended duration calculusprogrammable logic controllerstage suspended boom

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• Coq

Cites Work

• Unnamed Item
• A calculus of durations
• Synthesis of feedback control logic for a class of controlled Petri nets
• Control problems in a temporal logic framework

This page was built for publication: Mathematical analysis of stage-based programmable logic controller