, Require: Stack = X, Stack in , Stack out , Formula while Stack =
DynIBEX: a Differential Constraint Library for Studying Dynamical Systems, Conference on Hybrid Systems: Computation and Control, 2016. ,
Constraint-Based Framework for Reasoning with Differential Equations, Cyber-Physical Systems Security, pp.23-41, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01954764
Including ode based constraints in the standard CP framework, Principles and Practice of Constraint Programming, vol.6308, pp.221-235, 2010. ,
, Applied Interval Analysis, 2001.