Sciweavers

SCL
2008
95views more  SCL 2008»
13 years 4 months ago
Model validation for IQC uncertain systems with fixed initial conditions
: The paper considers a model validation problem for a class of uncertain systems in which the uncertainty is described by an integral quadratic constraint and the uncertain system...
Ian R. Petersen
AUTOMATICA
2006
106views more  AUTOMATICA 2006»
13 years 4 months ago
Barrier certificates for nonlinear model validation
Abstract-- New methods for model validation of continuoustime nonlinear systems with uncertain parameters are presented in this paper. The methods employ functions of state-paramet...
Stephen Prajna
CGF
2010
161views more  CGF 2010»
13 years 4 months ago
HyperMoVal: Interactive Visual Validation of Regression Models for Real-Time Simulation
During the development of car engines, regression models that are based on machine learning techniques are increasingly important for tasks which require a prediction of results i...
Harald Piringer, Wolfgang Berger, J. Krasser
ATAL
2010
Springer
13 years 5 months ago
Can we predict safety culture?
Safety culture is broadly recognized as important for Air Traffic Management and various studies have addressed its characterization and assessment. Nevertheless, relations betwee...
Alexei Sharpanskykh, Sybert H. Stroeve
WSC
1996
13 years 6 months ago
Verifying and Validating Simulation Models
In this paper we discuss verification and validation of simulation models. The different approaches to deciding model validity are described, two different paradigms that relate v...
Robert G. Sargent
DATE
2005
IEEE
100views Hardware» more  DATE 2005»
13 years 6 months ago
The Role of Model-Level Transactors and UML in Functional Prototyping of Systems-on-Chip: A Software-Radio Application
Developing a functional prototype of a system-on-chip provides a unifying vehicle for model validation and system refinement. Keeping the prototype executable everal abstraction l...
Alexandre Chureau, Yvon Savaria, El Mostapha Aboul...
HASE
2007
IEEE
13 years 8 months ago
Model Validation using Automatically Generated Requirements-Based Tests
In current model-based development practice, validation that we are building a correct model is achieved by manually deriving requirements-based test cases for model testing. Mode...
Ajitha Rajan, Michael W. Whalen, Mats Per Erik Hei...
CDC
2008
IEEE
111views Control Systems» more  CDC 2008»
13 years 11 months ago
Estimating disturbances and model uncertainty in model validation for robust control
— Deterministic approaches to model validation for robust control are investigated. In common deterministic model validation approaches, a trade-off between disturbances and mode...
Tom Oomen, Okko Bosgra