Robert K. Brayton, Stephen W. Director, et al.
IEEE Transactions on Circuits and Systems
Paper
Stability Of Dynamical Systems: A Constructive Approach
Abstract
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
Related
Conference paper
Fast-extract with cube hashing
Bruno O. Schmitt De, Alan Mishchenko, et al.
ASP-DAC 2017
Giovanni De Micheli, Robert K. Brayton, et al.
IEEE TCADIS
Robert K. Brayton, Fred G. Gustavson, et al.
Mathematics of Computation