A Rewriting-Logic-Based Technique for Modeling Thermal Systems

Details A Rewriting-Logic-Based Technique for Modeling Thermal Systems A Rewriting-Logic-Based Technique for Modeling Thermal Systems

2010-09-22

arxiv.org/abs/1009.4263v1

EPTCS 36, 2010, pp. 82-100

Computer Science

Logic in Computer Science

In Proceedings RTRTS 2010, arXiv:1009.3982

Scientific paper

10.4204/EPTCS.36.5

This paper presents a rewriting-logic-based modeling and analysis technique for physical systems, with focus on thermal systems. The contributions of this paper can be summarized as follows: (i) providing a framework for modeling and executing physical systems, where both the physical components and their physical interactions are treated as first-class citizens; (ii) showing how heat transfer problems in thermal systems can be modeled in Real-Time Maude; (iii) giving the implementation in Real-Time Maude of a basic numerical technique for executing continuous behaviors in object-oriented hybrid systems; and (iv) illustrating these techniques with a set of incremental case studies using realistic physical parameters, with examples of simulation and model checking analyses.

Affiliated with

Also associated with

No associations

Rating

A Rewriting-Logic-Based Technique for Modeling Thermal Systems does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A Rewriting-Logic-Based Technique for Modeling Thermal Systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Rewriting-Logic-Based Technique for Modeling Thermal Systems will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-637548