Supervisory Control of Software Systems for Fault Mitigation

Vir Phoha, A. Nadgar, A. Ray, J. Fu, S. Phoha

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Scopus citations


This paper develops a novel technique of discrete-event supervisory control for fault mitigation in software applications. It models the interactions between a software application and a computer Operating System as a deterministic finite state automaton. The supervisor restricts the language of the OS to correct deviations such as CPU exceptions for controlled execution of software applications. Feasibility of this supervisory control concept is demonstrated on process execution under the Red Hat Linux 7.2 operating system. Two supervisory control policies are implemented as proof of the concept.

Original languageEnglish (US)
Title of host publicationProceedings of the American Control Conference
Number of pages5
StatePublished - 2003
Event2003 American Control Conference - Denver, CO, United States
Duration: Jun 4 2003Jun 6 2003


Other2003 American Control Conference
CountryUnited States
CityDenver, CO



  • Computer operating systems
  • Discrete event control
  • Software fault
  • Supervisory control

ASJC Scopus subject areas

  • Control and Systems Engineering

Cite this

Phoha, V., Nadgar, A., Ray, A., Fu, J., & Phoha, S. (2003). Supervisory Control of Software Systems for Fault Mitigation. In Proceedings of the American Control Conference (Vol. 3, pp. 2229-2233)