Paper Info
Title
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.
Year
DOI
Venue
2013
10.1109/IE.2013.42
Intelligent Environments
Keywords
Field
DocType
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,consistency,goalaviour-based control,smart environments
Hierarchical control system,Smart environment,Computer science,Real-time Control System,Automatic control,Real-time computing,Human–computer interaction,Control system,Distributed computing,Formal verification
Conference
Citations 
PageRank 
References 
0
0.34
0
Authors
1
Name
Order
Citations
PageRank
Sebastian Bader112.73