Sciweavers

3823 search results - page 655 / 765
» Stability of Hybrid Systems
Sort
View
140
Voted
EMSOFT
2006
Springer
15 years 8 months ago
Time-triggered implementations of dynamic controllers
Bridging the gap between model-based design and platformbased implementation is one of the critical challenges for embedded software systems. In the context of embedded control sy...
Truong Nghiem, George J. Pappas, Rajeev Alur, Anto...
114
Voted
CDC
2009
IEEE
156views Control Systems» more  CDC 2009»
15 years 9 months ago
The nullspace method - a unifying paradigm to fault detection
— The nullspace method is a powerful framework to solve the synthesis problem of fault detection filters in the most general setting. It is also well suited to address the least...
András Varga
ICPR
2004
IEEE
16 years 5 months ago
Fusion of Vision, 3D Gyro and GPS for Camera Dynamic Registration
This paper presents a novel framework of hybrid camera pose tracking system for outdoor navigation system. Traditional vision based or inertial sensor based solutions are mostly d...
Francisco Lamosa, Hanqing Lu, Keiichi Uchimura, Zh...
DAC
2007
ACM
16 years 5 months ago
Program Mapping onto Network Processors by Recursive Bipartitioning and Refining
Mapping packet processing applications onto embedded network processors (NP) is a challenging task due to the unique constraints of NP systems and the characteristics of network a...
Jia Yu, Jingnan Yao, Jun Yang 0002, Laxmi N. Bhuya...
CADE
2005
Springer
16 years 4 months ago
Temporal Logics over Transitive States
Abstract. We investigate the computational behaviour of `two-dimensional' propositional temporal logics over (N, <) (with and without the next-time operator ?) that are cap...
Boris Konev, Frank Wolter, Michael Zakharyaschev