@ARTICLE{Rocha_Eugénio_Miguel_Alexandre_Efficient_2021, author={Rocha, Eugénio Miguel Alexandre and Murillo, Kelly Patricia}, volume={vol. 31}, number={No 4}, journal={Archives of Control Sciences}, pages={781-794}, howpublished={online}, year={2021}, publisher={Committee of Automatic Control and Robotics PAS}, abstract={Hybrid systems (HS) are roughly described as a set of discrete state transitions and continuous dynamics modeled by differential equations. Parametric HS may be constructed by having parameters on the differential equations, initial conditions, jump conditions, or a combination of the previous ones. In real applications, the best solution is obtained by a set of metrics functional over the set of solutions generated from a finite set of parameters. This paper examines the choice of parameters on delta-reachability bounded hybrid systems.We present an efficient model based on the tool pHL-MT to benchmark the HS solutions (based on dReach), and a non-parametric frontier analysis approach, relying on multidirectional efficiency analysis (MEA). Three numerical examples of epidemic models with variable growth infectivity are presented, namely: when the variable of infected individuals oscillates around some endemic (non-autonomous) equilibrium; when there is an asymptotically stable non-trivial attractor; and in the presence of bump functions.}, type={Article}, title={Efficient choice of parameters on delta-reachability bounded hybrid systems}, URL={http://www.czasopisma.pan.pl/Content/121916/PDF/art02_corr.pdf}, doi={10.24425/acs.2021.139730}, keywords={bounded hybrid system, safety property, delta-reachability, multidirectional efficiency analysis}, }