Commit 85ddb103 authored by Matthias Rungger's avatar Matthias Rungger
Browse files

Class documentation updated using NaturalDocs

parent 88f14dd9
1.5
C/C++
/Users/matthias/Documents/projects/scots/git/src/SymbolicModelGrowthBound.hh 1445698008 1 SymbolicModelGrowthBound
/Users/matthias/Documents/projects/scots/git/src/SymbolicModel.hh 1445697595 1 SymbolicModel
/Users/matthias/Documents/projects/scots/git/src/SymbolicSet.hh 1445696862 1 SymbolicSet
/Users/matthias/Documents/projects/scots/git/src/CuddMintermIterator.hh 1445640625 1 CuddMintermIterator
/Users/matthias/Documents/projects/scots/git/src/FixedPoint.hh 1445697415 1 FixedPoint
/Users/matthias/Documents/projects/scots/git/src/TicToc.hh 1444124222 1 TicToc
/Users/rungger/Documents/projects/scots/git/src/CuddMintermIterator.hh 1445805982 1 CuddMintermIterator
/Users/rungger/Documents/projects/scots/git/src/FixedPoint.hh 1445808332 1 FixedPoint
/Users/rungger/Documents/projects/scots/git/src/SymbolicModelGrowthBound.hh 1453377637 1 SymbolicModelGrowthBound
/Users/rungger/Documents/projects/scots/git/src/TicToc.hh 1445805982 1 TicToc
/Users/rungger/Documents/projects/scots/git/src/Menu.txt 1453377174 0 /Users/rungger/Documents/projects/scots/git/src/Menu.txt
/Users/rungger/Documents/projects/scots/git/src/SymbolicSet.hh 1445805982 1 SymbolicSet
/Users/rungger/Documents/projects/scots/git/src/SymbolicModel.hh 1445805982 1 SymbolicModel
/Users/rungger/Documents/projects/scots/git/src/Topics.txt 1453377174 0 /Users/rungger/Documents/projects/scots/git/src/Topics.txt
/Users/rungger/Documents/projects/scots/git/src/Languages.txt 1453377174 0 /Users/rungger/Documents/projects/scots/git/src/Languages.txt
......@@ -20,7 +20,7 @@ Timestamp: Generated on month day, year
# These are indexes you deleted, so Natural Docs will not add them again
# unless you remove them from this line.
Don't Index: General, Functions, Variables, Classes
Don't Index: Functions, General, Classes, Variables
# --------------------------------------------------------------------------
......
......@@ -32,7 +32,7 @@ if (browserType) {document.write("<div class=" + browserType + ">");if (browserV
</div><!--Content-->
<div id=Footer>&nbsp; &middot;&nbsp; Generated on October 24th, 2015&nbsp; &middot;&nbsp; <a href="http://www.naturaldocs.org">Generated by Natural Docs</a></div><!--Footer-->
<div id=Footer>&nbsp; &middot;&nbsp; Generated on January 21st, 2016&nbsp; &middot;&nbsp; <a href="http://www.naturaldocs.org">Generated by Natural Docs</a></div><!--Footer-->
<div id=Menu><div class=MTitle>SCOTS<div class=MSubTitle>symbolic controller synthesis</div></div><div class=MEntry><div class=MGroup><a href="javascript:ToggleMenu('MGroupContent1')">scots</a><div class=MGroupContent id=MGroupContent1><div class=MEntry><div class=MFile><a href="SymbolicSet-hh.html">SymbolicSet</a></div></div><div class=MEntry><div class=MFile><a href="SymbolicModel-hh.html">SymbolicModel</a></div></div><div class=MEntry><div class=MFile><a href="SymbolicModelGrowthBound-hh.html">SymbolicModelGrowthBound</a></div></div><div class=MEntry><div class=MFile><a href="FixedPoint-hh.html">FixedPoint</a></div></div></div></div></div><div class=MEntry><div class=MGroup><a href="javascript:ToggleMenu('MGroupContent2')">helper</a><div class=MGroupContent id=MGroupContent2><div class=MEntry><div class=MFile id=MSelected>CuddMintermIterator</div></div><div class=MEntry><div class=MFile><a href="TicToc-hh.html">TicToc</a></div></div></div></div></div></div><!--Menu-->
......
This diff is collapsed.
......@@ -50,7 +50,7 @@ if (browserType) {document.write("<div class=" + browserType + ">");if (browserV
</div><!--Content-->
<div id=Footer>&nbsp; &middot;&nbsp; Generated on October 24th, 2015&nbsp; &middot;&nbsp; <a href="http://www.naturaldocs.org">Generated by Natural Docs</a></div><!--Footer-->
<div id=Footer>&nbsp; &middot;&nbsp; Generated on January 21st, 2016&nbsp; &middot;&nbsp; <a href="http://www.naturaldocs.org">Generated by Natural Docs</a></div><!--Footer-->
<div id=Menu><div class=MTitle>SCOTS<div class=MSubTitle>symbolic controller synthesis</div></div><div class=MEntry><div class=MGroup><a href="javascript:ToggleMenu('MGroupContent1')">scots</a><div class=MGroupContent id=MGroupContent1><div class=MEntry><div class=MFile><a href="SymbolicSet-hh.html">SymbolicSet</a></div></div><div class=MEntry><div class=MFile id=MSelected>SymbolicModel</div></div><div class=MEntry><div class=MFile><a href="SymbolicModelGrowthBound-hh.html">SymbolicModelGrowthBound</a></div></div><div class=MEntry><div class=MFile><a href="FixedPoint-hh.html">FixedPoint</a></div></div></div></div></div><div class=MEntry><div class=MGroup><a href="javascript:ToggleMenu('MGroupContent2')">helper</a><div class=MGroupContent id=MGroupContent2><div class=MEntry><div class=MFile><a href="CuddMintermIterator-hh.html">CuddMintermIterator</a></div></div><div class=MEntry><div class=MFile><a href="TicToc-hh.html">TicToc</a></div></div></div></div></div></div><!--Menu-->
......
......@@ -11,18 +11,18 @@ if (browserType) {document.write("<div class=" + browserType + ">");if (browserV
<div id=Content><div class="CClass"><div class=CTopic id=MainTopic><h1 class=CTitle><a name="SymbolicModelGrowthBound"></a>SymbolicModelGrowthBound</h1><div class=CBody><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td>template&lt;class stateType_, class inputType_&gt; class SymbolicModelGrowthBound: public SymbolicModel</td></tr></table></blockquote><p>Derived class from <a href="SymbolicModel-hh.html#SymbolicModel" class=LClass id=link7 onMouseOver="ShowTip(event, 'tt2', 'link7')" onMouseOut="HideTip('tt2')">SymbolicModel</a></p><p>Constructs a symbolic model according to the theory in <a href="http://arxiv.org/abs/1503.03715" class=LURL target=_top>http://arxiv.org/abs/1503.03715</a></p><!--START_ND_SUMMARY--><div class=Summary><div class=STitle>Summary</div><div class=SBorder><table border=0 cellspacing=0 cellpadding=0 class=STable><tr class="SMain"><td class=SEntry><a href="#SymbolicModelGrowthBound" id=link1 onMouseOver="ShowTip(event, 'tt1', 'link1')" onMouseOut="HideTip('tt1')">SymbolicModelGrowthBound</a></td><td class=SDescription>Derived class from <a href="SymbolicModel-hh.html#SymbolicModel" class=LClass id=link2 onMouseOver="ShowTip(event, 'tt2', 'link2')" onMouseOut="HideTip('tt2')">SymbolicModel</a></td></tr><tr class="SGroup SIndent1"><td class=SEntry><a href="#SymbolicModelGrowthBound.Functions" >Functions</a></td><td class=SDescription></td></tr><tr class="SFunction SIndent2 SMarked"><td class=SEntry><a href="#SymbolicModelGrowthBound.SymbolicModelGrowthBound" id=link3 onMouseOver="ShowTip(event, 'tt3', 'link3')" onMouseOut="HideTip('tt3')">SymbolicModelGrowthBound</a></td><td class=SDescription>initialize with the state space <a href="SymbolicSet-hh.html#SymbolicSet" class=LClass id=link4 onMouseOver="ShowTip(event, 'tt4', 'link4')" onMouseOut="HideTip('tt4')">SymbolicSet</a> and input space <a href="SymbolicSet-hh.html#SymbolicSet" class=LClass id=link5 onMouseOver="ShowTip(event, 'tt4', 'link5')" onMouseOut="HideTip('tt4')">SymbolicSet</a></td></tr><tr class="SFunction SIndent2"><td class=SEntry><a href="#SymbolicModelGrowthBound.computeTransitionRelation" id=link6 onMouseOver="ShowTip(event, 'tt5', 'link6')" onMouseOut="HideTip('tt5')">computeTransitionRelation</a></td><td class=SDescription>provide the system ode, growth bound ode and the sampling time</td></tr></table></div></div><!--END_ND_SUMMARY--></div></div></div>
<div id=Content><div class="CClass"><div class=CTopic id=MainTopic><h1 class=CTitle><a name="SymbolicModelGrowthBound"></a>SymbolicModelGrowthBound</h1><div class=CBody><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td>template&lt;class stateType_, class inputType_&gt; class SymbolicModelGrowthBound: public SymbolicModel</td></tr></table></blockquote><p>Derived class from <a href="SymbolicModel-hh.html#SymbolicModel" class=LClass id=link7 onMouseOver="ShowTip(event, 'tt2', 'link7')" onMouseOut="HideTip('tt2')">SymbolicModel</a></p><p>Constructs a symbolic model according to the theory in <a href="http://arxiv.org/abs/1503.03715" class=LURL target=_top>http://arxiv.org/abs/1503.03715</a></p><!--START_ND_SUMMARY--><div class=Summary><div class=STitle>Summary</div><div class=SBorder><table border=0 cellspacing=0 cellpadding=0 class=STable><tr class="SMain"><td class=SEntry><a href="#SymbolicModelGrowthBound" id=link1 onMouseOver="ShowTip(event, 'tt1', 'link1')" onMouseOut="HideTip('tt1')">SymbolicModelGrowthBound</a></td><td class=SDescription>Derived class from <a href="SymbolicModel-hh.html#SymbolicModel" class=LClass id=link2 onMouseOver="ShowTip(event, 'tt2', 'link2')" onMouseOut="HideTip('tt2')">SymbolicModel</a></td></tr><tr class="SGroup SIndent1"><td class=SEntry><a href="#SymbolicModelGrowthBound.Functions" >Functions</a></td><td class=SDescription></td></tr><tr class="SFunction SIndent2 SMarked"><td class=SEntry><a href="#SymbolicModelGrowthBound.SymbolicModelGrowthBound" id=link3 onMouseOver="ShowTip(event, 'tt3', 'link3')" onMouseOut="HideTip('tt3')">SymbolicModelGrowthBound</a></td><td class=SDescription>initialize with the state space <a href="SymbolicSet-hh.html#SymbolicSet" class=LClass id=link4 onMouseOver="ShowTip(event, 'tt4', 'link4')" onMouseOut="HideTip('tt4')">SymbolicSet</a> and input space <a href="SymbolicSet-hh.html#SymbolicSet" class=LClass id=link5 onMouseOver="ShowTip(event, 'tt4', 'link5')" onMouseOut="HideTip('tt4')">SymbolicSet</a></td></tr><tr class="SFunction SIndent2"><td class=SEntry><a href="#SymbolicModelGrowthBound.computeTransitionRelation" id=link6 onMouseOver="ShowTip(event, 'tt5', 'link6')" onMouseOut="HideTip('tt5')">computeTransitionRelation</a></td><td class=SDescription>provide the solution of the system at sampling time and provide the solution of the linear system associated with the growth bound at sampling time</td></tr></table></div></div><!--END_ND_SUMMARY--></div></div></div>
<div class="CGroup"><div class=CTopic><h3 class=CTitle><a name="SymbolicModelGrowthBound.Functions"></a>Functions</h3></div></div>
<div class="CFunction"><div class=CTopic><h3 class=CTitle><a name="SymbolicModelGrowthBound.SymbolicModelGrowthBound"></a>SymbolicModelGrowthBound</h3><div class=CBody><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td><table border=0 cellspacing=0 cellpadding=0><tr><td class=PBeforeParameters colspan=4>SymbolicModelGrowthBound(</td></tr><tr><td>&nbsp;&nbsp;&nbsp;</td><td class=PType nowrap>SymbolicSet&nbsp;</td><td class=PParameterPrefix nowrap>*</td><td class=PParameter nowrap width=100%>stateSpace,</td></tr><tr><td>&nbsp;&nbsp;&nbsp;</td><td class=PType nowrap>SymbolicSet&nbsp;</td><td class=PParameterPrefix nowrap>*</td><td class=PParameter nowrap width=100%>inputSpace</td></tr><tr><td class=PAfterParameters colspan=4>): SymbolicModel(stateSpace,inputSpace)</td></tr></table></td></tr></table></blockquote><p>initialize with the state space <a href="SymbolicSet-hh.html#SymbolicSet" class=LClass id=link8 onMouseOver="ShowTip(event, 'tt4', 'link8')" onMouseOut="HideTip('tt4')">SymbolicSet</a> and input space <a href="SymbolicSet-hh.html#SymbolicSet" class=LClass id=link9 onMouseOver="ShowTip(event, 'tt4', 'link9')" onMouseOut="HideTip('tt4')">SymbolicSet</a></p></div></div></div>
<div class="CFunction"><div class=CTopic><h3 class=CTitle><a name="SymbolicModelGrowthBound.computeTransitionRelation"></a>computeTransitionRelation</h3><div class=CBody><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td><table border=0 cellspacing=0 cellpadding=0><tr><td class=PBeforeParameters colspan=6>template&lt;class F1, class F2&gt; void computeTransitionRelation(</td></tr><tr><td>&nbsp;&nbsp;&nbsp;</td><td class=PType nowrap>F1&nbsp;</td><td class=PParameterPrefix nowrap>&amp;</td><td class=PParameter nowrap>system_ode,</td><td class=PDefaultValuePrefix>&nbsp;&nbsp;</td><td class=PDefaultValue width=100%></td></tr><tr><td>&nbsp;&nbsp;&nbsp;</td><td class=PType nowrap>F2&nbsp;</td><td class=PParameterPrefix nowrap>&amp;</td><td class=PParameter nowrap>growth_bound_ode,</td><td class=PDefaultValuePrefix>&nbsp;&nbsp;</td><td class=PDefaultValue width=100%></td></tr><tr><td>&nbsp;&nbsp;&nbsp;</td><td class=PType nowrap>double&nbsp;</td><td class=PParameterPrefix nowrap></td><td class=PParameter nowrap>samplingTime,</td><td class=PDefaultValuePrefix>&nbsp;&nbsp;</td><td class=PDefaultValue width=100%></td></tr><tr><td>&nbsp;&nbsp;&nbsp;</td><td class=PType nowrap>double&nbsp;</td><td class=PParameterPrefix nowrap></td><td class=PParameter nowrap>interSampleTime</td><td class=PDefaultValuePrefix>&nbsp;=&nbsp;</td><td class=PDefaultValue width=100%>1e-2</td></tr><tr><td class=PAfterParameters colspan=6>)</td></tr></table></td></tr></table></blockquote><p>provide the system ode, growth bound ode and the sampling time</p><p>optional: inter sampling time for the Runge Kutte solver</p></div></div></div>
<div class="CFunction"><div class=CTopic><h3 class=CTitle><a name="SymbolicModelGrowthBound.computeTransitionRelation"></a>computeTransitionRelation</h3><div class=CBody><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td><table border=0 cellspacing=0 cellpadding=0><tr><td class=PBeforeParameters nowrap>template&lt;class F1, class F2&gt; void computeTransitionRelation(</td><td class=PType nowrap>F1&nbsp;</td><td class=PParameterPrefix nowrap>&amp;</td><td class=PParameter nowrap>system_post,</td></tr><tr><td></td><td class=PType nowrap>F2&nbsp;</td><td class=PParameterPrefix nowrap>&amp;</td><td class=PParameter nowrap>radius_post</td><td class=PAfterParameters nowrap>)</td></tr></table></td></tr></table></blockquote><p>provide the solution of the system at sampling time and provide the solution of the linear system associated with the growth bound at sampling time</p><p>see the example directory for the specific format</p></div></div></div>
</div><!--Content-->
<div id=Footer>&nbsp; &middot;&nbsp; Generated on October 24th, 2015&nbsp; &middot;&nbsp; <a href="http://www.naturaldocs.org">Generated by Natural Docs</a></div><!--Footer-->
<div id=Footer>&nbsp; &middot;&nbsp; Generated on January 21st, 2016&nbsp; &middot;&nbsp; <a href="http://www.naturaldocs.org">Generated by Natural Docs</a></div><!--Footer-->
<div id=Menu><div class=MTitle>SCOTS<div class=MSubTitle>symbolic controller synthesis</div></div><div class=MEntry><div class=MGroup><a href="javascript:ToggleMenu('MGroupContent1')">scots</a><div class=MGroupContent id=MGroupContent1><div class=MEntry><div class=MFile><a href="SymbolicSet-hh.html">SymbolicSet</a></div></div><div class=MEntry><div class=MFile><a href="SymbolicModel-hh.html">SymbolicModel</a></div></div><div class=MEntry><div class=MFile id=MSelected>SymbolicModelGrowthBound</div></div><div class=MEntry><div class=MFile><a href="FixedPoint-hh.html">FixedPoint</a></div></div></div></div></div><div class=MEntry><div class=MGroup><a href="javascript:ToggleMenu('MGroupContent2')">helper</a><div class=MGroupContent id=MGroupContent2><div class=MEntry><div class=MFile><a href="CuddMintermIterator-hh.html">CuddMintermIterator</a></div></div><div class=MEntry><div class=MFile><a href="TicToc-hh.html">TicToc</a></div></div></div></div></div></div><!--Menu-->
......@@ -30,7 +30,7 @@ if (browserType) {document.write("<div class=" + browserType + ">");if (browserV
<!--START_ND_TOOLTIPS-->
<div class=CToolTip id="tt1"><div class=CClass><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td>template&lt;class stateType_, class inputType_&gt; class SymbolicModelGrowthBound: public SymbolicModel</td></tr></table></blockquote>Derived class from SymbolicModel</div></div><div class=CToolTip id="tt2"><div class=CClass><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td>class SymbolicModel</td></tr></table></blockquote>base class for SymbolicModelGrowthBound</div></div><div class=CToolTip id="tt3"><div class=CFunction><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td><table border=0 cellspacing=0 cellpadding=0><tr><td class=PBeforeParameters colspan=4>SymbolicModelGrowthBound(</td></tr><tr><td>&nbsp;&nbsp;&nbsp;</td><td class=PType nowrap>SymbolicSet&nbsp;</td><td class=PParameterPrefix nowrap>*</td><td class=PParameter nowrap width=100%>stateSpace,</td></tr><tr><td>&nbsp;&nbsp;&nbsp;</td><td class=PType nowrap>SymbolicSet&nbsp;</td><td class=PParameterPrefix nowrap>*</td><td class=PParameter nowrap width=100%>inputSpace</td></tr><tr><td class=PAfterParameters colspan=4>): SymbolicModel(stateSpace,inputSpace)</td></tr></table></td></tr></table></blockquote>initialize with the state space SymbolicSet and input space SymbolicSet</div></div><div class=CToolTip id="tt4"><div class=CClass>symbolic (bdd) implementation of a set of points aligned on a uniform grid</div></div><div class=CToolTip id="tt5"><div class=CFunction><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td><table border=0 cellspacing=0 cellpadding=0><tr><td class=PBeforeParameters colspan=6>template&lt;class F1, class F2&gt; void computeTransitionRelation(</td></tr><tr><td>&nbsp;&nbsp;&nbsp;</td><td class=PType nowrap>F1&nbsp;</td><td class=PParameterPrefix nowrap>&amp;</td><td class=PParameter nowrap>system_ode,</td><td class=PDefaultValuePrefix>&nbsp;&nbsp;</td><td class=PDefaultValue width=100%></td></tr><tr><td>&nbsp;&nbsp;&nbsp;</td><td class=PType nowrap>F2&nbsp;</td><td class=PParameterPrefix nowrap>&amp;</td><td class=PParameter nowrap>growth_bound_ode,</td><td class=PDefaultValuePrefix>&nbsp;&nbsp;</td><td class=PDefaultValue width=100%></td></tr><tr><td>&nbsp;&nbsp;&nbsp;</td><td class=PType nowrap>double&nbsp;</td><td class=PParameterPrefix nowrap></td><td class=PParameter nowrap>samplingTime,</td><td class=PDefaultValuePrefix>&nbsp;&nbsp;</td><td class=PDefaultValue width=100%></td></tr><tr><td>&nbsp;&nbsp;&nbsp;</td><td class=PType nowrap>double&nbsp;</td><td class=PParameterPrefix nowrap></td><td class=PParameter nowrap>interSampleTime</td><td class=PDefaultValuePrefix>&nbsp;=&nbsp;</td><td class=PDefaultValue width=100%>1e-2</td></tr><tr><td class=PAfterParameters colspan=6>)</td></tr></table></td></tr></table></blockquote>provide the system ode, growth bound ode and the sampling time</div></div><!--END_ND_TOOLTIPS-->
<div class=CToolTip id="tt1"><div class=CClass><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td>template&lt;class stateType_, class inputType_&gt; class SymbolicModelGrowthBound: public SymbolicModel</td></tr></table></blockquote>Derived class from SymbolicModel</div></div><div class=CToolTip id="tt2"><div class=CClass><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td>class SymbolicModel</td></tr></table></blockquote>base class for SymbolicModelGrowthBound</div></div><div class=CToolTip id="tt3"><div class=CFunction><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td><table border=0 cellspacing=0 cellpadding=0><tr><td class=PBeforeParameters colspan=4>SymbolicModelGrowthBound(</td></tr><tr><td>&nbsp;&nbsp;&nbsp;</td><td class=PType nowrap>SymbolicSet&nbsp;</td><td class=PParameterPrefix nowrap>*</td><td class=PParameter nowrap width=100%>stateSpace,</td></tr><tr><td>&nbsp;&nbsp;&nbsp;</td><td class=PType nowrap>SymbolicSet&nbsp;</td><td class=PParameterPrefix nowrap>*</td><td class=PParameter nowrap width=100%>inputSpace</td></tr><tr><td class=PAfterParameters colspan=4>): SymbolicModel(stateSpace,inputSpace)</td></tr></table></td></tr></table></blockquote>initialize with the state space SymbolicSet and input space SymbolicSet</div></div><div class=CToolTip id="tt4"><div class=CClass>symbolic (bdd) implementation of a set of points aligned on a uniform grid</div></div><div class=CToolTip id="tt5"><div class=CFunction><blockquote><table border=0 cellspacing=0 cellpadding=0 class="Prototype prettyprint"><tr><td><table border=0 cellspacing=0 cellpadding=0><tr><td class=PBeforeParameters nowrap>template&lt;class F1, class F2&gt; void computeTransitionRelation(</td><td class=PType nowrap>F1&nbsp;</td><td class=PParameterPrefix nowrap>&amp;</td><td class=PParameter nowrap>system_post,</td></tr><tr><td></td><td class=PType nowrap>F2&nbsp;</td><td class=PParameterPrefix nowrap>&amp;</td><td class=PParameter nowrap>radius_post</td><td class=PAfterParameters nowrap>)</td></tr></table></td></tr></table></blockquote>provide the solution of the system at sampling time and provide the solution of the linear system associated with the growth bound at sampling time</div></div><!--END_ND_TOOLTIPS-->
......
......@@ -122,7 +122,7 @@ if (browserType) {document.write("<div class=" + browserType + ">");if (browserV
</div><!--Content-->
<div id=Footer>&nbsp; &middot;&nbsp; Generated on October 24th, 2015&nbsp; &middot;&nbsp; <a href="http://www.naturaldocs.org">Generated by Natural Docs</a></div><!--Footer-->
<div id=Footer>&nbsp; &middot;&nbsp; Generated on January 21st, 2016&nbsp; &middot;&nbsp; <a href="http://www.naturaldocs.org">Generated by Natural Docs</a></div><!--Footer-->
<div id=Menu><div class=MTitle>SCOTS<div class=MSubTitle>symbolic controller synthesis</div></div><div class=MEntry><div class=MGroup><a href="javascript:ToggleMenu('MGroupContent1')">scots</a><div class=MGroupContent id=MGroupContent1><div class=MEntry><div class=MFile id=MSelected>SymbolicSet</div></div><div class=MEntry><div class=MFile><a href="SymbolicModel-hh.html">SymbolicModel</a></div></div><div class=MEntry><div class=MFile><a href="SymbolicModelGrowthBound-hh.html">SymbolicModelGrowthBound</a></div></div><div class=MEntry><div class=MFile><a href="FixedPoint-hh.html">FixedPoint</a></div></div></div></div></div><div class=MEntry><div class=MGroup><a href="javascript:ToggleMenu('MGroupContent2')">helper</a><div class=MGroupContent id=MGroupContent2><div class=MEntry><div class=MFile><a href="CuddMintermIterator-hh.html">CuddMintermIterator</a></div></div><div class=MEntry><div class=MFile><a href="TicToc-hh.html">TicToc</a></div></div></div></div></div></div><!--Menu-->
......
......@@ -22,7 +22,7 @@ if (browserType) {document.write("<div class=" + browserType + ">");if (browserV
</div><!--Content-->
<div id=Footer>&nbsp; &middot;&nbsp; Generated on October 24th, 2015&nbsp; &middot;&nbsp; <a href="http://www.naturaldocs.org">Generated by Natural Docs</a></div><!--Footer-->
<div id=Footer>&nbsp; &middot;&nbsp; Generated on January 21st, 2016&nbsp; &middot;&nbsp; <a href="http://www.naturaldocs.org">Generated by Natural Docs</a></div><!--Footer-->
<div id=Menu><div class=MTitle>SCOTS<div class=MSubTitle>symbolic controller synthesis</div></div><div class=MEntry><div class=MGroup><a href="javascript:ToggleMenu('MGroupContent1')">scots</a><div class=MGroupContent id=MGroupContent1><div class=MEntry><div class=MFile><a href="SymbolicSet-hh.html">SymbolicSet</a></div></div><div class=MEntry><div class=MFile><a href="SymbolicModel-hh.html">SymbolicModel</a></div></div><div class=MEntry><div class=MFile><a href="SymbolicModelGrowthBound-hh.html">SymbolicModelGrowthBound</a></div></div><div class=MEntry><div class=MFile><a href="FixedPoint-hh.html">FixedPoint</a></div></div></div></div></div><div class=MEntry><div class=MGroup><a href="javascript:ToggleMenu('MGroupContent2')">helper</a><div class=MGroupContent id=MGroupContent2><div class=MEntry><div class=MFile><a href="CuddMintermIterator-hh.html">CuddMintermIterator</a></div></div><div class=MEntry><div class=MFile id=MSelected>TicToc</div></div></div></div></div></div><!--Menu-->
......
<html><head><title>license - Symbolic Controller Synthesis</title><link rel="stylesheet" type="text/css" href="../styles/main.css"><script language=JavaScript src="../javascript/main.js"></script><script language=JavaScript src="../javascript/prettify.js"></script></head><body class="FramedContentPage" onLoad="NDOnLoad();prettyPrint();"><script language=JavaScript><!--
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0//EN" "http://www.w3.org/TR/REC-html40/strict.dtd">
<html><head><title>license</title><link rel="stylesheet" type="text/css" href="../styles/main.css"><script language=JavaScript src="../javascript/main.js"></script><script language=JavaScript src="../javascript/prettify.js"></script><script language=JavaScript src="../javascript/searchdata.js"></script></head><body class="ContentPage" onLoad="NDOnLoad();prettyPrint();"><script language=JavaScript><!--
if (browserType) {document.write("<div class=" + browserType + ">");if (browserVer) {document.write("<div class=" + browserVer + ">"); }}// --></script>
<!-- Generated by Natural Docs, version 1.5 -->
......@@ -9,14 +11,28 @@ if (browserType) {document.write("<div class=" + browserType + ">");if (browserV
<div id=Content><div class="CSection"><div class=CTopic id=MainTopic><h1 class=CTitle><a name="license"></a>license</h1><div class=CBody><p>Copyright &copy; 2015, Matthias Rungger All rights reserved.</p><p>Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met:</p><p>1.&nbsp; Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer.</p><p>2.&nbsp; Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution.</p><p>3.&nbsp; Neither the name of the copyright holder nor the names of its contributors may be used to endorse or promote products derived from this software without specific prior written permission.</p><p>THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS &ldquo;AS IS&rdquo; AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.&nbsp; IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.</p></div></div></div>
<div id=Content><div class="CSection"><div class=CTopic id=MainTopic><h1 class=CTitle><a name="license"></a>license</h1><div class=CBody><p>Copyright &copy; 2015, Hybrid Control Systems Group, Technical Univeristy of Munich All rights reserved.</p><p>Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met:</p><p>1.&nbsp; Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer.</p><p>2.&nbsp; Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution.</p><p>3.&nbsp; Neither the name of the copyright holder nor the names of its contributors may be used to endorse or promote products derived from this software without specific prior written permission.</p><p>THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS &ldquo;AS IS&rdquo; AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.&nbsp; IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.</p></div></div></div>
</div><!--Content-->
<div id=Footer><a href="http://www.naturaldocs.org">Generated by Natural Docs</a></div><!--Footer-->
<div id=Menu><div class=MEntry><div class=MIndex><a href="../index/General.html">Everything</a></div></div><div class=MEntry><div class=MFile id=MSelected>license</div></div><div class=MEntry><div class=MFile><a href="readme-txt.html">SCOTS a Symbolic COnTroller Synthesis tool</a></div></div><script type="text/javascript"><!--
var searchPanel = new SearchPanel("searchPanel", "HTML", "../search");
--></script><div id=MSearchPanel class=MSearchPanelInactive><input type=text id=MSearchField value=Search onFocus="searchPanel.OnSearchFieldFocus(true)" onBlur="searchPanel.OnSearchFieldFocus(false)" onKeyUp="searchPanel.OnSearchFieldChange()"><select id=MSearchType onFocus="searchPanel.OnSearchTypeFocus(true)" onBlur="searchPanel.OnSearchTypeFocus(false)" onChange="searchPanel.OnSearchTypeChange()"><option id=MSearchEverything selected value="General">Everything</option></select></div></div><!--Menu-->
<!--START_ND_TOOLTIPS-->
<!--END_ND_TOOLTIPS-->
<div id=MSearchResultsWindow><iframe src="" frameborder=0 name=MSearchResults id=MSearchResults></iframe><a href="javascript:searchPanel.CloseResultsWindow()" id=MSearchResultsWindowClose>Close</a></div>
<script language=JavaScript><!--
if (browserType) {if (browserVer) {document.write("</div>"); }document.write("</div>");}// --></script></body></html>
\ No newline at end of file
<html><head><title>readme - Symbolic Controller Synthesis</title><link rel="stylesheet" type="text/css" href="../styles/main.css"><script language=JavaScript src="../javascript/main.js"></script><script language=JavaScript src="../javascript/prettify.js"></script></head><body class="FramedContentPage" onLoad="NDOnLoad();prettyPrint();"><script language=JavaScript><!--
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0//EN" "http://www.w3.org/TR/REC-html40/strict.dtd">
<html><head><title>SCOTS a Symbolic COnTroller Synthesis tool</title><link rel="stylesheet" type="text/css" href="../styles/main.css"><script language=JavaScript src="../javascript/main.js"></script><script language=JavaScript src="../javascript/prettify.js"></script><script language=JavaScript src="../javascript/searchdata.js"></script></head><body class="ContentPage" onLoad="NDOnLoad();prettyPrint();"><script language=JavaScript><!--
if (browserType) {document.write("<div class=" + browserType + ">");if (browserVer) {document.write("<div class=" + browserVer + ">"); }}// --></script>
<!-- Generated by Natural Docs, version 1.5 -->
......@@ -9,14 +11,28 @@ if (browserType) {document.write("<div class=" + browserType + ">");if (browserV
<div id=Content><div class="CSection"><div class=CTopic id=MainTopic><h1 class=CTitle><a name="readme"></a>readme</h1><div class=CBody><p>Symbolic Controller Synthesis C++/Matlab Toolbox</p><h4 class=CHeading>Directory structure</h4><p>./src/ Contains the source C++ source code for the SCS classes</p><p>./examples Some C++ programs for testing and development</p></div></div></div>
<div id=Content><div class="CSection"><div class=CTopic id=MainTopic><h1 class=CTitle><a name="SCOTS_a_Symbolic_COnTroller_Synthesis_tool"></a>SCOTS a Symbolic COnTroller Synthesis tool</h1><div class=CBody><p>SCOTS is a C++ tool (with a small Matlab interface) to synthesize controller for possibly perturbed nonlinear control systems with respect to safety and reachability specifications.</p><p>Requirements</p><ul><li>A C++ development environment where you can compile C++ source code.</li><li>The CUDD library by Fabio Somenzi, which can be downlaod at &lsquo;<a href="http://vlsi.colorado.edu/~fabio/" class=LURL target=_top>http://vlsi.colorado.edu/~fabio/</a>&rsquo;.</li><li>SCOTS uses the C++ wraper of the CUDD library, which you need to compile seperately.&nbsp; Got to $(CUDDROOT)/obj/ and run</li></ul><p>$ make</p><p>SCOTS is a header only library.&nbsp; You only need to add SCOTS src directory to the include directory in the compiler command.</p><p>Further details are found in the readme files in example directories.</p><p>Directory structure</p><ul><li>./examples/ Some C++/Maltab programs demonstrating the usage of SCOTS</li><li>./src/ Contains the source C++ source code for the SCOTS classes</li><li>./mfiles Contains an mfile as a wrapper to the mex-file functions</li><li>./mfiles/mexfiles/ A mex-file to read the C++ output from file</li><li>./doc/ Documentation directory</li></ul></div></div></div>
</div><!--Content-->
<div id=Footer><a href="http://www.naturaldocs.org">Generated by Natural Docs</a></div><!--Footer-->
<div id=Menu><div class=MEntry><div class=MIndex><a href="../index/General.html">Everything</a></div></div><div class=MEntry><div class=MFile><a href="license-txt.html">license</a></div></div><div class=MEntry><div class=MFile id=MSelected>SCOTS a Symbolic COnTroller Synthesis tool</div></div><script type="text/javascript"><!--
var searchPanel = new SearchPanel("searchPanel", "HTML", "../search");
--></script><div id=MSearchPanel class=MSearchPanelInactive><input type=text id=MSearchField value=Search onFocus="searchPanel.OnSearchFieldFocus(true)" onBlur="searchPanel.OnSearchFieldFocus(false)" onKeyUp="searchPanel.OnSearchFieldChange()"><select id=MSearchType onFocus="searchPanel.OnSearchTypeFocus(true)" onBlur="searchPanel.OnSearchTypeFocus(false)" onChange="searchPanel.OnSearchTypeChange()"><option id=MSearchEverything selected value="General">Everything</option></select></div></div><!--Menu-->
<!--START_ND_TOOLTIPS-->
<!--END_ND_TOOLTIPS-->
<div id=MSearchResultsWindow><iframe src="" frameborder=0 name=MSearchResults id=MSearchResults></iframe><a href="javascript:searchPanel.CloseResultsWindow()" id=MSearchResultsWindowClose>Close</a></div>
<script language=JavaScript><!--
if (browserType) {if (browserVer) {document.write("</div>"); }document.write("</div>");}// --></script></body></html>
\ No newline at end of file
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN" "http://www.w3.org/TR/REC-html40/loose.dtd">
<html><head><title>Menu - Symbolic Controller Synthesis</title><base target="Content"><link rel="stylesheet" type="text/css" href="styles/main.css"><script language=JavaScript src="javascript/main.js"></script><script language=JavaScript src="javascript/searchdata.js"></script></head><body class="FramedMenuPage" onLoad="NDOnLoad()"><script language=JavaScript><!--
<html><head><title>Menu - SCOTS</title><base target="Content"><link rel="stylesheet" type="text/css" href="styles/main.css"><script language=JavaScript src="javascript/main.js"></script><script language=JavaScript src="javascript/searchdata.js"></script></head><body class="FramedMenuPage" onLoad="NDOnLoad()"><script language=JavaScript><!--
if (browserType) {document.write("<div class=" + browserType + ">");if (browserVer) {document.write("<div class=" + browserVer + ">"); }}// --></script>
<!-- Generated by Natural Docs, version 1.5 -->
......@@ -11,12 +11,10 @@ if (browserType) {document.write("<div class=" + browserType + ">");if (browserV
<div id=Menu><div class=MTitle>Symbolic Controller Synthesis</div><div class=MEntry><div class=MGroup><a href="javascript:ToggleMenu('MGroupContent1')" target="_self">General</a><div class=MGroupContent id=MGroupContent1><div class=MEntry><div class=MFile><a href="files/license-txt.html">license</a></div></div><div class=MEntry><div class=MFile><a href="files/readme-txt.html">readme</a></div></div></div></div></div><div class=MEntry><div class=MGroup><a href="javascript:ToggleMenu('MGroupContent2')" target="_self">Classes</a><div class=MGroupContent id=MGroupContent2><div class=MEntry><div class=MFile><a href="files/src/SymbolicSetFromUniformGrid-hh.html">SymbolicSetFromUniformGrid</a></div></div><div class=MEntry><div class=MFile><a href="files/src/CuddMintermIterator-hh.html">CuddMintermIterator</a></div></div><div class=MEntry><div class=MFile><a href="files/src/TicToc-hh.html">TicToc</a></div></div><div class=MEntry><div class=MFile><a href="files/src/SymbolicSet-hh.html">SymbolicSet</a></div></div></div></div></div><div class=MEntry><div class=MGroup><a href="javascript:ToggleMenu('MGroupContent3')" target="_self">Index</a><div class=MGroupContent id=MGroupContent3><div class=MEntry><div class=MIndex><a href="index/Classes.html">Classes</a></div></div><div class=MEntry><div class=MIndex><a href="index/Functions.html">Functions</a></div></div></div></div></div><script type="text/javascript"><!--
var searchPanel = new SearchPanel("searchPanel", "FramedHTML", "search");
--></script><div id=MSearchPanel class=MSearchPanelInactive><input type=text id=MSearchField value=Search onFocus="searchPanel.OnSearchFieldFocus(true)" onBlur="searchPanel.OnSearchFieldFocus(false)" onKeyUp="searchPanel.OnSearchFieldChange()"><select id=MSearchType onFocus="searchPanel.OnSearchTypeFocus(true)" onBlur="searchPanel.OnSearchTypeFocus(false)" onChange="searchPanel.OnSearchTypeChange()"><option value="Classes">Classes</option><option value="Functions">Functions</option></select></div></div><!--Menu-->
<div id=Menu><div class=MTitle>SCOTS<div class=MSubTitle>symbolic controller synthesis</div></div></div><!--Menu-->
<div id=Footer><p></p><p>Generated on October 8th, 2015</p><p><a href="http://www.naturaldocs.org">Generated by Natural Docs</a></p></div><!--Footer-->
<div id=Footer><p></p><p>Generated on January 21st, 2016</p><p><a href="http://www.naturaldocs.org">Generated by Natural Docs</a></p></div><!--Footer-->
<script language=JavaScript><!--
......
......@@ -44,9 +44,11 @@ public:
/* function: computeTransitionRelation
*
* provide the system ode, growth bound ode and the sampling time
* provide the solution of the system at sampling time and
* provide the solution of the linear system associated with the growth bound
* at sampling time
*
* optional: inter sampling time for the Runge Kutte solver
* see the example directory for the specific format
*
*/
template<class F1, class F2>
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment