Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Formal Modeling and Analysis of Hybrid Systems in Rewriting Logic using Higher-Order Numerical
 

Summary: Formal Modeling and Analysis of Hybrid Systems
in Rewriting Logic using Higher-Order Numerical
Methods and Discrete-Event Detection
Muhammad Fadlisyah
University of Oslo, Norway
Peter Csaba ¨Olveczky
University of Oslo, Norway
Erika ´Abrah´am
RWTH Aachen University, Germany
Abstract--In previous work, we proposed a methodology for
the formal modeling, simulation, and model checking of interact-
ing hybrid systems in the rewriting-logic-based Real-Time Maude
tool. In that effort/flow-inspired methodology, both the physical
components and their interactions are explicitly modeled, so that
one only needs to describe the dynamics of single components
and interactions, instead of having to perform the hard task of
defining the continuous dynamics of the entire system.
We previously used the Euler method to approximate the
continuous dynamics defined by ordinary differential equations
(ODEs). This paper explains (i) how we adapt, and then formalize

  

Source: Ábrahám, Erika - Fachgruppe Informatik, Rheinisch Westfälische Technische Hochschule Aachen (RWTH)

 

Collections: Computer Technologies and Information Sciences