The HI-maude tool. In complex hybrid systems, different components may influence each others’ continuous behaviors. HI-Maude is a rewriting-logic-based tool that supports an object-oriented modeling methodology in which it is sufficient to specify the continuous dynamics of single (physical component and physical interaction) objects in such interacting hybrid systems. HI-Maude supports simulation and model checking for a number of numerical approximations of the continuous behaviors, based on adaptations of the Euler and the Runga-Kutta methods.

References in zbMATH (referenced in 4 articles , 1 standard article )

Showing results 1 to 4 of 4.
Sorted by year (citations)

  1. Martí-Oliet, Narciso; Ölveczky, Peter Csaba; Talcott, Carolyn: José Meseguer: scientist and friend extraordinaire (2015)
  2. Fadlisyah, Muhammad; Ölveczky, Peter Csaba: The HI-maude tool (2013) ioport
  3. Fadlisyah, Muhammad; Ölveczky, Peter Csaba; Ábrahám, Erika: Formal modeling and analysis of human body exposure to extreme heat in HI-Maude (2012) ioport
  4. Fadlisyah, Muhammad; Ölveczky, Peter Csaba; Ábrahám, Erika: Object-oriented formal modeling and analysis of interacting hybrid systems in HI-Maude (2011) ioport