932 search results - page 36 / 187 » Verifying Progress in Timed Systems |
177
click to vote
EEE
2005
IEEE
15 years 11 months ago
2005
IEEE
Open and fair elections are paramount to modern democracy. Although some people claim that the penciland-paper systems used in countries such as Canada and UK are still the best m...
145
click to vote
HYBRID
2007
Springer
15 years 9 months ago
2007
Springer
A notion of diagnosability for hybrid systems is defined, which generalizes the notion of observability. We verify bility properties on a timed automaton abstraction of the origina...
148
click to vote
APN
2005
Springer
15 years 11 months ago
2005
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, give...
136
click to vote
APN
2006
Springer
15 years 9 months ago
2006
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, given...
146
click to vote
ICRA
2006
IEEE
15 years 12 months ago
2006
IEEE
- Time optimal control method for quadruped walking robots are developed and installed into a practical robot system. Each leg is modeled as a two link manipulator whose time optim...