Especificação lógico-dinâmica e implementação de processos híbridos

A tendência de desenvolvimento de ferramentas de simulação de computador é excluir o trabalho dos programadores na criação e modificação de modelos. O uso de programadores envolve a troca de conhecimentos entre eles e especialistas em áreas temáticas e problemáticas. Esta troca é bastante trabalhosa. A tarefa é fornecer aos especialistas ferramentas que lhes permitam criar especificações de processos executáveis. O livro é dedicado à descrição e estudo experimental da abordagem lógico-dinâmica transitiva da especificação e implementação de processos por computador. A especificação é a base das regras de transformação que determinam a relação da sequência entre o estado actual do processo e o seu estado após um determinado período de tempo. Os exemplos mostram as capacidades da abordagem para implementar os processos especificados pelos modelos físicos e matemáticos dos sistemas, e os esquemas estruturais dos processos elementares. O livro pode ser de interesse para pesquisadores de sistemas dinâmicos, professores e estudantes.