5200 search results - page 70 / 1040 » Symbolic models for control systems |
HYBRID
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...
ENGL
2007
13 years 8 months ago
2007
— This paper presents a novel adaptive controller for multimodal systems based on Fuzzy Reference Model Generator (FRMG). The proposed scheme consists of a fuzzy logic switching ...
ICRA
2006
IEEE
14 years 2 months ago
2006
IEEE
— In this paper, the tendon-sheath driving system for a robotic hand is presented and its force transmission characteristics are analyzed. The use of tendon-based transmission pe...
ICNS
2006
IEEE
14 years 2 months ago
2006
IEEE
– Service-Oriented Programming Model is a new methodology for building service-oriented applications. In the Service-Oriented Programming Model, an application is assembled from ...
DATE
2005
IEEE
14 years 2 months ago
2005
IEEE
Complex real-time control system is a software dense and algorithms dense system, which needs modern software engineering techniques to design. UML is an object-oriented industria...