Resumen

La verificación de la seguridad determina si cualquier trayectoria que parta de estados iniciales admisibles se cruzaría con un conjunto de estados inseguros. En este trabajo, proponemos un método numérico para verificar la seguridad de una red de sistemas dinámicos híbridos interconectados con una restricción de estado basado en la programación bilineal por suma de cuadrados. La verificación de la seguridad se realiza mediante la construcción de una función de estados denominada certificado de barrera. Consideramos un número finito de sistemas híbridos interconectados que satisfacen la propiedad de entrada a estado y las interconexiones en red que satisfacen una propiedad de disipatividad. Mediante la construcción de un certificado de barrera para cada subsistema y la imposición de restricciones similares a la desigualdad de disipación en las interconexiones, la verificación de la seguridad se formula como un problema de viabilidad de suma de cuadrados bilineal. Como resultado, la seguridad de los sistemas híbridos interconectados podría determinarse resolviendo un problema de optimización, en lugar de resolver ecuaciones diferenciales. El método propuesto permite verificar la seguridad de los sistemas híbridos interconectados, lo que se demuestra mediante un ejemplo numérico.

• Materias:Análisis Matemático Matemáticas Algebra Ingeniería Lógica matemática
• Subjects:Mathematical Analysis mathematics Algebra Engineering Mathematical logic
• Palabras claves:Verificación de la seguridad; trayectoria; estados iniciales; estados inseguros; red de sistemas dinámicos híbridos interconectados; restricción de estados.
• Keywords:Safety verification; trajectory; initial states; unsafe states; network of interconnected hybrid dynamical systems; state constraint