Sciweavers

1495 search results - page 38 / 299
» Modeling and controllability for a class of hybrid mechanica...
Sort
View
FM
1999
Springer
161views Formal Methods» more  FM 1999»
14 years 1 months ago
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination
Abstract. The design of controllers for hybridsystemsi.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
Rajeev Alur, Joel M. Esposito, M. Kim, Vijay Kumar...
AUTOMATICA
2008
89views more  AUTOMATICA 2008»
13 years 9 months ago
Dynamic buffer management using optimal control of hybrid systems
This paper studies a general dynamic buffer management problem with one buffer inserted between two interacting components. The component to be controlled is assumed to have multi...
Wei Zhang, Jianghai Hu
CDC
2009
IEEE
135views Control Systems» more  CDC 2009»
14 years 1 days ago
The hybrid intelligent control for the fused magnesia production
—The electro-fused magnesia furnace is one of the main equipments used to produce electro-fused magnesia which is high performance refractory. Due to the multivariable, strong no...
Yongjian Wu, Zhiwei Wu, Bin Dong, Li Zhang, Tianyo...
ENTCS
2007
117views more  ENTCS 2007»
13 years 8 months ago
Relating Hybrid Chi to Other Formalisms
The hybrid χ (Chi) formalism is suited to modeling, simulation and verification of hybrid systems. It integrates concepts from dynamics and control theory with concepts from com...
D. A. van Beek, J. E. Rooda, Ramon R. H. Schiffele...
HAPTICS
2003
IEEE
14 years 2 months ago
Toward Robust Passivity: A Passive Control Implementation Structure for Mechanical Teleoperators
In previous papers, a passive control implementation structure is proposed for mechanical systems interacting with physical environments. The proposed implementation structure enf...
Dongjun Lee, Perry Y. Li