Conflict-tolerant specifications for hybrid systems

We propose a framework for developing and reasoning about hybrid systems that are comprised of a plant with multiple controllers, each of which controls the plant intermittently. The framework is based on the notion of a ``conflict tolerant'' specification for a controller, and provides a modular way of developing and reasoning about such systems. We propose a novel mechanism of defining conflict-tolerant specifications for general hybrid systems, using ``acceptor'' and ``advisor'' components. We also give a decision procedure for verifying whether a controller satisfies its conflict-tolerant specification, in the special case when the components are modeled using initialized rectangular hybrid automata.

Los derechos y deberes de médicos y pacientes desde la vigencia de la Ley 26.529

Resumen: El artículo considera los derechos y deberes de médicos y pacientes, especialmente luego de la sanción de la ley 26.529, destacando sus temas relevantes, aquellos que habían dado lugar a distintas interpretaciones tanto en la jurisprudencia, como en la doctrina. Se tratan, así, la historia clínica y el consentimiento informado, precisándose sus conceptos, formas, funciones e interpretaciones. Similar atención merecen las directivas anticipadas de salud, el “testamento vital”, las posibilidades del médico y sus posibles objeciones de conciencia. De igual modo la autonomía de la voluntad del paciente, su libertad y responsabilidad. Se considera la eutanasia, precisándose que no es un derecho del paciente. Se estudia el secreto profesional del médico, a la luz de las contradictorias normas legales vigentes y jurisprudencia consecuente, para detenerse en la más reciente decisión de la Corte Suprema de Justicia de la Nación en su actual composición. Finalmente se precisan los conceptos de las responsabilidades de médicos y órganos sanitarios, con la posibilidad de su aseguramiento y el conflicto de algunas de las coberturas que se otorgan en plaza, como la conocida claims made.