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