Sciweavers

11 search results - page 2 / 3
» Inference Methods for Autonomous Stochastic Linear Hybrid Sy...
Sort
View
85
Voted
DSP
2007
14 years 10 months ago
Variational and stochastic inference for Bayesian source separation
We tackle the general linear instantaneous model (possibly underdetermined and noisy) where we model the source prior with a Student t distribution. The conjugate-exponential char...
Ali Taylan Cemgil, Cédric Févotte, S...
109
Voted
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 2 months ago
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination
Abstract. The design of controllers for hybridsystemsi.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
Rajeev Alur, Joel M. Esposito, M. Kim, Vijay Kumar...
AUTOMATICA
2006
122views more  AUTOMATICA 2006»
14 years 10 months ago
Gibbs sampler-based coordination of autonomous swarms
In this paper a novel, Gibbs sampler-based algorithm is proposed for coordination of autonomous swarms. The swarm is modeled as a Markov random field (MRF) on a graph with a time-...
Wei Xi, Xiaobo Tan, John S. Baras
89
Voted
HYBRID
2003
Springer
15 years 3 months ago
Reachability Analysis of Nonlinear Systems Using Conservative Approximation
Abstract. In this paper we present an approach to approximate reachability computation for nonlinear continuous systems. Rather than studying a complex nonlinear system ˙x = g(x),...
Eugene Asarin, Thao Dang, Antoine Girard
103
Voted
AAAI
2007
15 years 17 days ago
Hybrid Inference for Sensor Network Localization Using a Mobile Robot
In this paper, we consider a hybrid solution to the sensor network position inference problem, which combines a real-time filtering system with information from a more expensive,...
Dimitri Marinakis, David Meger, Ioannis M. Rekleit...