Abstract. Dependent session types allow us to describe not only properties of the I/O behavior of processes but also of the exchanged data. In this paper we show how to exploit dep...
Motivated by current technological advances in the design of real-time embedded systems, this work deals with the digital control of a continuous-time linear time-invariant (LTI) s...
We extend an existing model-based framework for supervisory control synthesis with generalized control and verification state-based requirements. The former stem from the need for ...
Jasen Markovski, Dirk A. van Beek, Rolf J. M. Theu...
Nonlinear model predictive control (MPC) of a simulated chaotic cutting process is presented. The nonlinear MPC combines a neural-network model and a genetic-algorithm-based optim...
Multimodel analysis and controller design for nonlinear processes via gap metric is discussed. It is shown that the loop-shaping H approach can integrate the procedure of selectin...
Wen Tan, Horacio J. Marquez, Tongwen Chen, Ji-zhen...