Title :
Consistency of Goalaviour-Based Control Systems
Author_Institution :
Mobile Multimedia Inf. Syst., Univ. of Rostock, Rostock, Germany
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.
Keywords :
control system analysis; decentralised control; formal verification; Goalaviour-based control system; automatic control system; control system consistency; decentralised control system; dynamic control system; formal approach; goal-emitting simple behaviour; smart environment; Automata; Computer architecture; Control systems; Corporate acquisitions; Planning; Reliability; Sensors; consistency; goalaviour-based control; smart environments;
Conference_Titel :
Intelligent Environments (IE), 2013 9th International Conference on
Conference_Location :
Athens
