Extending the Real-Time Maude Semantics of Ptolemy to Hierarchical DE Models

Kyungmin Bae, Peter Csaba Ölveczky

This paper extends our Real-Time Maude formalization of the semantics of flat Ptolemy II discrete-event (DE) models to hierarchical models, including modal models. This is a challe…