Systematic Simulation Using Sensitivity Analysis

DOI10.1007/978-3-540-71493-4_16zbMath1221.93105MaRDI 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

93C15: Control/observation systems governed by ordinary differential equations

93C30: Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems)

Related Items

Computing reachable states for nonlinear biological models, Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement, Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes, Computing differential invariants of hybrid systems as fixed points, 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, Computing Differential Invariants of Hybrid Systems as Fixedpoints, 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