DocumentCode
3019633
Title
Consistency of Goalaviour-Based Control Systems
Author
Bader, Samira
Author_Institution
Mobile Multimedia Inf. Syst., Univ. of Rostock, Rostock, Germany
fYear
2013
fDate
16-17 July 2013
Firstpage
45
Lastpage
50
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Intelligent Environments (IE), 2013 9th International Conference on
Conference_Location
Athens
Type
conf
DOI
10.1109/IE.2013.42
Filename
6597789
Link To Document