Parameter Synthesis for Hybrid Systems with an Application to Simulink Models

DOI10.1007/978-3-642-00602-9_12zbMath1237.93089OpenAlexW2156958982MaRDI QIDQ3624570

Alexandre Donzé, Akshay Rajhans, Bruce H. Krogh

Publication date: 30 April 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-642-00602-9_12

Mathematics Subject Classification ID

Sensitivity (robustness) (93B35) Application models in control theory (93C95) Attainable sets, reachability (93B03) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (3)

Light-based circadian rhythm control: entrainment and optimization ⋮ On deformation and fracture of PBX simulant employing modified three-body potential peridynamics model with deformation-based failure criteria ⋮ A survey of challenges for runtime verification from advanced application domains (beyond software)

Uses Software

• SUNDIALS
• PHAVer
• HyTech
• SMV
• Simulink
• CVODES

Cites Work

• Unnamed Item
• HyTech: A model checker for hybrid systems
• A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata
• Verification of Supervisory Control Software Using State Proximity and Merging
• Systematic Simulation Using Sensitivity Analysis
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control

This page was built for publication: Parameter Synthesis for Hybrid Systems with an Application to Simulink Models