1894 search results - page 142 / 379 » A TLA Proof System |
121
click to vote
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
In this paper, we study the equilibrium regulation of potentially unstable linear systems with an unknown input time-delay and unknown parameters in the plant. We extend recent res...
223
click to vote
POPL
2001
ACM
16 years 4 months ago
2001
ACM
We propose a general, powerful framework of type systems for the -calculus, and show that we can obtain as its instances a variety of type systems guaranteeing non-trivial propert...
114
Voted
FM
2009
Springer
15 years 10 months ago
2009
Springer
e Abstractions for Parameterized Systems JOXAN JAFFAR and ANDREW E. SANTOSA Department of Computer Science, National University of Singapore Singapore 117590 {joxan,andrews}comp.nu...
110
Voted
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— The topology of a networked control system has critical consequences for its performance. We provide first substantial examples on the effects of topology. Then we proceed to ...
118
click to vote
TPHOL
2005
IEEE
15 years 9 months ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...