En una ciudad donde las zonas peligrosas surgen y desaparecen caóticamente, un navegador malintencionado intenta constantemente llevarte a una trampa. Este adversario impredecible actúa en cada cruce. Sin embargo, un marco universal matemático calcula todas las posibles artimañas y traza un camino que garantiza la seguridad incluso con fuertes interferencias.
El mismo principio se aplicó a la dosificación de medicamentos. El organismo del paciente, como ese navegador hostil, asimila el fármaco de maneras distintas, amenazando con llevar la concentración a una zona peligrosa. El método calcula las dosis de manera que el tratamiento siga siendo eficaz en el peor de los casos.
tal como lo escribieron los autores, en inglés arXiv:2607.14023
Hamilton-Jacobi Reachability (HJR) is a central framework in safe control theory. While HJR has traditionally focused on a few fundamental tasks, there is increasing interest in scaling to more complex objectives. Recent works have studied the exact decomposition of the value functions for two fundamental dual-objective tasks in the adversary-free setting. However, not all value function decompositions in HJR remain valid with an adversary. In this work, we develop theoretical approaches to certify that for these two composite value functions, the proposed decompositions still hold with an adversary. Finally, we show how these results can solve issues that arise when applying HJR to optimal drug regimen design.
Las primeras pruebas del método no se hicieron en un hospital, sino en cruces callejeros virtuales: se enseñó al algoritmo a salvar a peatones de conductores temerarios.