4693 search results - page 13 / 939 » Verifying Hybrid Systems |
127
Voted
HYBRID
2000
Springer
15 years 4 months ago
2000
Springer
Results from classical dynamical systems are generalized to hybrid dynamical systems. The concept of limit set is introduced for hybrid systems and is used to prove new results on...
114
click to vote
SRDS
1999
IEEE
15 years 4 months ago
1999
IEEE
Hybrid systems like computer-controlled chemical plants are typical safety critical distributed systems. In present practice, the safety of hybrid systems is guaranteed by hazard ...
100
Voted
HYBRID
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. A methodology for safety verification using barrier certificates has been proposed recently. Conditions that must be satisfied by a barrier certificate can be formula...
82
Voted
ICRA
2005
IEEE
15 years 6 months ago
2005
IEEE
— In this paper, we discuss the manipulation of an object under hybrid active/passive closure. We show the orthogonality between the directions of active and passive force closur...
77
Voted
HYBRID
1999
Springer
15 years 4 months ago
1999
Springer
