Article thumbnail

AUTOMATION IN BUILDINGS AND FORMAL METHODS

By Pavel Burget and Richard Susta

Abstract

Abstract: The paper presents a case study based on our practical model of energy saving in a small building equipped by an industrial distributed control system. First, we overview our model built over LonWorks networking platform and then we discuss increasing the reliability of control programs by formal methods. Their possible application is demonstrated by the example of verifying the control program for a solar space heating. We show that some safety verifications are performable without constructing a whole hybrid model. Finally, we discuss the results achieved up to date. The principles presented in this case study are applicable on a general level for other similar systems. Copyright c ○ IFAC 200

Topics: automatic control, distributed control, control program, programmable logical controllers
Year: 2012
OAI identifier: oai:CiteSeerX.psu:10.1.1.217.3327
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://dce.felk.cvut.cz/susta/... (external link)

  • To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.

    Suggested articles