Formal specification of matrix operations and robotics applications

Thread View: comp.specification

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Gregory Abowd Mon, 16 Nov 1992 20:45

#395

Author: 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

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads