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

zbMATH Open1296.68099MaRDI QIDQ459934FDOQ459934

Authors: Hui Deng, Jinzhao Wu 

Publication date: 13 October 2014

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

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

Mathematics Subject Classification ID

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

Cited In (2)

• Application of symbolic approach to the Bernstein expansion for program analysis and optimization
• 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)