Sciweavers

3823 search results - page 265 / 765
» Stability of Hybrid Systems
Sort
View
FORMATS
2003
Springer
15 years 12 months ago
On Timing Analysis of Combinational Circuits
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...
Ramzi Ben Salah, Marius Bozga, Oded Maler
ICANN
1997
Springer
15 years 10 months ago
Minimalistic Approach to 3D Obstacle Avoidance Behavior from Simulated Evolution
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&...
SIAMCO
2008
87views more  SIAMCO 2008»
15 years 6 months ago
Homogeneous Approximation, Recursive Observer Design, and Output Feedback
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
187
Voted
CASCON
1996
111views Education» more  CASCON 1996»
15 years 8 months ago
A hybrid process for recovering software architecture
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 ...
Vassilios Tzerpos, Richard C. Holt
ICDAR
2007
IEEE
16 years 28 days ago
Hybrid Mathematical Symbol Recognition Using Support Vector Machines
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...
Birendra Keshari, Stephen M. Watt