Incremental Verification of Inference Observability in Decentralized Discrete-Event Control
| Title: | Incremental Verification of Inference Observability in Decentralized Discrete-Event Control |
|---|---|
| Authors: | Yoon, S.H.; Ricker, S.L.; Marchand, H. |
| Source: | 2025 IEEE 19th International Conference on Control & Automation (ICCA) Control & Automation (ICCA), 2025 IEEE 19th International Conference on. :262-267 Jun, 2025 |
| Relation: | 2025 IEEE 19th International Conference on Control & Automation (ICCA) |
| Database: | IEEE Xplore Digital Library |