Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps

Hansen, Simon Thrane; Thule, Casper; Gomes, Cláudio; Pol, Jaco van de; Palmieri, Maurizio; Inci, Emin Oguz; Madsen, Frederik; Alfonso, J.; Castellanos, José Angel; Rodrı́guez, José M.

doi:10.1007/s10009-022-00686-8

Cited by 4 publications

(2 citation statements)

References 26 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In the future, Belo Lourenço et al (2022) would like to improve the counterexample generation of their tool and augment the trust in translation from Ladder Logic to WhyML by developing a systematic and automatic validation process. Hansen et al (2022) plan to formalize the FMI 3.0 standard, integrate the Scenario-Verifier with other orchestration engines, and examine whether it is possible to synthesize an optimal orchestration algorithm for a given co-simulation scenario. Kiviriga et al (2022) intend to further investigate methods to improve efficiency (tokenized, coverage-based, and guided methods) and to enhance user experience (through automatic sanity checks).…”

Section: Discussionmentioning

confidence: 99%

“…The paper Verification and Synthesis of Co-Simulation Algorithms Subject to Algebraic Loops and Adaptive Steps, by Hansen et al (2022) presents an approach to synthesize and verify orchestration algorithms for co-simulation scenarios of complex systems with algebraic loops, step rejections, adaptive couplings, and reactivity constraints. Such an approach is particularly useful for Cyber-Physical systems (CPSs), which are becoming increasingly complex.…”

Section: Selected Papersmentioning

confidence: 99%

See 1 more Smart Citation

Formal methods and tools for industrial critical systems

Lafuente¹,

Mavridou

2022

Int J Softw Tools Technol Transfer

View full text Add to dashboard Cite

General rightsCopyright and moral rights for the publications made accessible in the public portal are retained by the authors and/or other copyright owners and it is a condition of accessing publications that users recognise and abide by the legal requirements associated with these rights. Users may download and print one copy of any publication from the public portal for the purpose of private study or research.  You may not further distribute the material or use it for any profit-making activity or commercial gain  You may freely distribute the URL identifying the publication in the public portal If you believe that this document breaches copyright please contact us providing details, and we will remove access to the work immediately and investigate your claim.

show abstract

Section: Discussionmentioning

confidence: 99%

Section: Selected Papersmentioning

confidence: 99%