CC20A1ComputacinIIAuxiliar3 IvnBustamante

ClaseAuxiliar3 VariablesdeEstado
Lasvariablesdeestadocorrespondenaunsubconjuntodetodaslasvariablesdescriptivas,demodo queessuficienteconocerelvaloractualdeellasparacalcularlosvaloresfuturosdetodaslas variablesdescriptivasdelmodelo. Recordemosquenosinteresamodelarsistemasreales,conelfindequeapartirdestemodelosea posiblerealizarunasimulacinenuncomputador.Entonces,enparticular,nosinteresanlosmodelos invarianteseneltiempo,oseaaquelloscuyasreglasdeinteraccinquenodependendeltiempo,sino delosvaloresdesusvariablesdeestado.

Pararealizarunasimulacinencomputador,debemosconsiderareltiempodiscreto,oseaque avanzamosenintervalosconstantesdetiempo.Estoloexpresamosas:ti+1ti=h;i=1,...,N.Entonces, seay1(i),...,ym(i)elconjuntodevaloresdelasvariablesdeestadoenti,unasimulacindelatransicin ati+1calculalosvaloresdeestadoy1(i+1),...,ym(i+1),apartirdeloscualesesposiblecalcularlas demsvariablesdescriptivas(quenoseandeestadonideentrada),ym+1(i+1),...,yn(i+1)enti+1.Aeste desimulacioneslesllamaremositerativasdetiempodiscretoenmodeloinvarianteeneltiempo. Cmoencontrarvariablesdeestado? 1)Identificarvariablesdescriptivasdelmodeloeinteracciones. 2)Identificarvariablesdeentrada(externas),sielmodeloesnoautnomo. 3)Identificarcandidatosavariablesdeestadoapartirdelainspeccindelasinteracciones.Sihay variablesdelascualesdependenlosvaloresdelasdemsvariablesencadatiempo,estasson candidatasavariablesdeestado. Notasobremodelosnoautnomos Losmodelosnoautnomostienenvariablesdeentradaexternaslascualesenningncasoson variablesdeestado.Sinembargohayvariablesdeestadoquepuedencomportarsecomoentradas internasdelmodelo.Esimportantenotarestasutildiferencia,paranocometererroresbuscandolos conjuntosdelasvariablesdeestado.

CC20A1ComputacinIIAuxiliar3 IvnBustamante

Problemas Problema#1
Supongaqueexistendosdispositivos,ANDyOR,conlassiguientescaractersticas: ORtienedosentradas,cadaunadeellasconvaloresposibles,0y1.Sialguna(oambas)de estasentradastieneunvalor1,enlasiguienteunidaddetiempo,lasalidatienevalor1.En casocontrario,tienevalor0. ANDtienedosentradas,cadaunacondosvaloresposibles,0y1.Sialguna(oambas)de estasentradastieneunvalor0,enlasiguienteunidaddetiempo,lasalidatienevalor0.En casocontrario,tienevalor1.

Supongaunsistemacomoelsiguienteconestosdispositivos,s3esvariabledesalida,i1,i2,i3con variablesdeentrada.Loscablesdeconexinsoninstantneos.

Demuestreque{s1,s2,s3}esunconjuntodevariablesdeestado.

CC20A1ComputacinIIAuxiliar3 IvnBustamante

Problema#2
EnlaciudaddePraga,elrelojdeAyuntamiento,construidoenlossiglosXVyXVI,funcionaentre las9:30ylas17:30enlasecuenciaqueseindicaacontinuacin. Tresminutosantesdeunahora(esdecir,9:57;10:57;etc.),lafiguradeLaMuerte(unesqueleto) tiradeunacuerdaquellevaenlamanoderecha.Dosminutosantesdelahora,desfilanarribadel relojlasfigurasdelosDoceApstoles.Unminutoantesdelahora,ungallocanta,yalahora exacta,elrelojmismomarcalahora.Unminutodespusdelahora,semuevensimultneamentelas figurasdeElTurco,LaVanidadyLaAvaricia.Cadaunadeestasactividadessupongaqueduran (cadaunadeellas)exactamenteunminuto.Elrestodeltiempo,losdiversoscomponentesestn quietos. Especifiquelasvariablesdeestadoparaelsistemadescritoporelfuncionamientodeestesingular reloj.

