Parameter Synthesis for Hybrid Systems with an Application to Simulink Models

DOI10.1007/978-3-642-00602-9_12MaRDI QIDQ3624570zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata
• Parallel parameter synthesis for multi-affine hybrid systems from hybrid CTL specifications
• Parameter synthesis through temporal logic specifications
• Proceedings of the 1st international workshop on synthesis of continuous parameters, SynCoP'14, Grenoble, France, April 6, 2014
• Multi-objective parameter synthesis in probabilistic hybrid systems

Cites work

• A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata
• scientific article; zbMATH DE number 1794371 (Why is no real title available?)
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control
• HyTech: A model checker for hybrid systems
• Systematic Simulation Using Sensitivity Analysis
• Verification of Supervisory Control Software Using State Proximity and Merging

Cited in

(10)

• A survey of challenges for runtime verification from advanced application domains (beyond software)
• Parallel parameter synthesis for multi-affine hybrid systems from hybrid CTL specifications
• On deformation and fracture of PBX simulant employing modified three-body potential peridynamics model with deformation-based failure criteria
• Light-based circadian rhythm control: entrainment and optimization
• A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata
• Graphical Modeling of Hybrid Dynamics with Simulink and Stateflow
• Efficient choice of parameters on delta-reachability bounded hybrid systems
• Parameter synthesis through temporal logic specifications
• Synthesis of parametric hybrid automata from time series
• Accelerating parameter synthesis using semi-algebraic constraints

Describes a project that uses

Uses Software

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3624570)