Boundary detection - Revision history

Jpye at 01:34, 26 November 2017

2017-11-26T01:34:30Z

← Older revision		Revision as of 01:34, 26 November 2017
Line 1:		Line 1:
	<div class="pageexperimental">''This page documents an '''experimental''' feature. You can help out by '''testing it''' and <span class="plainlinks">[http://~~ascendwiki~~.~~cheme~~.~~cmu.edu/index.php?title=Boundary_detection&action=edit recording~~]</span> your experiences.''</div>		<div class="pageexperimental">''This page documents an '''experimental''' feature. You can help out by '''testing it''' and <span class="plainlinks">[http://bugs.ascend4.org reporting]</span> your experiences.''</div>

	Boundary detection works under [[IDA]] to detect when, as moving forward in time, a point comes when a conditional expression changes value.		Boundary detection works under [[IDA]] to detect when, as moving forward in time, a point comes when a conditional expression changes value.

Jpye at 21:32, 20 June 2013

2013-06-20T21:32:58Z

← Older revision		Revision as of 21:32, 20 June 2013
Line 12:		Line 12:
	Boolean-valued relations case use the truth-value of real-valued relations using the <tt>[[SATISFIED]](relname,tolerance)</tt> function.		Boolean-valued relations case use the truth-value of real-valued relations using the <tt>[[SATISFIED]](relname,tolerance)</tt> function.

	See also [[Conditional modelling]] ~~and~~ [[Integration of Conditional Models]].		See also
			* [[Event handling]]
			* [[Conditional modelling]]
			* [[Integration of Conditional Models]]

	[[Category:Experimental]]		[[Category:Experimental]]
	[[Category:Documentation]]		[[Category:Documentation]]

Jpye at 05:28, 9 November 2010

2010-11-09T05:28:06Z

← Older revision		Revision as of 05:28, 9 November 2010
Line 10:		Line 10:
	As integration time progresses, logic-valued relations can only change value when somehow triggered by changes in real-valued relations. Boolean-valued relations at that point then be re-evaluated using [[LRSlv]] to precedence-order the logical relations from the current model state.		As integration time progresses, logic-valued relations can only change value when somehow triggered by changes in real-valued relations. Boolean-valued relations at that point then be re-evaluated using [[LRSlv]] to precedence-order the logical relations from the current model state.

	Boolean-valued relations case use the truth-value of real-valued relations using the <tt>SATISFIED(relname,tolerance)</tt> function.		Boolean-valued relations case use the truth-value of real-valued relations using the <tt>[[SATISFIED]](relname,tolerance)</tt> function.

	See also [[Conditional modelling]] and [[Integration of Conditional Models]].		See also [[Conditional modelling]] and [[Integration of Conditional Models]].

Jpye at 05:27, 9 November 2010

2010-11-09T05:27:25Z

← Older revision		Revision as of 05:27, 9 November 2010
Line 4:		Line 4:

	Possible boundaries include		Possible boundaries include


	* real-valued relations, such as <tt>t < t_1</tt> or <tt>T > T_sat</tt>		* real-valued relations, such as <tt>t < t_1</tt> or <tt>T > T_sat</tt>
Line 15:		Line 14:
	See also [[Conditional modelling]] and [[Integration of Conditional Models]].		See also [[Conditional modelling]] and [[Integration of Conditional Models]].

			[[Category:Experimental]]



	[[Category:Experimental]]
	[[Category:Documentation]]		[[Category:Documentation]]

UploadBot: Restored page from Google Cache, uploaded by John Pye

2010-05-13T14:01:24Z

Restored page from Google Cache, uploaded by John Pye

New page

<div class="pageexperimental">''This page documents an '''experimental''' feature. You can help out by '''testing it''' and <span class="plainlinks">[http://ascendwiki.cheme.cmu.edu/index.php?title=Boundary_detection&action=edit recording]</span> your experiences.''</div>

Boundary detection works under [[IDA]] to detect when, as moving forward in time, a point comes when a conditional expression changes value.

Possible boundaries include

* real-valued relations, such as <tt>t < t_1</tt> or <tt>T > T_sat</tt>
* boolean-valued relations, such as <tt>motor_running = (have_power AND motor_switch_on)</tt>

As integration time progresses, logic-valued relations can only change value when somehow triggered by changes in real-valued relations. Boolean-valued relations at that point then be re-evaluated using [[LRSlv]] to precedence-order the logical relations from the current model state.

Boolean-valued relations case use the truth-value of real-valued relations using the <tt>SATISFIED(relname,tolerance)</tt> function.

See also [[Conditional modelling]] and [[Integration of Conditional Models]].

[[Category:Experimental]]
[[Category:Documentation]]