ISQED
2011
IEEE
13 years 7 months ago
2011
IEEE
Due to the dramatic increase in design complexity, verifying the functional correctness of a circuit is becoming more difficult. Therefore, bugs may escape all verification effo...
CDC
2008
IEEE
14 years 10 months ago
2008
IEEE
Abstract— This paper presents necessary and sufficient conditions for null controllability of discrete-time linear systems subject to both input and state constraints. The class...