scholarly journals Combining Semi-Formal and Formal Methods for the Development of Distributed Reconfigurable Control Systems

IEEE Access ◽  
2018 ◽  
Vol 6 ◽  
pp. 70426-70443 ◽  
Author(s):  
Raja Oueslati ◽  
Olfa Mosbahi ◽  
Mohamed Khalgui ◽  
Zhiwu Li ◽  
Ting Qu
Keyword(s):  
Control Systems ◽  
Formal Methods ◽  
Reconfigurable Control

A Prototype Open-Control Platform for Reconfigurable Control Systems

2004 ◽  
pp. 63-84 ◽  
Author(s):  
L. Wills ◽  
S. Kannan ◽  
S. Sander ◽  
M. Guler ◽  
B. Heck ◽  
...  
Keyword(s):  
Control Systems ◽  
Reconfigurable Control ◽  
Open Control

scholarly journals Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-linear and Linear Analyses

2013 ◽  
pp. 1-16 ◽  
Author(s):  
Adrien Champion ◽  
Rémi Delmas ◽  
Michael Dierkes ◽  
Pierre-Loïc Garoche ◽  
Romain Jobredeaux ◽  
...  
Keyword(s):  
Control Systems ◽  
Formal Methods ◽  
Non Linear ◽  
Systems Models

Context-aware Fuzzy Control Systems

2014 ◽  
Vol 24 (05) ◽  
pp. 825-856 ◽  
Author(s):  
Mariusz Pelc
Keyword(s):  
Control System ◽  
Control Systems ◽  
Knowledge Engineering ◽  
Linear Control Systems ◽  
Context Aware ◽  
Decision Point ◽  
Reconfigurable Control ◽  
Control Signals ◽  
Run Time ◽  
Control Layer

In this paper an example of a hierarchical context-aware run-time reconfigurable control system is presented. The context-awareness is resulting from using policy-based computing as a technology allowing the control system to replace its decision making logic in run-time in response to changing environment conditions. The proposed solution allows system experts to specify policies (AGILE policies) used in the Supervision Layer for the purpose of making decisions regarding the most appropriate controller configuration and on the other side, they can specify policies (Fuzzy Logic policies) used in the Control Layer in order to generate control signals allowing to achieve specified control goals. Novelty of the proposed solutions lays in combination of two technologies, Open Decision Point technology originating from the Software Engineering domain Policy-based Computing that is originating from the Knowledge Engineering domain in application to non-linear control systems.

Sign in / Sign up

Export Citation Format

Share Document