Abdul A. Malik, Robert K. Brayton, et al.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
A set A of n × n complex matrices is stable if for every neighborhood of the origin U ⊂ Cn there exists another neighborhood of the origin V, such that for each M ∊ A' (the set of finite products of matrices in A), MV ⊆ U. Matrix and Liapunov stability are related. © 1979 IEEE
Abdul A. Malik, Robert K. Brayton, et al.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Bruno O. Schmitt De, Alan Mishchenko, et al.
ASP-DAC 2017
Robert K. Brayton
IEEE Transactions on Circuit Theory
Robert K. Brayton, Gary D. Hachtel, et al.
Proceedings of the IEEE