Encontrar controles en sistemas impredecibles

Entrada uno, salida uno; entrada dos, salida dos; entrada tres; salida violeta: ¿qué es este sistema? Los algoritmos informáticos pueden existir como sistemas no deterministas en los que hay muchos resultados posibles para cada entrada. Incluso si una salida es más probable que la otra, no necesariamente elimina la posibilidad de poner tres y ponerse morado en lugar de tres. Ahora, un equipo de investigación de la Universidad Estatal de Iowa ha desarrollado una forma de controlar dichos sistemas con mayor previsibilidad. Los resultados fueron publicados en IEEE / CAA Journal of Automatica Sinica.

“El problema con el control de supervisión para sistemas controlados con eventos discretos es la identificación gerentesi hay uno “, dijo el autor Ratnesh Kumar, profesor de Harpole en el Departamento de Ingeniería Eléctrica e Informática de la Universidad Estatal de Iowa en los EE. UU.” Si hay un gerente, si está compuesto sincrónicamente con el sistema, resulta en sistema que se ajusta a la especificación de inspección. “

Un sistema de eventos discretos se comporta en función de su estado actual. Si el estado cambia, el valor cambia. En el sistema de ejemplo anterior, algo en el estado del sistema ha cambiado de modo que ocupa cuatro y se muestra de color púrpura. El enfoque de Kumar examina el sistema tal como existe actualmente y encuentra el operador del punto menos fijo o el elemento que se puede cambiar con mayor facilidad. La mera identificación de tal componente puede resultar en un nuevo modelo que actúa como supervisor del sistema.

Los científicos utilizaron el cociente para identificar posibles resultados y construir parámetros para identificar controladores potenciales. En pocas palabras, el cociente es un número conocido de posibilidades: Divida 10 entre tres. El cociente es tres, con posibilidades fraccionarias. En el sistema Kumar, cada evento se denomina “fábrica” ​​y todo el sistema se entiende como “almacén”. El cociente es la apuesta dividida por la especificación establecida por el almacén, dando muchas respuestas posibles en función de cómo sea el sistema en ese momento.

“Teniendo en cuenta la planta y las especificaciones de la planta inspeccionada, el cociente de operación genera una nueva especificación que describe el deber del supervisor, de modo que la planta, controlada por el supervisor, cumpla con la especificación”, dijo Kumar.

Digamos que la planta tiene una entrada de tres y el controlador es violeta. El cálculo utilizado en la descripción de la operación da un nuevo parámetro en violeta. El controlador o supervisor está obligado a aceptar los tres y la salida en violeta. Si el supervisor no existe, el proceso de cociente aún resulta en una operación de verificación de supervisión.

“El principal fundador de nuestra técnica es desarrollar una técnica basada en cocientes para decidir la existencia de un supervisor y generar el mismo, si lo hay”, dijo Kumar.

Los científicos realizaron simulaciones para validar su enfoque y luego planean probar su método en sistemas donde solo se pueden observar ciertas actividades.

Proporcionado por la Asociación China de Automatización