home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / comp / specific / 535 < prev    next >
Encoding:
Internet Message Format  |  1992-11-16  |  1.3 KB
  1. Xref: sparky comp.specification:535 comp.specification.z:466
  2. Newsgroups: comp.specification,comp.specification.z
  3. Path: sparky!uunet!ukma!wupost!cs.utexas.edu!zaphod.mps.ohio-state.edu!cis.ohio-state.edu!news.sei.cmu.edu!gda
  4. From: gda@sei.cmu.edu (Gregory Abowd)
  5. Subject: Formal specification of matrix operations and robotics applications
  6. Message-ID: <1992Nov16.204500.17486@sei.cmu.edu>
  7. Keywords: Matrix algebra, robotics, formal specification
  8. Sender: netnews@sei.cmu.edu (Netnews)
  9. Organization: The Software Engineering Institute
  10. Date: Mon, 16 Nov 1992 20:45:00 GMT
  11. Lines: 19
  12.  
  13.  
  14. I am currently working with a student who is trying to use a formal
  15. specification language (Z, for the moment) to describe positioning
  16. algorithms for a robot arm.  I took a quick look through the Z
  17. bibliographies for references to previous work using formal spec
  18. languages for robotics applications, but found little of interest.
  19. Does anyone know of some references to work in this area?  If so,
  20. I would appreciate the information.  The student's work involves a lot of
  21. matrix algebra, so I would also be interested in any references to formal
  22. specification and matrix computations.
  23.  
  24. Thanks in advance,
  25. Gregory
  26.  
  27.  
  28. Gregory D. Abowd                
  29. School of Computer Science and Software Engineering Institute
  30. Carnegie Mellon University, Pittsburgh, PA 15213, USA
  31. Gregory.Abowd@cs.cmu.edu
  32.