Formal design of control systems with disturbances
ZHANG Jin-jin
ZHANG Yan
ZHU Zhao-hui
Keywords：feedback controlcontrol system designcontrol system with disturbancestemporal logicfinite abstraction
Publication Date：2015-01-01
Online Publishing Date：2025-08-15(First online date of this platform, not the publication date of the document)
Pages：9( 178-186 )