Logical Differential Constraints Based on Interval Boolean Tests

von Sandretto, Julien Alexandre dit
Veröffentlicht in International Fuzzy Systems Association (2019 : Lafayette, La.) Fuzzy techniques (2019)

Cosimulation-Based Control Synthesis

von Coënt, Adrien Le
Veröffentlicht in ASYDE (2. : 2020 : Online) Software engineering and formal methods (2021)

Guaranteed Simulation of Dynamical Systems with Integral Constraints and Application on Delayed Dynamical Systems

von Rousse, Paul
Veröffentlicht in CyPhy (9. : 2019 : New York, NY) Cyber physical systems (2020)

Summer Workshop on Interval Methods

Veröffentlicht 2021