Ensuring the conformance of reactive discrete-event systems using supervisory control
Ensuring the conformance of reactive discrete-event systems using supervisory control
复制标题
使用监控确保反应式离散事件系统的一致性
DOI：
10.1109/cdc.2003.1273030
复制
发表时间：
2003
期刊：
影响因子：
--
通讯作者：
Valéry Tschaen
中科院分区：
文献类型：
--
作者：
Thieny Eron;H. Marchand;Vlad Rusu;Valéry Tschaen
为了保证系统的实现与其形式规范之间的一致性关系，我们研究了用自动计算的监督器来控制系统实现的问题。主管可以被视为自动修复错误的“补丁”，否则这些错误应该通过测试发现并手工修复。
We study the problem of controlling an implementation of a system by means of an automatically computed supervisor, in order to ensure a conformance relation between the implementation and its formal specification. The supervisor can be seen as a "patch" that automatically fixes errors, which otherwise should have been discovered by testing and fixed by hand.