Sciweavers

9186 search results - page 413 / 1838
» A Module System for Scheme
Sort
View
FBT
1998
119views Formal Methods» more  FBT 1998»
15 years 8 months ago
Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata
We build on work in designing modeling languages for hybrid systems in the development of CTA, the Cottbus Timed Automata. Our design features a facility to specify a hybrid system...
Dirk Beyer, Heinrich Rust
AROBOTS
2008
78views more  AROBOTS 2008»
15 years 7 months ago
Reaching with multi-referential dynamical systems
We study a reaching movement controller for a redundant serial arm manipulator, based on two principles believed to be central to biological motion control: multireferential contro...
Micha Hersch, Aude Billard
AUTOMATICA
2004
101views more  AUTOMATICA 2004»
15 years 6 months ago
Analysis of a high-resolution optical wave-front control system
We consider the formulation and analysis of a problem of automatic control: correcting for the distortion induced in an optical wave front due to propagation through a turbulent a...
Eric W. Justh, P. S. Krishnaprasad, M. A. Vorontso...
CSSE
2008
IEEE
16 years 1 months ago
Modeling and Implementation for Embedded DC Motor Ethernet Control System
—In this paper, a model of Embedded DC Motor Ethernet Control System is proposed with analysis on transmission time delay and data packet dropout. Based on this model, the ECS is...
Lingbo Zhu, Guanzhong Dai, Li Shin, Xuefang Lin-Sh...
WCRE
2008
IEEE
16 years 1 months ago
Analyzing the Actual Execution of a Large Software-Intensive System for Determining Dependencies
In this paper, we present a dynamic analysis approach to increase the understandability of a large softwareintensive system, more particularly to enable the identification of depe...
Trosky Boris Callo Arias, Paris Avgeriou, Pierre A...