The behaviour of control functions in safety critical software systems is typically bounded to prevent the occurrence of known system level hazards. These bounds are typically deri...
Zeshan Kurd, Tim Kelly, John A. McDermid, Radu Cal...
—Conventional models of multirobot control assume independent robots and tasks. This allows an additive model in which the operator controls robots sequentially neglecting each u...
It is our belief that the ultimate automatic system for deriving linear algebra libraries should be able to generate a set of algorithms starting from the mathematical specificati...
Paolo Bientinesi, Sergey Kolos, Robert A. van de G...
In this paper, we describe the design of a decision support system for operators of model-based predictive controllers (MPC). MPC is a form of advanced automatic control that is in...
Stephanie A. Guerlain, G. A. Jamieson, P. Bullemer...
—The method of resonant parametric perturbation is a simple non-feedback chaos control method which is easy to implement in practice. In this paper, an optimal strategy is applie...
Yufei Zhou, Herbert H. C. Iu, Chi Kong Tse, Jun-Ni...