Savage is a new computer algebra system written from scratch in pure Rust. Its goals are correctness, simplicity, and usability, in that order. The entire system compiles to a single, dependency-free ...
Abstract: Utilizing the min-composite Lyapunov function and the min-projection switching strategy, we solve the local and global stabilization problems for switched linear systems by saturated, not ...