Titlebook: Computer Aided Systems Theory - EUROCAST ‘95; A Selection of Paper Franz Pichler,Roberto Moreno Díaz,Rudolf Albrecht Conference proceedings

換話(huà)題

Temporal and functional verification of a symbolic representation of complex systems,xplosion of the number of states when introducing any new data) by separating the purely sequential part of the system from the data and the operations on the data. The validation of the complex system thus modelled consists in:

morale

Modelling differential equations by basic information technology means,sical elements can be modelled by this technique. Linear and nonlinear systems are regarded as well as the coupling of these systems. For continuous modelling of the equations a continuous Predicate/Transition net is presented.

被告

ungainly

Conference proceedings 1996, designers, and appliers and reflect the full spectrum of activities in the area. The papers are organized in sections on systems theory, design environments, complex systems design, and specific applications.