Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Raja Oueslati"'
Publikováno v:
IEEE Access, Vol 6, Pp 70426-70443 (2018)
This research paper deals with combining semi-formal and formal methods to develop distributed reconfigurable control systems. The reconfiguration consists in modifying the system behavior to adapt it to the changes in its related environment caused
Externí odkaz:
https://doaj.org/article/cb7a218ddae343089f10b9c073bfeb0a
Autor:
Raja Oueslati, Olfa Mosbahi
Publikováno v:
Advances in Mechanical Engineering, Vol 9 (2017)
This research article proposes a novel approach called Distributed Reconfigurable B to specify and verify distributed reconfigurable control systems using B method. Reconfiguration signifies the dynamic adaptation of the system behavior to the evolut
Externí odkaz:
https://doaj.org/article/8de83122f24a412684835649014b985c
Autor:
Olfa Mosbahi, Raja Oueslati
Publikováno v:
Advances in Mechanical Engineering, Vol 9 (2017)
This research article proposes a novel approach called Distributed Reconfigurable B to specify and verify distributed reconfigurable control systems using B method. Reconfiguration signifies the dynamic adaptation of the system behavior to the evolut
Publikováno v:
Scopus-Elsevier
ICINCO (1)
ICINCO (1)
The paper deals with the modeling and verification of B method-based reconfigurable control systems. Reconfiguration means the dynamic changes of the system behavior at run-time according to well-defined conditions to adapt it to its environment. A r
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::676f891f1097c622e79670e56fd00ead
http://www.scopus.com/inward/record.url?eid=2-s2.0-84910032638&partnerID=MN8TOARS
http://www.scopus.com/inward/record.url?eid=2-s2.0-84910032638&partnerID=MN8TOARS
Publikováno v:
Scopus-Elsevier
PECCS
PECCS
The paper deals with the modeling and verification of B based Distributed Reconfigurable Control Systems (DRCS). A distributed multi-agent architecture is developed, where for each system is affected a Reconfiguration Agent to apply a local automatic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f6d44aea79d573788a38ea16b41cc19d
http://www.scopus.com/inward/record.url?eid=2-s2.0-84938841597&partnerID=MN8TOARS
http://www.scopus.com/inward/record.url?eid=2-s2.0-84938841597&partnerID=MN8TOARS