Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Hybrid control
Ciencias Informáticas
2
Adaptación segura
1
Assured adaptation
1
Control híbrido
1
Cyber-physical systems
1
Design methodology
1
Discrete event control
1
Discrete events
1
Planificación temporal
1
Robótica
1
Runtime verification
1
Síntesis de control
1
Temporal planning
1
Unmanned aerial vehicles
1
Vehículo aéreo no tripulado
1
Verificación en tiempo de ejecución]
1
Warehouse applications
1
[Controller synthesis
1
-
1
-
2
-
3