Computer Science – Software Engineering
Scientific paper
2008-12-10
Computer Science
Software Engineering
16 pages, 2 figures
Scientific paper
The analysis and proper documentation of the properties of closed-loop control software presents many distinct aspects from the analysis of the same software running open-loop. Issues of physical system representations arise, and it is desired that such representations remain independent from the representations of the control program. For that purpose, a concurrent program representation of the plant and the control processes is proposed, although the closed-loop system is sufficiently serialized to enable a sequential analysis. While dealing with closed-loop system properties, it is also shown by means of examples how special treatment of nonlinearities extends from the analysis of control specifications to code analysis.
Alegre Fernando
Feron Eric
No associations
LandOfFree
Control software analysis, part II: Closed-loop analysis does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Control software analysis, part II: Closed-loop analysis, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Control software analysis, part II: Closed-loop analysis will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-528347