Robert K. Brayton, Gary D. Hachtel, et al.
Proceedings of the IEEE
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
Merging nodes under sequential observability
Michael L. Case, Victor N. Kravets, et al.
DAC 2008
Conference paper
Fast-extract with cube hashing
Bruno O. Schmitt De, Alan Mishchenko, et al.
ASP-DAC 2017
Robert K. Brayton, Stephen W. Director
IEEE Transactions on Circuits and Systems