Stability and stabilization of linear systems with saturating actuators by Tarbouriech, Sophie 0 Type: Book
Verification of systems and circuits using LOTOS, Petri nets, and CCS by Yoeli, Michael, Kol, Rakefet fromWiley Series on Parallel and Distributed Computing 0 Type: Book
Auxiliary signal design for failure detection by Campbell, Stephen L., Nikoukhah, Ramine fromPrinceton series in applied mathematics 0 Type: Book
Stabilization of programmed motion by Smirnov, E. Ya fromStability and control: theory, methods and applications 0 Type: Book
