Giovanni De Micheli, Robert K. Brayton, et al.
IEEE TCADIS
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
Robert K. Brayton, Stephen W. Director, et al.
IEEE Transactions on Circuits and Systems
Robert K. Brayton, Gary D. Hachtel, et al.
Proceedings of the IEEE