CC20A1ComputacinIIAuxiliar3 IvnBustamante

Solucin Problema#1
Parademostrarqueunavariableesdeestado,esnecesariomostrardoscosas: 1)Quesuvalorent+1puedeserdeterminadoapartirdevariablesdeestadoydeentradadeun tiempot. 2)Quesuvalorentdeterminaelvalorentdelasdemsvariablesdescriptivas. Adems,elconjuntodelasvariablesdeestado,debeserminimal.Osea,sisacamosunadelasvariablesdel conjunto,sedejadecumplir1)o2). Enestecasoelconjuntodevariablesdeestadocorrespondeatodoelconjuntodevariables descriptivas.Asquesolodebemosdemostrareltem1. Entoncesdebemosdemostrarqueelvalordes1(t+1),s2(t+1)ys3(t+1)sepuedeobtenerapartirde i1(t),i2(t),i3(t),s1(t),s2(t)ys3(t). Apartirdeldiagramaobtenemosentonces,lassiguientesrelaciones: s1(t+1)=s3(t)+i1(t) s2(t+1)=i2(t)+i3(t) s3(t+1)=s1(t)+s2(t) As,hemosdemostradoquelosvaloresdelasvariabless1,s2,s3ent+1puedensercalculadosa partirdelosvaloresdelasvariablesespecificadasenuntiempot,porlotanto,sedemuestraques1, s2ys3sonvariablesdeestado.

Problema#2
Tenemoslassiguientesvariablesdescriptivasparalacomponentedelsistema (RELOJ_AYUNTAMIENTO): HORAconrango{xN/0x23}(tambinsepuedemodelarconunrelojde12horas) MINUTOSconrango{xN/0x59} MUERTE,APOSTOLES,GALLO,TURCO,AVARICIA,VANIDAD{MUEVE,QUIETO} (recuerdenquelasfigurasdelturco,laavariciaylavanidadtambinsepuedenmodelarcomouna solacomponente.) RELOJ{MARCA,QUIETO}

CC20A1ComputacinIIAuxiliar3 IvnBustamante

Entradas: Elsistemaesautnomo. CandidatosaVariabledeEstado: Previamente:estableceremosnuestraunidaddetiempoenminutos,yaquenonosinteresaque ocurreconlossegundosenestemodelo,porendeti+1ti=1minuto. Sigamos:Comoparaconocerelvalordetodaslasvariablesdescriptivasesnecesariosaberelvalor deHORAyMINUTOS,estosserannuestroscandidatos.Ahora,verifiquemossiloson: HORA(t)siMINUTOS(t)<59 HORA(t+1)= HORA(t)+1siMINUTOS(t)=59yHORA(t)<23 0,siHORA(t)=23yMINUTOS(t)=59 =>HORA(t+1)sepuedecalcularapartirdelosvaloresdeMINUTOS(t)yHORA(t) MINUTOS(t+1)= MINUTOS(t)+1siMINUTOS(t)<59 0,siMINUTOS(t)=59 =>MINUTOS(t+1)sepuedecalcularapartirdelvalordeMINUTOS(t) Verifiquemosahorasiesposiblecalcularlosvaloresdelrestodelasvariablesenuntiempota partirdelosvaloresdeHORA(t)yMINUTOS(t) MUERTE(t)= MUEVE,si9HORA(t)16yMINUTOS(t)=57 QUIETO,sino APOSTOLES(t)= GALLO(t)= RELOJ(t)= MUEVE,si9HORA(t)16yMINUTOS(t)=58 QUIETO,sino

MUEVE,si9HORA(t)16yMINUTOS(t)=59 QUIETO,sino MARCA,si10HORA(t)17yMINUTOS(t)=0 QUIETO,sino (MUEVE,MUEVE,MUEVE)si10HORA(t)17y MINUTOS(t)=1 (QUIETO,QUIETO,QUIETO)sino

(TURCO,VANIDAD,AVARICIA)(t)=

CC20A1ComputacinIIAuxiliar3 IvnBustamante

=>EsposiblecalcularelvalordetodaslasvariablesapartirdeHORAyMINUTOSent. Porlotanto,semuestraqueHORAyMINUTOSsonvariablesdeestadoparaelmodeloestudiado.