Verifying analog oscillator circuits using forward/backward abstraction refinement
Proceedings of the conference on Design, automation and test in Europe: Proceedings
Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation
Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation
Parameter Synthesis for Hybrid Systems with an Application to Simulink Models
HSCC '09 Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control
Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
Systematic simulation using sensitivity analysis
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Robust satisfaction of temporal logic over real-valued signals
FORMATS'10 Proceedings of the 8th international conference on Formal modeling and analysis of timed systems
A step towards verification and synthesis from simulink/stateflow models
Proceedings of the 14th international conference on Hybrid systems: computation and control
PHAVer: algorithmic verification of hybrid systems past hytech
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Reachability of uncertain linear systems using zonotopes
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
A graph algorithm for linearizing simulink models
Proceedings of the 2013 Summer Computer Simulation Conference
| Hi-index | 0.00 |
In the design of engineered systems two types of models are used: (i) analysis models and (ii) system models. The system models are primary deliverables between design stages whereas analysis models are employed within a design stage. Sensitivity analysis studies the behavior of the system under small parameter variations which proves to be useful in design. To enable sensitivity analysis in verification of hybrid dynamic systems that model industry-size problems, support for simulation-based methods is desired. The computational semantics for simulation of corresponding analysis models must then be consistent with the computational semantics of the system models. A method is presented that enables direct sensitivity analysis on system models via an implementation in the Simulink(R) software. The approach relies on the existing ordinary differential equation solver of Simulink and the block-by-block analytic Jacobian computation to provide the analytic Jacobian for solving the sensitivity equations. Results of a prototype implementation show that sensitivity analysis can be applied to moderate size Simulink models of continuous and hybrid systems.