Compositional heterogeneous abstraction

DOI10.1145/2461328.2461368MaRDI QIDQ2986931zbMATH OpenOpenAlexFDO

Authors Akshay Rajhans, Bruce H. Krogh

Publication date 16 May 2017

Published in Proceedings of the 16th international conference on Hybrid systems: computation and control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2461328.2461368

zbMATH Keywords

compositional reasoningheterogneous verification

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 2085342
• Semantic integration of heterogeneous software specifications.
• Compositional abstractions of hybrid control systems
• Heterogeneous verification of cyber-physical systems using behavior relations
• Compositional cyber-physical systems modeling

Cites work

• A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
• A note on two problems in connexion with graphs
• Controlling a Class of Nonlinear Systems on Rectangles
• Diagnostic Information for Realizability
• Enhancing model checking in verification by AI techniques
• scientific article; zbMATH DE number 5595151 (Why is no real title available?)
• scientific article; zbMATH DE number 2080065 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• Markov decision processes and regular events
• Model repair for probabilistic systems
• Receding horizon control for temporal logic specifications

Cited in

(3)

• Heterogeneous verification of cyber-physical systems using behavior relations
• scientific article; zbMATH DE number 3909717 (Why is no real title available?)
• Compositional cyber-physical systems modeling

This page was built for publication: Compositional heterogeneous abstraction

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