Abdul A. Malik, Robert K. Brayton, et al.
IEEE Transactions on Computer-Aided Design of Integrated 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
Robert K. Brayton, Gary D. Hachtel, et al.
Proceedings of the IEEE
Gary D. Hachtel, Robert K. Brayton, et al.
IEEE Transactions on Circuit Theory
Conference paper
Fast-extract with cube hashing
Bruno O. Schmitt De, Alan Mishchenko, et al.
ASP-DAC 2017