Efficient choice of parameters on delta-reachability bounded hybrid systems

DOI10.24425/ACS.2021.139730zbMATH Open1495.93043OpenAlexW4384928161MaRDI QIDQ5097076FDOQ5097076

Authors: Eugénio Miguel Alexandre Rocha, K. Murillo 

Publication date: 19 August 2022

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

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

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

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)

Cites Work

• KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)
• dReal: an SMT solver for nonlinear theories over the reals
• Hybrid Systems: Computation and Control
• Safety verification for probabilistic hybrid systems
• Title not available (Why is that?)
• Title not available (Why is that?)

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)