Reasoning about goal-directed real-time teleo-reactive programs

DOI10.1007/s00165-012-0272-1zbMath1342.68060OpenAlexW2069553366MaRDI QIDQ736794

Brijesh Dongol, Peter J. Robinson, Ian J. Hayes

Publication date: 5 August 2016

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: http://bura.brunel.ac.uk/handle/2438/9747

zbMATH Keywords

reactive systemsgoal-directed agentsinterval-based logicsreal-time programsrely/guarantee reasoningteleo-reactive programming

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Related Items (1)

Towards an Algebra for Real-Time Programs

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Hybrid systems
• A timeband framework for modelling real-time systems
• Formal development of reactive systems. Case study production cell
• Hybrid I/O automata.
• Duration calculus. A formal approach to real-time systems.
• Hybrid action systems
• Deriving Real-Time Action Systems Controllers from Multiscale System Specifications
• Continuous Action System Refinement
• Tentative steps toward a development method for interfering programs
• An axiomatic basis for computer programming

This page was built for publication: Reasoning about goal-directed real-time teleo-reactive programs