In order to establish a method to synthesis controllers, an essential step is the modelling of both plant and constraints. However, this step remains a very complex task. To mitigate this difficulty and facilitate modelling, we present a methodology for plant modelling based on rules; as well as a user friendly methodology for constraints modelling based on logical equations in the traditional ...

An adaptive controller which is designed with a priori consideration of actuator saturation effects and guarantees H1 tracking performance for a class of multiple-input–multiple-output (MIMO) uncertain nonlinear systems with extern disturbances and actuator saturations is presented in this paper. Adaptive radial basis function (RBF) neural networks are used in this controller to approximate the...

ÐIn this paper, we describe the incremental specification of a power transformer station controller using a controller synthesis methodology. We specify the main requirements as simple properties, named control objectives, that the controlled plant has to satisfy. Then, using algebraic techniques, the controller is automatically derived from this set of control objectives. In our case, the plan...

User control is increasingly prominent in the discourse surrounding the General Data Protection Regulation (GDPR). However, next to user control, the GDPR also tries to achieve what will be called controller responsibility. Is this unjust paternalism or does it correctly place the responsibility for data protection with the controller and its supervisory authority? This paper argues that the qu...

This paper addresses the problem of verifying the discrete control logic that is typically implemented by programmable controllers. Not only are the logical properties of the controller studied during verification, the behaviour of the overall controlled system is also examined. An approach that combines the calculation of the safety-oriented interlock controllers in terms of supervisory contro...

In this chapter a new systematic switching control approach to adaptive stabilization of uncertain discrete-time systems with parametric uncertainty is presented. Our approach is based on a localization method which is conceptually diierent from supervisory adaptive control schemes and other existing switching adaptive schemes. Our approach allows for slow parameter drifting, infrequent large p...

An evolutionary fuzzy controller that drives the output parameters of fuzzy logic system in such a way that the Lyapunov function and the system is exponentially stable is presented. The output parameters of the fuzzy logic system are updated for every sampling time in an evolutionary manner. Only part of the parameters associated with the current situation are considered and, thus, the present...

Surveillance missions for multiple autonomous underwater vehicle (AUV) system suggest the use of different modes of operation including organizing and keeping a predefined formation, avoiding obstacles, reaching static and tracking dynamic targets. While exploiting a leader-follower strategy to formation control and the vector Lyapunov function method to controller design, we use discrete-event...

Bejczy distinguishes two basic approaches to the effect of combining autonomous and teleoperated control ? J In traded mode. the control may switch from fully autonomous control to full teleoperation In shared mode. certain degrees of freedom arp allocated to the autonomous controller and the others to the teleoperated control The concept of supervisory control, as exemplified by the work of Sh...

Within the framework of Supervisory Control Theory, synthesis algorithms enable automatic generation of control rules from behavioural models of the process to be controlled and of goals to be achieved. This paper talks about a pragmatic use of these algorithms within an automation engineering context and focuses on two key issues: process and goals modelling and supervisory controller implemen...