Automatizacin Industrial

UC3M Dep. de Ing. de Sistemas y Automtica

lgebra de Boole
Concepto de lgebra.
Elementos
Operaciones
Axiomas
lgebras de Boole.
Conjuntos
Lgica
...

Automatizacin Industrial

UC3M Dep. de Ing. de Sistemas y Automtica

Lgica (I)
Elementos
Constantes
0 (falso)
1 (verdad)
Variables

Operadores lgicos
/ NOT / NO
a a
0 1
1 0
Automatizacin Industrial

/ AND/Y
a b a b

/OR/O
a b a b

0 0
0 1
1 0

0
0
0

0 0
0 1
1 0

0
1
1

1 1

1 1

UC3M Dep. de Ing. de Sistemas y Automtica

Lgica (II)
Axiomas
Asociativi dad :
a (b c) (a b) c

a (b c) (a b) c

Conmutativ idad :
a b b a
a b b a
Distributi vidad :
a b c

( a b) ( a c )

a (b c)

a b a c

Identidad :
a 0 a

a 1 a

Complement o :
a a 1

aa

Principio de dualidad
Automatizacin Industrial

UC3M Dep. de Ing. de Sistemas y Automtica

Lgica (III)
Otras propiedades
Idempotenc ia :
a a

a a

Absorcion :
a a b a
a a b

a b

a ( a b)

a ( a b)

a b

Leyes de De Morgan :
a b a b
Involucion :
a

a b

a b

Automatizacin Industrial

UC3M Dep. de Ing. de Sistemas y Automtica

Funciones lgicas (I)

Concepto de funcin lgica
Representacin
Mediante expresiones booleanas
Ej.
f (a, b) a b a b

Mediante tablas (tablas de verdad)

Ej.

a b

0 0

0 1
1 0

1
1

1 1

Automatizacin Industrial

UC3M Dep. de Ing. de Sistemas y Automtica

Funciones lgicas (II)

Obtencin de la expresin booleana a partir de la tabla de

verdad
Suma de productos

Ej.

a b

0 0

0 1
1 0

1
1

1 1

f (a, b) a b a b

Producto de sumas

Ej.

Automatizacin Industrial

a b

0 0

0 1
1 0

1
1

1 1

f (a, b) (a b) (a b )

UC3M Dep. de Ing. de Sistemas y Automtica

Sistemas lgicos
Concepto de sistema lgico

Tipos de sistemas lgicos

Combinacionales
Secuenciales

Concepto de estado
Tipos de sistemas secuenciales
Sncronos
Asncronos

Automatizacin Industrial

UC3M Dep. de Ing. de Sistemas y Automtica

Representacin de los sistemas lgicos

Representacin de los sistemas combinacionales
Funciones lgicas
Representacin de los sistemas secuenciales
Representaciones tabulares
Representaciones grficas

Diagrama de estados
Redes de Petri
Diagrama funcional

Automatizacin Industrial

UC3M Dep. de Ing. de Sistemas y Automtica

Diagrama de estados (I)

Diagrama de estados
Ej.

Automatizacin Industrial

UC3M Dep. de Ing. de Sistemas y Automtica

Diagrama de estados (II)

Problemas del diagrama de estados para representar

sistemas concurrentes

Automatizacin Industrial

UC3M Dep. de Ing. de Sistemas y Automtica

Diagrama de estados (III)

Problemas del diagrama de estados para representar

sistemas concurrentes

Automatizacin Industrial

UC3M Dep. de Ing. de Sistemas y Automtica

Redes de Petri (I)

Redes de Petri
Elementos de una red de Petri
Lugares
Transiciones
Flechas
Marcas

Estructura de una red de Petri

Alternancia de lugares y transiciones
Automatizacin Industrial

UC3M Dep. de Ing. de Sistemas y Automtica

Redes de Petri (II)

Reglas de evolucin
Sensibilizacin de una transicin
Disparo de una transicin

Automatizacin Industrial

UC3M Dep. de Ing. de Sistemas y Automtica

Redes de Petri (III)

Representacin de sistemas secuenciales mediante redes de

Petri
Los lugares representan acciones
Las transiciones representan eventos
El marcado de la red representa el estado del sistema

(marcado binario)

Automatizacin Industrial

UC3M Dep. de Ing. de Sistemas y Automtica

Ejemplos de representacin de
sistemas lgicos con redes de Petri

Automatizacin Industrial

UC3M Dep. de Ing. de Sistemas y Automtica

Diagrama funcional
Norma IEC 848
Grafcet
Relacin con las redes de Petri
Etapas (lugares)
Transiciones
Marcado binario
Convenciones
Las etapas activas al inicio se representan con un doble rectngulo
Las transiciones simultneas se representan con una doble lnea
horizontal
Por defecto, el sentido de evolucin es de arriba abajo (habitualmente no
se ponen flechas)
Representacin recursiva
Las etapas pueden representar otros sistemas lgicos ms simples
(macroetapas)
Automatizacin Industrial

UC3M Dep. de Ing. de Sistemas y Automtica

Diagrama funcional.
Estructuras bsicas (I)
Secuencia simple

Automatizacin Industrial

UC3M Dep. de Ing. de Sistemas y Automtica

Diagrama funcional.
Estructuras bsicas (II)
Secuencias alternativas

Fin de secuencias alternativas

Automatizacin Industrial

UC3M Dep. de Ing. de Sistemas y Automtica

Diagrama funcional.
Estructuras bsicas (III)
Secuencias simultneas

Fin de secuencias simultneas

Automatizacin Industrial

UC3M Dep. de Ing. de Sistemas y Automtica

Diagrama funcional.
Ejemplo

Automatizacin Industrial

UC3M Dep. de Ing. de Sistemas y Automtica