In this paper we report some progress in applying timed automata technology to large-scale problems. We focus on the problem of finding maximal stabilization time for combinationa...
We present a minimalistic approach to establish obstacle avoidance and course stabilization behavior of a simulated flying autonomous agent in a 3D virtual world. The agent uses v...
Titus R. Neumann, Susanne A. Huber, Heinrich H. B&...
We introduce two new tools that can be useful in nonlinear observer and output feedback design. The first one is a simple extension of the notion of homogeneous approximation to ma...
Vincent Andrieu, Laurent Praly, Alessandro Astolfi
A large portion of the software used in industry today is legacy software. Legacy systems often evolve into dicult to maintain systems whose original design has been lost or else ...
Recognition of mathematical symbols is a challenging task, with a large set with many similar symbols. We present a support vector machine based hybrid recognition system that use...