Safety Verification of Networked Control Systems by Complex Zonotopes

Arvind S. Adimoolam, Thao Dang 0001. Safety Verification of Networked Control Systems by Complex Zonotopes. LITES, 8(2), 2022. [doi]

Abstract

Abstract is missing.