r2 - 08 Mar 2009 - 22:54:34 - MarcelVerhoefYou are here: VdmBook >  Main Web  > ExerciseSolutions

Exercise 7.17

The robot controller was made using sets in chapter 6. For various reasons part of this model was not natural. The solution here demonstrates how it can be made ´more naturally with the presence of sequences.

Edit | Attach | Printable | Raw View | Backlinks: Web, All Webs | History: r2 < r1 | More topic actions
 
Vorsprung Durch Mathematik
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding VdmBook? Send feedback