Publication | Closed Access
A time-domain approach to model validation
375
Citations
27
References
1994
Year
Mathematical ProgrammingEngineeringVerificationAutonomous SystemsModel CheckingModel VerificationUncertainty ModelsSoftware AnalysisFormal VerificationUncertainty ModelingControl SystemsUncertainty QuantificationManagementSystems EngineeringLinear OptimizationModel-based Control TechniqueSoftware ValidationController SynthesisFeasibility ProblemsComputer ScienceTime-domain ApproachAutomated ReasoningFormal MethodsBounded UncertaintyData Modeling
In this paper we offer a novel approach to control-oriented model validation problems. The problem is to decide whether a postulated nominal model with bounded uncertainty is consistent with measured input-output data. Our approach directly uses time-domain input-output data to validate uncertainty models. The algorithms we develop are computationally tractable and reduce to (generally nondifferentiable) convex feasibility problems or to linear programming problems. In special cases, we give analytical solutions to these problems.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
| Year | Citations | |
|---|---|---|
Page 1
Page 1