Systematic Simulation Using Sensitivity Analysis
DOI10.1007/978-3-540-71493-4_16zbMATH Open1221.93105OpenAlexW1538215585MaRDI QIDQ3612969FDOQ3612969
Authors: Alexandre Donzé, Oded Maler 
Publication date: 11 March 2009
Published in: Hybrid Systems: Computation and Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-71493-4_16
Recommendations
Control/observation systems governed by ordinary differential equations (93C15) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Cited In (22)
- Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement
- Modeling and sensitivity analysis methodology for hybrid dynamical system
- Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants
- Rigorous simulation-based analysis of linear hybrid systems
- Multi-agent safety verification using symmetry transformations
- Title not available (Why is that?)
- Trajectory Based Verification Using Local Finite-Time Invariance
- Sampling-based falsification and verification of controllers for continuous dynamic systems
- Approximate partial order reduction
- Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes
- Computing differential invariants of hybrid systems as fixed points
- Computing Differential Invariants of Hybrid Systems as Fixedpoints
- Implementation of sensitivity calculations in a general-purpose simulation program
- Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions
- Bounded and Unbounded Safety Verification Using Bisimulation Metrics
- Computing reachable states for nonlinear biological models
- Sequential sensitivity analysis of expensive black-box simulators with metamodelling
- Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate
- Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis
- Parameter Synthesis for Hybrid Systems with an Application to Simulink Models
- Formal lumping of polynomial differential equations through approximate equivalences
- Robustness analysis of continuous-depth models with Lagrangian techniques
This page was built for publication: Systematic Simulation Using Sensitivity Analysis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3612969)
