Consistency of Goalaviour-Based Control Systems

Abstract

The consistency of automatic control systems deployed into smart environments is crucial for their acceptance. Extensive testing of a dynamically changing group of devices is not possible. Therefore, formal approaches are necessary to validate the consistency of a control system. In this paper, we discuss consistency of a decentralised and dynamic control system based on goal-emitting simple behaviours. We define different types of consistency and show how to verify them automatically.