Sciweavers

176 search results - page 17 / 36
» State estimation of nonlinear systems with Markov state rese...
Sort
View
IANDC
2010
116views more  IANDC 2010»
13 years 7 months ago
Weak bisimulation is sound and complete for pCTL*
Abstract. We investigate weak bisimulation of probabilistic systems in the presence of nondeterminism, i.e. labelled concurrent Markov chains (LCMC) with silent transitions. We bui...
Josée Desharnais, Vineet Gupta, Radha Jagad...
HYBRID
1999
Springer
14 years 1 months ago
Scale-Independent Hysteresis Switching
— In this paper we prove that a switched nonlinear system has several useful ISS-type properties under average dwell-time switching signals if each constituent dynamical system i...
João P. Hespanha, A. Stephen Morse
AUTOMATICA
2006
150views more  AUTOMATICA 2006»
13 years 8 months ago
Enlarging the terminal region of nonlinear model predictive control using the support vector machine method
In this paper, Receding Horizon Model Predictive Control (RHMPC) of nonlinear systems subject to input and state constraints is considered. We propose to estimate the terminal reg...
Chong Jin Ong, Dan Sui, Elmer G. Gilbert
WCE
2007
13 years 10 months ago
Simplified Filtering Estimator for Spacecraft Attitude Determination from Phase Information of GPS Signals
—This paper presents an implementation of a simplified filtering estimator for satellite attitude determination using GPS (Global Positioning System) signals. The non-linear syst...
S. Purivigraipong, Y. Hashida, M. Unwin
NIPS
2008
13 years 10 months ago
Accelerating Bayesian Inference over Nonlinear Differential Equations with Gaussian Processes
Identification and comparison of nonlinear dynamical system models using noisy and sparse experimental data is a vital task in many fields, however current methods are computation...
Ben Calderhead, Mark Girolami, Neil D. Lawrence