Computing Compositional Proofs of Input-to-Output Stability Using SOS Optimization and δ-Decidability
| Author | |
| Year of Publication | 2016 |
| Journal | Nonlinear Analysis: Hybrid Systems |
| Date Published | 05/2016 |
| Download citation |
| Author | |
| Year of Publication | 2016 |
| Journal | Nonlinear Analysis: Hybrid Systems |
| Date Published | 05/2016 |
| Download citation |