most citedFormalizing Cyber--Physical System Model Transformation via Abstract Interpretation

1 citations · 1 across the 3 of their papers we have counts for

collaborators
Showing eess.SYShow all

2 papers · 1 filter

eess.SY2019

Towards Refinement and Generalization of Reliability Models Based on Component States

Natasha Jarus, Sahra Sedigh Sarvestani, Ali R. Hurson

Complex system design often proceeds in an iterative fashion, starting from a high-level model and adding detail as the design matures. This process can be assisted by metamodeling…

eess.SY2019★ 1 cited

Formalizing Cyber--Physical System Model Transformation via Abstract Interpretation

Natasha Jarus, Sahra Sedigh Sarvestani, Ali Hurson

Model transformation tools assist system designers by reducing the labor--intensive task of creating and updating models of various aspects of systems, ensuring that modeling assum…