A software design method based on supervisory control theories: method of changing state properties

MaRDI QIDQ5453334zbMATH OpenFDO

Authors Wenhui Zhang, Peng Wang, Yong-Chao Li, Kaiyuan Cai, Xiangyun Wang

Publication date 4 April 2008

zbMATH Keywords

discrete event dynamic systemreactive systemsoftware cybermeticssoftware designsupervisory control theory

Mathematics Subject Classification ID

Theory of software (68N99) Discrete event control/observation systems (93C65)

Recommendations

• On the polynomial dynamic system approach to software development
• scientific article; zbMATH DE number 434956
• scientific article; zbMATH DE number 1820088
• scientific article; zbMATH DE number 2163146
• A polynomial dynamic system approach to software design for attractivity requirement

Cited in

(1)

• On the polynomial dynamic system approach to software development

This page was built for publication: A software design method based on supervisory control theories: method of changing state properties

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