Analysis of Linear Hybrid Systems in CLP

DOI10.1007/978-3-642-00515-2_5MaRDI QIDQ3617430zbMATH OpenOpenAlexFDO

Authors Gourinath Banda, John P. Gallagher

Publication date 24 March 2009

Published in Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL https://rucforsk.ruc.dk/ws/files/3406219/paper.pdf

Mathematics Subject Classification ID

Logic programming (68N17) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• The algorithmic analysis of hybrid systems
• scientific article; zbMATH DE number 744075
• scientific article; zbMATH DE number 1406236
• HAT: analyzing linear hybrid automata as labelled transition system
• Positive loop-closed automata: A decidable class of hybrid systems

Cites work

• A semantic basis for the termination analysis of logic programs
• A theory of timed automata
• Abstract interpretation of logic programs using magic transformations
• Coinductive Logic Programming and Its Applications
• Convex hull abstractions in specialization of CLP programs
• Formal Methods for the Design of Real-Time Systems
• scientific article; zbMATH DE number 1617315 (Why is no real title available?)
• scientific article; zbMATH DE number 1615252 (Why is no real title available?)
• scientific article; zbMATH DE number 1696809 (Why is no real title available?)
• scientific article; zbMATH DE number 1948398 (Why is no real title available?)
• scientific article; zbMATH DE number 1497829 (Why is no real title available?)
• scientific article; zbMATH DE number 1507210 (Why is no real title available?)
• scientific article; zbMATH DE number 2090522 (Why is no real title available?)
• Inferring termination conditions for logic programs using backwards analysis
• Languages and Tools for Hybrid Systems Design
• Logic Programming
• Logic Programming
• Real-time verification techniques for untimed systems
• The algorithmic analysis of hybrid systems

Cited in

(8)

• Semantics of temporal constrained objects
• Incremental and modular context-sensitive analysis
• scientific article; zbMATH DE number 7453193 (Why is no real title available?)
• Computing abstract distances in logic programs
• Hybrid Systems: Computation and Control
• Analysis and Transformation of Constrained Horn Clauses for Program Verification
• HAT: analyzing linear hybrid automata as labelled transition system
• On recursion-free Horn clauses and Craig interpolation

Describes a project that uses

Uses Software

• PPL
• LOGEN
• Uppaal

This page was built for publication: Analysis of Linear Hybrid Systems in CLP

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3617430)