13717 search results - page 421 / 2744 » Control Systems |
149
Voted
FM
1998
Springer
15 years 9 months ago
1998
Springer
We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring speci cations and it supports the developme...
143
click to vote
WSC
2001
15 years 6 months ago
2001
Batching jobs in a manufacturing system is a very common policy in most industries. Main reasons for batching are avoidance of setups and/or facilitation of material handling. Bat...
154
Voted
JLP
2006
15 years 5 months ago
2006
We investigate the connections between the process algebra for hybrid systems of Bergstra and Middelburg and the formalism of hybrid automata of Henzinger et al. We give interpreta...
153
Voted
AUTOMATICA
2008
15 years 3 months ago
2008
The solvability of the regulator equation for a general nonlinear system is discussed in this paper by using geometric method. The `feedback' part of the regulator equation, ...
115
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
— The problem of rejection of a sinusoidal disturbance of known frequency, acting at the output of a discrete-time complex-valued linear stable plant with unknown dynamics, is co...