• Article  

      Designs of bisimilar Petri net controllers with fault tolerance capabilities 

      Li, L.; Hadjicostis, Christoforos N.; Sreenivas, R. S. (2008)
      This paper proposes an approach for providing tolerance against faults that may compromise the functionality of a given controller modeled by a Petri net. The method is based on embedding the given Petri net controller ...
    • Conference Object  

      Determining model accuracy as a function of inputs and system parameters 

      Sohns, B. J.; Stein, J. L.; Louca, Loucas S. (American Society of Mechanical Engineers (ASME), 2004)
      Vital to the effectiveness of simulation-based design is having a system model of known quality. Previous research introduced an algorithm called AVASIM for assessing model validity systematically and quantitatively. AVASIM ...
    • Article  

      Error detection and correction in switched linear controllers via periodic and non-concurrent checks 

      Sundaram, S.; Hadjicostis, Christoforos N. (2006)
      Control systems that utilize switched linear controllers have proven to be useful (and, in some cases, essential) for accomplishing certain control objectives in particular classes of plants. These controllers are often ...
    • Conference Object  

      Fault detection and identification in Petri net controllers 

      Li, L.; Hadjicostis, Christoforos N.; Sreenivas, R. S. (2004)
      This paper proposes a methodology for providing fault tolerance to Petri net controllers. In order to provide tolerance against faults that may compromise the functionality of the Petri net controller, we construct a ...
    • Conference Object  

      On optimal performance for linear time-varying systems 

      Djouadi, S. M.; Charalambous, Charalambos D. (2004)
      In this paper we consider the optimal disturbance attenuation problem and robustness for linear time-varying (LTV) systems. This problem corresponds to the standard optimal H ∞ problem for LTI systems. The problem is ...