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...
保存先:
| 主要な著者: | , , , , |
|---|---|
| フォーマット: | Artigo |
| 言語: | Inglês |
| 出版事項: |
IEEE
2018-01-01
|
| シリーズ: | IEEE Access |
| 主題: | |
| オンライン･アクセス: | https://ieeexplore.ieee.org/document/8540386/ |
| タグ: |
タグなし, このレコードへの初めてのタグを付けませんか!
|