IPL: an integration property language for multi-model cyber-physical systems

DOI10.1007/978-3-319-95582-7_10MaRDI QIDQ2024345zbMATH OpenOpenAlexFDO

Authors Ivan Ruchkin, Joshua Sunshine, Grant Iraci, Bradley Schmerl, David Garlan

Publication date 4 May 2021

Full work available at URL https://doi.org/10.1007/978-3-319-95582-7_10

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Artificial intelligence for robotics (68T40)

Recommendations

• Heterogeneous verification of cyber-physical systems using behavior relations
• scientific article; zbMATH DE number 6719346
• A co-modelling approach for cyber-physical systems with SysML/MARTE/pCCSL
• ModelPlex: verified runtime validation of verified cyber-physical system models
• Constructing Property-Oriented Models for Verification

Cites work

• scientific article; zbMATH DE number 3148886 (Why is no real title available?)
• scientific article; zbMATH DE number 52331 (Why is no real title available?)
• scientific article; zbMATH DE number 1409638 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems
• Combined model checking for temporal, probabilistic, and real-time logics
• Communicating sequential processes
• Decision procedures. An algorithmic point of view. With foreword by Randal E. Bryant
• Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics
• Heterogeneous verification of cyber-physical systems using behavior relations
• IPL: an integration property language for multi-model cyber-physical systems
• Modeling in Event B. System and software engineering.
• Quantified CTL: expressiveness and model checking (extended abstract)
• Simplification by Cooperating Decision Procedures
• Solving SAT and SAT modulo theories, from an abstract Davis-Putnam-Logemann-Loveland procedure to \(\operatorname{DPLL}(T)\)
• Stochastic model checking
• Supporting Heterogeneity in Cyber-Physical Systems Architectures
• The classical decision problem.

Cited in

(1)

• IPL: an integration property language for multi-model cyber-physical systems

This page was built for publication: IPL: an integration property language for multi-model cyber-physical systems

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