Sciweavers

4350 search results - page 279 / 870
» Case studies for contract-based systems
Sort
View
AUTOMATICA
2007
48views more  AUTOMATICA 2007»
15 years 6 months ago
Interconnection of port-Hamiltonian systems and composition of Dirac structures
Port-based network modeling of physical systems leads to a model class of nonlinear systems known as port-Hamiltonian systems. Port-Hamiltonian systems are defined with respect t...
J. Cervera, A. J. van der Schaft, Alfonso Ba&ntild...
ICARCV
2008
IEEE
151views Robotics» more  ICARCV 2008»
16 years 1 months ago
Model-Based Networked Control System stability based on packet drop distributions
Abstract—This paper studies the system stability of a ModelBased Networked Control System in the cases where packet losses follow a certain distributions. In this study, the unre...
Lanzhi Teng, Peng Wen, Wei Xiang
RTAS
2007
IEEE
16 years 28 days ago
Stochastic Metrics for Debugging the Timing Behaviour of Real-Time Systems
Stochastic analysis techniques for real-time systems model the execution time of tasks as random variables. These techniques constitute a very powerful tool to study the behaviour...
Joaquín Entrialgo, Javier García, Jo...
CVIU
2006
104views more  CVIU 2006»
15 years 6 months ago
A unifying geometric representation for central projection systems
In this paper we study projection systems with a single effective viewpoint, including combinations of mirrors and lenses (catadioptric) as well as just lenses with or without rad...
João P. Barreto
JDCTA
2010
95views more  JDCTA 2010»
15 years 1 months ago
WebAccess Based Remote Graphic Surveillance System for Mechatronics
This study employed WebAccess software to construct a remote graphic surveillance system, which was developed differently from previous remote monitoring systems. Advantech WebAcc...
Wen-Jye Shyr, Chia-Ming Lin, Wei-Ting Chiang