Abstract
This paper describes techniques for the specification and refinement of control and simulation software for systems involving continuous and discrete data. We give a formal concept of refinement suitable for this domain, which generalises conventional refinement in VDM-SL. We also show how VDM ++ can be used in conjunction with classical discrete controller synthesis techniques.
Cite
CITATION STYLE
Goldsack, S., Lano, K., & Durr, E. (1997). Specification and refinement of continuous real-time systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1231, pp. 310–324). Springer Verlag. https://doi.org/10.1007/3-540-63010-4_21
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
