Reachability analysis and simulation for hybridised Event-B models

DOI10.1007/978-3-031-07727-2_7zbMath1502.68175OpenAlexW4285281393MaRDI QIDQ2165506

Yamine Ait-Ameur, Paulius Stankaitis, Sergiy Bogomolov, Neeraj Kumar Singh, Guillaume Dupont

Publication date: 19 August 2022

Full work available at URL: https://doi.org/10.1007/978-3-031-07727-2_7

zbMATH Keywords

hybrid systemsformal verificationreachability analysisEvent-BSimulink

Mathematics Subject Classification ID

Control/observation systems involving computers (process control, etc.) (93C83) 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)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Statecharts: a visual formalism for complex systems
• Practical Theory Extension in Event-B
• Julia: A Fresh Approach to Numerical Computing
• Formal Verification of Simulink/Stateflow Diagrams
• KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)
• JuliaReach
• Hybrid Systems: Computation and Control
• Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B

This page was built for publication: Reachability analysis and simulation for hybridised Event-B models