Answer set programming - Revision history

en>Logperson at 23:07, 18 November 2014

2014-11-18T23:07:59Z

← Older revision		Revision as of 01:07, 19 November 2014
Line 1:		Line 1:
	~~The author's~~ name ~~is Christy Brookins~~. ~~Her family members life in Ohio. Credit authorising~~ is ~~how she makes~~ a ~~residing~~. To ~~play domino~~ is ~~something~~ I ~~truly appreciate doing~~.<br><br>~~My blog; are psychics real (~~[http://~~www~~.~~khuplaza~~.com/~~dent/14869889 visit the following internet site~~])		Hi there, I am Alyson Boon although it is not the name on my beginning certificate. My working day job is a journey agent. To climb is some thing I really enjoy performing. Mississippi is exactly where her house is but her husband desires them to transfer.<br><br>my web site: [http://brazil.amor-amore.com/irboothe online psychics]

92.141.84.171: /* Answer set programming language AnsProlog */

2014-02-17T09:51:56Z

Answer set programming language AnsProlog

← Older revision		Revision as of 11:51, 17 February 2014
Line 1:		Line 1:
	~~In [[automata theory]], a '''hybrid automaton'~~'' (plural: ''hybrid automata'' or ''hybrid automatons'') is a mathematical model for precisely describing systems in which digital computational processes interact with analog physical processes. A hybrid automaton is a [[finite state machine]] with a finite set of continuous variables whose values are described by a set of [[ordinary differential equations]]. This combined specification of discrete and continuous behaviors enables dynamic systems that comprise both digital and analog components to be modeled and analyzed.		The author's name is Christy Brookins. Her family members life in Ohio. Credit authorising is how she makes a residing. To play domino is something I truly appreciate doing.<br><br>My blog; are psychics real ([http://www.khuplaza.com/dent/14869889 visit the following internet site])

	~~==Examples==~~
	A simple example is a room-thermostat-heater system where the temperature of the room evolves according to laws of [[thermodynamics]] and the state of the heater (on/off); the thermostat senses the temperature, performs certain computations and turns the heater on and off. In general, hybrid automata have been used to model and analyze a variety of [[embedded systems]] including [[vehicle control system]]s~~, [[air traffic control]] systems, [[mobile robots]], and processes from [[systems biology]].~~

	~~==Formal Definition==~~

	An '''Alur-Henzinger hybrid automaton''' <math>H</math> comprises the following components:<ref>Henzinger, T.A. "The Theory of Hybrid Automata". Proceedings of the Eleventh Annual IEEE Symposium on Logic in Computer Science (LICS), pages 278-292, 1996.</ref>

	* A finite set <math>X = \{x_1, ..., x_n\}</math> of real-numbered variables. The number <math>n</math> is ~~called the ''dimension'' of <math>H</math>. Let <math>\dot{X}</math> be the set <math>\{\dot{x}_1, . .~~ . , \dot{x}_n\}</math> of dotted variables that represent ﬁrst derivatives during continuous change, and let <math>X'</math> be the set <math>\{x'_1, ..., x'_n\}</math> of primed variables that represent values at the conclusion of discrete change.
	* A finite [[multidigraph]] <math>(V, E)</math>. The vertices in <math>V</math> are called ''control modes''. The edges in <math>E</math> are called ''control switches''.
	* Three vertex labeling functions ''init'', ''inv'', and ''flow'' that assign to each control mode <math>v\in ~~V</math> three predicates~~. ~~Each initial condition ''init''<math>(v)</math>~~ is a ~~predicate whose free variables are from <math>X</math>~~. ~~Each invariant condition ''inv''<math>(v)</math>~~ is ~~a predicate whose free variables are from <math>X</math>~~. ~~Each flow condition ''flow''~~<~~math~~>~~(v)~~<~~/math~~> ~~is a predicate whose free variables~~ are ~~from <math>X\cup \dot{X}</math>.~~
	~~So this is a [[labeled multidigraph]].~~
	* An edge labeling function ''jump'' that assigns to each control switch <math>e\in E</math> a predicate. Each jump condition ''jump''<math>(~~e)</math> is a predicate whose free variables are from <math>X\cup X'</math>.~~
	* A finite set <math>\Sigma</math> of events, and an edge labeling function ''event'': <math>E \rightarrow \Sigma</math> that assigns to each control switch an event.

	~~==Related models==~~
	~~Hybrid automata come in several flavors: The '''Alur-Henzinger hybrid automaton''' is a popular model; it was developed primarily for algorithmic analysis of hybrid systems [[model checking]]. The~~ [http://www~~-cad~~.~~eecs~~.~~berkeley.edu~~/~~~tah/HyTech/ HyTech] model checking tool is based on this model. The '''Hybrid Input~~/Output Automaton''' model has been developed more recently. This model enables compositional modeling and analysis of hybrid systems. Another formalism which is useful to model implementations of hybrid automaton is the ~~[[lazy linear hybrid automaton~~]]. A sub-class of hybrid automata are [[timed automaton\|timed automata]] in which all continuous variables have derivative 1. State reachability is decidable for this sub-class, which is why it is an interesting formalism for formal verification.

	~~==References==~~

	~~<references />~~

	~~==Further reading==~~
	*[[Rajeev Alur]], Costas Courcoubetis, Nicolas Halbwachs, Thomas A. Henzinger, Pei-Hsin Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, and Sergio Yovine ''The algorithmic analysis of hybrid systems''. Theoretical Computer Science, volume 138(1), pages 3–34, 1995.

	*[[Nancy Lynch]], Roberto Segala, Frits Vaandrager, ''Hybrid I/O Automata''. Information and Computation, volume 185(1)~~, pages 103–157, 2003.~~

	~~[[Category:Automata theory]]~~
	~~[[Category:Differential equations]]~~

en>Cedar101: /* Generating stable models */

2013-09-23T03:23:41Z

Generating stable models

← Older revision		Revision as of 05:23, 23 September 2013
Line 1:		Line 1:
	~~I would like~~ to ~~introduce myself~~ to ~~you~~, ~~I am Andrew~~ and ~~my wife doesn~~'~~t like it~~ at ~~all~~. ~~What me~~ and ~~my family members adore~~ is ~~bungee leaping but I~~'~~ve been taking on new things lately~~. ~~My wife~~ and ~~I live~~ in ~~Mississippi and I love psychic readings (~~[http://~~bigpolis~~.~~com~~/~~blogs~~/~~post~~/~~6503 advice here~~]~~) every day living right here~~. ~~Distributing production~~ is ~~how he tends~~ to ~~make a residing~~.		In [[automata theory]], a '''hybrid automaton''' (plural: ''hybrid automata'' or ''hybrid automatons'') is a mathematical model for precisely describing systems in which digital computational processes interact with analog physical processes. A hybrid automaton is a [[finite state machine]] with a finite set of continuous variables whose values are described by a set of [[ordinary differential equations]]. This combined specification of discrete and continuous behaviors enables dynamic systems that comprise both digital and analog components to be modeled and analyzed.

			==Examples==
			A simple example is a room-thermostat-heater system where the temperature of the room evolves according to laws of [[thermodynamics]] and the state of the heater (on/off); the thermostat senses the temperature, performs certain computations and turns the heater on and off. In general, hybrid automata have been used to model and analyze a variety of [[embedded systems]] including [[vehicle control system]]s, [[air traffic control]] systems, [[mobile robots]], and processes from [[systems biology]].

			==Formal Definition==

			An '''Alur-Henzinger hybrid automaton''' <math>H</math> comprises the following components:<ref>Henzinger, T.A. "The Theory of Hybrid Automata". Proceedings of the Eleventh Annual IEEE Symposium on Logic in Computer Science (LICS), pages 278-292, 1996.</ref>

			* A finite set <math>X = \{x_1, ..., x_n\}</math> of real-numbered variables. The number <math>n</math> is called the ''dimension'' of <math>H</math>. Let <math>\dot{X}</math> be the set <math>\{\dot{x}_1, . . . , \dot{x}_n\}</math> of dotted variables that represent ﬁrst derivatives during continuous change, and let <math>X'</math> be the set <math>\{x'_1, ..., x'_n\}</math> of primed variables that represent values at the conclusion of discrete change.
			* A finite [[multidigraph]] <math>(V, E)</math>. The vertices in <math>V</math> are called ''control modes''. The edges in <math>E</math> are called ''control switches''.
			* Three vertex labeling functions ''init'', ''inv'', and ''flow'' that assign to each control mode <math>v\in V</math> three predicates. Each initial condition ''init''<math>(v)</math> is a predicate whose free variables are from <math>X</math>. Each invariant condition ''inv''<math>(v)</math> is a predicate whose free variables are from <math>X</math>. Each flow condition ''flow''<math>(v)</math> is a predicate whose free variables are from <math>X\cup \dot{X}</math>.
			So this is a [[labeled multidigraph]].
			* An edge labeling function ''jump'' that assigns to each control switch <math>e\in E</math> a predicate. Each jump condition ''jump''<math>(e)</math> is a predicate whose free variables are from <math>X\cup X'</math>.
			* A finite set <math>\Sigma</math> of events, and an edge labeling function ''event'': <math>E \rightarrow \Sigma</math> that assigns to each control switch an event.

			==Related models==
			Hybrid automata come in several flavors: The '''Alur-Henzinger hybrid automaton''' is a popular model; it was developed primarily for algorithmic analysis of hybrid systems [[model checking]]. The [http://www-cad.eecs.berkeley.edu/~tah/HyTech/ HyTech] model checking tool is based on this model. The '''Hybrid Input/Output Automaton''' model has been developed more recently. This model enables compositional modeling and analysis of hybrid systems. Another formalism which is useful to model implementations of hybrid automaton is the [[lazy linear hybrid automaton]]. A sub-class of hybrid automata are [[timed automaton\|timed automata]] in which all continuous variables have derivative 1. State reachability is decidable for this sub-class, which is why it is an interesting formalism for formal verification.

			==References==

			<references />

			==Further reading==
			*[[Rajeev Alur]], Costas Courcoubetis, Nicolas Halbwachs, Thomas A. Henzinger, Pei-Hsin Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, and Sergio Yovine ''The algorithmic analysis of hybrid systems''. Theoretical Computer Science, volume 138(1), pages 3–34, 1995.

			*[[Nancy Lynch]], Roberto Segala, Frits Vaandrager, ''Hybrid I/O Automata''. Information and Computation, volume 185(1), pages 103–157, 2003.

			[[Category:Automata theory]]
			[[Category:Differential equations]]

en>Andy Dingley: Reverted 1 edit by 90.207.223.7 (talk): Spam. (TW)

2012-08-15T11:34:55Z

Reverted 1 edit by 90.207.223.7 (talk): Spam. (TW)

New page

I would like to introduce myself to you, I am Andrew and my wife doesn't like it at all. What me and my family members adore is bungee leaping but I've been taking on new things lately. My wife and I live in Mississippi and I love psychic readings ([http://bigpolis.com/blogs/post/6503 advice here]) every day living right here. Distributing production is how he tends to make a residing.