6978 search results - page 273 / 1396 » On Proofs in System P |
154
click to vote
HYBRID
2009
Springer
15 years 10 months ago
2009
Springer
MetiTarski, an automatic proof procedure for inequalities on elementary functions, can be used to verify control and hybrid systems. We perform a stability analysis of control syst...
144
click to vote
ISCAS
1999
IEEE
15 years 11 months ago
1999
IEEE
We study the weight dynamics of the floating-gate pFET synapse and the effects of the pFET's gate and drain voltages on these dynamics. We show that we can derive a weight upd...
161
click to vote
VTC
2010
IEEE
15 years 5 months ago
2010
IEEE
—For the WAVE applications built on safety beacons, it is imperative that the neighboring vehicle information be collected as quickly and efficiently as possible. But the unreli...
170
click to vote
IPPS
2003
IEEE
15 years 12 months ago
2003
IEEE
We describe Dynamic UNITY, a new formalism for the specification of dynamic distributed systems based on the UNITY formalism. This formalism allows for the specification and pro...
297
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
We show how theorem proving and methods for handling real algebraic constraints can be combined for hybrid system verification. In particular, we highlight the interaction of deduc...