Automatic Verification of Finite Precision Implementations of Linear Controllers (original) (raw)
Related papers
Scalable Verification of Linear Controller Software
Lecture Notes in Computer Science, 2016
Automatic verification of linear controller software
2015 International Conference on Embedded Software (EMSOFT), 2015
Automatic verification of control system implementations
2010
Static Analysis of the Accuracy in Control Systems: Principles and Experiments
Lecture Notes in Computer Science, 2008
Robustness Analysis of Finite Precision Implementations
Lecture Notes in Computer Science, 2013
Verification of Numerical Programs: From Real Numbers to Floating Point Numbers
Lecture Notes in Computer Science, 2013
Synthesis of minimal-error control software
Proceedings of the tenth ACM international conference on Embedded software - EMSOFT '12, 2012
PVS Linear Algebra Libraries for Verification of Control Software Algorithms in C/ACSL
Lecture Notes in Computer Science, 2012
Quantized Feedback Control Software Synthesis from System Level Formal Specifications
2011
Some future challenges in the validation of control systems
Equivalence Checking of a Floating-Point Unit Against a High-Level C Model
Lecture Notes in Computer Science, 2016
Symbolic execution of floating-point computations
Software Testing, Verification and Reliability, 2006
Proving the Correctness of the Implementation of a Control-Command Algorithm
2009
Verification of fixed-point digital controllers using direct and delta forms realizations
Design Automation for Embedded Systems, 2016
2014 Brazilian Symposium on Computing Systems Engineering, 2014
Automatic Synthesis of Robust Numerical Controllers
Third International Conference on Autonomic and Autonomous Systems (ICAS'07), 2007
Automatic and Verifiable Synthesis of Implementations from Mathematical Models
2009
SMT-based bounded model checking of fixed-point digital controllers
2014
Design Verification for Control Engineering
Lecture Notes in Computer Science, 2004
Dejanira Araiza Illan, Kerstin Eder
Using model checking with symbolic execution to verify parallel numerical programs
2006
Robustness analysis for the certification of digital controller implementations
Proceedings of the 1st ACM/IEEE International …, 2010
A novel verification technique for control units
2013
Verifying digital systems with MATLAB
Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis
Exploiting Binary Floating-Point Representations for Constraint Propagation
INFORMS Journal on Computing, 2016
Towards a constraint system for round-off error analysis of floating-point computation
HAL (Le Centre pour la Communication Scientifique Directe), 2018
A unified Coq framework for verifying C programs with floating-point computations
Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, 2016
Auto-active Verification of Floating-point Programs via Nonlinear Real Provers
arXiv (Cornell University), 2022
Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter
Lecture Notes in Computer Science, 2002
Overflow and Roundoff Error Analysis via Model Checking
2009 Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009