289 search results - page 44 / 58 » Compositional analysis for linear control systems |
IFIPTCS
2000
14 years 17 days ago
2000
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...
AAMAS
2007
Springer
13 years 9 months ago
2007
Springer
Abstract. Multiagent cooperative negotiation is a promising technique for modeling and controlling complex systems. Effective and flexible cooperative negotiations are especially...
ICRA
2009
IEEE
14 years 3 months ago
2009
IEEE
— Unlike active force closure, which is a property for the multi-finger robotic hand grasping, passive force closure are involved in the grasping systems with constraining devic...
ICLP
1997
Springer
14 years 1 months ago
1997
Springer
We provide a method whereby, given mode and (upper approximation) type information, we can detect procedures and goals that can be guaranteed to not fail (i.e., to produce at leas...
HYBRID
2001
Springer
14 years 1 months ago
2001
Springer
It has been observed that there are a variety of situations in which the most popular hybrid simulation methods can fail to properly detect the occurrence of discrete events. In th...