Sciweavers

1554 search results - page 30 / 311
» A New Simulation Tool for the Modeling and Control of Distri...
Sort
View
FM
1999
Springer
161views Formal Methods» more  FM 1999»
14 years 2 days ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
CDC
2009
IEEE
141views Control Systems» more  CDC 2009»
13 years 9 months ago
Decentralized receding horizon control for multiple unmanned helicopters considering dynamics model
In this paper, the formation flight of multiple Unmanned Helicopter (UH) systems is researched and a new decentralized receding horizon formation control algorithm is supposed. The...
Yuqing He, Jianda Han
WSC
2007
13 years 10 months ago
Simulation experimental investigation on job release control in semiconductor wafer fabrication
This paper presents a new job release methodology, WIPLOAD Control, especially in semiconductor wafer fabrication environment. The performance of the proposed methodology is evalu...
Chao Qi, Appa Iyer Sivakumar, Stanley B. Gershwin
MMMACNS
2001
Springer
14 years 7 days ago
The Set and Function Approach to Modeling Authorization in Distributed Systems
Abstract. We present a new model that provides clear and precise semantics for authorization. The semantics is independent from underling security mechanisms and is separate from i...
Tatyana Ryutov, B. Clifford Neuman
ICRA
2002
IEEE
121views Robotics» more  ICRA 2002»
14 years 22 days ago
Modular Modeling and Analysis of a Distributed Production System with Distant Specialised Maintenance
This paper introduces a modular modeling approach for distributed production systems, considering production and maintenance processes synchronization. Thus, production job shop, p...
Daniel I. Racoceanu, Noureddine Zerhouni, Nawal Ad...