# $Revision: 1.1.4.2 $ Model { Name "sf_tlat" Version 6.2 MdlSubVersion 0 GraphicalInterface { NumRootInports 0 NumRootOutports 0 ParameterArgumentNames "" ComputedModelVersion "1.12" NumModelReferences 0 NumTestPointedSignals 0 } SavedCharacterEncoding "US-ASCII" SaveDefaultBlockParams on SampleTimeColors off LibraryLinkDisplay "none" WideLines off ShowLineDimensions off ShowPortDataTypes off ShowLoopsOnError on IgnoreBidirectionalLines off ShowStorageClass off ShowTestPointIcons on ShowViewerIcons on SortedOrder off ExecutionContextIcon off ShowLinearizationAnnotations on RecordCoverage off CovPath "/" CovSaveName "covdata" CovMetricSettings "dcmtr" CovNameIncrementing off CovHtmlReporting on covSaveCumulativeToWorkspaceVar on CovSaveSingleToWorkspaceVar on CovCumulativeVarName "covCumulativeData" CovCumulativeReport off CovReportOnPause on ScopeRefreshTime 0.035000 OverrideScopeRefreshTime on DisableAllScopes off DataTypeOverride "UseLocalSettings" MinMaxOverflowLogging "UseLocalSettings" MinMaxOverflowArchiveMode "Overwrite" BlockNameDataTip off BlockParametersDataTip off BlockDescriptionStringDataTip off ToolBar on StatusBar on BrowserShowLibraryLinks off BrowserLookUnderMasks off Created "Thu Oct 04 13:55:46 2001" Creator "The MathWorks Inc." UpdateHistory "UpdateHistoryNever" ModifiedByFormat "%" LastModifiedBy "batserve" ModifiedDateFormat "%" LastModifiedDate "Sat Jan 22 19:12:20 2005" ModelVersionFormat "1.%" ConfigurationManager "None" LinearizationMsg "none" Profile off ParamWorkspaceSource "MATLABWorkspace" AccelSystemTargetFile "accel.tlc" AccelTemplateMakefile "accel_default_tmf" AccelMakeCommand "make_rtw" TryForcingSFcnDF off ExtModeBatchMode off ExtModeEnableFloating on ExtModeTrigType "manual" ExtModeTrigMode "normal" ExtModeTrigPort "1" ExtModeTrigElement "any" ExtModeTrigDuration 1000 ExtModeTrigDurationFloating "auto" ExtModeTrigHoldOff 0 ExtModeTrigDelay 0 ExtModeTrigDirection "rising" ExtModeTrigLevel 0 ExtModeArchiveMode "off" ExtModeAutoIncOneShot off ExtModeIncDirWhenArm off ExtModeAddSuffixToVar off ExtModeWriteAllDataToWs off ExtModeArmWhenConnect on ExtModeSkipDownloadWhenConnect off ExtModeLogAll on ExtModeAutoUpdateStatusClock off BufferReuse on StrictBusMsg "None" ProdHWDeviceType "32-bit Generic" ShowModelReferenceBlockVersion off ShowModelReferenceBlockIO off Array { Type "Handle" Dimension 1 Simulink.ConfigSet { $ObjectID 1 Version "1.1.0" Array { Type "Handle" Dimension 7 Simulink.SolverCC { $ObjectID 2 Version "1.1.0" StartTime "0.0" StopTime "100" AbsTol "auto" FixedStep "auto" InitialStep "auto" MaxNumMinSteps "-1" MaxOrder 5 ExtrapolationOrder 4 NumberNewtonIterations 1 MaxStep "auto" MinStep "auto" RelTol "1e-3" SolverMode "Auto" Solver "ode45" SolverName "ode45" ZeroCrossControl "UseLocalSettings" AlgebraicLoopSolver "TrustRegion" SolverResetMethod "Fast" PositivePriorityOrder off AutoInsertRateTranBlk off SampleTimeConstraint "Unconstrained" RateTranMode "Deterministic" } Simulink.DataIOCC { $ObjectID 3 Version "1.1.0" Decimation "1" ExternalInput "[t, u]" FinalStateName "xFinal" InitialState "xInitial" LimitDataPoints on MaxDataPoints "1000" LoadExternalInput off LoadInitialState off SaveFinalState off SaveFormat "Array" SaveOutput on SaveState off SignalLogging on SaveTime on StateSaveName "xout" TimeSaveName "tout" OutputSaveName "yout" SignalLoggingName "logsout" OutputOption "RefineOutputTimes" OutputTimes "[]" Refine "1" } Simulink.OptimizationCC { $ObjectID 4 Array { Type "Cell" Dimension 5 Cell "ZeroExternalMemoryAtStartup" Cell "ZeroInternalMemoryAtStartup" Cell "InitFltsAndDblsToZero" Cell "OptimizeModelRefInitCode" Cell "NoFixptDivByZeroProtection" PropName "DisabledProps" } Version "1.1.0" BlockReduction on BooleanDataType off ConditionallyExecuteInputs on InlineParams off InlineInvariantSignals on OptimizeBlockIOStorage on BufferReuse on EnforceIntegerDowncast on ExpressionFolding on FoldNonRolledExpr on LocalBlockOutputs on ParameterPooling on RollThreshold 5 SystemCodeInlineAuto off StateBitsets off DataBitsets off UseTempVars off ZeroExternalMemoryAtStartup on ZeroInternalMemoryAtStartup on InitFltsAndDblsToZero on NoFixptDivByZeroProtection off EfficientFloat2IntCast off OptimizeModelRefInitCode off LifeSpan "inf" BufferReusableBoundary on } Simulink.DebuggingCC { $ObjectID 5 Version "1.1.0" RTPrefix "error" ConsistencyChecking "none" ArrayBoundsChecking "none" SignalInfNanChecking "none" AlgebraicLoopMsg "warning" ArtificialAlgebraicLoopMsg "warning" CheckSSInitialOutputMsg on CheckExecutionContextPreStartOutputMsg off CheckExecutionContextRuntimeOutputMsg off SignalResolutionControl "TryResolveAllWithWarning" BlockPriorityViolationMsg "warning" MinStepSizeMsg "warning" SolverPrmCheckMsg "none" InheritedTsInSrcMsg "warning" DiscreteInheritContinuousMsg "warning" MultiTaskDSMMsg "warning" MultiTaskRateTransMsg "error" SingleTaskRateTransMsg "none" TasksWithSamePriorityMsg "warning" CheckMatrixSingularityMsg "none" IntegerOverflowMsg "warning" Int32ToFloatConvMsg "warning" ParameterDowncastMsg "error" ParameterOverflowMsg "error" ParameterPrecisionLossMsg "warning" UnderSpecifiedDataTypeMsg "none" UnnecessaryDatatypeConvMsg "none" VectorMatrixConversionMsg "none" InvalidFcnCallConnMsg "error" FcnCallInpInsideContextMsg "Use local settings" SignalLabelMismatchMsg "none" UnconnectedInputMsg "warning" UnconnectedOutputMsg "warning" UnconnectedLineMsg "warning" SFcnCompatibilityMsg "none" UniqueDataStoreMsg "none" BusObjectLabelMismatch "warning" RootOutportRequireBusObject "warning" AssertControl "UseLocalSettings" EnableOverflowDetection off ModelReferenceIOMsg "none" ModelReferenceVersionMismatchMessage "none" ModelReferenceIOMismatchMessage "none" ModelReferenceCSMismatchMessage "none" ModelReferenceSimTargetVerbose off UnknownTsInhSupMsg "warning" ModelReferenceDataLoggingMessage "warning" ModelReferenceSymbolNameMessage "warning" ModelReferenceExtraNoncontSigs "error" } Simulink.HardwareCC { $ObjectID 6 Version "1.1.0" ProdBitPerChar 8 ProdBitPerShort 16 ProdBitPerInt 32 ProdBitPerLong 32 ProdIntDivRoundTo "Undefined" ProdEndianess "Unspecified" ProdWordSize 32 ProdShiftRightIntArith on ProdHWDeviceType "32-bit Generic" TargetBitPerChar 8 TargetBitPerShort 16 TargetBitPerInt 32 TargetBitPerLong 32 TargetShiftRightIntArith on TargetIntDivRoundTo "Undefined" TargetEndianess "Unspecified" TargetWordSize 32 TargetTypeEmulationWarnSuppressLevel 0 TargetPreprocMaxBitsSint 32 TargetPreprocMaxBitsUint 32 TargetHWDeviceType "Specified" TargetUnknown on ProdEqTarget on } Simulink.ModelReferenceCC { $ObjectID 7 Version "1.1.0" UpdateModelReferenceTargets "IfOutOfDateOrStructuralChange" CheckModelReferenceTargetMessage "error" ModelReferenceNumInstancesAllowed "Multi" ModelReferencePassRootInputsByReference on ModelReferenceMinAlgLoopOccurrences off } Simulink.RTWCC { $BackupClass "Simulink.RTWCC" $ObjectID 8 Array { Type "Cell" Dimension 1 Cell "IncludeHyperlinkInReport" PropName "DisabledProps" } Version "1.1.0" SystemTargetFile "grt.tlc" GenCodeOnly off MakeCommand "make_rtw" TemplateMakefile "grt_default_tmf" GenerateReport off SaveLog off RTWVerbose on RetainRTWFile off ProfileTLC off TLCDebug off TLCCoverage off TLCAssert off ProcessScriptMode "Default" ConfigurationMode "Optimized" ConfigAtBuild off IncludeHyperlinkInReport off LaunchReport off TargetLang "C" Array { Type "Handle" Dimension 2 Simulink.CodeAppCC { $ObjectID 9 Array { Type "Cell" Dimension 9 Cell "IgnoreCustomStorageClasses" Cell "InsertBlockDesc" Cell "SFDataObjDesc" Cell "SimulinkDataObjDesc" Cell "DefineNamingRule" Cell "SignalNamingRule" Cell "ParamNamingRule" Cell "InlinedPrmAccess" Cell "CustomSymbolStr" PropName "DisabledProps" } Version "1.1.0" ForceParamTrailComments off GenerateComments on IgnoreCustomStorageClasses on IncHierarchyInIds off MaxIdLength 31 PreserveName off PreserveNameWithParent off ShowEliminatedStatement off IncAutoGenComments off SimulinkDataObjDesc off SFDataObjDesc off IncDataTypeInIds off PrefixModelToSubsysFcnNames on CustomSymbolStr "$R$N$M" MangleLength 1 DefineNamingRule "None" ParamNamingRule "None" SignalNamingRule "None" InsertBlockDesc off SimulinkBlockComments on EnableCustomComments off InlinedPrmAccess "Literals" ReqsInCode off } Simulink.GRTTargetCC { $BackupClass "Simulink.TargetCC" $ObjectID 10 Array { Type "Cell" Dimension 12 Cell "IncludeMdlTerminateFcn" Cell "CombineOutputUpdateFcns" Cell "SuppressErrorStatus" Cell "ERTCustomFileBanners" Cell "GenerateSampleERTMain" Cell "MultiInstanceERTCode" Cell "PurelyIntegerCode" Cell "SupportNonFinite" Cell "SupportComplex" Cell "SupportAbsoluteTime" Cell "SupportContinuousTime" Cell "SupportNonInlinedSFcns" PropName "DisabledProps" } Version "1.1.0" TargetFcnLib "ansi_tfl_tmw.mat" TargetLibSuffix "" TargetPreCompLibLocation "" GenFloatMathFcnCalls "ANSI_C" UtilityFuncGeneration "Auto" GenerateFullHeader on GenerateSampleERTMain off IsPILTarget off ModelReferenceCompliant on IncludeMdlTerminateFcn on CombineOutputUpdateFcns off SuppressErrorStatus off IncludeFileDelimiter "Auto" ERTCustomFileBanners off SupportAbsoluteTime on LogVarNameModifier "rt_" MatFileLogging on MultiInstanceERTCode off SupportNonFinite on SupportComplex on PurelyIntegerCode off SupportContinuousTime on SupportNonInlinedSFcns on ExtMode off ExtModeStaticAlloc off ExtModeTesting off ExtModeStaticAllocSize 1000000 ExtModeTransport 0 ExtModeMexFile "ext_comm" RTWCAPISignals off RTWCAPIParams off RTWCAPIStates off GenerateASAP2 off } PropName "Components" } } PropName "Components" } Name "Configuration" SimulationMode "normal" CurrentDlgPage "Solver" } PropName "ConfigurationSets" } Simulink.ConfigSet { $PropName "ActiveConfigurationSet" $ObjectID 1 } BlockDefaults { Orientation "right" ForegroundColor "black" BackgroundColor "white" DropShadow off NamePlacement "normal" FontName "Helvetica" FontSize 10 FontWeight "normal" FontAngle "normal" ShowName on } BlockParameterDefaults { Block { BlockType Demux Outputs "4" DisplayOption "none" BusSelectionMode off } Block { BlockType DiscretePulseGenerator PulseType "Sample based" TimeSource "Use simulation time" Amplitude "1" Period "2" PulseWidth "1" PhaseDelay "0" SampleTime "1" VectorParams1D on } Block { BlockType Outport Port "1" UseBusObject off BusObject "BusObject" BusOutputAsStruct off PortDimensions "-1" SampleTime "-1" DataType "auto" OutDataType "sfix(16)" OutScaling "2^0" SignalType "auto" SamplingMode "auto" OutputWhenDisabled "held" InitialOutput "[]" } Block { BlockType Scope Floating off ModelBased off TickLabels "OneTimeTick" ZoomMode "on" Grid "on" TimeRange "auto" YMin "-5" YMax "5" SaveToWorkspace off SaveName "ScopeData" LimitDataPoints on MaxDataPoints "5000" Decimation "1" SampleInput off SampleTime "0" } Block { BlockType "S-Function" FunctionName "system" SFunctionModules "''" PortCounts "[]" } Block { BlockType SubSystem ShowPortLabels on Permissions "ReadWrite" PermitHierarchicalResolution "All" SystemSampleTime "-1" RTWFcnNameOpts "Auto" RTWFileNameOpts "Auto" SimViewingDevice off DataTypeOverride "UseLocalSettings" MinMaxOverflowLogging "UseLocalSettings" } Block { BlockType Terminator } Block { BlockType TriggerPort TriggerType "rising" StatesWhenEnabling "inherit" ShowOutputPort off OutputDataType "auto" SampleTimeType "triggered" SampleTime "1" ZeroCross on } } AnnotationDefaults { HorizontalAlignment "center" VerticalAlignment "middle" ForegroundColor "black" BackgroundColor "white" DropShadow off FontName "Helvetica" FontSize 10 FontWeight "normal" FontAngle "normal" } LineDefaults { FontName "Helvetica" FontSize 9 FontWeight "normal" FontAngle "normal" } System { Name "sf_tlat" Location [12, 111, 604, 619] Open on ModelBrowserVisibility off ModelBrowserWidth 200 ScreenColor "white" PaperOrientation "landscape" PaperPositionMode "auto" PaperType "usletter" PaperUnits "inches" ZoomFactor "104" ReportName "simulink-default.rpt" Block { BlockType SubSystem Name "More Info" Ports [] Position [390, 396, 515, 474] DropShadow on ShowName off FontName "Arial" FontSize 12 TreatAsAtomicUnit off MinAlgLoopOccurrences off RTWSystemCode "Auto" MaskDisplay "disp('Double click\\nhere for\\ninformation on" "\\nthis demonstration')" MaskIconFrame on MaskIconOpaque on MaskIconRotate "none" MaskIconUnits "autoscale" System { Name "More Info" Location [244, 223, 816, 598] Open off ModelBrowserVisibility off ModelBrowserWidth 200 ScreenColor "white" PaperOrientation "landscape" PaperPositionMode "auto" PaperType "usletter" PaperUnits "inches" ZoomFactor "100" Annotation { Name "\n" Position [20, 40] HorizontalAlignment "left" VerticalAlignment "top" FontName "Arial" FontSize 12 } Annotation { Name "Temporal Logic using the AT function" Position [273, 17] FontName "Arial" FontSize 16 FontWeight "bold" } Annotation { Name "In this demo, we illustrate the advantage o" "f using the AT function. In this demo, the AT function is\nused three times i" "n the 'Temporal Logic' chart. After setting a value a=5, we use the AT functi" "on to \nchange the final output in the chart. On the 5th ('a') event, we set " "the output to 1; on the 10th ('2*a') \nevent, we set the output to 0; and fin" "ally, on the 30th ('6*a') event we set the output to equal -1.\n\nIn the 'Wit" "hout Temporal Logic' chart, we need to use many more states and transitions t" "o create\nthe same model. We also needed to create an extra local variable, '" "count', to be used as a counter\nfor every occurrence. In general, there were" " many more definitions and declarations needed to\ncreate the same model with" "out using temporal logic. This increases the chance for error as well\nas the" " size of the generated code. \n\n\n \n" Position [19, 48] HorizontalAlignment "left" VerticalAlignment "top" FontName "Arial" FontSize 12 } } } Block { BlockType SubSystem Name "More Info1" Ports [] Position [30, 396, 154, 475] DropShadow on ShowName off OpenFcn "simcad(bdroot);" FontName "Arial" FontSize 12 TreatAsAtomicUnit off MinAlgLoopOccurrences off RTWSystemCode "Auto" MaskDisplay "disp('Double click\\nhere for\\nSimulink\\State" "flow\\n Help')" MaskIconFrame on MaskIconOpaque on MaskIconRotate "none" MaskIconUnits "autoscale" System { Name "More Info1" Location [128, 280, 487, 453] Open off ModelBrowserVisibility off ModelBrowserWidth 200 ScreenColor "white" PaperOrientation "landscape" PaperPositionMode "auto" PaperType "usletter" PaperUnits "inches" ZoomFactor "100" } } Block { BlockType DiscretePulseGenerator Name "Pulse\nGenerator" Ports [0, 1] Position [20, 58, 65, 92] PulseType "Time based" Period "1" PulseWidth "50" } Block { BlockType Scope Name "Scope" Ports [2] Position [435, 173, 485, 257] Location [565, 41, 1026, 478] Open on NumInputPorts "2" ZoomMode "xonly" List { ListType AxesTitles axes1 "%" axes2 "%" } TimeRange "100" YMin "-1.5~-1.5" YMax "1.5~1.5" DataFormat "StructureWithTime" } Block { BlockType SubSystem Name "Temporal Logic" Ports [0, 1, 0, 1] Position [155, 113, 275, 187] TreatAsAtomicUnit on MinAlgLoopOccurrences off RTWSystemCode "Auto" MaskType "Stateflow" MaskDescription "Stateflow diagram" MaskDisplay "plot(sf('Private','sfblk','xIcon'),sf('Private'" ",'sfblk','yIcon'));text(0.5,0,sf('Private', 'sfblk', 'tIcon'),'HorizontalAl'," "'Center','VerticalAl','Bottom');" MaskSelfModifiable on MaskIconFrame off MaskIconOpaque off MaskIconRotate "none" MaskIconUnits "autoscale" System { Name "Temporal Logic" Location [257, 457, 812, 717] Open off ModelBrowserVisibility off ModelBrowserWidth 200 ScreenColor "white" PaperOrientation "landscape" PaperPositionMode "auto" PaperType "usletter" PaperUnits "inches" ZoomFactor "100" Block { BlockType TriggerPort Name "event" Ports [0, 1] Position [20, 101, 40, 119] ShowOutputPort on } Block { BlockType Demux Name " Demux " Ports [1, 1] Position [270, 160, 320, 200] Outputs "1" } Block { BlockType "S-Function" Name " SFunction " Tag "Stateflow S-Function sf_tlat 1" Ports [1, 2] Position [180, 100, 230, 160] FunctionName "sf_sfun" PortCounts "[1 2]" Port { PortNumber 2 Name "output" RTWStorageClass "Auto" DataLoggingNameMode "SignalName" ShowSigGenPortName on } } Block { BlockType Terminator Name " Terminator " Position [460, 171, 480, 189] } Block { BlockType Outport Name "output" Position [460, 101, 480, 119] IconDisplay "Port number" BusOutputAsStruct off } Line { SrcBlock " SFunction " SrcPort 1 Points [0, 65] DstBlock " Demux " DstPort 1 } Line { SrcBlock " Demux " SrcPort 1 DstBlock " Terminator " DstPort 1 } Line { SrcBlock "event" SrcPort 1 DstBlock " SFunction " DstPort 1 } Line { Name "output" Labels [0, 0] SrcBlock " SFunction " SrcPort 2 DstBlock "output" DstPort 1 } } } Block { BlockType SubSystem Name "Without Temporal Logic" Ports [0, 1, 0, 1] Position [155, 253, 275, 327] TreatAsAtomicUnit on MinAlgLoopOccurrences off RTWSystemCode "Auto" MaskType "Stateflow" MaskDescription "Stateflow diagram" MaskDisplay "plot(sf('Private','sfblk','xIcon'),sf('Private'" ",'sfblk','yIcon'));text(0.5,0,sf('Private', 'sfblk', 'tIcon'),'HorizontalAl'," "'Center','VerticalAl','Bottom');" MaskSelfModifiable on MaskIconFrame off MaskIconOpaque off MaskIconRotate "none" MaskIconUnits "autoscale" System { Name "Without Temporal Logic" Location [257, 457, 812, 717] Open off ModelBrowserVisibility off ModelBrowserWidth 200 ScreenColor "white" PaperOrientation "landscape" PaperPositionMode "auto" PaperType "usletter" PaperUnits "inches" ZoomFactor "100" Block { BlockType TriggerPort Name "control" Ports [0, 1] Position [20, 101, 40, 119] ShowOutputPort on } Block { BlockType Demux Name " Demux " Ports [1, 1] Position [270, 160, 320, 200] Outputs "1" } Block { BlockType "S-Function" Name " SFunction " Tag "Stateflow S-Function sf_tlat 2" Ports [1, 2] Position [180, 100, 230, 160] FunctionName "sf_sfun" PortCounts "[1 2]" Port { PortNumber 2 Name "output" RTWStorageClass "Auto" DataLoggingNameMode "SignalName" ShowSigGenPortName on } } Block { BlockType Terminator Name " Terminator " Position [460, 171, 480, 189] } Block { BlockType Outport Name "output" Position [460, 101, 480, 119] IconDisplay "Port number" BusOutputAsStruct off } Line { SrcBlock " SFunction " SrcPort 1 Points [0, 65] DstBlock " Demux " DstPort 1 } Line { SrcBlock " Demux " SrcPort 1 DstBlock " Terminator " DstPort 1 } Line { SrcBlock "control" SrcPort 1 DstBlock " SFunction " DstPort 1 } Line { Name "output" Labels [0, 0] SrcBlock " SFunction " SrcPort 2 DstBlock "output" DstPort 1 } } } Line { SrcBlock "Pulse\nGenerator" SrcPort 1 Points [25, 0] Branch { Points [120, 0] DstBlock "Temporal Logic" DstPort trigger } Branch { Points [0, 163] DstBlock "Without Temporal Logic" DstPort trigger } } Line { SrcBlock "Temporal Logic" SrcPort 1 Points [65, 0; 0, 45] DstBlock "Scope" DstPort 1 } Line { SrcBlock "Without Temporal Logic" SrcPort 1 Points [65, 0; 0, -55] DstBlock "Scope" DstPort 2 } Annotation { Name "Temporal Logic (AT) Demonstration" Position [306, 22] ForegroundColor "blue" FontName "Arial" FontSize 16 FontWeight "bold" } } } # Finite State Machines # # Stateflow Version 6.2 (R14SP2) dated Jan 21 2005, 03:46:19 # # Stateflow { machine { id 1 name "sf_tlat" created "04-Oct-2001 13:55:46" isLibrary 0 firstTarget 28 debug { animation [1 0.2] } sfVersion 62014000 sfDemoChecksum [3378455948 1600371746 1975779557 418617438] } chart { id 2 name "Temporal Logic" windowPosition [130.5 158.25 603.75 339] viewLimits [24.521 486.167 0 249.672] zoomFactor 0.824 screen [1 1 1024 768 1.333333333333333] treeNode [0 3 0 0] firstTransition 5 firstJunction 4 viewObj 2 machine 1 decomposition CLUSTER_CHART firstEvent 8 firstData 9 chartFileNumber 1 } state { id 3 labelString "State\n" "a=5;\n" "on at(a,event):output=1;\n" "on at(2*a,event):output=0;" position [71.063 57.319 237.5 111] fontSize 12 chart 2 treeNode [2 0 0 0] subviewer 2 type OR_STATE decomposition CLUSTER_STATE } junction { id 4 position [467.5 109.5 7] chart 2 linkNode [2 0 0] subviewer 2 type CONNECTIVE_JUNCTION } transition { id 5 labelPosition [46.107 49.278 8.034 15.45] fontSize 12 src { intersection [0 0 0 0.2677 36.1884 17.7816 0 -48.375] } dst { id 3 intersection [4 -1 0 0.9002 71.0634 68.3916 0 -48.375] } midPoint [46.662 50.7756] chart 2 linkNode [2 0 6] dataLimits [36.188 71.063 17.782 70.792] subviewer 2 drawStyle SMART slide { sticky SRC_STICK } executionOrder 1 } transition { id 6 labelString "at(6*a,event)" labelPosition [375.607 64.417 71.688 15.45] fontSize 12 src { id 3 intersection [2 1 0 0.2555 308.5634 85.6747 0 0] } dst { id 4 intersection [0 -0.7071 -0.7071 -1 462.5503 104.5503 0 0] } midPoint [391.7947 78.4332] chart 2 linkNode [2 5 7] dataLimits [308.563 462.55 78.446 104.55] stampAngle -0.7854 subviewer 2 drawStyle SMART slide { sticky BOTH_STICK arcL -23.8253 arcClockDir 1 } executionOrder 1 } transition { id 7 labelString "{output=-1;}" labelPosition [374.122 149.759 65.508 15.45] fontSize 12 src { id 4 intersection [0 -0.4679 0.8838 -1 464.2248 115.6865 0 0] } dst { id 3 intersection [2 1 0 0.6998 308.5634 135 0 0] } midPoint [397.2444 142.5162] chart 2 linkNode [2 6 0] dataLimits [308.563 464.225 115.687 142.515] stampAngle 1.0839 subviewer 2 drawStyle SMART slide { sticky BOTH_STICK arcL 25.5 } executionOrder 1 } event { id 8 name "event" linkNode [2 0 0] scope INPUT_EVENT trigger RISING_EDGE_EVENT machine 1 } data { id 9 name "output" linkNode [2 0 10] scope OUTPUT_DATA machine 1 dataType "double" fixptType { bias 0 slope 1 exponent 0 baseType SF_INT16_TYPE lock 0 } dlgFixptMode 0 props { range { minimum "" maximum "" } } } data { id 10 name "a" linkNode [2 9 0] scope LOCAL_DATA machine 1 dataType "double" fixptType { bias 0 slope 1 exponent 0 baseType SF_INT16_TYPE lock 0 } dlgFixptMode 0 props { range { minimum "" maximum "" } } } instance { id 11 name "Temporal Logic" machine 1 chart 2 } chart { id 12 name "Without Temporal Logic" windowPosition [123.75 54 531.75 321] viewLimits [0 610.313 0 356.25] zoomFactor 1.25 screen [1 1 1024 768 1.333333333333333] treeNode [0 13 0 0] firstTransition 16 viewObj 12 machine 1 decomposition CLUSTER_CHART firstEvent 23 firstData 24 chartFileNumber 2 } state { id 13 labelString "A\n" "en: count = 1;" position [31.058 28.995 130.08 99.188] fontSize 12 chart 12 treeNode [12 0 0 14] firstTransition 17 subviewer 12 type OR_STATE decomposition CLUSTER_STATE } state { id 14 labelString "B\n" "en:count=a+1;" position [379.512 32.015 128.375 103.125] fontSize 12 chart 12 treeNode [12 0 13 15] firstTransition 20 subviewer 12 type OR_STATE decomposition CLUSTER_STATE } state { id 15 labelString "C\n" "en:count=2*a+1;" position [201.353 162.671 130.394 99.66] fontSize 12 chart 12 treeNode [12 0 14 0] firstTransition 22 subviewer 12 type OR_STATE decomposition CLUSTER_STATE } transition { id 16 labelPosition [72.071 5.511 8.425 16.831] fontSize 12 src { intersection [0 0 0 0 24.2025 15.75 0 0] } dst { id 13 intersection [1 0 -1 0.1966 56.6334 28.9951 0 0] } midPoint [45.3451 15.5635] chart 12 linkNode [12 0 18] dataLimits [24.202 59.033 15.553 28.995] subviewer 12 drawStyle SMART executionOrder 1 } transition { id 17 labelString "{count++;a=count;}" labelPosition [37.139 72.186 105.775 16.831] fontSize 12 src { id 13 intersection [2 -1 0 0.5322 161.1382 81.7811 0 0] } dst { id 13 intersection [3 0 -1 0.4791 98.8195 128.183 0 0] } midPoint [117.6529 90.5608] chart 12 linkNode [13 0 0] dataLimits [96.419 161.138 81.708 128.183] subviewer 12 executionOrder 1 } transition { id 18 labelString "[count==5]{output=1;}" labelPosition [224.308 44.252 119.816 16.831] fontSize 12 src { id 13 intersection [2 1 0 0.3769 161.138 66.379 0 -33.7647] } dst { id 14 intersection [4 -1 0 0.6668 379.512 66.379 0 33.7647] } midPoint [270.8117 66.375] chart 12 linkNode [12 16 21] dataLimits [161.138 379.512 63.975 68.775] stampAngle -0.2221 subviewer 12 drawStyle SMART slide { arcL -0.75 arcClockDir 1 } executionOrder 1 } transition { id 19 labelString "[count==2*a]{output=0;}" labelPosition [424.117 185.257 131.049 16.831] fontSize 12 src { id 14 intersection [3 0 1 0.4612 448.6758 135.1398 0 0] } dst { id 15 intersection [2 1 0 0.3244 331.747 195 0 0] } midPoint [405.1909 185.0479] chart 12 linkNode [12 21 0] dataLimits [331.747 448.676 135.14 197.4] subviewer 12 slide { arcL 66.75 } executionOrder 1 } transition { id 20 labelString "{count++;}" labelPosition [426.668 88.318 48.675 14.961] fontSize 10.55 src { id 14 intersection [2 -1 0 0.7107 507.8871 105.3043 0 0] } dst { id 14 intersection [3 0 -1 0.5852 432.7615 135.1398 0 0] } midPoint [458.3162 106.1257] chart 12 linkNode [14 0 0] dataLimits [430.362 507.887 103.382 135.14] subviewer 12 executionOrder 1 } transition { id 21 labelString "[count==6*a]{output=-1;}" labelPosition [70.897 147.724 134.793 16.831] fontSize 12 src { id 15 intersection [4 -1 0 0.458 201.3528 216.6857 0 -54.0147] } dst { id 13 intersection [3 0 1 0.7679 61.25 128.183 0 99.888] } midPoint [106.9594 195.3851] chart 12 linkNode [12 18 19] dataLimits [58.85 201.353 128.183 216.686] subviewer 12 drawStyle SMART slide { sticky BOTH_STICK } executionOrder 1 } transition { id 22 labelString "{count++;}" labelPosition [223.826 219.494 53.356 15.896] fontSize 11.292 src { id 15 intersection [2 -1 0 0.5985 331.747 222.3177 0 0] } dst { id 15 intersection [3 0 -1 0.4676 270.7762 262.3308 0 0] } midPoint [290.6724 226.4919] chart 12 linkNode [15 0 0] dataLimits [268.376 331.747 221.382 262.331] subviewer 12 executionOrder 1 } event { id 23 name "control" linkNode [12 0 0] scope INPUT_EVENT trigger RISING_EDGE_EVENT machine 1 } data { id 24 name "count" linkNode [12 0 25] scope LOCAL_DATA machine 1 dataType "double" fixptType { bias 0 slope 1 exponent 0 baseType SF_INT16_TYPE lock 0 } dlgFixptMode 0 props { range { minimum "" maximum "" } } } data { id 25 name "output" linkNode [12 24 26] scope OUTPUT_DATA machine 1 dataType "double" fixptType { bias 0 slope 1 exponent 0 baseType SF_INT16_TYPE lock 0 } dlgFixptMode 0 props { range { minimum "" maximum "" } } } data { id 26 name "a" linkNode [12 25 0] scope LOCAL_DATA machine 1 dataType "double" fixptType { bias 0 slope 1 exponent 0 baseType SF_INT16_TYPE lock 0 } dlgFixptMode 0 props { range { minimum "" maximum "" } } } instance { id 27 name "Without Temporal Logic" machine 1 chart 12 } target { id 28 name "sfun" description "Default Simulink S-Function Target." codeFlags " debug=1 overflow=1 echo=1" machine 1 linkNode [1 0 0] } }