ÐIn this paper, we describe the incremental specification of a power transformer station controller using a controller synthesis methodology. We specify the main requirements as s...
In this paper a reactive and concurrent control framework for viewpoint control is developed. The viewpoint control task is decomposed into three control objectives namely; obstac...
S. Uppala, Deepak R. Karuppiah, M. Brewer, S. Chan...
Historically, business process design has been driven by business objectives, specifically process improvement. However this cannot come at the price of control objectives which s...
Business process design is primarily driven by process improvement objectives. However, the role of control objectives stemming from regulations and standards is becoming increasin...