Abstraction based verification of stability of polyhedral switched systems

Document Details

Document Type: Pub Defense Publication
Publication Date: May 01, 2020
Source ID: 10.1016/j.nahs.2020.100856

Entities

People

Miriam García Soto
Pavithra Prabhakar

Organizations

Austrian Science Fund
Ministry of Economy, Industry and Competitiveness
National Science Foundation
Office of Naval Research