Abstract-This paper presents a method that eases the design of the operational architecture of a control system by providing, from the knowledge of some characteristics of the functions that the control system must ensure and a generic model of controller, an assignment solution of these functions that satisfies capabilities and distribution constraints. This method relies on the verification of a reachability property on a network of communicating automata that models the assignment process. The benefit of this proposal is illustrated by a non-trivial case study from industry.
Lemattre et al. REF propose a technique based on the verification of a reachability property on a network of communicating automata to model the assignment problem.
Designing operational control architectures of critical systems by reachability analysis
2011 IEEE International Conference on Automation Science and Engineering
2011 IEEE International Conference on Automation Science and Engineering
Mathematics Computer Science