Event-B refinement for continuous behaviours approximation

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

Neeraj Kumar Singh, Yamine Ait-Ameur, 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 systemsapproximationrefinementEvent-B

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Uses Software

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

Cites Work

• Unnamed Item
• Unnamed Item
• Flow*
• The algorithmic analysis of hybrid systems
• Approximate simulation relations for hybrid systems
• What's decidable about hybrid automata?
• Trusting computations: a mechanized proof from partial differential equations to actual program
• Practical Theory Extension in Event-B

This page was built for publication: Event-B refinement for continuous behaviours approximation