| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 721572 | IFAC Proceedings Volumes | 2007 | 5 Pages |
Abstract
A difference between deterministic and non-deterministic architectures of digital control systems is explained. A finite-state automation model for the system units is used. A verification method for non-deterministic architecture is proposed. This method is based on graph isomorphism – comparing different parts of architectures without using specific rules or algorithms. It can be useful in multi-purpose Computer-Aided Design (CAD) tools for aerospace applications.
Related Topics
Physical Sciences and Engineering
Engineering
Computational Mechanics
