640 search results - page 5 / 128 » Discovering State Invariants |
CDC
2010
IEEE
13 years 4 months ago
2010
IEEE
Abstract-- We consider here the problem of finding a controller such that when interconnected to the plant, we obtain a system which is asymptotically equivalent to a desired syste...
PLPV
2010
ACM
14 years 6 months ago
2010
ACM
Reasoning about object-oriented programs is difficult since such programs usually involve aliasing, and it is not easy to identify the ways objects can relate to each other and t...
ICECCS
2008
IEEE
14 years 4 months ago
2008
IEEE
PASTE
2005
ACM
14 years 3 months ago
2005
ACM
CORR
2006
Springer
13 years 9 months ago
2006
Springer
