Invariants in the application-oriented specification of control systems

DOI10.1016/0005-1098(82)90028-0zbMath0474.93028OpenAlexW2066266563MaRDI QIDQ1159109

S. J. Goldsack, Jeff Kramer

Publication date: 1982

Published in: Automatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0005-1098(82)90028-0

zbMATH Keywords

control system designcontinuous controlspecificationsdiscrete variable controlinvariant properties of system elementsreal-time data manipulations

Mathematics Subject Classification ID

Uses Software

• Ada95

Cites Work

• Proof of correctness of data representations
• Monitors
• An axiomatic basis for computer programming
• Unnamed Item

This page was built for publication: Invariants in the application-oriented specification of control systems