Sciweavers

695 search results - page 104 / 139
» Control in o-minimal Hybrid Systems
Sort
View
HYBRID
2000
Springer
13 years 11 months ago
A Dynamic Bayesian Network Approach to Tracking Using Learned Switching Dynamic Models
Abstract. Switching linear dynamic systems (SLDS) attempt to describe a complex nonlinear dynamic system with a succession of linear models indexed by a switching variable. Unfortu...
Vladimir Pavlovic, James M. Rehg, Tat-Jen Cham
HYBRID
2005
Springer
14 years 1 months ago
Mode-Automata Based Methodology for Scade
In this paper, we present a new design methodology for synchronous reactive systems, based on a clear separation between control and data flow parts. This methodology allows to fa...
Ouassila Labbani, Jean-Luc Dekeyser, Pierre Boulet
HYBRID
2007
Springer
14 years 2 months ago
Model Checking Genetic Regulatory Networks with Parameter Uncertainty
The lack of precise numerical information for the values of biological parameters severely limits the development and analysis of models of genetic regulatory networks. To deal wit...
Grégory Batt, Calin Belta, Ron Weiss
CDC
2009
IEEE
147views Control Systems» more  CDC 2009»
13 years 5 months ago
A Distributed Hybrid Filter for target tracking in sensor networks
In this paper, we propose the Distributed Hybrid Filter (DHF) to overcome the performance degradation in Sigma Point Filters caused by bad linearization. A quantifiable criterion t...
Feng Li, Jamie S. Evans
TKDE
1998
139views more  TKDE 1998»
13 years 7 months ago
Distributed Optimistic Concurrency Control Methods for High-Performance Transaction Processing
—There is an ever-increasing demand for more complex transactions and higher throughputs in transaction processing systems leading to higher degrees of transaction concurrency an...
Alexander Thomasian