Approximate bisimulation and optimization of software programs based on symbolic-numeric computation

MaRDI QIDQ459934zbMATH OpenFDO

Authors Hui Deng, Jinzhao Wu

Publication date 13 October 2014

Published in Mathematical Problems in Engineering (Search for Journal in Brave)

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Quantitative analysis of software approximate correctness
• Approximate bisimulation relations for constrained linear systems
• Approximately bisimilar symbolic models for nonlinear control systems
• Approximate simulation relations for hybrid systems
• Approximate bisimulation: a bridge between computer science and control theory

Cited in

(3)

• Application of symbolic approach to the Bernstein expansion for program analysis and optimization
• Quantitative analysis of software approximate correctness
• A symbolic computation approach to parameterizing controller for polynomial Hamiltonian systems

This page was built for publication: Approximate bisimulation and optimization of software programs based on symbolic-numeric computation

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