Standard benefit-cost analysis often ignores distortions caused by taxation and the heterogeneity of taxpayers. In this paper, we theoretically numerically explore effect imperfect on public provision mortality risk reductions (or safety). We show that critically depends source imperfection as well individual utility survival probability functions. Our simulations based calibration distribution...

This paper presents a novel methodology for safety verification of hybrid systems. For proving that all trajectories of a hybrid system do not enter an unsafe region, the proposed method uses a function of state termed a barrier certificate. The zero level set of a barrier certificate separates the unsafe region from all possible trajectories starting from a given set of initial conditions, hen...

ion-Carrying Code ? Elvira Albert, Puri Arenas, Germán Puebla, and Manuel Hermenegildo 1 Complutense University of Madrid, {elvira,puri}@sip.ucm.es 2 Technical University of Madrid, {german,herme}@fi.upm.es 3 University of New Mexico, [email protected] Abstract. Abstraction-Carrying Code (ACC) has recently been proposed as a framework for mobile code safety in which the code supplier provides a pro...

A methodology for safety verification using barrier certificates has been proposed recently. Conditions that must be satisfied by a barrier certificate can be formulated as a convex program, and the feasibility of the program implies system safety, in the sense that there is no trajectory starting from a given set of initial states that reaches a given unsafe region. The dual of this problem, i...

roads are crucial to our everyday lives as we use them  by driving, riding, walking or travelling as a pedestrian. worldwide, more than  1.2 million people are killed on roads every year and up to 50 million more are injured; with most casualties from developing countries. in addition to different disabilities, road.accidents cause extensive psychological disorders and grief, and occasionally e...