Cited By
View all- Guo XZhao JBu L(2024)Poles-based Invariant Generation for Verifying the BIBO Stability of Digital FiltersProceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control10.1145/3641513.3650138(1-12)Online publication date: 14-May-2024
- Abate ABessa ICordeiro LDavid CKesseli PKroening DPolgreen E(2019)Automated formal synthesis of provably safe digital controllers for continuous plantsActa Informatica10.1007/s00236-019-00359-1Online publication date: 6-Dec-2019
- Davy GGarion CGaroche PRoux PThirioux X(2018)Preserving Functional Correctness of Cyber-Physical System Controllers: From Model to Code2018 Forum on Specification & Design Languages (FDL)10.1109/FDL.2018.8524044(5-16)Online publication date: Sep-2018
- Show More Cited By