A polynomial dynamic system approach to software design for attractivity requirement

Authors:
Xiang-Yun Wang;Wenhui Zhang;Yong-Chao Li;Kai-Yuan Cai
Affiliations:
Department of Automatic Control, Beijing University of Aeronautics and Astronautics, Beijing 100083, China;LCS, Institute of Software, Chinese Academy of Sciences, Beijing 100080, China;Department of Automatic Control, Beijing University of Aeronautics and Astronautics, Beijing 100083, China;Department of Automatic Control, Beijing University of Aeronautics and Astronautics, Beijing 100083, China
Venue:
Information Sciences: an International Journal
Year:
2007

Citing 16
Cited 1

Supervisory control of a class of discrete event processes

SIAM Journal on Control and Optimization
On observability of discrete-event systems

Information Sciences: an International Journal - Robotics and Automation/Control Series
Decentralized supervisory control of discrete-event systems

Information Sciences: an International Journal - Robotics and Automation/Control Series
On the development of reactive systems

Logics and models of concurrent systems
Verifying Temporal Properties of Reactive Systems: A STeP Tutorial

Formal Methods in System Design
Modeling Reactive Systems with Statecharts: The Statemate Approach

Modeling Reactive Systems with Statecharts: The Statemate Approach
Control Synthesis of Petri Nets Based on S-Decreases

Discrete Event Dynamic Systems
Incremental Design of a Power Transformer Station Controller Using a Controller Synthesis Methodology

IEEE Transactions on Software Engineering
Adaptive business intelligence based on evolution strategies: some application examples of self-adaptive software

Information Sciences—Applications: An International Journal
Formal Verification of SIGNAL Programs: Application to a Power Transformer Station Controller

AMAST '96 Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology
On the divide-and-conquer approach towards test suite reduction

Information Sciences: an International Journal
Self-Adaptive Software: Cybernetic Perspective and an Application Server Supported Framework

COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Workshops and Fast Abstracts - Volume 02
An Overview of Software Cybernetics

STEP '03 Proceedings of the Eleventh Annual International Workshop on Software Technology and Engineering Practice
The Autonomic Computing Paradigm

Cluster Computing
A really temporal logic

SFCS '89 Proceedings of the 30th Annual Symposium on Foundations of Computer Science
Autonomic computing: an overview

UPP'04 Proceedings of the 2004 international conference on Unconventional Programming Paradigms

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

Information Sciences: an International Journal

Quantified Score

Hi-index	0.07

Visualization

Abstract

Because of the widespread increasing application of Web services and autonomic computing, self-adaptive software is an area gaining increasing importance. Control theory provides a theoretical foundation for self-adaptive software. In this paper, we propose the use of the supervisory control theory of discrete event dynamic systems (DEDS) to provide a rigorous foundation for designing software for reactive systems. This paper focuses in particular on design of software with an attractivity requirement. It studies this problem using the polynomial dynamic system (PDS) model of DEDS. A necessary and sufficient condition for software existence and two algorithms for such software design are presented.