Program System for Object Models Deductive Synthesis
The paper considers the problem of dynamic modeling of complex natural and technical objects. The objects that have hierarchical structure are in focus. It is proposed to use new multilevel relatively finite automata models as formal models of such objects. A new algorithm based on deductive synthes...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
FRUCT
2019-04-01
|
| Series: | Proceedings of the XXth Conference of Open Innovations Association FRUCT |
| Subjects: | |
| Online Access: | https://fruct.org/publications/abstract24/files/Zhu.pdf
|