Please enable JavaScript.
Coggle requires JavaScript to display documents.
Máquinas de Estados - Coggle Diagram
Máquinas de Estados
Diseño y desarrollo
Problemas comunes
Ciclos infinitos
Inconsistencia en las transiciones
Estados no alcanzables
Saturación de eventos
Prácticas de programación
Pruebas unitarias
Simplificación
Modularidad
Minimización
Herramientas de Diseño
YAKINDU
Ise Design
Graphviz
Vivado
Métodos de Diseño
Diseño bottom-up
Diagramas UML
Diseño top-down
Ejemplos prácticos
Control de ascensores
Protocolo de comunicación
Semáforos
Sistemas embebidos
Aplicaciones y extensiones
Estados extensibles
Máquinas de estados paralelas
Estados compuestos
Máquinas de estado anidadas
Jerarquía de estados
Analisís y Verificación
Pruebas de consistencia
Model Cheking
Simulación y pruebas de estrés
Verificación formal
Lenguajes formales
Grámaticas regulares
Expresiones regulares
Automatas
Aplicaciones en Ingeniería
Sistemas de comunicación
Domótica
Robótica
Control de procesos
Integración con Sistemas complejos
Sistemas reactivos
Protocolos de Red
Sistemas embebidos
Conceptos Generales
Clasificación
Automata de Mealy
Diferencias y similitudes
Automata de Moore
Representación
Tabla de transiciones
Lenguaje de descripción
Diagramas de estado
Componentes Básicos
Eventos
Condiciones
Transiciones
Estados
Máquinas de Estado Finito (FSM)
Aplicaciones
Tipos de FSM (determinista y no determinista)
Concepto básico
Fundamentos de programación
Tipos de Eventos
Eventos externos
Interrupciones
Eventos temporales
Señales de Hardware
Estados y transiciones
Estados finales
Transiciones condicionales
Estado inicial
Eventos de entrada
Modelos de implementación
Modelo basado en clases
Máquina de estado jerárquica
Modelo basado en funciones
Lenguajes de Programación
Java
Python
C/C++
Lenguajes de descripción de hardware (VHDL, Verilog)