The paper describes an interactive tool focused on the study of a new family of event-based PI controller. Most research in control engineering considers periodic or time-driven control systems. Eventbased control is particularly a very promising alternative when systems with reduced computation and communication capacities are considered. For event-driven controllers it is the occurrence of an...

Analysis of Access Control systems is an important task to ensure that unauthorised access to critical resources is protected. This thesis deals with a challenging problem related to the analysis of Access Control systems which depend on time and location against undesirable scenarios such as inconsistency. In particular, this thesis first provides formal algebraic notations for the Access Cont...

The current energy crisis raised concern about the lack of electricity during wintertime, especially that consumption should be cut at peak hours. For building owners, this is visible as rising prices. Availability near real-time data on performance opening new opportunities to optimize flexibility capabilities buildings. This paper presents a reinforcement learning (RL)-based method control he...