Continuous Action System Refinement

DOI10.1007/11783596_19MaRDI QIDQ3618830zbMATH OpenOpenAlexFDO

Authors Ian Hayes, Larissa A. Meinicke

Publication date 2 April 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11783596_19

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1303073
• Continuous action systems as a model for hybrid systems
• Hybrid action systems
• scientific article; zbMATH DE number 1696508
• scientific article; zbMATH DE number 1301627

Cited in

(9)

• Hybrid action systems
• Linear hybrid action systems
• scientific article; zbMATH DE number 1696508 (Why is no real title available?)
• Deriving Real-Time Action Systems Controllers from Multiscale System Specifications
• scientific article; zbMATH DE number 1301627 (Why is no real title available?)
• scientific article; zbMATH DE number 1303073 (Why is no real title available?)
• Asynchronous correspondences between hybrid trajectory semantics
• Formalization of Refinement Calculus for Reactive Systems
• Reasoning about goal-directed real-time teleo-reactive programs

This page was built for publication: Continuous Action System Refinement

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