Behavioural control system?
Automatic synthesis of control systems deals currently with theoretical modelling techniques aiming to formally define the behaviour of a control system when process behaviours and system requirements are well defined.
One which could be used to improve automation, achieve greater independence and enable more autonomous behaviour within control systems.
Currently automatic control deals with the theoretical modelling techniques applied to formally define the behaviour of a control system when the system goals and the process behaviour to be controlled are well defined.
The paper deals with the problem of verifying behaviour-based control systems.
This paper presents a design methodology for a class of behaviour-based control systems, arguing its potential for application to safety critical systems.
The dynamic behaviour of this oxygen control system is described.
The control system behaviour is demonstrated with both Gaussian and step disturbances.
Integrating the results of RAs from different models to address certain systems or questions will then provide a comprehensive overview of when certain mechanisms control system behaviour and when and why this control ceases.
Results from experiments led in simulation show that it is worth studying in depth a governance mechanism that tailors the structure and/or behaviour of a manufacturing control system and, at the same time, potentiate the reactivity required in manufacturing operations.
