Programming with Infinitesimals: A While-Language for Hybrid System Modeling

DOI10.1007/978-3-642-22012-8_31zbMath1333.68181OpenAlexW1561688506MaRDI QIDQ3012935

Ichiro Hasuo, Kohei Suenaga

Publication date: 7 July 2011

Published in: Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-22012-8_31

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Other applications of nonstandard models (economics, physics, etc.) (03H10)

Related Items (8)

Relational Differential Dynamic Logic ⋮ A Nonstandard Functional Programming Language ⋮ Axiomatizing Analog Algorithms ⋮ Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs ⋮ From post-conditions to post-region invariants ⋮ Unnamed Item ⋮ Programming with Infinitesimals: A While-Language for Hybrid System Modeling ⋮ Generalized homogeneous polynomials for efficient template-based nonlinear invariant synthesis

Uses Software

• KeYmaera

Cites Work

• Unnamed Item
• Unnamed Item
• The algorithmic analysis of hybrid systems
• Differential dynamic logic for hybrid systems
• Operational semantics for timed systems. A non-standard approach to uniform modeling of timed and hybrid systems.
• Programming with Infinitesimals: A While-Language for Hybrid System Modeling
• Differential-algebraic Dynamic Logic for Differential-algebraic Programs
• KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)
• Modelling of Complex Systems: Systems as Dataflow Machines
• Soundness and Completeness of an Axiom System for Program Verification

This page was built for publication: Programming with Infinitesimals: A While-Language for Hybrid System Modeling