Sciweavers

1236 search results - page 69 / 248
» On the Hamkins approximation property
Sort
View
103
Voted
AUTOMATICA
2006
97views more  AUTOMATICA 2006»
15 years 25 days ago
A model reference approach to safe controller changes in iterative identification and control
A controller change from a current controller which stabilises the plant to a new controller, designed on the basis of an approximate model of the plant and with guaranteed bounds...
A. Lecchini, Alexander Lanzon, Brian D. O. Anderso...
98
Voted
CSDA
2006
94views more  CSDA 2006»
15 years 24 days ago
Simulation-based approach to estimation of latent variable models
We propose a simulation-based method for calculating maximum likelihood estimators in latent variable models. The proposed method integrates a recently developed sampling strategy...
Zhiguang Qian, Alexander Shapiro
TSMC
2008
113views more  TSMC 2008»
15 years 20 days ago
Computational Methods for Verification of Stochastic Hybrid Systems
Stochastic hybrid system (SHS) models can be used to analyze and design complex embedded systems that operate in the presence of uncertainty and variability. Verification of reacha...
Xenofon D. Koutsoukos, Derek Riley
ESWS
2006
Springer
15 years 4 months ago
Toward Multi-viewpoint Reasoning with OWL Ontologies
Abstract. Despite of their advertisement as task independent representations, the reuse of ontologies in different contexts is difficult. An explanation for this is that when devel...
Heiner Stuckenschmidt
86
Voted
CORR
2010
Springer
116views Education» more  CORR 2010»
15 years 26 days ago
Contact processes and moment closure on adaptive networks
Contact processes describe the transmission of distinct properties of nodes via the links of a network. They provide a simple framework for many phenomena, such as epidemic spreadi...
Anne-Ly Do, Thilo Gross