A ``geometric view of the dynamics of trajectories of computer programs

DOI10.1007/BF00046564zbMath0797.68024MaRDI QIDQ1813776

Robert Hermann

Publication date: 25 June 1992

Published in: Acta Applicandae Mathematicae (Search for Journal in Brave)

zbMATH Keywords

feedbackdynamical systemcontrol systemscategoriestemporal logicpath geometryLyapunov theorypartial difference equationsprolongationslogic of programscomputer algorithmsfiber bundle differential geometrygeometric theory of computation

Mathematics Subject Classification ID

Discrete-time control/observation systems (93C55) Logic in computer science (03B70) General topics in the theory of software (68N01) Fiber spaces and bundles in algebraic topology (55R99)

Cites Work

• An axiomatic basis for computer programming
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item