M. Petreczky

Learn More
— A class of control problems for discrete-event systems is proposed, inspired by applications in the domain of high-tech systems. The control problem asks for controllers which generate control inputs based on the outputs. We formalize the above control problem, whereby the plant behavior is modeled as an input-output relation recognizable by a rational(More)
—In this paper we present a case-study on application of Ramadge-Wonham supervisory control theory (abbreviated by SCT in the sequel) to a patient support system of a magnetic resonance imaging (MRI) scanner. We discuss the whole developmental cycle, starting from the mathematical models of the uncontrolled system and of the control requirements, and ending(More)
  • 1