A survey of timed automata for the development of real-time systems
Timed automata are a popular formalism to model real-time systems. They were introduced
two decades ago to support formal verification. Since then they have also been used for …
two decades ago to support formal verification. Since then they have also been used for …
A quantum-like intellect: celebrating the profound impact of Tiziana Margaria, professor and friend
C Seceleanu - The Combined Power of Research, Education, and …, 2024 - Springer
It is not often that someone possesses qualities akin to those found in quantum phenomena,
such as cleverness and quick reactions. Hence, I consider myself privileged that I have met …
such as cleverness and quick reactions. Hence, I consider myself privileged that I have met …
A stochastic model-based approach to analyse reliable energy-saving rail road switch heating systems
D Basile, S Chiaradonna, F Di Giandomenico… - Journal of Rail Transport …, 2016 - Elsevier
Rail road switch heaters are used to avoid the formation of snow and ice on top of rail road
switches during the cold season, in order to guarantee their correct functioning. Effective …
switches during the cold season, in order to guarantee their correct functioning. Effective …
3-D object recognition using MEGI model from range data
H Matsuo, A Iwata - … of 12th International Conference on Pattern …, 1994 - ieeexplore.ieee.org
Description and recognition of objects is the central considerations of research on computer
vision. The key issue is how to represent 3D objects on a machine for recognizing them …
vision. The key issue is how to represent 3D objects on a machine for recognizing them …
[PDF][PDF] Timed automata for the development of real-time systems
Timed automata are a popular formalism to model real-time systems. They were introduced
two decades ago to support formal verification. Since then they have also been used for …
two decades ago to support formal verification. Since then they have also been used for …
Pride-an environment for component-based development of distributed real-time embedded systems
Settling down the software architecture for embedded system is a complex and time
consuming task. Specific concerns that are generally issued from implementation details …
consuming task. Specific concerns that are generally issued from implementation details …
On nonlinear prices in timed automata
Priced timed automata provide a natural model for quantitative analysis of real-time systems
and have been successfully applied in various scheduling and planning problems. The …
and have been successfully applied in various scheduling and planning problems. The …
A unified approach for online and offline estimation of sensor platform energy consumption
M Buschhoff, C Günter… - 2012 8th International …, 2012 - ieeexplore.ieee.org
To minimize the power consumption of energy-constrained systems, energy-models are
used to make design decisions and to optimize program code. Usually, energy models for …
used to make design decisions and to optimize program code. Usually, energy models for …
[PDF][PDF] Adding support for hardware devices to component models for embedded systems
Component-based development promises many improvements in developing software for
embedded systems, eg, greater reuse of once written software, less error-prone …
embedded systems, eg, greater reuse of once written software, less error-prone …
Distributed energy management case study: A formal approach to analyzing utility functions
The service-oriented paradigm has been established to enable quicker development of new
applications from already existing services. Service negotiation is a key technique to provide …
applications from already existing services. Service negotiation is a key technique to provide …