A formal framework for Hybrid Event B

DOI10.1016/J.ENTCS.2014.12.002MaRDI QIDQ2520616zbMATH OpenOpenAlexWikidataFDO

Authors Jie Liu, Jing Liu

Publication date 16 December 2016

Full work available at URL https://doi.org/10.1016/j.entcs.2014.12.002

zbMATH Keywords

hybrid systemsdifferential dynamic logiccontinuous refinementEvent B

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Recommendations

• A modeling strategy for hybrid systems based on event structures
• A Formal Framework for Complex Event Processing
• Reachability analysis and simulation for hybridised Event-B models

Cites work

• scientific article; zbMATH DE number 1301613 (Why is no real title available?)
• scientific article; zbMATH DE number 1303073 (Why is no real title available?)
• scientific article; zbMATH DE number 605917 (Why is no real title available?)
• Differential dynamic logic for hybrid systems
• Differential-algebraic Dynamic Logic for Differential-algebraic Programs
• Hybrid action systems
• Logical analysis of hybrid systems. Proving theorems for complex dynamics.
• Modeling in Event B. System and software engineering.
• The Image Computation Problem in Hybrid Systems Model Checking
• The algorithmic analysis of hybrid systems

Cited in

(6)

• Developing a new language to construct algebraic hierarchies for Event-B
• Pliant modalities in hybrid Event-B
• An institution for Event-B
• Hybrid dynamic logic institutions for event/data-based systems
• Modeling numerical programs with Event-B
• A hybrid dynamic logic for event/data-based systems

Describes a project that uses

Uses Software

• Z
• Rodin

This page was built for publication: A formal framework for Hybrid Event B

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2520616)