Formal specification of matrix operations and robotics applications

Article View: comp.specification

Article #395

Back to comp.specification Previous Next

#395

From: Gregory Abowd
Date: Mon, 16 Nov 1992 20:45

19 lines
1324 bytes

I am currently working with a student who is trying to use a formal
specification language (Z, for the moment) to describe positioning
algorithms for a robot arm.  I took a quick look through the Z
bibliographies for references to previous work using formal spec
languages for robotics applications, but found little of interest.
Does anyone know of some references to work in this area?  If so,
I would appreciate the information.  The student's work involves a lot of
matrix algebra, so I would also be interested in any references to formal
specification and matrix computations.

Thanks in advance,
Gregory


Gregory D. Abowd				
School of Computer Science and Software Engineering Institute
Carnegie Mellon University, Pittsburgh, PA 15213, USA
Gregory.Abowd@cs.cmu.edu

Technical Details

Message-ID: <1992Nov16.204500.17486@sei.cmu.edu>

Path:

arc1-ca.pugleaf.net!sparky!uunet!ukma!wupost!cs.utexas.edu!zaphod.mps.ohio-state.edu!cis.ohio-state.edu!news.sei.cmu.edu!gda

Show Full Headers

Complete Article Headers

Newsgroups: comp.specification,comp.specification.z
Path: arc1-ca.pugleaf.net!sparky!uunet!ukma!wupost!cs.utexas.edu!zaphod.mps.ohio-state.edu!cis.ohio-state.edu!news.sei.cmu.edu!gda
From: gda@sei.cmu.edu (Gregory Abowd)
Subject: Formal specification of matrix operations and robotics applications
Message-ID: <1992Nov16.204500.17486@sei.cmu.edu>
Keywords: Matrix algebra, robotics, formal specification
Sender: netnews@sei.cmu.edu (Netnews)
Organization: The Software Engineering Institute
Date: Mon, 16 Nov 1992 20:45:00 GMT
Lines: 19