Sciweavers

613 search results - page 29 / 123
» Observability of Linear Hybrid Systems
Sort
View
CC
2006
Springer
124views System Software» more  CC 2006»
15 years 3 months ago
Hybrid Optimizations: Which Optimization Algorithm to Use?
We introduce a new class of compiler heuristics: hybrid optimizations. Hybrid optimizations choose dynamically at compile time which optimization algorithm to apply from a set of d...
John Cavazos, J. Eliot B. Moss, Michael F. P. O'Bo...
HYBRID
2007
Springer
15 years 6 months ago
Composition of Dynamical Systems for Estimation of Human Body Dynamics
This paper addresses the problem of estimating human body dynamics from 3-D visual data. That is, our goal is to estimate the state of the system, joint angle trajectories and velo...
Sumitra Ganesh, Aaron D. Ames, Ruzena Bajcsy
HYBRID
2010
Springer
15 years 1 months ago
Receding horizon control for temporal logic specifications
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...
Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M. Mu...
HYBRID
2009
Springer
15 years 6 months ago
Safe and Secure Networked Control Systems under Denial-of-Service Attacks
Abstract. We consider the problem of security constrained optimal control for discrete-time, linear dynamical systems in which control and measurement packets are transmitted over ...
Saurabh Amin, Alvaro A. Cárdenas, Shankar S...
AGILE
2007
Springer
184views GIS» more  AGILE 2007»
15 years 6 months ago
Towards Spatial Reasoning in the Semantic Web: A Hybrid Knowledge Representation System Architecture
Environmental databases store a wide variety of data from heterogeneous sources which are described with domain-specific terminologies and refer to distinct locations. In order to ...
Rolf Grütter, Bettina Bauer-Messmer