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

MaRDI QIDQ1126522zbMATH OpenFDO

Authors

Publication date 10 December 1996

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Cited in

(17)

• A Hoare logic for linear systems
• Inclusion dynamics hybrid automata
• Hybrid action systems
• Hybrid multirate PALS
• Language and communication problems in formalization: a natural language approach
• A high-level modular definition of the semantics of C\(_{\sharp}\)
• Communities and ancestors associated with Egon Börger and ASM
• Verifying untimed and timed aspects of the experimental batch plant
• Formalism and method
• Specification of real-time and hybrid systems in rewriting logic
• UTP, \textsf{\textit{Circus}}, and Isabelle
• A unified linear-time temporal logic solution to the steam-boiler control specification problem
• What's decidable about hybrid automata?
• Parametric Verification of Weighted Systems
• Twenty years of rewriting logic
• Rewriting logic: Roadmap and bibliography
• Introducing \(H\), an institution-based formal specification and verification language

This page was built for publication: Formal methods for industrial applications. Specification and programming the Steam Boiler Control

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