Systematic Simulation Using Sensitivity Analysis

DOI10.1007/978-3-540-71493-4_16zbMath1221.93105OpenAlexW1538215585MaRDI QIDQ3612969

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

Mathematics Subject Classification ID

Related Items (18)

Multi-agent Safety Verification Using Symmetry Transformations ⋮ Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis ⋮ Formal lumping of polynomial differential equations through approximate equivalences ⋮ Robustness analysis of continuous-depth models with Lagrangian techniques ⋮ Computing Differential Invariants of Hybrid Systems as Fixedpoints ⋮ Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions ⋮ Modeling and sensitivity analysis methodology for hybrid dynamical system ⋮ Rigorous Simulation-Based Analysis of Linear Hybrid Systems ⋮ Computing reachable states for nonlinear biological models ⋮ Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement ⋮ Approximate partial order reduction ⋮ Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes ⋮ Parameter Synthesis for Hybrid Systems with an Application to Simulink Models ⋮ Trajectory Based Verification Using Local Finite-Time Invariance ⋮ Bounded and Unbounded Safety Verification Using Bisimulation Metrics ⋮ Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate ⋮ Computing differential invariants of hybrid systems as fixed points ⋮ Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants

This page was built for publication: Systematic Simulation Using Sensitivity Analysis