Static Analysis of the Accuracy in Control Systems: Principles and Experiments

This publication has 11 references indexed in Scilit:

• Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic
  Published by Springer Nature ,2007
• Static Analysis by Policy Iteration on Relational Domains
  Published by Springer Nature ,2007
• Efficient chaotic iteration strategies with widenings
  Published by Springer Nature ,2006
• Static Analysis of Numerical Algorithms
  Published by Springer Nature ,2006
• A static analyzer for large safety-critical software
  Published by Association for Computing Machinery (ACM) ,2003
• Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software
  Published by Springer Nature ,2002
• Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter
  Published by Springer Nature ,2002
• Abstract interpretation by dynamic partitioning
  Journal of Functional Programming, 1992
• Abstract Interpretation Frameworks
  Journal of Logic and Computation, 1992
• A flexible approach to interprocedural data flow analysis and programs with recursive data structures
  Published by Association for Computing Machinery (ACM) ,1982