4693 search results - page 16 / 939 » Verifying Hybrid Systems |
231
click to vote
POPL
2006
ACM
16 years 4 months ago
2006
ACM
Traditional static type systems are very effective for verifying basic interface specifications, but are somewhat limited in the kinds specificationsthey support. Dynamically-chec...
134
click to vote
ROBOTICA
2006
15 years 3 months ago
2006
We combine a "hybrid" force/position control scheme with a potential field approach into a novel method for collision recovery and navigation in unknown environments. It...
148
click to vote
EMSOFT
2008
Springer
15 years 5 months ago
2008
Springer
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...