Efficient choice of parameters on delta-reachability bounded hybrid systems

DOI10.24425/ACS.2021.139730MaRDI QIDQ5097076zbMATH OpenOpenAlexFDO

Authors Eugénio Miguel Alexandre Rocha, K. Murillo

Publication date 19 August 2022

Published in Archives of Control Sciences (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.24425/acs.2021.139730

zbMATH Keywords

multidirectional efficiency analysissafety propertybounded hybrid systemdelta-reachability

Mathematics Subject Classification ID

Epidemiology (92D30) Attainable sets, reachability (93B03) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Recommendations

• ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems
• A Class of Decidable Parametric Hybrid Systems
• Parametric multisingular hybrid Petri nets: formal definitions and analysis techniques
• HyTech: A model checker for hybrid systems
• Parameter Synthesis for Hybrid Systems with an Application to Simulink Models

Cites work

• scientific article; zbMATH DE number 1303074 (Why is no real title available?)
• scientific article; zbMATH DE number 5263038 (Why is no real title available?)
• Hybrid Systems: Computation and Control
• KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)
• Safety verification for probabilistic hybrid systems
• dReal: an SMT solver for nonlinear theories over the reals

Describes a project that uses

Uses Software

• dReach

This page was built for publication: Efficient choice of parameters on delta-reachability bounded hybrid systems

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