5339 search results - page 10 / 1068 » Controllable Delay-Insensitive Processes |
CPP
2011
12 years 8 months ago
2011
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...
CDC
2010
IEEE
13 years 3 months ago
2010
IEEE
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...
CDC
2010
IEEE
13 years 3 months ago
2010
IEEE
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 ...
IJON
2002
13 years 8 months ago
2002
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...
CCE
2004
13 years 8 months ago
2004
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...