On the polynomial dynamic system approach to software development

MaRDI QIDQ866095zbMATH OpenFDO

Authors Kaiyuan Cai, Xiangyun Wang, Yong-Chao Li

Publication date 20 February 2007

Published in Science in China. Series F (Search for Journal in Brave)

zbMATH Keywords

invariancereachabilitysoftware developmentdiscrete event dynamic systempolynomial dynamic systemreactive systemsoftware cybernetics

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Design techniques (robust design, computer-aided design, etc.) (93B51) Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A polynomial dynamic system approach to software design for attractivity requirement
• A software design method based on supervisory control theories: method of changing state properties
• scientific article; zbMATH DE number 2163146
• scientific article; zbMATH DE number 2000429
• On the relation between reactive synthesis and supervisory control of non-terminating processes

Cited in

(4)

• A polynomial dynamic system approach to software design for attractivity requirement
• Symbolic-numeric reachability analysis of closed-loop control software
• A software design method based on supervisory control theories: method of changing state properties
• Mining requirements from closed-loop control models

This page was built for publication: On the polynomial dynamic system approach to software development

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