Model predictive control (MPC) is widely recognized as a high performance, yet practical, control technology. This model-based control strategy solves at each sample a discrete-time optimal control problem over a finite horizon, producing a control input sequence. An attractive attribute of MPC technology is its ability to systematically account for system constraints. The theory of MPC for lin...

This letter is concerned with the consensus analysis and control problems for a class of stochastic complex dynamical networks (SCDNs) that consists large number interconnected nodes. In particular, unified probabilistic decentralised framework established where randomised controllers are designed such individual subsystems in network synchronise their states each other to achieve whole network...

The current WiFi access control framework descends from solutions conceived in the past for dial-up scenarios. A key difference between the two worlds is mobility: dial-up handles nomadic users, while modern wireless networks support continuous mobility through always-on personal devices. Not surprisingly, WiFi authentication does not exploit mobility in any way; on the contrary, mobility is pe...

We present DECIDE, a rigorous approach to decentralising the control loops of distributed self-adaptive software used in missioncritical applications. DECIDE uses quantitative verification at runtime, first to agree individual component contributions to meeting systemlevel quality-of-service requirements, and then to ensure that components achieve their agreed contributions in the presence of c...

FACULTY OF ENGINEERING, SCIENCE AND MATHEMATICS SCHOOL OF ELECTRONICS AND COMPUTER SCIENCE Doctor of Philosophy

Publish/subscribe has emerged as an attractive communication paradigm for building Internet-wide distributed systems by decoupling message senders from receivers. Large scale publish/subscribe systems are likely to employ components of the event transport network owned by cooperating, but independent organisations. As the number of participants in the network increases, security becomes an incr...