A global constraint for over-approximation of real-time streams

DOI10.1007/s10601-017-9268-zzbMath1387.90206OpenAlexW2618142911MaRDI QIDQ1699526

Anicet Bart, Charlotte Truchet, Eric Monfroy

Publication date: 23 February 2018

Published in: Constraints (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10601-017-9268-z

zbMATH Keywords

verificationglobal constraintconstraint modelingblock-diagrams

Mathematics Subject Classification ID

Combinatorial optimization (90C27)

Uses Software

• LUSTRE

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Upper bounding in inner regions for global optimization under inequality constraints
• Principles and practice of constraint programming -- CP 2011. 17th international conference, CP 2011, Perugia, Italy, September 12--16, 2011. Proceedings
• ``A la Burstall intermittent assertions induction principles for proving inevitability properties of programs
• Contractor programming
• Syntactical and semantical aspects of Faust
• Networks of constraints: Fundamental properties and applications to picture processing
• The essence of constraint propagation
• A Constraint Solver Based on Abstract Domains
• An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming
• Applying interval arithmetic to real, integer, and boolean constraints
• Abstract Interpretation Frameworks

This page was built for publication: A global constraint for over-approximation of real-time streams