Computing compositional proofs of Input-to-Output Stability using SOS optimization andδ-decidability

Document Details

Document Type
Pub Defense Publication
Publication Date
Feb 01, 2017
Source ID
10.1016/j.nahs.2016.03.008

Entities

People

  • Abhishek Murthy
  • Md. Ariful Islam
  • Radu Grosu
  • Scott A. Smolka

Organizations

  • Air Force Office of Scientific Research
  • National Science Foundation