English
Related papers

Related papers: A Rewriting-Logic-Based Technique for Modeling The…

200 papers

The analysis of cyber-physical systems (CPS) is challenging due to the large state space and the continuous changes occurring in their constituent parts. Design practices favor modularity to help reducing this complexity. In a previous…

Logic in Computer Science · Computer Science 2022-08-03 Benjamin Lion , Farhad Arbab , Carolyn Talcott

An equation based reduced order model applicable to generalized heat equation and thermal simulations of power electronics systems developed in commercial CFD tools, is presented in this work. The model considers the physics of heat…

Numerical Analysis · Mathematics 2024-04-26 Neelakantan Padmanabhan

Mimicking vascular systems in living beings, designers have realized microvascular composites to achieve thermal regulation and other functionalities, such as electromagnetic modulation, sensing, and healing. Such material systems avail…

Numerical Analysis · Mathematics 2024-01-30 Kalyana B. Nakshatrala

The purpose of this paper is two-fold. First, to make clear (and de-mystify) the basic concepts of classical thermodynamics, and thus to enable the integration of thermodynamics within systems modeling and control. Second, to demonstrate…

Optimization and Control · Mathematics 2020-10-12 Arjan van der Schaft

Building energy modeling plays a vital role in optimizing the operation of building energy systems by providing accurate predictions of the building's real-world conditions. In this context, various techniques have been explored, ranging…

Systems and Control · Electrical Eng. & Systems 2025-04-24 Leandro Von Krannichfeldt , Kristina Orehounig , Olga Fink

The detailed knowledge of the inner skin temperature behavior is very important to evaluate and manage the aging of large pipes in cooling systems. We describe here a method to obtain this information as a function of outer skin temperature…

Computational Physics · Physics 2014-04-30 Jean-Philippe Argaud , Bertrand Bouriquet , Aimery Assire , Stéphane Gervais

A theory of temperature dynamics in many-body systems driven by time-dependent external sources is introduced. The formalism based on the combination of the perturbation theory and the fluctuational-electrodynamics approach in many-body…

Mesoscale and Nanoscale Physics · Physics 2021-07-14 Alireza Naeimi , Moladad Nikbakht

Structural system identification in the presence of thermal loads is challenging, as unmeasured or poorly modeled thermal effects can mask or mimic damage, leading to unreliable conclusions. This work presents an optimization-driven,…

Optimization and Control · Mathematics 2026-03-11 Talhah Shamshad Ali Ansari , Suneth Warnakulasuriya , Ihar Antonau , Harbir Antil , Rainald Löhner , Roland Wüchner

The designer's preoccupation to reduce the energy needs and get a better thermal quality of ambiances helped in the development of several packages simulating the dynamic behaviour of buildings. This paper shows the adaptation of a method…

Computational Engineering, Finance, and Science · Computer Science 2012-12-26 H. Boyer , J. P. Chabriat , B. Grondin-Perez , C. Tourrand , J. Brau

This paper proposes a higher-order multiscale computational method for nonlinear thermo-electric coupling problems of composite structures, which possess temperature-dependent material properties and nonlinear Joule heating. The innovative…

Numerical Analysis · Mathematics 2025-01-24 Hao Dong , Zongze Yang , Yufeng Nie

Human-in-the-loop topic modelling incorporates users' knowledge into the modelling process, enabling them to refine the model iteratively. Recent research has demonstrated the value of user feedback, but there are still issues to consider,…

Computation and Language · Computer Science 2023-04-05 Zheng Fang , Lama Alqazlan , Du Liu , Yulan He , Rob Procter

As processor performance advances, increasing power densities and complex thermal behaviors threaten both energy efficiency and system reliability. This survey covers more than two decades of research on power and thermal modeling and…

Systems and Control · Electrical Eng. & Systems 2025-08-08 David Atienza , Kai Zhu , Darong Huang , Luis Costero

Recovering the past from present observations is an intriguing challenge with potential applications in forensics and scene analysis. Thermal imaging, operating in the infrared range, provides access to otherwise invisible information.…

Computer Vision and Pattern Recognition · Computer Science 2026-05-13 Kebin Contreras , Luis Toscano-Palomino , Mauro Dalla Mura , Jorge Bacca

This work builds on the previous introduction [1] of a coupled experimental-computational system devised to fully characterize the thermal behavior of complex 3D submicron electronic devices. The new system replaces the laser-based surface…

Materials Science · Physics 2007-09-13 Peter E. Raad , Pavel L. Komarov , M. Burzo

Temperature field reconstruction of heat source systems (TFR-HSS) with limited monitoring sensors occurred in thermal management plays an important role in real time health detection system of electronic equipment in engineering. However,…

Machine Learning · Computer Science 2023-01-04 Xiaoqian Chen , Zhiqiang Gong , Xiaoyu Zhao , Weien Zhou , Wen Yao

Cyber-Physical Systems (CPS) are systems controlled by one or more computer-based components tightly integrated with a set of physical components, typically described as sensors and actuators, that can either be directly attached to the…

Logic in Computer Science · Computer Science 2018-03-09 Andre Metelo , Christiano Braga , Diego Brandão

This document explores the potential of quantum computing in Thermal Science. Conceived as a living document, it will be continuously updated with experimental findings and insights for the research community in Thermal Science. By…

Logic is playing an increasingly important role in the engineering of real-time, hybrid, and cyber-physical systems, but mostly in the form of posterior verification and high-level analysis. The core methodology in the design of real-world…

Logic in Computer Science · Computer Science 2014-09-16 Sicun Gao

In this work, a thermal energy transfer problem in a one-dimensional multilayer body is theoretically analyzed, considering diffusion, advection, internal heat generation or loss linearly dependent on temperature in each layer, as well as…

Fluid Dynamics · Physics 2025-01-16 Guillermo Federico Umbricht , Domingo Alberto Tarzia , Diana Rubio

This paper is a survey of extensions to finite automata theory to model real-time systems as well as systems exhibiting mixed discrete-continuous behavior. Real-time systems maintain a continuous and timely interaction with the environment,…

Formal Languages and Automata Theory · Computer Science 2018-11-27 Lakhan Shiva Kamireddy