A unified linear-time temporal logic solution to the steam-boiler control specification problem

DOI10.1007/BF02916769zbMath0965.93075OpenAlexW1916258710MaRDI QIDQ5926751

Zhisong Tang, An Yan

Publication date: 15 July 2001

Published in: Science in China. Series E (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02916769

zbMATH Keywords

verificationclock processcontrol of water levelfaultshybrid real-time systemlivenessprogram specificationsafetysteam boiler controlstepwise refinementtemporal logic languageXYZ/E

Mathematics Subject Classification ID

Reliability, availability, maintenance, inspection in operations research (90B25) Application models in control theory (93C95) Discrete event control/observation systems (93C65)

Cites Work

• Formal methods for industrial applications. Specification and programming the Steam Boiler Control

This page was built for publication: A unified linear-time temporal logic solution to the steam-boiler control specification problem