Poles-based Invariant Generation for Verifying the BIBO Stability of Digital Filters-Reference-Cited by-同舟云学术

Poles-based Invariant Generation for Verifying the BIBO Stability of Digital Filters

Published:2024-05-14 Issue: Volume: Page:1-12
ISSN:
Container-title:Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control
language:
Short-container-title:

Author:

Guo Xiao¹^ORCID,Zhao Jianhua¹^ORCID,Bu Lei¹^ORCID

Affiliation:

1. State Key Laboratory for Novel Software Technology, Nanjing University, China

Funder

Fundamental Research Funds for the Central Universities

Leading-edge Technology Program of Jiangsu Natural Science Foundation

National Natural Science Foundation of China

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3641513.3650138

Reference40 articles.

1. Assalé Adjé and Pierre-Loïc Garoche. 2015. Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs. In Verification, Model Checking, and Abstract Interpretation (Mumbai, India), Deepak D’Souza, Akash Lal, and Kim Guldstrand Larsen (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 99–116.

2. VeriAbs : Verification by Abstraction and Test Generation

3. A near-optimal subdivision algorithm for complex root isolation based on the Pellet test and Newton iteration

4. Dirk Beyer. 2022. Progress on Software Verification: SV-COMP 2022. In Tools and Algorithms for the Construction and Analysis of Systems (Munich, Germany), Dana Fisman and Grigore Rosu (Eds.). Springer International Publishing, Cham, 375–402.

5. Dirk Beyer, Thomas A. Henzinger, and Grégory Théoduloz. 2007. Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis. In Computer Aided Verification (Berlin, Germany), Werner Damm and Holger Hermanns (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 504–518.