Automatizacin Industrial

UC3M Dep. de Ing. de Sistemas y Automtica

lgebradeBoole
Conceptodelgebra.
Elementos
Operaciones
Axiomas
lgebrasdeBoole.
Conjuntos
Lgica
...

Automatizacin Industrial

UC3M Dep. de Ing. de Sistemas y Automtica

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

/ AND/Y

/OR/O

a b a b
0 0 0

a b ab
0 0
0

a a

0 1

0 1

0 1

1 0
1 1

0
1

1 0
1 1

1
1

Operadoreslgicos
/ NOT / NO

1 0
Automatizacin Industrial

UC3M Dep. de Ing. de Sistemas y Automtica

Lgica(II)
Axiomas
Asociatividad :
a (b c) (a b) c
Conmutatividad :

a (b c) (a b) c

ab ba
a b b a
Distributividad :
a b c ( a b) ( a c )
a (b c) a b a c
Identidad :
a0 a
a 1 a
Complemento :
a a 1

aa 0

Principiodedualidad
Automatizacin Industrial

UC3M Dep. de Ing. de Sistemas y Automtica

Lgica(III)
Otraspropiedades
Idempotencia :
aa a

aa a

Absorcion :
a a b a
a a b a b

a ( a b) a
a ( a b) a b

Leyes de De Morgan :
a b a b

a b a b

Involucion :
a a

Automatizacin Industrial

UC3M Dep. de Ing. de Sistemas y Automtica

Funcioneslgicas(I)
Conceptodefuncinlgica
Representacin
Medianteexpresionesbooleanas
Ej.
f ( a, b) a b a b

Mediantetablas(tablasdeverdad)

Ej.

a b

0 0

0 1

1 0

1 1

Automatizacin Industrial

UC3M Dep. de Ing. de Sistemas y Automtica

Funcioneslgicas(II)
Obtencindelaexpresinbooleanaapartirdelatablade

verdad
Sumadeproductos

Ej.

a b
0 0
0 1

f
0
1

1 0
1 1

1
0

f ( a, b) a b a b

Productodesumas

Ej.

Automatizacin Industrial

a b
0 0
0 1

f
0
1

1 0
1 1

1
0

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

UC3M Dep. de Ing. de Sistemas y Automtica

Sistemaslgicos
Conceptodesistemalgico

Tiposdesistemaslgicos
Combinacionales
Secuenciales

Conceptodeestado
Tiposdesistemassecuenciales
Sncronos
Asncronos

Automatizacin Industrial

UC3M Dep. de Ing. de Sistemas y Automtica

Representacindelossistemaslgicos
Representacindelossistemascombinacionales
Funcioneslgicas
Representacindelossistemassecuenciales
Representacionestabulares
Representacionesgrficas

Diagramadeestados
RedesdePetri
Diagramafuncional

Automatizacin Industrial

UC3M Dep. de Ing. de Sistemas y Automtica

Diagramadeestados(I)
Diagramadeestados
Ej.

Automatizacin Industrial

UC3M Dep. de Ing. de Sistemas y Automtica

Diagramadeestados(II)
Problemasdeldiagramadeestadospararepresentar

sistemasconcurrentes

Automatizacin Industrial

UC3M Dep. de Ing. de Sistemas y Automtica

Diagramadeestados(III)
Problemasdeldiagramadeestadospararepresentar

sistemasconcurrentes

Automatizacin Industrial

UC3M Dep. de Ing. de Sistemas y Automtica

RedesdePetri(I)
RedesdePetri
ElementosdeunareddePetri
Lugares
Transiciones
Flechas
Marcas

EstructuradeunareddePetri
Alternanciadelugaresytransiciones
Automatizacin Industrial

UC3M Dep. de Ing. de Sistemas y Automtica

RedesdePetri(II)
Reglasdeevolucin
Sensibilizacindeunatransicin
Disparodeunatransicin

Automatizacin Industrial

UC3M Dep. de Ing. de Sistemas y Automtica

RedesdePetri(III)
Representacindesistemassecuencialesmedianteredesde

Petri
Loslugaresrepresentanacciones
Lastransicionesrepresentaneventos
Elmarcadodelaredrepresentaelestadodelsistema

(marcadobinario)

Automatizacin Industrial

UC3M Dep. de Ing. de Sistemas y Automtica

Ejemplosderepresentacinde
sistemaslgicosconredesdePetri

Automatizacin Industrial

UC3M Dep. de Ing. de Sistemas y Automtica

Diagramafuncional
NormaIEC848
Grafcet
RelacinconlasredesdePetri
Etapas(lugares)
Transiciones
Marcadobinario
Convenciones
Lasetapasactivasalinicioserepresentanconundoblerectngulo
Lastransicionessimultneasserepresentanconunadoblelnea
horizontal
Pordefecto,elsentidodeevolucinesdearribaabajo(habitualmenteno
seponenflechas)
Representacinrecursiva
Lasetapaspuedenrepresentarotrossistemaslgicosmssimples
(macroetapas)
Automatizacin Industrial

UC3M Dep. de Ing. de Sistemas y Automtica

Diagramafuncional.
Estructurasbsicas(I)
Secuenciasimple

Automatizacin Industrial

UC3M Dep. de Ing. de Sistemas y Automtica

Diagramafuncional.
Estructurasbsicas(II)
Secuenciasalternativas

Findesecuenciasalternativas

Automatizacin Industrial

UC3M Dep. de Ing. de Sistemas y Automtica

Diagramafuncional.
Estructurasbsicas(III)
Secuenciassimultneas

Findesecuenciassimultneas

Automatizacin Industrial

UC3M Dep. de Ing. de Sistemas y Automtica

Diagramafuncional.
Ejemplo

Automatizacin Industrial

UC3M Dep. de Ing. de Sistemas y Automtica