Stefan Resmerita

Learn More
This note investigates conditions for existence of Zeno behaviors (where a system undergoes an unbounded number of discrete transitions in a finite length of time) in a class of hybrid systems. Zeno behavior occurs, for example, when a controller unsuccessfully attempts to satisfy an invariance specification by switching the system among different(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)
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)
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)
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 and(More)
Locks are mechanical fastening devices used on various kinds of objects like doors and vehicles, and they can be released using a certain type of key. They have a long history, from wood-made Egyptian keys to electronic keys as they are common nowadays, and they are mostly restricted to the basic functionality of selecting one of two states (e.g. locked or(More)
The paper presents an agent based framework for control of conflict-free scheduling and spacing of airport arrival and approach traffic. The proposed tool incorporates a multi-agent conflict-resolution algorithm that guarantees to arriving aircraft safe approach trajectories, and a dynamic prioritization mechanism that aids in efficient utilization of the(More)
This paper presents a novel paradigm for universal remote control of devices, where universality refers to the ability to control multiple devices with the same control artefact. Here, a device represents a physical appliance offering a set of services to the end user. Based on a tangible user interface approach, control actions are exerted by simple and(More)