Systematic Simulation Using Sensitivity Analysis

DOI10.1007/978-3-540-71493-4_16MaRDI QIDQ3612969zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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)

Recommendations

• Hybrid Systems: Computation and Control
• Validated simulation-based verification of delayed differential dynamics
• scientific article; zbMATH DE number 1956636
• Parsimonious, Simulation Based Verification of Linear Systems
• scientific article; zbMATH DE number 7361375

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
• scientific article; zbMATH DE number 1956636 (Why is no real title available?)
• 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
• Implementation of sensitivity calculations in a general-purpose simulation program
• Computing Differential Invariants of Hybrid Systems as Fixedpoints
• 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)