Saltar al contenido
ᐅ HielosMendez – Información digital que te dejara helado 🧊🥶

CMU desarrolla autos sin conductor que son imposibles de chocar

Este sitio puede ganar comisiones de afiliados con los enlaces de esta página. Términos de Uso.

Por fin, y muchas décadas después de las palabras cuasiproféticas de nuestros antepasados ​​de la ciencia ficción, parece que estamos gravitando hacia un mundo lleno de vehículos autónomos y a prueba de choques. Por supuesto, siempre se esperaba algún elemento de los vehículos autónomos. Con computadoras ubicuas y baratas y cámaras y sensores digitales de alta calidad, era inevitable, pero a prueba de choques ¿carros? Coches que pueden conducirse solos y probar, con 100% de certeza, que evitarán otros vehículos? Lo crea o no, eso es lo que está desarrollando un equipo de la Universidad Carnegie Mellon.

Los automóviles autónomos son deseables por un par de razones: como cubrimos a principios de esta semana, los sistemas controlados por computadora son mucho más precisos que los humanos, lo que permite que más automóviles se apiñen en un tramo de carretera, pero principalmente, los automóviles autónomos tienen el potencial para reducir drásticamente la pérdida de vidas humanas en accidentes automovilísticos y los miles de millones de dólares en costos asociados. El problema es que nadie sabe realmente qué tan seguros serían en realidad millones de automóviles controlados por computadora. El software puede tener errores, después de todo, y realmente no quieres que tu auto sufra el equivalente automotriz de una pantalla azul de la muerte mientras corre a 100 mph en el carril rápido. Los seres humanos causamos accidentes porque todos reaccionamos de diferentes maneras a una situación dada y con diferentes tiempos de respuesta, y en el lado de la conducción autónoma de la cerca, ¿quién puede decir que las computadoras Audi funcionarían bien con las computadoras BMW o Ford?

Lo que nos lleva a la ingeniosa solución de Carnegie Mellon: un sistema de control distribuido que se ejecuta en todos los automóviles. Este sistema, que solo ha controlado simulaciones hasta ahora, permite que los autos hablen entre sí, como una manada de lobos o una mente en colmena. Si un automóvil necesita salir de la autopista, los otros automóviles se mueven para hacer espacio. Si un automóvil que va delante tiene que reducir la velocidad, los otros coches saben, en cuestión de milisegundos, que también deben reducir la velocidad. Sin embargo, hay más. Para abordar el complicado concepto de seguridad demostrable, el equipo de investigación de CMU utilizó verificación formal para demostrar matemáticamente que su sistema de control es seguro. Comenzando con solo dos autos en un solo carril, el equipo demostró con 100% de certeza que los autos no podían chocar. Luego, aumentaron lentamente la complejidad del sistema, cada vez utilizando una verificación formal para garantizar el 100% de seguridad. Hoy en día, el sistema distribuido puede controlar cualquier número de automóviles que se muevan entre cualquier número de carriles, siempre que la carretera sea recta; todavía no lo han hecho funcionar con las esquinas.

Aún así, CMU ha demostrado que los autos autónomos confiables y demostrablemente seguros son seguros. Ahora solo es cuestión de que todos los fabricantes de automóviles acepten utilizar el mismo sistema de control distribuido …

Lee mas en Universidad de Carnegie mellon y Espectro

[Image credit: zigazou76]