Sciweavers

4693 search results - page 445 / 939
» Verifying Hybrid Systems
Sort
View
IJCM
2008
93views more  IJCM 2008»
15 years 7 months ago
A reinforced learning control using iterative error compensation for uncertain dynamical systems
This paper investigates a learning control using iterative error compensation for uncertain systems to enhance the precision of high speed, computer controlled machining process. ...
Kuei-Shu Hsu, Wen-Shyong Yu, Ming-In Ho
PDPTA
2010
15 years 5 months ago
A Case Study for SOA System Rejuvenation
- Complex business service systems, such as SOA system, are prone to suffer from reliability problem. Various legend applications compatible in SOA system make things worse. Softwa...
Guanhua Tian, Jianfeng Zhan, Chao Ren, Dan Meng
IFM
2009
Springer
155views Formal Methods» more  IFM 2009»
15 years 4 months ago
Application of Graph Transformation in Verification of Dynamic Systems
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
Zarrin Langari, Richard J. Trefler
CISIS
2007
IEEE
16 years 1 months ago
Implementation and Performance of a New Teleconference System by High Definition Omni-Directional Video Transmission over IP Net
In this paper, a flexible middleware system for omni-directional video transmission for various teleconferencing applications is introduced. The omni-directional image has more ad...
Yosuke Sato, Yuya Maita, Koji Hashimoto, Yoshitaka...
RTCSA
2005
IEEE
16 years 20 days ago
RTPS Middleware for Real-Time Distributed Industrial Vision Systems
Designing and constructing Real-Time Distributed Industrial Vision Systems (RT-DIVS) from scratch is very complicated task. RT-DIVS has Conflicting requirements such as reasonable...
Basem Almadani