A polynomial dynamic system approach to software design for attractivity requirement

DOI10.1016/j.ins.2007.01.025zbMath1116.68026OpenAlexW2059985600MaRDI QIDQ881898

Kai-Yuan Cai, Yong-Chao Li, Wen-Hui Zhang, Xiang-Yun Wang

Publication date: 18 May 2007

Published in: Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ins.2007.01.025

zbMATH Keywords

supervisory control theorydiscrete event dynamic systemssoftware cyberneticspolynomial dynamic systemsreactive software

Mathematics Subject Classification ID

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

Related Items (1)

Real-time preemptive scheduling of sporadic tasks based on supervisory control of discrete event systems

Cites Work

• Unnamed Item
• Unnamed Item
• Optimal stopping of multi-project software testing in the context of software cybernetics
• On the polynomial dynamic system approach to software development
• On observability of discrete-event systems
• Control synthesis of Petri nets based on \(S\)-decreases
• Adaptive business intelligence based on evolution strategies: Some application examples of self-adaptive software.
• Decentralized supervisory control of discrete-event systems
• Control of vector discrete-event systems. I. The base model
• Stabilization of discrete-event processes
• Supervisory Control of a Class of Discrete Event Processes
• Existence characterizations of temporal-safety supervisors
• Predicates and predicate transformers for supervisory control of discrete event dynamical systems
• Formal verification of programs specified with signal: Application to a power transformer station controller

This page was built for publication: A polynomial dynamic system approach to software design for attractivity requirement