Invariants in the application-oriented specification of control systems.

S. J. Goldsack Jeff Kramer

Published in: Autom. (1982)

Keyphrases

application oriented
control system
formal specification
high level
invariant features
specification language
moment invariants
affine invariant
geometric invariants
industrial automation
asynchronous circuits
real time
control algorithm
conceptual model
user defined
color images
artificial intelligence