695 search results - page 53 / 139 » Control in o-minimal Hybrid Systems |
CDC
2009
IEEE
14 years 18 days ago
2009
IEEE
Abstract— For stochastic hybrid systems, stochastic reachability is very little supported mainly because of complexity and difficulty of the associated mathematical problems. In...
HYBRID
2000
Springer
14 years 27 days ago
2000
Springer
This paper reports on an on-going project to investigate techniques to diagnose complex dynamical systems that are modeled as hybrid systems. In particular, we examine continuous s...
COST
2008
Springer
13 years 11 months ago
2008
Springer
Remote participants in hybrid meetings often have problems to follow what is going on in the (physical) meeting room they are connected with. This paper describes a videoconferenci...
CDC
2009
IEEE
14 years 18 days ago
2009
IEEE
Abstract— Motivated by the goal of obtaining moreanthropomorphic walking in bipedal robots, this paper considers a hybrid model of a 3D hipped biped with feet and locking knees. ...
DATE
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...