Stefan Resmerita

Learn More
In this note, the design and analysis of a robust isolation scheme for sensor faults of a class of nonlinear uncertain systems has been presented. A theoretical analysis about the stability, learning, and isola-bility properties of the FDI algorithm has been developed. The fault isolation decision scheme is designed based on some adaptive thresholds , which(More)
Orientation sensing is considered an important means to implement embedded technology enhanced artifacts (often referred to as 'smart artifacts'), exhibiting embodied means of interaction based on their position, orientation, and the respective dynamics. Considering artifacts subject to manual (or 'by-hand') manipulation by the user, we identify hand worn,(More)
—Various programming models for embedded, time-triggered software employ the logical execution time (LET) abstraction in order to achieve time-and value-determinism. In these models, the application software is partitioned into tasks and a LET is associated with every task. In every execution, a task reads input values at the beginning of the LET and writes(More)
Pervasive computing has postulated to invisibly integrate technology into everyday objects in such a way, that these objects turn into smart things. Not only a single object of this kind is supposed to represent the interface among the ''physical world'' of atoms and the ''digital world'' of bits, but a whole landscapes of them. The interaction with such(More)
Pervasive Computing has postulated to invisibly integrate technology into everyday objects in such a way, that these objects turn into smart things. Not only a single object of this kind is supposed to represent the interface among the " physical world " of atoms and the " digital world " of bits, but a whole landscapes of them. The interaction among humans(More)
Automotive architectures today consist of up to 100 electronic control units (ECUs) that communicate via one or more FlexRay and CAN buses. Multiple control applications - like cruise control, brake control, etc. are specified as Simulink/Stateflow models, from which code is generated and mapped onto the different ECUs. In addition, scheduling policies and(More)
This paper presents an approach for incrementally adjusting the timing behavior of legacy real-time software according to explicit timing specifications expressed in the Timing Definition Language (TDL). The primary goal of such a migration is to achieve predictable timing behavior, which enables application of formal verification methods to the legacy(More)
Most of the existing modeling tools and frameworks for embedded applications use levels of abstraction where execution and communication times of computational tasks are not captured. Thus, properties such as time and value determinism can be lost when refining the model closer to a target platform. The Logical Execution Time (LET) paradigm has been(More)