Transcription of Modelling and Simulation Concepts
1 ModellingandSimulationConceptsCS522 FallTerm2001 HansVangheluweAta rstglance,it is , a varietyofapplicationdomainssuchas uiddynamics,energysystems,andlogisticsma nagementmake useofit inoneformoranother. Dependingonthecontext,modellingandsimula tionis oftenseenasa sub-setofSystemsTheory, ControlTheory, NumericalAnalysis,ComputerScience,Arti cialIntelligence, , modellingandsimulationintegratesallofthe above , paradigm,it is a wayofrepresentingproblemsandthinkingabou tthem,asmuchasa ,abstractmodelsarebuiltinductivelyfromob servationsofa ,modelsdeductivelyderivedfroma prioriknowledgeareusedtobuildasystem, ,aniterative combinationofanalysisanddesignisneededto solve onthebehaviourofdynamical( ,time-varying)systems,staticsystems(such asentity-relationship modelsandclassdiagrams,describedin theUni edModellingLanguageUML[RJB99])
2 Area (obeyingconservationandconstraintlaws)an dnon-physical(informational,suchassoftwa re) ,anintroductiontothebasicconceptsofmodel lingandsimulationis presentsmodellingandsimulationconceptsas introducedbyZeigler[Zei84, ZPK00].Objectis is studied, a hypothetical,abstractrepresentationofthe object's properties,in particular, itsbehaviour, whichis validinallpossiblecontexts,anddescribesa lltheobject's hypotheticalaswewillnever inpractice beabletoconstruct/representsucha total basemodelexistsat allis wellde nedobjectintheRealWorldunderspeci cconditions,onlyconsideringspeci systemintherealworld,theexperimentalfram e(EF)describesexperimentalconditions(con text),aspects.
3 ,theExperimentalFramere ectstheobjectivesoftheexperimenterwhoper formsexperimentsona realsystemor,throughsimulation,ona (seeFigure2),anExperimentalFrameconsists oftwosetsofvariables,theFrameInputVariab lesandtheFrameOutputVariables, , ,atransducerdescribesthetransformationst obeappliedtothesystem(experiment)ormodel ( Simulation ) ,outputreferstophysicalsystemoutputaswel lastothesyntheticoutputsintheformofinter nalmodelstatesmeasuredbyanobserver. Incaseofa model, ,a generatoranda transducer,1 Basicconcepts2 Real-WorldentityBaseModelSystem Sonly study behaviour inexperimental contextexperimentwithin contextModel MSimulation ResultsExperiment Observed Datawithin contextsimulate= virtual experimentModel Basea-priori knowledgevalidationREALITYMODELGOALSM odelling and Simulation ProcessFigure1:ModellingandSimulationSys tem(real or model)generatortransduceracceptorExperim ental FrameFrame InputVariablesFrame OutputVariablesFigure2.
4 SystemversusExperimentalFrame1 Basicconcepts3 Real SystemAbstract ModelExperiment ResultsSimulation Resultsexperimentvirtual experimentmodelling/abstractionabstracti onFigure3: Modelling SimulationMorphismanExperimentalFramemay alsocompriseanacceptorwhichcomparesfeatu resofthegeneratorinputswithfeaturesofthe transducedoutput,anddetermineswhetherthe system(realormodel) ts thisExperimentalFrame,andhence,theexperi menter's objectives.(Lumped)Modelgivesanaccurated escriptionofa systemwithinthecontextofa accuratedescription needstobede nedprecisely. Usually, certainpropertiesofthesystem's structureand/orbehaviourmustbere ectedbythemodelwithina certainrangeofaccuracy.
5 Note:a lumpedmodelisnotnecessarilya lumpedparametermodel[Cel91]. Duetothediverseapplicationsofmodellingan dsimulation,terminologyoverlapis (in uenceitsinputandparameters)orit ,theexperimentationenvironmentmaybeseena sasysteminitsownright(whichmayinturnbemo delledbya lumpedmodel).Also, lumpedmodeldescribedina certainformalism(suchasPetriNet,Differen tialAlgebraicEquations(DAE)orBondGraph)p roducessimulationresults: thedynamicinput/outputbehaviour. ,whichmimicsthereal-worldexperiment,canb eseenasvirtualexperimentation, allowingonetoanswerquestionsabout(thebeh aviourof)a ,theparticulartechniqueuseddoesnotmatter . Whereasthegoalofmodellingis tomeaningfullydescribea systempresentinginformationinanunderstan dable,re-usableway, theaimofsimulationis tobefastandaccurate.
6 Symbolictech-niquesareoftenfavouredovern umericalonesasthey allow ,Asin x Bcos x asa symbolicsolutionto theharmonicequationd2xdt2 x(withAandBdeterminedbytheinitialconditi ons)is ,symbolicoptimizationshave a Experiment/Model VirtualExperimentschemeis thatthereis aho-momorphicrelationbetweenmodelandsyst em:buildinga modelofa realsystemandsubsequentlysimulatingitsbe haviourshouldyieldthesameresultsasperfor minga realexperimentfollowedbyobservationandco dify-ingtheexperimentalresults(seeFigure 3).Asimulationmodelis a toolforachievinga goal(design,analysis,control,optimisatio n,.. ) [BO96]. A fundamentalprerequisiteis thereforesomeassurancethatinferencesdraw nfrommodellingandsimulation(tools)canbea cceptedwithcon dence.
7 Theestablishmentofthiscon denceisassociatedwithtwo distinctactivities;namely, veri cationistheprocessofcheckingtheconsisten cy ofa simulationprogramwithrespecttothelumpedm odelitis , veri cationis concernedwiththecorrectnessofthetransfor mationfromsomeintermediateabstractrepres entation(theconceptualmodel)totheprogram code(thesimulationmodel)ensuringthatthep rogramcodefaithfullyre ectsthebehaviourthatis implicitinthespeci (code).If thiscompilercanbeveri ed,alltransformationsbythecompilerarever i theprocessofcomparingexperimentmeasureme ntswithsimulationresultswithinthecontext ofa certain2 Themodellingandsimulationprocess4 CauseEffectInputOutputSystemConceptualMo delSimulationModelBehaviouralValidationC onceptualModel ValidationVerificationStructuralValidati onFigure4:Veri cationandvalidationactivitiesExperimenta lFrame[Bal97].
8 Whencomparisonshowsdifferences, largenumberofmatchingmeasurementsandsimu lationresults, thoughincreasingcon dence,doesnotprovevalidityofthemodelhowe ver. ,Popperhasintroducedtheconceptoffalsi cation[Mag85], theenterpriseoftryingtofalsifyordisprove a modelmaystatethatwaterina potboilsat100oC. Many experimentswillcon rmthismodel,untileitherthepotis closedoris takingtoa , it shouldleadtoa re nementofthemodel's experimentalframeontheonehandandtoanatte mpttoexpandthemodelto pot,a restrictedexperimentalframewouldstatetha tthepressuremustbeconstant(1atm). ed; ,conceptualmodelvalidation,structuralval idation, conceptualmodelwithrespecttothesystem,wh eretheobjective is theevaluationofthestructureofa theevaluationofthesimulationmodelbehavio ur.
9 Anoverviewofveri cationandvalidationactivitiesis shownin Figure4. It is notedthatthecorrespondencein generatedbehaviourbetweena systemanda ,whenusingmodelstoexchangeinformation,a , a understandany enterprise,it is necessarytoanalyzetheprocess: whichactivitiesarepreformed,whatentities areop-eratedon,andwhatthecausalrelations hips(determiningactivityorderandconcurre ncy) ,aprescribedprocesscanbethebasisforautom ationandimplementationofa softwaretool[Hum89, HK89].Notehow a prescribedprocessis notnecessarilydeterministicasit maystillleave a largenumberofdecisionsto exempli edbytheSEIC apabilityMaturityModel( )whichassessesthequalityofsoftwarecompan iesbythelevel ofknowl-edge,re-use, depictedinFigure5.
10 Bymeansofa simplemass-springexperimentexample(seeFi gure6), ,a massslidingwithoutfrictionovera horizontalsurfaceis connectedtoa Themodellingandsimulationprocess5 Experimental Frame DefinitionStructure CharacterisationParameter EstimationSimulationValidationclass of parametric model candidatesparametric modelmodel with meaningful parameter valuessimulated measurementsvalidated modela prioriknowledgemodeller s andexperimenter sgoalsexperiment observation(measurement)dataInformation SourcesActivitiesFigure5:Model-basedsyst emsanalysisWALLRestLength [m]WALL position x [m]Mass m [kg]Mass m [kg]Figure6:Mass-Springexample2 Themodellingandsimulationprocess6 Figure7:MeasurementdataAnumberofInformat ionSources(eitherexplicitintheformofdata /model/knowledgebasesorimplicitintheuser 'smind) PrioriKnowledge:indeductivemodelling, onestartsfromgeneralprinciples suchasmass,energy, momentumconservationlawsandconstraints anddeducesspeci Intheexample,thea prioriknowledgeconsistsofNewton's secondlawofmotion, :thelevelofabstraction,formalismsused,me thodsemployed.
