Systematic Simulation Using Sensitivity Analysis
From MaRDI portal
Publication:3612969
DOI10.1007/978-3-540-71493-4_16zbMath1221.93105MaRDI QIDQ3612969
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
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
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, Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions, 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, Approximate partial order reduction, 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