Scenarios are powerful tools to model and analyze software systems. However, since they do not provide a complete description of the system, but just some possible execution paths,...
Successful applications of digital libraries require structured access to sources of information. This paper presents an approach to extract the logical structure of text document...
In a number of industrial, space, or mobile systems applications, reaction forces and moments transmitted by a manipulator to its base are undesirable. Based on force and moment t...
We focus on control systems in which sensors send data to actuators via a bus shared with other applications. An approach is proposed for specifying and implementing dynamic schedu...
Gera Weiss, Sebastian Fischmeister, Madhukar Anand...
Abstract—Developing autonomous systems that patrol environments for detecting intruders is a topic of increasing relevance in security applications. An important aspect of these ...