Sciweavers

4078 search results - page 183 / 816
» The COMPASS Location System
Sort
View
HYBRID
2004
Springer
15 years 10 months ago
On O-Minimal Hybrid Systems
This paper is driven by a general motto: bisimulate a hybrid system by a finite symbolic dynamical system. In the case of o-minimal hybrid systems, the continuous and discrete com...
Thomas Brihaye, Christian Michaux, Cédric R...
HYBRID
1999
Springer
15 years 9 months ago
A New Class of Decidable Hybrid Systems
Abstract. One of the most important analysis problems of hybrid systems is the reachability problem. State of the art computational tools perform reachability computation for timed...
Gerardo Lafferriere, George J. Pappas, Sergio Yovi...
ICRA
2007
IEEE
124views Robotics» more  ICRA 2007»
15 years 11 months ago
Monitoring of a Class of Timed Discrete Events Systems
— This paper extends the notion of residuals for fault detection, well known in the continuous system to the timed discrete events systems. The aim is to design the fault indicat...
Adib Allahham, Hassane Alla
ICVS
2009
Springer
15 years 11 months ago
Open-Set Face Recognition-Based Visitor Interface System
This work presents a real-world, real-time video-based open-set face recognition system. The system has been developed as a visitor interface, where a visitor looks at the monitor ...
Hazim Kemal Ekenel, Lorant Szasz-Toth, Rainer Stie...
CSMR
2006
IEEE
15 years 10 months ago
Scenario-Driven Dynamic Analysis for Comprehending Large Software Systems
Understanding large software systems is simplified when a combination of techniques for static and dynamic analysis is employed. Effective dynamic analysis requires that executio...
Maher Salah, Spiros Mancoridis, Giuliano Antoniol,...