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

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 by user needs and operating constraints. A DRCS wh...

Celý popis

Podrobná bibliografie

Hlavní autoři:	Raja Oueslati, Olfa Mosbahi, Mohamed Khalgui, Zhiwu Li, Ting Qu
Médium:	Artigo
Jazyk:	Inglês
Vydáno:	IEEE 2018-01-01
Edice:	IEEE Access
Témata:	Distributed reconfigurable control system B method reconfiguration multi-agent architecture modeling and verification
On-line přístup:	https://ieeexplore.ieee.org/document/8540386/
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!