Curso en línea: especialización profesional certificada en sistemas autónomos de Google, Universidad de Colorado Boulder

Diseñar sistemas autónomos con garantía. Adquirir las habilidades para el modelado, especificación, verificación y síntesis de sistemas autónomos con seguridad garantizada.

Suggested by: Coursera (What is Coursera?)

Start your Coursera.com free trial today
Curso en línea: especialización profesional certificada en sistemas autónomos de Google, Universidad de Colorado Boulder

Professional Certificate

nivel intermedio

No prior knowledge required

Time to complete the course

7-day free trial

No unnecessary risks

Skills you will acquire in the course

  • Diseño y análisis de sistemas autónomos.
  • Representaciones del espacio de estados
  • Temporizadores automáticos
  • Automáticas híbridas
  • Modelos formales de requisitos del sistema.
  • estabilidad y alcanzabilidad
  • Especificaciones definidas por fórmulas de lógica temporal lineal.
  • Técnicas de verificación como los teoremas de Lyuponov y la verificación de modelos.
  • Síntesis de controladores para hacer cumplir propiedades definidas.
  • Construyendo una abstracción final y refinando controladores.

What you will learn in the course

Courses for which the course is suitable

  • Ingeniero de sistemas autónomos
  • Desarrollador de software en el campo de los sistemas autónomos.
  • analista de sistemas
  • ingeniero controlador
  • Especialista en verificación de sistemas.
  • Investigador en el campo de los sistemas autónomos.
  • Diseñador de sistemas inteligentes
  • Ingeniero de redes de comunicaciones en sistemas autónomos.
  • Desarrolla algoritmos para autómatas híbridos
  • Experto en estabilidad y disponibilidad en sistemas autónomos

La especialización: una serie de cursos de 3 partes.

Esta especialización proporciona una visión general completa del diseño y análisis de sistemas autónomos. Comienza examinando componentes básicos como sensores, actuadores y redes de comunicación, y luego profundiza en los modelos formales.

Contenido del curso

  • Representaciones del espacio de estados
  • Temporizadores automáticos
  • Automáticas híbridas
  • Modelos formales de requisitos del sistema.
  • estabilidad y alcanzabilidad
  • Especificaciones definidas por fórmulas de lógica temporal lineal.
  • Técnicas de verificación como los teoremas de Lyuponov y la verificación de modelos.
  • Síntesis de controladores para hacer cumplir características definidas.
  • Construyendo una abstracción final y refinando controladores.

Más información

Los cursos de esta especialización se pueden tomar para obtener crédito académico como parte del programa de Maestría en Ciencias de la Computación de CU Boulder que se ofrece en la plataforma Coursera. Estos títulos avanzados ofrecen cursos enfocados, sesiones cortas de 8 semanas y un sistema de pago por uso.

La admisión al programa se basa en el desempeño en tres cursos de requisitos previos y no en el historial académico. Los títulos de CU en Coursera son ideales para recién graduados o profesionales en activo.

Para más detalles: Máster en informática

Un proyecto de aprendizaje práctico.

Durante la pasantía, los estudiantes realizarán tareas para diseñar y analizar sistemas autónomos y sus comportamientos. En el tercer curso de especialización, verificación y síntesis de sistemas autónomos, los alumnos recibirán un laboratorio optativo y de investigación.

Details of the courses that make up the specialization

Modelos de sistemas autónomos.

Curso 1 – 8 horas

Lo que aprenderás:

  • Modelos básicos de sistemas autónomos, incluidos sistemas de control lineal, circuitos en serie y autómatas simples.
  • Describir soluciones y comportamientos de sistemas.
  • Definir e ilustrar las conexiones entre los sistemas.

Habilidades que adquirirás:

  • Sistemas de montaje
  • Modelos de sistemas autónomos.
  • comportamientos de los sistemas

Curso 2 – 10 horas

Lo que aprenderás:

  • Utilice métodos formales para determinar y verificar los requisitos de los sistemas autónomos.
  • Modelar comportamientos de sistemas y verificar la estabilidad utilizando diferentes métodos analíticos.
  • Aplicar el cálculo de grupos de accesibilidad y análisis de resistencia en el diseño de sistemas.

Habilidades que adquirirás:

  • Especificaciones regulares y omega regular
  • Requisitos de accesibilidad
  • requisitos de seguridad
  • Especificaciones de lógica lineal
  • requisitos de estabilidad

Curso 3 – 10 horas

Lo que aprenderás:

  • Analizar las propiedades de estabilidad de sistemas lineales.
  • Realice cálculos sobre grupos de accesibilidad para varios tipos de sistemas.
  • Realizar verificación para sistemas finales.
  • Sintetizar la dinámica del controlador para los requisitos de seguridad y accesibilidad utilizando algoritmos de punto fijo.

Habilidades que adquirirás:

  • Pruebas modelo
  • Síntesis de simplificaciones finitas
  • Relaciones entre sistemas
  • Síntesis mediante puntos fijos.

Productos relacionados