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

Operadoreslgicos
/ NOT / NO a a 0 1 1 0
Automatizacin Industrial

/ AND/Y a b a b 0 0 0 0 1 1 0 1 1 0 0 1

/OR/O a b ab 0 0 0 0 1 1 0 1 1 1 1 1

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 Absorcion : a a b a a a b a b a b a b Involucion : a a aa a a ( a b) a a ( a b) a b a b a b

Leyes de De Morgan :

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

f 0 1 1 0
UC3M Dep. de Ing. de Sistemas y Automtica

Automatizacin Industrial

Funcioneslgicas(II)
Obtencindelaexpresinbooleanaapartirdelatablade

verdad
Sumadeproductos

Ej.

a b 0 0 0 1 1 0 1 1
a b 0 0 0 1

f 0 1 1 0
f 0 1

f ( a, b) a b a b

Productodesumas

Ej.

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

1 0 1 1
Automatizacin Industrial

1 0
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