Sciweavers

5200 search results - page 215 / 1040
» Symbolic models for control systems
Sort
View
AUTOMATICA
2007
97views more  AUTOMATICA 2007»
13 years 9 months ago
Control of dynamic keyhole welding process
Weld joint penetration control is a basic research topic in the welding research community. The authors propose using an innovative plasma arc welding process referred to as the q...
Y. M. Zhang, Y. C. Liu
SACI
2007
IEEE
14 years 3 months ago
Geometric Theory and Control of Linear Parameter Varying Systems
: Linear Parameter Varying(LPV) systems appear in a form of LTI state space representations where the elements of the A(ρ), B(ρ), C(ρ) matrices can depend on an unknown but at a...
Jozsef Bokor
CONCUR
2001
Springer
14 years 1 months ago
The Control of Synchronous Systems, Part II
Abstract. A controller is an environment for a system that achieves a particular control objective by providing inputs to the system without constraining the choices of the system....
Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. ...
UM
2005
Springer
14 years 2 months ago
User Control over User Adaptation: A Case Study
The A theory of user expectation of system interaction is introduced in the context of User Adapted Interfaces. The usability of an intelligent email client that learns to filter s...
Xiaoyan Peng, Daniel L. Silver
CCS
2003
ACM
14 years 2 months ago
Formal access control analysis in the software development process
Security is a crucial aspect in any modern software system. To ensure security in the final product, security requirements must be considered in the entire software development p...
Manuel Koch, Francesco Parisi-Presicce