We propose a conceptual framework to support specification, design and verification of programs controlling physical systems. We introduce a computational model that represents the controller capabilities and distinguishes between synchronous and phase transitions. A graphical system description language is proposed that we believe is readily accessible to control engineers. We formalize the notion of control strategy in controller design.
CITATION STYLE
Sipma, H. B., & Manna, Z. (1994). Specification and verification of controlled systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 863 LNCS, pp. 641–659). Springer Verlag. https://doi.org/10.1007/3-540-58468-4_188
Mendeley helps you to discover research relevant for your work.