Publication | Closed Access
A Time-Domain Approach to Model Validation
33
Citations
0
References
1992
Year
Unknown Venue
Mathematical ProgrammingEngineeringVerificationNovel ApproachConstrained OptimizationModel CheckingModel VerificationUncertainty ModelsFormal VerificationSoftware AnalysisUncertainty ModelingUncertainty QuantificationManagementSystems EngineeringRobust OptimizationModel-based Control TechniqueSoftware ValidationComputer ScienceConvex FeasibilityModel ValidationAutomated ReasoningFormal MethodsProcess ControlData Modeling
In this paper we offer a novel approach to control-oriented model validation problems. This approach differs from other available techniques in that it directly uses time-domain input output data to validate uncertainty models. The algorithms we develop are computationally tractable and reduce to (generally non-differentiable) convex feasibility programming problems.