Safety Verification of Networked Control Systems by Complex Zonotopes
Networked control systems (NCS) are widely used in real world applications because of their advantages, such as remote operability and reduced installation costs. However, they are prone to various inaccuracies in execution like delays, packet dropouts, inaccurate sensing and quantization errors. To...
| Үндсэн зохиолчид: | , |
|---|---|
| Формат: | Өгүүллэг |
| Хэл сонгох: | English |
| Хэвлэсэн: |
Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
2022-12-01
|
| Цуврал: | Leibniz Transactions on Embedded Systems |
| Нөхцлүүд: | |
| Онлайн хандалт: | https://drops.dagstuhl.de/storage/07lites/lites_vol008/lites_vol008_issue002/LITES.8.2.1/LITES.8.2.1.pdf |