@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://ochroma.man.poznan.pl/Content/121916/PDF-MASTER/art02_corr.pdf},
 doi={10.24425/acs.2021.139730},
 keywords={bounded hybrid system, safety property, delta-reachability, multidirectional efficiency analysis},
}