640 search results - page 5 / 128 » Discovering State Invariants |
103
Voted
CDC
2010
IEEE
14 years 10 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...
137
Voted
PLPV
2010
ACM
16 years 9 days 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
15 years 10 months ago
2008
IEEE
