The wide adoption of wireless devices in the Internet Things requires controllers that are able to operate with limited resources, such as battery life. Operating these robustly an uncertain environment, while managing available increases difficultly controller design. This paper proposes a robust self-triggered model predictive control approach optimize objective resource consumption. In parti...

This letter considers the control of uncertain systems operated under limited resource factors, such as battery life or hardware longevity. We consider here resource-aware self-triggered techniques that schedule system operation non-uniformly in time order to balance performance against consumption. When running an environment, unknown disturbances may deteriorate by acting adversarially planne...

Traditional session types prescribe bidirectional communication protocols for concurrent computations, where well-typed programs are guaranteed to adhere the protocols. However, simple cannot capture properties beyond basic type of exchanged messages. In response, recent work has extended with refinements from linear arithmetic, capturing intrinsic attributes processes and data. These then play...