Sciweavers

1090 search results - page 22 / 218
» Case Study: Componentization of an Industrial Control System
Sort
View
FM
1999
Springer
161views Formal Methods» more  FM 1999»
13 years 12 months ago
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination
Abstract. The design of controllers for hybridsystemsi.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
Rajeev Alur, Joel M. Esposito, M. Kim, Vijay Kumar...
TSMC
2002
95views more  TSMC 2002»
13 years 7 months ago
The MPC elucidator: a case study in the design for human-automation interaction
In this paper, we describe the design of a decision support system for operators of model-based predictive controllers (MPC). MPC is a form of advanced automatic control that is in...
Stephanie A. Guerlain, G. A. Jamieson, P. Bullemer...
EUROMICRO
2005
IEEE
14 years 1 months ago
Process Patterns for Software Systems In-house Integration and Merge Experiences from Industry
When an organization faces new types of collaboration, for example after a company merger, there is a need to integrate the existing software. Two main process challenges are how ...
Rikard Land, Ivica Crnkovic, Stig Larsson
ICAT
2007
IEEE
14 years 2 months ago
Using Virtual Reality for Gesture and Vocal Interface Validation in Industrial Environments
This paper describes the use of Virtual Reality to aid in the design, validation and user training of a gesture and vocal interface. The interface system sends commands to a conta...
José Daniel Gómez de Segura, Rosa Pe...
RTSS
2005
IEEE
14 years 1 months ago
Building Robust Wireless LAN for Industrial Control with DSSS-CDMA Cellphone Network Paradigm
Deploying Wireless LAN for Industrial Control (ICWLAN) has many benefits, such as mobility, low deployment cost and ease of reconfiguration. However, the top concern is robustne...
Qixin Wang, Xue Liu, Weiqun Chen, Wenbo He, Marco ...