Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revisionBoth sides next revision |
alvis:modelstate [2013/12/31 09:46]
marcin [Example] | — (current) |
|---|
| ====== Model state ====== | |
| |
| **Definition 1.** A **state** of a model **A** = (//D//, //B//, α^0), where //D// = (//A//, //C//, σ) and //A// = {//X//_1,...,//X//_//n//} is a tuple | |
| |
| //S// = (//S//(//X//_1),...,//S//(//X//_//n//)). | |
| |
| **Definition 2.** The **initial state** is defined as follows: | |
| * //am//(//X//) = **X**, for any active agent //X// such that σ(//X//) = //True//. | |
| * //am//(//X//) = **I**, for any active agent //X// such that σ(//X//) = //False//. | |
| * //am//(//X//) = **W**, for any passive agent //X//. | |
| * //pc//(//X//) = 1 for any active agent //X// in the **running** mode and //pc//(//X//) = 0 for other agents. | |
| * //ci//(//X//) = [ ] for any active agent //X//. | |
| * //ci//(//X//) contains names of all accessible procedures of //X// together with the direction of parameters transfer, e.g. //in//(//a//), //out//(//b//), etc. for any passive agent //X//. | |
| * For any agent //X//, //pv//(//X//) contains //X// parameters with their initial values. | |
| |
| ===== Example ===== | |
| |
| {{ :alvis:rbs.png?nolink |}} | |
| |
| |
| **FIXME** | |
| |
| **[[:alvis:manual|Go back]]** | |