Rupa Sampath

Learn More
This paper defines a reconfiguration method for the class of discrete-event systems (DES) that is subject to linear constraints as their control specifications. Some existing methods for enforcing these constraints make use of Petri-net P-invariants for controller synthesis. These methods are quite appealing because their computational complexity is much(More)
While the use of information technologies is becoming increasingly widespread in healthcare organizations, such as large hospitals, to date these organizations lack unified information systems providing a comprehensive view of the organization's state. We define a technique for building formal models capturing the state of hospital departments and the(More)
  • 1