307 search results - page 9 / 62 » Analysis of Hybrid Systems Using HySAT |
139
Voted
FM
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. The design of controllers for hybridsystems i.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
114
Voted
ECBS
2009
IEEE
15 years 8 months ago
2009
IEEE
Probabilistic models are useful for analyzing systems which operate under the presence of uncertainty. In this paper, we present a technique for verifying safety and liveness prop...
114
click to vote
TROB
2002
15 years 1 months ago
2002
Abstract-- This work studies a class of hybrid mechanical systems that locomote by switching between constraints defining different dynamic regimes. We develop a geometric framewor...
124
click to vote
INLG
2010
Springer
14 years 11 months ago
2010
Springer
We present the situated reference generation module of a hybrid human-robot interaction system that collaborates with a human user in assembling target objects from a wooden toy c...
109
Voted
DATE
2007
IEEE
15 years 8 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...