Event-B refinement for continuous behaviours approximation

DOI10.1007/978-3-030-88885-5_21zbMath1497.68295MaRDI QIDQ2147212

Yamine Ait-Ameur, Neeraj Kumar Singh, Guillaume Dupont, Marc Pantel

Publication date: 22 June 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-88885-5_21

zbMATH Keywords

hybrid systems; approximation; refinement; Event-B

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

93C30: Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems)

Uses Software

• MATISSE
• Rodin
• d/dt
• SpaceEx
• Flow*

Cites Work

• Flow*